Adapted pairs in type $A$ and regular nilpotent elements

TL;DR

This paper explores the structure of adapted pairs in type A Lie algebras, showing how regular nilpotent elements relate to these pairs and proposing a Weyl group-based approach for their classification.

Contribution

It demonstrates that adapted pairs can be expressed via regular nilpotent elements and links their classification to Weyl group elements in type A Lie algebras.

Findings

Adapted pairs can be expressed as images of regular nilpotent elements.

A correspondence between adapted pairs and Weyl group elements is established.

Provides a framework for classifying adapted pairs using Weyl group data.

Abstract

Let $\mathfrak g$ be a simple Lie algebra over an algebraically closed field $\bf k$ of characteristic zero and $\bf G$ its adjoint group. Let $\mathfrak q$ be a biparabolic subalgebra of $\mathfrak g$. The algebra $Sy(\mathfrak q)$ of semi-invariants on $\mathfrak q^*$ is polynomial in most cases, in particular when $\mathfrak g$ is simple of type $A$ or $C$. On the other hand $\mathfrak q$ admits a canonical truncation $\mathfrak q_{\Lambda}$ such that $Sy(\mathfrak q)=Sy(\mathfrak q_{\Lambda})=Y(\mathfrak q_{\Lambda})$ where $Y(\mathfrak q_{\Lambda})$ denotes the algebra of invariant functions on $\mathfrak q_{\Lambda}^*$. An adapted pair for $\mathfrak q_{\Lambda}$ is a pair $(h,\,\eta)\in \mathfrak q_{\Lambda}\times\mathfrak q_{\Lambda}^*$ such that $\eta$ is regular and $(ad\,h)\eta=-\eta$. In a previous paper of A. Joseph (2008) adapted pairs for every truncated biparabolic subalgebra $\mathfrak q_{\Lambda}$ of a simple Lie algebra $\mathfrak g$ of type $A$ were constructed and then provide Weierstrass sections for $Y(\mathfrak q_{\Lambda})$ in $\mathfrak q_{\Lambda}^*$. These latter are linear subvarieties $\eta+V$ of $\mathfrak q_{\Lambda}^*$ such that the restriction map induces an algebra isomorphism of $Y(\mathfrak q_{\Lambda})$ onto the algebra of regular functions on $\eta+V$. Here we show that for each of the adapted pairs $(h,\,\eta)$ constructed in the paper mentioned above one can express $\eta$ as the image of a regular nilpotent element $y$ of $\mathfrak g^*$ under the restriction to $\mathfrak q$. Since $y$ must be a $\bf G$ translate of the standard regular nilpotent element defined in terms of the already chosen set $\pi$ of simple roots, one may attach to $y$ a unique element of the Weyl group. Ultimately one can then hope to be able to describe adapted pairs (in general) through the Weyl group.