Axiome du diviseur quantique $K$-théorique pour les variétés de drapeaux

Informations fondamentales

• ID de l'article: 2505.16150
• Titre: Quantum $K$-theoretic divisor axiom for flag manifolds
• Auteurs: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Weihong Xu, avec une appendice par Leonardo C. Mihalcea et Weihong Xu
• Classification: math.QA (Algèbre Quantique), math.AG (Géométrie Algébrique), math.CO (Combinatoire), math.KT (Théorie K), math.RT (Théorie des Représentations)
• Date de publication: Mai 2025 (arXiv v2: 31 octobre 2025)
• Lien de l'article: https://arxiv.org/abs/2505.16150

Résumé

Cet article démontre une identité pour les invariants de Gromov-Witten $K$-théoriques (équivariants par le tore) à 3 points et genre 0 des variétés de drapeaux $G/P$, identité qui peut être considérée comme un substitut de l'« axiome du diviseur » dans leur théorie $K$ quantique (équivariante par le tore). Cette identité permet de calculer ces invariants lorsque deux insertions sont des classes de Schubert et l'autre est une classe de diviseur de Schubert. La preuve indépendante du type des auteurs utilise la formule de Chevalley pour l'anneau de théorie $K$ quantique (équivariant par le tore) des variétés de drapeaux, formule qui calcule la multiplication par les classes de diviseur de Schubert via le graphe de Bruhat quantique.

Contexte et motivation de la recherche

Contexte du problème

1. Limitations de l'axiome du diviseur classique: Dans la théorie de Gromov-Witten cohomologique, il existe l'axiome du diviseur bien connu: $\langle[\Omega_1], \ldots, [\Omega_{m-1}], [D]\rangle^Y_d = \left(\int_d [D]\right) \cdot \langle[\Omega_1], \ldots, [\Omega_{m-1}]\rangle^Y_d$ où $D$ est un diviseur. Cependant, dans le cadre de la théorie $K$, aucun analogue général de cet axiome n'existe.
2. Conjecture de Buch-Mihalcea: Pour les algèbres de Lie de type A, Buch et Mihalcea ont proposé une conjecture sur l'axiome du diviseur en théorie $K$ (Conjecture 1.1):\langle[O_{\Omega_1}], [O_{\Omega_2}]\rangle^Y_d & \text{si } d_i > 0, \\ \langle O_{s_i} \cdot [O_{\Omega_1}], [O_{\Omega_2}]\rangle^Y_d & \text{si } d_i = 0, \end{cases}$$ où $O_{s_i} = [O_{Y^{s_i}}]$ est un diviseur de Schubert.
3. Limitations des résultats existants:
   • Cette conjecture a été initialement proposée pour les variétés de drapeaux de type A
   • Des contre-exemples ont été trouvés en type G₂ (LM, Section 4), montrant que le premier cas n'est pas toujours valide
   • Auparavant, seuls les cas des variétés de drapeaux co-minimales, certaines Grassmanniennes et la Grassmannienne symplectique $SG(2,2n)$ avaient été traités

Motivation de la recherche

Cet article vise à:

1. Fournir une preuve indépendante du type: Établir l'axiome du diviseur en théorie $K$ quantique pour les variétés de drapeaux $G/P$ de tous les types de Lie
2. Caractériser les termes de correction: Donner une formule précise lorsque la condition $\langle\varpi_i, \theta^\vee\rangle = 1$ n'est pas satisfaite
3. Fournir des outils combinatoires: Utiliser le modèle des chemins quantiques de Lakshmibai-Seshadri (QLS) pour une description combinatoire calculable

Contributions principales

1. Théorème principal (Théorème 3.1): Démontre que le deuxième cas de l'axiome du diviseur est valide pour tous les $G/P$ lorsque $d_i = 0$: $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_{s_i} \cdot O_w, O_x\rangle_d$
2. Formule avec termes de correction (Théorème 3.2): Pour un degré effectif général $d \in Q^{\vee,+}_K$, donne la formule précise: $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_w, O_x\rangle_d - \sum_{p \in R^{K;\triangleright}_{w,x,d}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)}$ où le terme de correction est donné par un sous-ensemble $R^{K;\triangleright}_{w,x,d}$ de chemins QLS.
3. Conditions suffisantes: Démontre que lorsque $\langle\varpi_i, \theta^\vee\rangle = 1$ et $d_i > 0$, le terme de correction s'annule, c'est-à-dire: $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_w, O_x\rangle_d$ Cela couvre tous les poids fondamentaux minimaux et co-minimaux, ainsi que tous les poids fondamentaux de type C.
4. Classification complète: Donne une liste complète des poids fondamentaux satisfaisant la condition $\langle\varpi_i, \theta^\vee\rangle = 1$ (Section 2.4).
5. Formule de comparaison de Peterson (Appendice A, Proposition 1.3): Démontre la formule de réduction des invariants KGW de $G/P$ à ceux de $G/B$: $\langle\gamma_1, \ldots, \gamma_m\rangle^{G/P}_d = \langle\pi^*\gamma_1, \ldots, \pi^*\gamma_m\rangle^{G/B}_{\hat{d}}$
6. Résultats de positivité (Corollaire 3.5): Dans le cas non-équivariant, démontre la propriété de positivité des invariants KGW $\langle O_{s_i}, O_u, (O^w)^\vee\rangle_d$.

Explication détaillée des méthodes

Stratégie principale

Cet article emploie une approche combinatoire-algébrique, avec la ligne technique principale suivante:

1. Structure de l'anneau de théorie $K$ quantique: Utilise la relation entre la multiplication $\star$ dans l'anneau de théorie $K$ quantique $QK_T(Y)$ et les invariants KGW à 3 points: $((σ_1 \star σ_2, σ_3)) = \sum_{d \in Q^{\vee,+}_K} Q^d \langle σ_1, σ_2, σ_3\rangle_d$
2. Formule de Chevalley: Utilise de manière cruciale la formule quantique $K$-Chevalley (Théorème 2.17) prouvée par NOS et LNS: $O_{s_i} \star O_w = O_w + \sum_{v \in W} \sum_{\substack{\eta \in \text{QLS}(\varpi_i) \\ \kappa(\eta,v) = w}} (-1)^{\ell(v) - \ell(w) + 1} e^{-\varpi_i + \text{wt}(\eta)} Q^{\zeta(\eta,v)} O_v$
3. Graphe de Bruhat quantique: Encode les informations combinatoires du calcul de Schubert via le graphe de Bruhat quantique $\text{QBG}(W)$.

Chemins quantiques de Lakshmibai-Seshadri

Définition (Définition 2.9): Un chemin QLS de forme $\lambda$ est une paire $\eta = (v; a) = (v_1, \ldots, v_s; a_0, a_1, \ldots, a_s), \quad s \geq 1$ où:

• $v_1, \ldots, v_s \in W^J$ ($J = J_\lambda = \{j \in I \mid \langle\lambda, \alpha^\vee_j\rangle = 0\}$)
• $0 = a_0 < a_1 < \cdots < a_s = 1$ est une suite croissante de nombres rationnels
• Pour chaque $k = 1, \ldots, s-1$, il existe un chemin orienté de $v_{k+1}$ à $v_k$ dans $\text{QBG}^{a_k\lambda}(W^J)$

Propriétés clés:

• Lorsque $\langle\varpi_i, \theta^\vee\rangle = 1$, $\text{QLS}(\varpi_i) = \text{LS}(\varpi_i)$ (contient uniquement les chemins LS ordinaires)
• Définition du poids: $\text{wt}(\eta) = \sum_{k=1}^s (a_k - a_{k-1}) v_k \lambda$

Points techniques d'innovation

1. Méthode des bijections signées (sijections): Construction de deux bijections signées clés $\Theta$ et $\Theta'$:
   • $\Theta$ agit en ajoutant/supprimant la dernière arête étiquetée $\alpha_i$
   • $\Theta'$ ajoute/supprime des arêtes selon la relation d'ordre de réflexion entre l'étiquette finale $\beta$ et l'étiquette initiale $\gamma$
2. Traitement par étapes: Décompose l'ensemble des chemins QLS en: $\text{QLS}^{K;\triangleright}_{w,x,d} = \text{QLS}^{K;\triangleright}_{w,x,d,+} \sqcup \text{QLS}^{K;\triangleright}_{w,x,d,0}$ et démontre séparément:
   • $\sum_{p \in \text{QLS}^{K;\triangleright}_{w,x,d,+}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)} = 0$ (via les bijections $\Theta$ et $\Theta'$)
   • $\sum_{p \in \text{QLS}^{K;\triangleright}_{w,x,d,0} \setminus R^{K;\triangleright}_{w,x,d}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)} = 0$ (via la bijection $\Psi$)
3. Voisinage de courbes à deux points: Introduit l'objet géométrique $\Gamma_d(Y_u, Y^{s_i})$ (Définition 1.4): $\Gamma_d(Y_u, Y^{s_i}) := \text{ev}_3(M_d(Y_u, Y^{s_i}))$ et démontre (Lemme 2.14):\text{ev}_2(\text{ev}_1^{-1}(Y_u)) & \text{si } d_i > 0, \\ \text{ev}_2(\text{ev}_1^{-1}(Y_u)) \cap Y^{s_i} & \text{si } d_i = 0 \end{cases}$$

Esquisse de la preuve des théorèmes principaux

Preuve du Théorème 3.1 (cas $d_i = 0$)

Stratégie de preuve (Section 4.2):

1. Développement algébrique: À partir de la relation de métrique quantique: $\sum_{d \in Q^{\vee,+}_K} Q^d \langle O_{s_i}, O_w, O_x\rangle_d = ((O_{s_i} \star O_w, O_x))$
2. Application de la formule de Chevalley: Utilise le Corollaire 2.19: $O_{s_i} \star O_w = O_w - \sum_{p \in \text{QLS}^\triangleright_w} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)} Q^{[\text{qwt}(p)]} O_{\lfloor\text{end}(p)\rfloor}$
3. Décomposition clé: Définit l'ensemble $U := \{z \in W^{I\setminus K} \mid \lfloor\text{end}(p)\rfloor = z \text{ pour un certain } p \in \text{QLS}^\triangleright_w \text{ avec qwt}(p) = 0\}$
4. Analyse modulaire: Démontre:
   • Si $z \in U$, alors $a_z(Q) \in c_z + Q_i R(T)[Q]$
   • Si $z \notin U$, alors $a_z(Q) \in Q_i R(T)[Q]$, donc $c_z = 0$
5. Extraction du coefficient: Puisque $d_i = 0$ implique $Q^d \notin Q_i R(T)[Q]$, l'extraction du coefficient de $Q^d$ donne: $\langle O_{s_i}, O_w, O_x\rangle_d = \sum_{z \in U} c_z \langle O^z, O_x\rangle_d = \sum_{z \in W^{I\setminus K}} c_z \langle O^z, O_x\rangle_d = \langle O_{s_i} \cdot O_w, O_x\rangle_d$

Preuve du Théorème 3.2 (cas général)

Stratégie de preuve (Section 4.3):

1. Identité fondamentale (équations 4.10-4.11): Via la formule de Chevalley et la formule des invariants à 2 points (Lemme 4.1): $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_w, O_x\rangle_d - \sum_{p \in \text{QLS}^{K;\triangleright}_{w,x,d}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)}$
2. Décomposition d'ensemble: $\text{QLS}^{K;\triangleright}_{w,x,d,+} := \{p \in \text{QLS}^{K;\triangleright}_{w,x,d} \mid \langle\varpi_i, d - \text{qwt}_2(p)\rangle > 0\}$$\text{QLS}^{K;\triangleright}_{w,x,d,0} := \{p \in \text{QLS}^{K;\triangleright}_{w,x,d} \mid \langle\varpi_i, d - \text{qwt}_2(p)\rangle = 0\}$
3. Preuve que la contribution de $\text{QLS}^{K;\triangleright}_{w,x,d,+}$ est nulle (Section 4.3.1):
   • Construction de la bijection $\Theta$: en ajoutant/supprimant la dernière arête étiquetée $\alpha_i$
   • Partition de l'ensemble en $A$ (dernière étiquette est $\alpha_i$) et $B$ (dernière étiquette n'est pas $\alpha_i$)
   • Décomposition supplémentaire $B = B_1 \sqcup B_2$
   • Application de $\Theta$ à $A \sqcup B_1$, construction d'une nouvelle bijection $\Theta'$ pour $B_2$
4. Preuve que la contribution de $\text{QLS}^{K;\triangleright}_{w,x,d,0} \setminus R^{K;\triangleright}_{w,x,d}$ est nulle (Section 4.3.2):
   • Construction de la bijection $\Psi$: selon la relation d'ordre de réflexion entre l'étiquette finale $\beta$ et l'étiquette initiale $\gamma$ du chemin vers $x$
   • Observation clé: $(β, γ) \neq (\alpha_i, \alpha_i)$ (sinon cela mène à une contradiction)
5. Conditions suffisantes pour l'annulation du terme de correction (Section 4.3.3):
   • Lorsque $\langle\varpi_i, \theta^\vee\rangle = 1$, $\text{QLS}(\varpi_i) = \text{LS}(\varpi_i)$
   • On peut prendre $N = 2$, et $\eta_p = (\lfloor\text{end}(p_2)\rfloor^J, \lfloor w\rfloor^J)$ satisfait $\lfloor\text{end}(p_2)\rfloor^J \geq \lfloor w\rfloor^J$
   • Par le Lemme 2.6, on obtient $\text{end}(p_2) \geq w$, donc $\text{qwt}_2(p) = 0$
   • Ainsi $\langle\varpi_i, d - [\text{qwt}_2(p)]\rangle = d_i > 0$, c'est-à-dire $R^{K;\triangleright}_{w,x,d} = \emptyset$

Détails techniques clés

Graphe de Bruhat quantique

Définition 2.1: Pour un sous-ensemble $L \subseteq I$, le graphe de Bruhat quantique $\text{QBG}(W^L)$ est un graphe orienté étiqueté par $(\Delta^+ \setminus \Delta^+_L)$, avec:

• Sommets: éléments de $W^L$
• Arêtes: $x \xrightarrow{\alpha} y$ ($x, y \in W^L$, $\alpha \in \Delta^+ \setminus \Delta^+_L$), satisfaisant $y = \lfloor xs_\alpha\rfloor^L$ et:
  • (B) Arête de Bruhat: $\ell(y) = \ell(x) + 1$
  • (Q) Arête quantique: $\ell(y) = \ell(x) + 1 - 2\langle\rho - \rho_L, \alpha^\vee\rangle$

Propriétés clés (Théorème 2.3):

• Il existe un unique chemin le plus court d'étiquettes croissantes et un unique chemin le plus court d'étiquettes décroissantes
• Le poids quantique $\text{qwt}(v \Rightarrow w)$ est bien défini (indépendant du choix du chemin le plus court)

Ordre de Bruhat biaisé

Définition 2.4: Pour chaque $v \in W$, définit l'ordre de Bruhat biaisé par $v$ $\leq^*_v$: $w_1 \leq^*_v w_2 \Longleftrightarrow \ell(w_1 \Rightarrow v) = \ell(w_1 \Rightarrow w_2) + \ell(w_2 \Rightarrow v)$

Résultat important (Proposition 2.5): Chaque classe latérale $uW_L$ a un unique élément maximal pour $\leq^*_v$, noté $\max(uW_L, \leq^*_v)$.

Détails de construction des bijections

Bijection $\Theta$ (pour $A \sqcup B_1$):

Pour $p = (p_N, \ldots, p_2, p_1) \in \text{QLS}^\triangleright_w$:

1. Si $\kappa_L(p_1) = \alpha_i$: supprimer la dernière arête de $p_1$ (étiquetée $\alpha_i$)
2. Si $\kappa_L(p_1) \neq \alpha_i$: ajouter une arête étiquetée $\alpha_i$ à la fin de $p_1$

Bijection $\Theta'$ (pour $B_2$):

Soit $p \in B_2$, définir:

• $\beta := \kappa_L(p_1)$ (dernière étiquette de $p_1$, ou $-\infty$ si $p_1$ est trivial)
• $\gamma := \iota_L(\text{dec}(z \Rightarrow x))$ (étiquette initiale du chemin d'étiquettes décroissantes de $z = \text{end}(p)$ à $x$, ou $-\infty$ si $z = x$)

Observation clé: $\beta \neq \gamma$ (Remarque 4.5)

1. Si $\beta \triangleright \gamma$: supprimer la dernière arête de $p_1$ (étiquetée $\beta$)
2. Si $\beta \triangleleft \gamma$: ajouter une arête étiquetée $\gamma$ à la fin de $p_1$

Vérification: $\Theta'(p) \in B_2$ (la clé est de vérifier les conditions 4.21 et 4.22)

Applications et corollaires

Résultats de positivité

Corollaire 3.5: Si $d_i = 0$ ou $\langle\varpi_i, \theta^\vee\rangle = 1$, alors l'invariant KGW non-équivariant satisfait: $(-1)^{\ell(w) - \text{codim} \Gamma_d(Y_u, Y^{s_i})} \langle O_{s_i}, O_u, (O^w)^\vee\rangle_d \geq 0$

Esquisse de preuve:

1. Par les Théorèmes 3.1 et 3.2, se ramène au calcul de $\chi_Y(O_{\Gamma_d(Y_u, Y^{s_i})} \cdot (O^w)^\vee)$
2. Application du théorème de Brion Br: le développement de la couche structurale d'une sous-variété fermée irréductible avec singularités rationnelles dans la base de Schubert a des signes alternés
3. Cas équivariant utilisant la généralisation d'Anderson-Griffeth-Miller AGM

Formule de comparaison de Peterson

Proposition 1.3: Soit $\pi: G/B \to G/P$ la projection naturelle, $\hat{d}$ le relèvement de Peterson de $d$, alors: $\langle\gamma_1, \ldots, \gamma_m\rangle^{G/P}_d = \langle\pi^*\gamma_1, \ldots, \pi^*\gamma_m\rangle^{G/B}_{\hat{d}}$

Points clés de la preuve (Appendice A):

1. Utilisation du résultat de Woodward W: l'application naturelle $M_{0,m}(G/B, \hat{d}) \to M_{0,m}(G/P, d)$ est cohomologiquement triviale (Corollaire A.4)
2. Application de la formule de projection et du pushforward de la couche structurale

Corollaire A.6: Les Théorèmes 3.1 et 3.2 pour $G/B$ impliquent les résultats pour $G/P$

Exemples concrets

Exemple 3.3 (Contre-exemple de type G₂)

Considérer $g$ de type G₂, $i = 2$ (racine longue), $w = s_2s_1s_2s_1s_2$, $d = d_1\alpha^\vee_1 + 2\alpha^\vee_2$ ($d_1 > 0$).

Calcul:

• $\langle\varpi_2, \theta^\vee\rangle = 2 \neq 1$ ($\theta = 3\alpha_1 + 2\alpha_2$)
• $N_2 = 6$, $\text{QLS}(\varpi_2) \neq \text{LS}(\varpi_2)$

Résultat: