Faber's socle intersection numbers via Gromov--Witten theory of elliptic curve

Probleemstelling

Het artikel richt zich op een fundamenteel resultaat in de algebraïsche meetkunde: de Faber-formule voor de snijgetallen van de socle in de tautologische ring van de moduli-ruimte van stabiele krommen, $\mathcal{M}_{g,n}$.
De formule berekent de integraal:
$$\int_{\mathcal{M}_{g,n}} \lambda_g \lambda_{g-1} \prod_{i=1}^n \psi_i^{d_i}$$
waarbij $\lambda_i$ de Chern-klassen van de Hodge-bundel zijn, $\psi_i$ de cotangent-lijnen zijn, en de $d_i$ voldoen aan de dimensievoorwaarde $\sum d_i = g-2+n$. De formule luidt:
$$(-1)^{g-1} \frac{B_{2g} (2g-3+n)!}{2^{2g-1} (2g)!} \prod_{i=1}^n \frac{1}{(2d_i-1)!!}$$
Hoewel deze formule al vijf verschillende bewijzen kent (gebaseerd op Virasoro-beperkingen, Mumford-formules, en diverse combinatorische relaties zoals 3-spin en half-spin relaties), is het doel van dit artikel om een nieuw bewijs te leveren. Dit nieuwe bewijs maakt gebruik van een compleet andere set van krachtige ideeën die voortkomen uit de Gromov-Witten-theorie van elliptische krommen, en leidt bovendien tot een nieuwe tautologische relatie.

Methodologie

De auteurs combineren twee recente ontwikkelingen in de meetkunde en de wiskundige fysica:

1. Gromov-Witten-theorie van elliptische krommen: Ze bouwen voort op het werk van Oberdieck en Pixton ([OP18], [OP23]). Zij gebruiken de cohomologische veldtheorie (CohFT) geassocieerd met de Gromov-Witten-theorie van een elliptische kromme. Specifiek kijken ze naar de klassen $c_{g,m}(p^{\otimes m})$ waarbij alle primaire velden corresponderen met de klasse van een punt in de doelkromme.
2. Quasimodulaire vormen en de holomorfische anomalievergelijking: De auteurs gebruiken de holomorfische anomalievergelijking om de bovenstaande klassen te berekenen. Ze tonen aan dat deze klassen gerelateerd zijn aan de operator $q\partial_q$ toegepast op de Eisenstein-reeks $G_{2g}(q)$, waarbij $q$ de variabele is die de graad van de stabiele kaarten controleert.
3. Graphs en "Necklace" configuraties: Ze analyseren de grafische expansie van deze klassen. Ze tonen aan dat bij vermenigvuldiging met $\lambda_{g-1}$ alleen bijdragen komen van specifieke grafen die de vorm van een "halsband" (necklace) hebben: $m$ vertices verbonden in een cyclus, elk met één blad (marked point).
4. Dubbele vertakkingscycli (Double Ramification Cycles - DR): De kern van de methode is het identificeren van de bijdragen van deze halsband-grafen met producten van Dubbele Vertakkingscycli ($DR$-cycli) op de componenten van de grafen.
5. Recursie en limieten: Ze gebruiken een verfijning van de argumenten van Oberdieck-Pixton om de coëfficiënten te berekenen. Dit gebeurt door een limiet te nemen ($p \to 1$) in een ring van quasimodulaire vormen, wat gekoppeld wordt aan de regulering van de Weierstraß-p-functie $\wp_\tau(z)$ rond $z=0$.

Belangrijkste Bijdragen

1. Een nieuwe tautologische relatie (Propositie 2.1)

Het artikel introduceert een nieuwe, elegante tautologische relatie in de cohomologiering $H^*(\mathcal{M}_{g,m})$. Deze relatie drukt een som over georiënteerde halsband-grafen uit in termen van $\lambda$-klassen en $\psi$-klassen:
$$\frac{1}{(m-1)!} \sum_{\Gamma \in \vec{\mathcal{N}}} (b_{\Gamma,g})_* \left( \bigotimes_{i=1}^m DR_{g(v_i)}(0, 1, -1) \lambda_{g(v_i)} \right) = \frac{2 \cdot (2g)!}{(-1)^{g-1} B_{2g} (2g-2+m)!} \lambda_g \lambda_{g-1} \prod_{i=1}^m \psi_i \sum_{i=1}^m \frac{1}{\psi_i}$$
Hierbij is $DR_{g(v_i)}(0, 1, -1)$ de dubbele vertakkingscyclus op de component met genus $g(v_i)$, toegewezen aan de vertex $v_i$.

2. Berekening van snijgetallen met DR-cycli (Propositie 3.1)

De auteurs leiden een expliciete formule af voor de snijgetallen van DR-cycli met $\psi$-klassen en $\lambda$-klassen op $\mathcal{M}_{g,3}$:
$$\int_{\mathcal{M}_{g,3}} DR_g(-a_1-a_2, a_1, a_2) \lambda_g \psi_1^g = \sum_{j=0}^g \frac{(2j-1)!!}{(2g+1)!!(2j)!!} \frac{(a_1+a_2)^{2j}(a_1^2 - a_1 a_2 + a_2^2)^{g-j}}{12^g}$$
Deze formule wordt bewezen via een recursieve relatie die identiek is aan die welke wordt gebruikt voor de Hamiltoniaanse dichtheden van de KdV-hiërarchie (Buryak-Rossi).

Resultaten

Door de nieuwe tautologische relatie (uit sectie 2) te combineren met de berekende snijgetallen met DR-cycli (uit sectie 3), kunnen de auteurs de Faber-formule direct afleiden.

• Ze substitueren de nieuwe relatie in de context van de snijgetallen.
• Ze gebruiken de recursie van de DR-cycli om de complexe som over grafen te reduceren tot de bekende Bernoulli-getallen en faculteiten die in de Faber-formule voorkomen.
• Het resultaat is een volledig nieuw, zelfstandig bewijs van de Faber-formule dat geen gebruik maakt van de eerdere methoden (zoals Virasoro of 3-spin relaties).

Significantie

De betekenis van dit werk gaat verder dan het leveren van een alternatief bewijs voor een bekend resultaat:

1. Nieuwe Tautologische Relatie: De afgeleide relatie (Propositie 2.1) is een nieuw object van belang in de studie van de tautologische ring van $\mathcal{M}_{g,n}$. Het verbindt de structuur van de moduli-ruimte direct met de Gromov-Witten-theorie van elliptische krommen.
2. Verbinding met Integrabele Systemen: De auteurs benadrukken dat deze nieuwe relatie en de bijbehorende berekeningen essentieel zullen zijn voor de analyse van de kwantum integrabele systemen van Buryak en Rossi. De recursie die hier wordt gebruikt is een "reïncarnatie" van de recursie voor de Hamiltoniaanse dichtheden van de KdV-hiërarchie.
3. Methodologische Innovatie: Het bewijs toont de kracht van het combineren van de holomorfische anomalievergelijking (uit de topologische stringtheorie) met de meetkunde van moduli-ruimten, wat een brug slaat tussen twee vaak gescheiden gebieden binnen de wiskundige fysica en algebraïsche meetkunde.

Kortom, dit artikel levert niet alleen een nieuw inzicht in de Faber-formule, maar introduceert ook een krachtig nieuw gereedschap (de halsband-relatie) dat cruciaal is voor toekomstig onderzoek naar de diepere structuur van de tautologische ring en integrabele systemen.