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

DOI10.1007/S10801-023-01296-6arXiv2211.06845OpenAlexW4391630665WikidataQ128283010 ScholiaQ128283010MaRDI QIDQ6152233FDOQ6152233

Authors:

Publication date: 11 March 2024

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

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.

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

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.

zbMATH Keywords

invariantsparabolic adjoint actionthe nilfibre

Mathematics Subject Classification ID

Universal enveloping (super)algebras (17B35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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})\).
• Title not available (Why is that?)
• 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)