Let be an isotropic reductive group and be a projective -homogeneous variety. Using results from Bialynicki-Birula, Hesselink and Iversen, Brosnan showed that if is of inner type, the motive of can be expressed as a direct sum of Tate twists of motives of projective homogeneous varieties for the anisotropic kernel of . We provide a SageMath implementation of this decomposition, based on a depth-first search of the Cayley graph of the Weyl group of , ensuring the complexity scales with the size of the motive rather than the full Weyl group. As applications, we provide new motivic decompositions for some exceptional groups and show how to extend Karpenko’s decompositions for classical groups to characteristic .

生成讲解博客的中文版本

生成AI智能校验的中文版本