2025-11-14T22:43:11.882781

Minimal Nilpotent Orbits and Toric Varieties

Jia, Li

Let $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ be the collection of elements of $\mathfrak{sl}_{n+1}(\mathbb C)$ with rank less than or equal to $1$ and with all diagonal entries equal to zero. We show that the coordinate ring $\mathbb C[\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)]$ of the scheme-theoretic intersection $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ has a flat degeneration to the ring of $(\mathbb C^{\times})^n$-equivariant cohomology of the projective toric variety associated with the fan of compatible subsets of almost positive roots of type $C_n$. Then we compute the Hilbert series of $\mathbb C[\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)]$ and prove that $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ is reduced and Gorenstein. Moreover, our proof method allows us to prove that the scheme-theoretic intersection $\overline{\mathcal{O}}_\textrm{min} \cap \mathfrak n^+$, of which the irreducible components are known as the ``orbital varieties'', is reduced and Cohen-Macaulay.

academic

Orbites Nilpotentes Minimales et Variétés Toriques

Informations Fondamentales

ID de l'article: 2511.02179
Titre: Minimal Nilpotent Orbits and Toric Varieties
Auteurs: Boming Jia (Université Tsinghua), Yu Li (Université de Notre Dame)
Classification: math.AG (Géométrie algébrique), math.AC (Algèbre commutative), math.RT (Théorie des représentations)
Date de soumission: 4 novembre 2025 sur arXiv
Lien de l'article: https://arxiv.org/abs/2511.02179

Résumé

Cet article étudie l'intersection au sens de la théorie des schémas entre l'orbite nilpotente minimale $\overline{\mathcal{O}}_{\text{min}}$ de l'algèbre de Lie $\mathfrak{sl}_{n+1}(\mathbb{C})$ et la sous-algèbre des matrices strictement triangulaires supérieures et inférieures $\mathfrak{n}^+ \oplus \mathfrak{n}^-$ . Les résultats principaux incluent:

Preuve que l'anneau de coordonnées $\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)]$ se dégénère platement vers l'anneau de cohomologie équivariante $(\mathbb{C}^{\times})^n$ de la variété torique projective correspondant à l'éventail des sous-ensembles presque-positifs compatibles de type $C_n$
Calcul de la série de Hilbert de cet anneau de coordonnées, preuve que $\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)$ est réduit et Gorenstein
Preuve que la variété orbitale $\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{n}^+$ est réduite et Cohen-Macaulay

Contexte et Motivation de la Recherche

Contexte du Problème

Contexte de la conjecture de Hikita: Dans la théorie de la dualité symplectique, la conjecture de Hikita prédit que pour une paire de résolutions symplectiques duales $Y \to X$ et $Y^\vee \to X^\vee$ , il existe un isomorphisme d'anneaux $\mathbb{C}[X^{\mathbb{C}^{\times}}] \cong H^*(Y^\vee)$ . Pour le cas de l'orbite nilpotente minimale, Shlykov (2019) a prouvé que $\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{h}] \cong H^*(\widetilde{\mathbb{C}^2/\mathbb{Z}_{n+1}})$
Étude complémentaire: Cet article étudie le cas complémentaire du théorème de Shlykov — au lieu de prendre l'intersection avec la sous-algèbre de Cartan $\mathfrak{h}$ , on considère l'intersection avec son complément $\mathfrak{n}^+ \oplus \mathfrak{n}^-$
Nouveau mécanisme de connexion entre systèmes de racines: Cet article établit un lien entre les systèmes de racines de type $A$ et de type $C$ , mais ce lien n'est pas réalisé par le « repliement » usuel du diagramme de Dynkin simplement connexe (le repliement de $A_{2n-1}$ donne $C_n$ ), mais plutôt par une correspondance directe entre $A_n$ et $C_n$ de même rang

Importance

Objets fondamentaux de la théorie géométrique des représentations: Les variétés orbitales sont des objets fondamentaux en théorie géométrique des représentations, reliant via la correspondance de Springer les représentations du groupe de Weyl aux propriétés géométriques des variétés de drapeaux
Pont entre combinatoire et géométrie: Établit un lien entre la combinatoire de Catalan de type $C_n$ et la géométrie des orbites nilpotentes minimales
Théorie des singularités: Fournit une méthode élémentaire pour prouver que $\overline{\mathcal{O}}_{\text{min}}$ est Gorenstein, indépendante de la théorie des singularités symplectiques

Limitations des Méthodes Existantes

Caractère réduit des variétés orbitales inconnu: Pour les variétés orbitales générales, la question de savoir quand elles sont réduites reste non résolue
Preuve de la propriété Gorenstein: Beauville a utilisé la théorie des singularités symplectiques pour prouver que $\overline{\mathcal{O}}_{\text{min}}$ est Gorenstein rationnel, mais la méthode est assez sophistiquée

Points Novateurs de cet Article

Utilisation de la technique des bases de Gröbner et de la théorie des anneaux de Stanley-Reisner des variétés toriques, fournissant un ensemble d'outils élémentaires et efficaces pour étudier les propriétés algébriques de ces objets géométriques.

Contributions Principales

Théorème de dégénérescence plate (Théorème 1.2): Établit une dégénérescence plate de $\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)]$ vers la cohomologie équivariante de la variété torique de type $C_n$
Calcul de la série de Hilbert (Théorème 1.3): Prouve que $h_{\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)]}(t) = \frac{\sum_{i=0}^n \binom{n}{i}^2 t^i}{(1-t)^n}$ où les coefficients $\binom{n}{i}^2$ sont les nombres de Narayana de type $C_n$
Propriétés géométriques (Théorèmes 1.3, 1.4): Prouve que
- $\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)$ est réduit et Gorenstein
- $\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{n}^+$ est réduit et Cohen-Macaulay
Preuve élémentaire (Corollaire 6.4): Fournit une preuve élémentaire que $\overline{\mathcal{O}}_{\text{min}}$ est Gorenstein
Bijection entre systèmes de racines: Construit une bijection explicite entre toutes les racines de type $A_n$ et les racines presque-positives de type $C_n$ , et caractérise la compatibilité

Explication Détaillée de la Méthode

Définition de la Tâche

Entrée: L'algèbre de Lie $\mathfrak{sl}_{n+1}(\mathbb{C})$ et sa fermeture d'orbite nilpotente minimale $\overline{\mathcal{O}}_{\text{min}}$

Sortie:

Propriétés algébriques de l'anneau de coordonnées de l'intersection au sens des schémas $\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)$
Propriétés géométriques de cette intersection (caractère réduit, propriété Gorenstein, etc.)
Formule explicite pour la série de Hilbert

Contraintes:

$\overline{\mathcal{O}}_{\text{min}}$ est composée de matrices de rang 1 et de la matrice nulle
$\mathfrak{n}^+ \oplus \mathfrak{n}^-$ exige que tous les éléments diagonaux soient nuls

Cadre Technique Principal

1. Construction de la Bijection entre Systèmes de Racines (Sections 3-4)

Pour le système de racines de type $C_n$ , soit $\varepsilon_1, \ldots, \varepsilon_n$ la base standard, les racines positives étant: $\{\varepsilon_i \pm \varepsilon_j : 1 \leq i < j \leq n\} \cup \{2\varepsilon_i : 1 \leq i \leq n\}$

Racines presque-positives: $\Phi^{C_n}_{\geq -1} = \Phi^{C_n}_+ \sqcup (-\Pi^{C_n})$

Bijection clé: Chaque racine $\alpha$ dans $\Phi^{C_n}_{\geq -1}$ est placée à la position $(i,j)$ d'une matrice $(n+1) \times (n+1)$ , de sorte que cette position corresponde à un espace racinaire du système de racines de type $A_n$ :

undefined