Structure constants of Peterson Schubert calculus

Titel: Structuurconstanten van de Peterson Schubert-calculus

Auteurs: Tao Gui, Yuqi Jia, Xinkai Yu, Zhexi Zhang, en Yucheng Zhu.

1. Het Probleem

De Peterson-variëteit ($Pet_G$) is een bijzondere deelvariëteit van de vlagvariëteit ($G/B$) die een centrale rol speelt in de kwantumcohomologie en de homologie van de affiene Grassmanniaan. De cohomologiering van deze variëteit, bekend als de "Peterson Schubert-calculus", wordt gegenereerd door Peterson-Schubert-klassen $\{p_I\}_{I \subset \Delta}$, waarbij $\Delta$ de verzameling van eenvoudige wortels is.

De centrale vraag die in dit artikel wordt aangepakt, is het vinden van een positieve, expliciete en type-uniforme formule voor de structuurconstanten $c^K_{I,J}$ van het product van deze klassen:
$$p_I \cdot p_J = \sum_{K} c^K_{I,J} p_K$$
Hoewel de positiviteit van deze constanten (dat ze polynomen in $t$ met niet-negatieve coëfficiënten zijn) eerder was bewezen met behulp van geometrische en combinatorische methoden, ontbrak er een directe algebraïsche formule die voor alle Lie-types (A, B, C, D, E, F, G) uniform werkt en uitsluitend afhankelijk is van de Cartan-matrix. Eerdere werken vereisten vaak type-specifieke analyses of complexe recursieve methoden (zoals de Monk-formule).

2. Methodologie

De auteurs hanteren een puur algebraïsche benadering die verschilt van eerdere geometrische of combinatorische modellen. De kern van hun methode bestaat uit de volgende stappen:

1. Representatie via Monomen:
   Gebruikmakend van de Borel-type presentatie van de equivariante cohomologiering van Peterson-variëteiten (Harada-Horiguchi-Masuda), identificeren de auteurs de Peterson-Schubert-klassen $p_I$ met specifieke monomen $\varpi_I = \prod_{i \in I} \varpi_i$, vermenigvuldigd met een schalingsfactor die afhangt van de determinant van de Cartan-deelmatrix $C_I$ en de orde van de parabolische ondergroep $|W_I|$.

2. Matrix-reeks en Convergentie:
   Om het product van twee monomen $\varpi_I \cdot \varpi_J$ te berekenen, modelleren de auteurs de structuurconstanten als een product van matrices. Ze introduceren de Coxeter-benaderingsmatrix $A_K = 2E - C_K$ (waarbij $E$ de eenheidsmatrix is) en definiëren een gerelateerde matrix $B_K = \frac{1}{2}A_K$.
   Ze bewijzen met behulp van de Perron-Frobenius-stelling dat de eigenwaarden van een aangepaste versie van deze matrix ($B_K^s$, waarbij de rij $s$ op nul is gesteld) een absolute waarde kleiner dan 1 hebben. Dit garandeert de convergentie van de oneindige matrixreeks die de structuurconstanten beschrijft.

3. Sherman-Morrison Formule:
   De limiet van deze convergente reeks wordt geëvalueerd tot een gesloten vorm door gebruik te maken van de Sherman-Morrison-formule voor het inverteren van matrices. Dit leidt tot een expliciete uitdrukking voor de elementen van de matrices die de vermenigvuldiging regelen.

4. Relatie met Cartan-matrices:
   De uiteindelijke formules worden uitgedrukt in termen van de inverse van de Cartan-matrices ($C_K^{-1}$). Omdat de elementen van de inverse van een Cartan-matrix bekend staan als niet-negatief te zijn, volgt hieruit direct de positiviteit van de structuurconstanten.

3. Belangrijkste Resultaten

• Hoofdstelling 1.3 (Equivariante Structuurconstanten):
  De auteurs geven een expliciete formule voor de equivariante structuurconstanten $c^K_{I,J}$. Deze wordt gegeven door:
  $$c^K_{I,J} = [D_{i_1} \cdots D_{i_\ell}]_{J,K} \cdot \frac{\det(C_I)\det(C_J)|W_K|}{|W_I||W_J|\det(C_K)}$$
  Hierbij is $D_i$ een matrix waarvan de elementen $d^K_{i,J}$ afhangen van de elementen van $C_K^{-1}$ en de variabele $t$ (de equivariante parameter). De formule is volledig uniform voor alle Lie-types.

• Stelling 1.4 (Niet-equivariante Structuurconstanten):
  Door $t=0$ te stellen, verkrijgen ze een eenvoudige formule voor de niet-equivariante structuurconstanten $n^K_{I,J}$. Deze hangen uitsluitend af van de elementen van de inverse Cartan-matrices.

• Positiviteitsbewijs:
  Omdat de elementen van $C^{-1}$ niet-negatief zijn en de operaties in de formule (vermenigvuldiging en optelling van matrices) deze eigenschap behouden, leveren de formules direct polynomen in $t$ met niet-negatieve coëfficiënten op. Dit biedt een nieuw, puur algebraïs bewijs voor de positiviteit van de Peterson Schubert-calculus.

• Criterium voor Nul-constanten (Corollary 3.13):
  Er wordt een eenvoudig criterium afgeleid om te bepalen wanneer een structuurconstant $c^K_{I,J}$ niet-nul is:

  1. $K$ moet een superset zijn van $I \cup J$.
  2. Voor elke samenhangende component $K_k$ van $K$ moet gelden: $|K_k| \leq |K_k \cap I| + |K_k \cap J|$.

• Toepassing: Gemengde $\Phi$-Euleriaanse Getallen (Stelling 1.5 & 4.4):
  Als directe toepassing leiden de auteurs een uniforme formule af voor de gemengde $\Phi$-Euleriaanse getallen ($A^\Phi_{c_1, \dots, c_n}$), die de gemengde volumes van $\Phi$-hypersimplexen berekenen. De formule luidt:
  $$A^\Phi_{c_1, \dots, c_n} = \frac{|W_\Phi|}{\det(C_\Phi)} [M_{c_1}^1 \cdots M_{c_n}^n]_{\emptyset, \Delta}$$
  Hierbij zijn $M_i$ matrices gedefinieerd in de niet-equivariante context. Dit vermijdt de noodzaak om per Lie-type te rekenen via subwortelsystemen, zoals eerder nodig was.

4. Betekenis en Impact

• Type-Uniformiteit: Dit is het eerste voorbeeld van een expliciete, volledige en type-uniforme algebraïsche formule voor structuurconstanten in de algemene Schubert-calculus. Het elimineert de behoefte aan case-by-case analyses voor verschillende Lie-types.
• Algebraïsche Eenvoud: De formule is compact en wordt uitsluitend bepaald door de Cartan-matrix van het wortelsysteem. Dit maakt berekeningen (zoals geïllustreerd in de voorbeelden voor types $B_3$ en $A_9$) zeer efficiënt en snel, zelfs voor hogere rangen.
• Verbinding tussen Gebieden: Het artikel versterkt de link tussen de Peterson-variëteit, de cohomologie van torische orbifolds en de gemengde volumes van polyhedra (Euleriaanse getallen).
• Combinatorische Inzicht: Hoewel de methode algebraïsch is, levert het inzicht in de onderliggende combinatoriek van de wortelsystemen en de structuur van de Cartan-matrices.

Kortom, dit artikel lost een langdurig openstaand probleem op door een krachtige, uniforme algebraïsche tool te bieden die zowel de theoretische structuur van de Peterson Schubert-calculus verduidelijkt als praktische berekeningen voor complexe Lie-types mogelijk maakt.