Assioma del divisore quantistico $K$-teorico per varietà di bandiere

Informazioni di base

• ID articolo: 2505.16150
• Titolo: Quantum $K$-theoretic divisor axiom for flag manifolds
• Autori: Cristian Lenart, Satoshi Naito, Daisuke Sagaki, Weihong Xu, con appendice di Leonardo C. Mihalcea e Weihong Xu
• Classificazione: math.QA (Algebra Quantistica), math.AG (Geometria Algebrica), math.CO (Combinatoria), math.KT (K-Teoria), math.RT (Teoria della Rappresentazione)
• Data di pubblicazione: maggio 2025 (arXiv v2: 31 ottobre 2025)
• Link articolo: https://arxiv.org/abs/2505.16150

Riassunto

Questo articolo dimostra un'identità per gli invarianti di Gromov-Witten $K$-teorici (equivarianti rispetto al toro) a 3 punti, genere 0 delle varietà di bandiere $G/P$, identità che può essere considerata come un sostituto dell'"assioma del divisore" nella loro $K$-teoria quantistica (equivariante rispetto al toro). Questa identità consente il calcolo di questi invarianti quando due inserzioni sono classi di Schubert e l'altra è una classe di divisore di Schubert. La dimostrazione indipendente dal tipo degli autori utilizza la formula di Chevalley per l'anello di $K$-teoria quantistica (equivariante rispetto al toro) delle varietà di bandiere, formula che calcola la moltiplicazione con classi di divisore di Schubert tramite il grafo di Bruhat quantistico.

Contesto di ricerca e motivazione

Contesto del problema

1. Limitazioni dell'assioma del divisore classico: Nella teoria di Gromov-Witten coomologica, esiste il celebre assioma del divisore: $\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$ dove $D$ è un divisore. Tuttavia, nel contesto della $K$-teoria, non esiste un'analoga generale di tale assioma.
2. Congettura di Buch-Mihalcea: Per le algebre di Lie di tipo A, Buch e Mihalcea hanno proposto una congettura sull'assioma del divisore in $K$-teoria (Congettura 1.1):\langle[O_{\Omega_1}], [O_{\Omega_2}]\rangle^Y_d & \text{se } d_i > 0, \\ \langle O_{s_i} \cdot [O_{\Omega_1}], [O_{\Omega_2}]\rangle^Y_d & \text{se } d_i = 0, \end{cases}$$ dove $O_{s_i} = [O_{Y^{s_i}}]$ è il divisore di Schubert.
3. Limitazioni dei risultati esistenti:
   • La congettura è stata inizialmente proposta per varietà di bandiere di tipo A
   • Sono stati trovati controesempi nel tipo G₂ (LM, Sezione 4), mostrando che il primo caso non è sempre valido
   • In precedenza era stata provata solo per varietà di bandiere co-minimali, specifici Grassmanniani e Grassmanniani simplettici $SG(2,2n)$

Motivazione della ricerca

Questo articolo mira a:

1. Fornire una dimostrazione indipendente dal tipo: Stabilire l'assioma del divisore in $K$-teoria quantistica per varietà di bandiere $G/P$ di tutti i tipi di Lie
2. Caratterizzare i termini di correzione: Fornire formule esatte quando la condizione $\langle\varpi_i, \theta^\vee\rangle = 1$ non è soddisfatta
3. Fornire strumenti combinatori: Utilizzare il modello di percorsi di Lakshmibai-Seshadri quantistici (QLS) per fornire descrizioni combinatorie calcolabili

Contributi principali

1. Teorema principale (Teorema 3.1): Dimostra che il secondo caso dell'assioma del divisore vale per tutti i $G/P$ quando $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. Formula con termini di correzione (Teorema 3.2): Per gradi effettivi generali $d \in Q^{\vee,+}_K$, fornisce la formula esatta: $\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)}$ dove il termine di correzione è dato tramite un sottoinsieme $R^{K;\triangleright}_{w,x,d}$ di percorsi QLS.
3. Condizioni sufficienti: Dimostra che quando $\langle\varpi_i, \theta^\vee\rangle = 1$ e $d_i > 0$, il termine di correzione è zero, cioè: $\langle O_{s_i}, O_w, O_x\rangle_d = \langle O_w, O_x\rangle_d$ Questo copre tutti i pesi fondamentali minimali e co-minimali, così come tutti i pesi fondamentali di tipo C.
4. Classificazione completa: Fornisce un elenco completo dei pesi fondamentali che soddisfano la condizione $\langle\varpi_i, \theta^\vee\rangle = 1$ (Sezione 2.4).
5. Formula di confronto di Peterson (Appendice A, Proposizione 1.3): Dimostra la formula per ridurre gli invarianti KGW di $G/P$ a quelli di $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. Risultati di positività (Corollario 3.5): Nel caso non-equivariante, dimostra proprietà di positività degli invarianti KGW $\langle O_{s_i}, O_u, (O^w)^\vee\rangle_d$.

Spiegazione dettagliata dei metodi

Strategia principale

L'articolo adotta un metodo combinatorio-algebrico, con il seguente percorso tecnico principale:

1. Struttura dell'anello di $K$-teoria quantistica: Utilizza la relazione tra la moltiplicazione $\star$ nell'anello di $K$-teoria quantistica $QK_T(Y)$ e gli invarianti KGW a 3 punti: $((σ_1 \star σ_2, σ_3)) = \sum_{d \in Q^{\vee,+}_K} Q^d \langle σ_1, σ_2, σ_3\rangle_d$
2. Formula di Chevalley: Utilizza crucialmente la formula di Chevalley quantistica in $K$-teoria (Teorema 2.17) provata da NOS e 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. Grafo di Bruhat quantistico: Codifica le informazioni combinatorie del calcolo di Schubert tramite il grafo di Bruhat quantistico $\text{QBG}(W)$.

Percorsi di Lakshmibai-Seshadri quantistici

Definizione (Definizione 2.9): Un percorso QLS di forma $\lambda$ è una coppia $\eta = (v; a) = (v_1, \ldots, v_s; a_0, a_1, \ldots, a_s), \quad s \geq 1$ dove:

• $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$ è una sequenza crescente di numeri razionali
• Per ogni $k = 1, \ldots, s-1$, esiste un percorso diretto da $v_{k+1}$ a $v_k$ in $\text{QBG}^{a_k\lambda}(W^J)$

Proprietà chiave:

• Quando $\langle\varpi_i, \theta^\vee\rangle = 1$, $\text{QLS}(\varpi_i) = \text{LS}(\varpi_i)$ (contiene solo percorsi LS ordinari)
• Definizione del peso: $\text{wt}(\eta) = \sum_{k=1}^s (a_k - a_{k-1}) v_k \lambda$

Punti di innovazione tecnica

1. Metodo di sijection: Costruisce due cruciali biiezioni con segno (sijections) $\Theta$ e $\Theta'$:
   • $\Theta$ agisce aggiungendo/rimuovendo l'ultimo arco etichettato con $\alpha_i$
   • $\Theta'$ aggiunge/rimuove archi in base alla relazione di ordine di riflessione tra l'etichetta finale $\beta$ e l'etichetta iniziale $\gamma$
2. Trattamento stratificato: Decompone l'insieme di percorsi QLS come: $\text{QLS}^{K;\triangleright}_{w,x,d} = \text{QLS}^{K;\triangleright}_{w,x,d,+} \sqcup \text{QLS}^{K;\triangleright}_{w,x,d,0}$ e dimostra separatamente:
   • $\sum_{p \in \text{QLS}^{K;\triangleright}_{w,x,d,+}} (-1)^{\ell(p)} e^{-\varpi_i + \text{wt}(\eta_p)} = 0$ (tramite sijections $\Theta$ e $\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$ (tramite sijection $\Psi$)
3. Intorno di curve a due punti: Introduce l'oggetto geometrico $\Gamma_d(Y_u, Y^{s_i})$ (Definizione 1.4): $\Gamma_d(Y_u, Y^{s_i}) := \text{ev}_3(M_d(Y_u, Y^{s_i}))$ e dimostra (Lemma 2.14):\text{ev}_2(\text{ev}_1^{-1}(Y_u)) & \text{se } d_i > 0, \\ \text{ev}_2(\text{ev}_1^{-1}(Y_u)) \cap Y^{s_i} & \text{se } d_i = 0 \end{cases}$$

Strategia di dimostrazione dei teoremi principali

Dimostrazione del Teorema 3.1 (caso $d_i = 0$)

Strategia di dimostrazione (Sezione 4.2):

1. Espansione algebrica: Partendo dalla relazione di metriche quantistiche: $\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. Applicazione della formula di Chevalley: Utilizza il Corollario 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. Decomposizione chiave: Definisce l'insieme $U := \{z \in W^{I\setminus K} \mid \lfloor\text{end}(p)\rfloor = z \text{ per qualche } p \in \text{QLS}^\triangleright_w \text{ con qwt}(p) = 0\}$
4. Analisi modulo: Dimostra:
   • Se $z \in U$, allora $a_z(Q) \in c_z + Q_i R(T)[Q]$
   • Se $z \notin U$, allora $a_z(Q) \in Q_i R(T)[Q]$, quindi $c_z = 0$
5. Estrazione dei coefficienti: Poiché $d_i = 0$ implica $Q^d \notin Q_i R(T)[Q]$, estraendo il coefficiente di $Q^d$ si ottiene: $\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$

Dimostrazione del Teorema 3.2 (caso generale)

Strategia di dimostrazione (Sezione 4.3):

1. Identità fondamentale (equazioni 4.10-4.11): Tramite la formula di Chevalley e la formula degli invarianti a 2 punti (Lemma 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. Decomposizione dell'insieme: $\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. Dimostrazione che il contributo di $\text{QLS}^{K;\triangleright}_{w,x,d,+}$ è zero (Sezione 4.3.1):
   • Costruisce la sijection $\Theta$: aggiungendo/rimuovendo l'ultimo arco etichettato con $\alpha_i$
   • Divide l'insieme in $A$ (ultimo arco etichettato con $\alpha_i$) e $B$ (ultimo arco non etichettato con $\alpha_i$)
   • Ulteriormente decompone $B = B_1 \sqcup B_2$
   • Applica $\Theta$ a $A \sqcup B_1$, costruisce una nuova sijection $\Theta'$ per $B_2$
4. Dimostrazione che il contributo di $\text{QLS}^{K;\triangleright}_{w,x,d,0} \setminus R^{K;\triangleright}_{w,x,d}$ è zero (Sezione 4.3.2):
   • Costruisce la sijection $\Psi$: basata sulla relazione di ordine di riflessione tra l'etichetta finale $\beta$ e l'etichetta iniziale $\gamma$ del percorso a $x$
   • Osservazione chiave: $(β, γ) \neq (\alpha_i, \alpha_i)$ (altrimenti porterebbe a contraddizione)
5. Condizioni sufficienti per l'annullamento del termine di correzione (Sezione 4.3.3):
   • Quando $\langle\varpi_i, \theta^\vee\rangle = 1$, $\text{QLS}(\varpi_i) = \text{LS}(\varpi_i)$
   • Si può prendere $N = 2$, e $\eta_p = (\lfloor\text{end}(p_2)\rfloor^J, \lfloor w\rfloor^J)$ soddisfa $\lfloor\text{end}(p_2)\rfloor^J \geq \lfloor w\rfloor^J$
   • Dal Lemma 2.6, si ottiene $\text{end}(p_2) \geq w$, quindi $\text{qwt}_2(p) = 0$
   • Pertanto $\langle\varpi_i, d - [\text{qwt}_2(p)]\rangle = d_i > 0$, cioè $R^{K;\triangleright}_{w,x,d} = \emptyset$

Dettagli tecnici chiave

Grafo di Bruhat quantistico

Definizione 2.1: Per un sottoinsieme $L \subseteq I$, il grafo di Bruhat quantistico $\text{QBG}(W^L)$ è un grafo diretto etichettato con $(\Delta^+ \setminus \Delta^+_L)$, con:

• Vertici: elementi di $W^L$
• Archi: $x \xrightarrow{\alpha} y$ ($x, y \in W^L$, $\alpha \in \Delta^+ \setminus \Delta^+_L$), soddisfacenti $y = \lfloor xs_\alpha\rfloor^L$ e:
  • (B) Arco di Bruhat: $\ell(y) = \ell(x) + 1$
  • (Q) Arco quantistico: $\ell(y) = \ell(x) + 1 - 2\langle\rho - \rho_L, \alpha^\vee\rangle$

Proprietà chiave (Teorema 2.3):

• Esistono percorsi più brevi unici con etichette crescenti e decrescenti
• Il peso quantistico $\text{qwt}(v \Rightarrow w)$ è ben definito (indipendente dal percorso più breve scelto)

Ordine di Bruhat doppiamente inclinato

Definizione 2.4: Per ogni $v \in W$, definisce l'ordine di Bruhat doppiamente $v$-inclinato $\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)$

Risultato importante (Proposizione 2.5): Ogni coset $uW_L$ ha un unico elemento massimale rispetto a $\leq^*_v$, denotato $\max(uW_L, \leq^*_v)$.

Dettagli della costruzione delle sijections

Sijection $\Theta$ (per $A \sqcup B_1$):

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

1. Se $\kappa_L(p_1) = \alpha_i$: rimuove l'ultimo arco di $p_1$ (etichettato con $\alpha_i$)
2. Se $\kappa_L(p_1) \neq \alpha_i$: aggiunge un arco etichettato con $\alpha_i$ alla fine di $p_1$

Sijection $\Theta'$ (per $B_2$):

Sia $p \in B_2$, definisce:

• $\beta := \kappa_L(p_1)$ (etichetta finale di $p_1$, o $-\infty$ se $p_1$ è banale)
• $\gamma := \iota_L(\text{dec}(z \Rightarrow x))$ (etichetta iniziale del percorso con etichette decrescenti da $z = \text{end}(p)$ a $x$, o $-\infty$ se $z = x$)

Osservazione chiave: $\beta \neq \gamma$ (Osservazione 4.5)

1. Se $\beta \triangleright \gamma$: rimuove l'ultimo arco di $p_1$ (etichettato con $\beta$)
2. Se $\beta \triangleleft \gamma$: aggiunge un arco etichettato con $\gamma$ alla fine di $p_1$

Verifica: $\Theta'(p) \in B_2$ (il punto chiave è verificare le condizioni 4.21 e 4.22)

Applicazioni e corollari

Risultati di positività

Corollario 3.5: Se $d_i = 0$ o $\langle\varpi_i, \theta^\vee\rangle = 1$, allora gli invarianti KGW non-equivarianti soddisfano: $(-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$

Idea della dimostrazione:

1. Dai Teoremi 3.1 e 3.2, riduce al calcolo di $\chi_Y(O_{\Gamma_d(Y_u, Y^{s_i})} \cdot (O^w)^\vee)$
2. Applica il teorema di Brion Br: l'espansione del fascio di struttura di una sottovarietà chiusa irriducibile con singolarità razionali nella base di Schubert ha segni alternati
3. Nel caso equivariante utilizza la generalizzazione di Anderson-Griffeth-Miller AGM

Formula di confronto di Peterson

Proposizione 1.3: Sia $\pi: G/B \to G/P$ la proiezione naturale, $\hat{d}$ il sollevamento di Peterson di $d$, allora: $\langle\gamma_1, \ldots, \gamma_m\rangle^{G/P}_d = \langle\pi^*\gamma_1, \ldots, \pi^*\gamma_m\rangle^{G/B}_{\hat{d}}$

Punti chiave della dimostrazione (Appendice A):

1. Utilizza il risultato di Woodward W: la mappa naturale $M_{0,m}(G/B, \hat{d}) \to M_{0,m}(G/P, d)$ è coomologicamente banale (Corollario A.4)
2. Applica la formula di proiezione e il pushforward del fascio di struttura

Corollario A.6: I Teoremi 3.1 e 3.2 valgono per $G/B$ $\Rightarrow$ valgono per $G/P$

Esempi concreti

Esempio 3.3 (Controesempio di tipo G₂)

Consideriamo $g$ di tipo G₂, $i = 2$ (radice lunga), $w = s_2s_1s_2s_1s_2$, $d = d_1\alpha^\vee_1 + 2\alpha^\vee_2$ ($d_1 > 0$).

Calcolo:

• $\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)$

Risultato: