The Canonical component of the nilfibre for parabolic adjoint action in type A
Yasmine Fittouhi,Anthony Joseph
DOI: https://doi.org/10.1007/s10801-023-01296-6
2024-02-09
Journal of Algebraic Combinatorics
Abstract:This work is a continuation of [Y. Fittouhi and A. Joseph, Parabolic adjoint action, Weierstrass Sections and components of the nilfibre in type A ]. Let P be a parabolic subgroup of an irreducible simple algebraic group G . Let be the derived group of P , and let be the Lie algebra of the nilradical of P . A theorem of Richardson implies that the subalgebra , spanned by the P semi-invariants in , is polynomial. A linear subvariety of is called a Weierstrass section for the action of on , if the restriction map induces an isomorphism of onto . Thus, a Weierstrass section can exist only if the latter is polynomial, but even when this holds its existence is far from assured. Let be zero locus of the augmentation . It is called the nilfibre relative to this action. Suppose , and let P be a parabolic subgroup. In [Y. Fittouhi and A. Joseph, loc. cit.], the existence of a Weierstrass section in was established by a general combinatorial construction. Notably, and is a sum of root vectors with linearly independent roots. The Weierstrass section looks very different for different choices of parabolics but nevertheless has a uniform construction and exists in all cases. It is called the "canonical Weierstrass section". Through [Y. Fittouhi and A. Joseph, loc. cit. Prop. 6.9.2, Cor. 6.9.8], there is always a "canonical" component of containing e . It was announced in [Y. Fittouhi and A. Joseph, loc. cit., Prop. 6.10.4] that one may augment e to an element by adjoining root vectors. Then the linear span of these root vectors lies in and its closure is just . Yet, this same result shows that need not admit a dense P orbit [Y. Fittouhi and A. Joseph, loc. cit., Lemma 6.10.7]. For the above [Y. Fittouhi and A. Joseph, loc. cit., Theorem 6.10.3] was needed. However, this theorem was only verified in the special case needed to obtain the example showing that may fail to admit a dense P orbit. Here a general proof is given (Theorem 4.4.5). Finally, a map from compositions to the set of distinct non-negative integers is defined. Its image is shown to determine the canonical Weierstrass section. One may anticipate that the remaining components of can be similarly described. However, this is a long story and will be postponed for a subsequent paper. These results should form a template for general type.
mathematics