On involutions of minuscule Kirillov algebras induced by real structures

Mischa Elkner

2024-11-25

Abstract:We study Kirillov algebras attached to minuscule highest weight representations of semisimple Lie algebras. They can be viewed as equivariant cohomology algebras of partial flag varieties. Real structures on the varieties then induce involutions of these algebras. We describe how these involutions act on the spectra of minuscule Kirillov algebras, and model the fixed points via the equivariant cohomology of real partial flag varieties. We then use this model to characterise freeness of the fixed point coordinate ring over the appropriate base. As an application, we recover a $q=-1$ phenomenon of Stembridge in the minuscule case by geometric means.

Representation Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the involution problems on the Kirillov algebras related to the minimal highest - weight representations of semisimple Lie algebras. These involutions are induced by real structures. Specifically, the paper explores the following points:

1. **Geometric model of Kirillov algebras**: Model the Kirillov algebras as the equivariant cohomology algebras of partial flag varieties through the equivariant cohomology algebras.
2. **The role of real structures**: Study the role of real structures on these algebras, especially how they affect the spectrum of the Kirillov algebras, and describe the fixed - point schemes.
3. **Characterization of invariant rings**: Use the above - mentioned model to characterize the freeness of the coordinate ring of fixed points on an appropriate basis.
4. **Geometric interpretation of Stembridge phenomenon**: Recover the \( q=- 1\) phenomenon discovered by Stembridge in the minimal case by geometric methods.

### Specific problem description

- **Definition and properties of Kirillov algebras**: For a complex semisimple Lie algebra \( \mathfrak{g}\), the Kirillov algebra \( C_{\lambda}(\mathfrak{g})\) is the invariant subalgebra under the diagonal \( \mathfrak{g}\)-action of the highest - weight representation \( V_{\lambda}\):
\[
C_{\lambda}(\mathfrak{g})\coloneqq(S(\mathfrak{g})\otimes\text{End}(V_{\lambda}))^{\mathfrak{g}}
\]
This algebra is commutative if and only if the weight multiplicity of the representation \( V_{\lambda}\) is 1 (that is, each weight space is one - dimensional).

- **Introduction of real structures**: Consider the real structure \( \sigma\) on the Langlands dual group \( G^{\vee}\), which naturally acts on the conjugate weights and induces a real structure on \( G^{\vee}/P_{\lambda}\), thereby inducing an involution \( \sigma^{*}\) on the Kirillov algebra.

- **Study of fixed - point schemes**: Study the action of \( \sigma^{*}\) on the spectrum of the Kirillov algebra, especially the fixed - point scheme \( \text{Spec}(C_{\lambda}(\mathfrak{g}))^{\sigma^{*}}\) and its corresponding invariant ring.

- **Characterization of freeness**: Through the geometric model, characterize the freeness of the fixed - point coordinate ring \( C_{\lambda}(\mathfrak{g})^{\sigma^{*}}\) on \( S(\mathfrak{g})^{\mathfrak{g}}\).

- **Recovery of Stembridge phenomenon**: Recover the \( q =-1\) phenomenon discovered by Stembridge in the minimal case by geometric methods, that is:
\[
\#\text{wt}(\lambda)^{w_{0}}=D_{\lambda}(- 1)
\]
where \( w_{0}\) is the longest element of the Weyl group and \( D_{\lambda}\) is the Dynkin polynomial.

### Summary

The core problem of the paper is to study the involutions on the Kirillov algebras induced by real structures, explore the actions of these involutions on the algebraic spectra and their geometric meanings, and characterize the fixed - point schemes and freeness through geometric models, and finally recover Stembridge's \( q=-1\) phenomenon.