The canonical component of the nilfibre for parabolic adjoint action in type A

DOI10.1007/S10801-023-01296-6MaRDI QIDQ6152233zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 11 March 2024

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2211.06845

zbMATH Keywords

invariantsparabolic adjoint actionthe nilfibre

Mathematics Subject Classification ID

Universal enveloping (super)algebras (17B35)

Abstract: This work is a continuation of [Fittouhi and 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$, $P^{\prime }$ its derived group and $mathfrakm$ be the nilradical to its Lie algebra. A theorem of Richardson implies that the subalgebra $mathbbC[mathfrakm{]}^{P^{\prime }}$, spanned by the $P$ semi-invariants in $mathbbC[mathfrakm]$, is polynomial. A linear subvariety $e+V$ of $mathfrakm$ is is called a Weierstrass section for the action of $P^{\prime }$ on $mathfrakm$, if the restriction map induces an isomorphism of $mathbbC[mathfrakm{]}^{P^{\prime }}$ onto $mathbbC[e+V]$. Thus a Weierstrass section can exist only if the latter is polynomial, but even when this holds its existence is far from assured. The existence of a Weierstrass section $e+V$ in $mathfrakm$ was established by a general combinatorial construction. Notably $einmathscrN$ and is a sum of root vectors with linearly independent roots. The Weierstraass section $e+V$ 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". It was announced in [Fittouhi and Joseph, loc. cit.] that one may augment $e$ to an element $e_{VS}$ by adjoining root vectors. Then the linear span $E_{VS}$ of these root vectors lies in $mathscr{N}^e$ and its closure is just $mathscr{N}^e$. Yet this result shows that $mathscr{N}^e$ need not admit a dense $P$ orbit. However this theorem was only verified in the special case needed to obtain the example showing that $mathscr{N}^e$ may fail to admit a dense $P$ orbit. Here a general proof is given. 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.

Recommendations

• Weierstrass sections for parabolic adjoint action in type \(A\)
• The composition tableau and reconstruction of the canonical Weierstrass section for parabolic adjoint action in type \(A\)
• On the nilradical of a parabolic subgroup
• On the complement of the Richardson orbit.
• Variation on a theme of Richardson.

Cites work

• scientific article; zbMATH DE number 3482546 (Why is no real title available?)
• scientific article; zbMATH DE number 2154528 (Why is no real title available?)
• scientific article; zbMATH DE number 3297198 (Why is no real title available?)
• Invariants of the adjoint action in the nilradical of a parabolic subalgebra of types \(B_n\), \(C_n\), and \(D_n\)
• On the hypersurface orbital varieties of \(\text{sl}(N,\mathbb{C})\).
• Weierstrass sections for parabolic adjoint action in type \(A\)

Cited in

(1)

• The composition tableau and reconstruction of the canonical Weierstrass section for parabolic adjoint action in type \(A\)

This page was built for publication: The canonical component of the nilfibre for parabolic adjoint action in type \(A\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6152233)