Universal compactified Jacobians: cohomological invariance and boundary combinatorics

Probleemstelling

Het artikel behandelt de cohomologische eigenschappen van universele gecompacificeerde Jacobiaanse variëteiten (universal compactified Jacobians), aangeduid als $J^d_{g,n}(\sigma)$. Deze ruimten zijn moduli-ruimten die lineaire bundels van graad $d$ op stabiele krommen van genus $g$ met $n$ aangeduide punten parametriseren.

De kern van het probleem ligt in de afhankelijkheid van deze ruimten van twee parameters:

1. De graad $d$ van de lineaire bundel.
2. De keuze van een stabiliteitsvoorwaarde $\sigma$ (volgens de definitie van Pagani en Tommasi).

Hoewel bekend is dat de cohomologie van de niet-gecompacificeerde universele Jacobiaanse variëteiten ($J^d_{g,n}$) onafhankelijk is van $d$ (voor $n>0$), is de situatie voor de gecompacificeerde versies veel complexer. De ruimte $J^d_{g,n}(\sigma)$ is een Deligne-Mumford-stapel die afhangt van de stabiliteitsvoorwaarde $\sigma$. Verschillende stabiliteitsvoorwaarden leiden tot verschillende ruimten met verschillende randgeometrieën (boundary stratifications).

De centrale vraag is: Is de cohomologie van $J^d_{g,n}(\sigma)$ onafhankelijk van zowel de graad $d$ als de keuze van de stabiliteitsvoorwaarde $\sigma$?

Een eerder resultaat van Migliorini–Shende–Viviani impliceerde dit onafhankelijkheidsresultaat via de Decompositiestelling (Decomposition Theorem) voor "H-smooth" nodale krommen. Echter, vanuit het perspectief van de combinatoriek van de rand (boundary combinatorics) is dit resultaat verrassend, omdat de verzameling van strata (deeltjes in de stratificatie) voor verschillende $\sigma$ verschillend is. De auteurs willen een directe, combinatorische bewijsvoering geven die laat zien hoe de bijdragen van deze verschillende strata elkaar opheffen of corresponderen, zodat het eindresultaat invariant blijft.

Methodologie

De auteurs hanteren een aanpak die de topologische structuur van de moduli-ruimten combineert met expliciete combinatorische argumenten:

1. Stratificatie van de Rand:
   De ruimte $J^d_{g,n}(\sigma)$ wordt gepresenteerd als een vereniging van strata. Elke stratum correspondeert met een topologisch type van een quasi-stabiele kromme, geïndexeerd door een drietal $(\Gamma, \Gamma_0, d)$, waarbij:

   • $\Gamma$ een stabiele graaf is (dual graaf van de kromme).
   • $\Gamma_0 \subseteq \Gamma$ een samenhangende subgraaf is die alle hoekpunten bevat.
   • $d$ een functie is die de graad op de stabiele componenten specificeert.
     Elke stratum is een torusbundel over een product van kleinere moduli-ruimten $J^{d_i}_{g_i, n_i}$.

2. Hodge-Euler-karakteristieken:
   In plaats van de volledige cohomologiering te analyseren, focussen de auteurs op de Hodge-Euler-karakteristiek $\chi_c$ (in de Grothendieck-groep van gemengde Hodge-structuren). Door Lemma 3.2 en 3.4 wordt het probleem gereduceerd tot het aantonen dat de equivariante Hodge-Euler-karakteristiek $\chi^S_c(J^d_{g,n}(\sigma))$ onafhankelijk is van $d$ en $\sigma$.

3. Combinatorische Koppeling van Strata:
   Het cruciale technische onderdeel is het bewijzen van een combinatorische stelling (Lemma 3.7). Voor een vaste graaf $\Gamma$ en subgraaf $\Gamma_0$, moeten de verzamelingen van toegestane graden $d$ die corresponderen met twee verschillende stabiliteitsvoorwaarden $\sigma$ en $\sigma'$, in bijectie staan.

   • De auteurs tonen aan dat er een $Aut(\Gamma, \Gamma_0)$-equivariante bijectie bestaat tussen de Picard-groepen van de subgrafen die corresponderen met de verschillende graden.
   • Dit wordt bewezen door gebruik te maken van Bézout's identiteit en Dirichlet's stelling over priemgetallen in rekenkundige rijen om specifieke transformaties op de graden te construeren die de structuur van de Picard-groep behouden.

4. Rigiditeit en Hodge-structuren:
   Voor de niet-gecompacificeerde Jacobiaanse variëteiten gebruiken ze een rigide stelling (Rigidity Theorem) voor variaties van Hodge-structuren om te tonen dat de cohomologie onafhankelijk is van $d$.

Belangrijkste Bijdragen en Resultaten

1. Direct Combinatorisch Bewijs van Invariantie (Hoofdstelling 1.2):
   De auteurs bewijzen dat voor alle $2g-2+n > 0$, alle graden $d, d'$ en alle Pagani-Tommasi stabiliteitsvoorwaarden $\sigma, \sigma'$, er een isomorfisme bestaat:
   $$H^*(J^d_{g,n}(\sigma); \mathbb{Q}) \cong H^*(J^{d'}_{g,n}(\sigma'); \mathbb{Q})$$
   als $\mathbb{Q}$-Hodge-structuren. Deze isomorfie is compatibel met de werking van de symmetrische groep $S_n$ (of een subgroep daarvan).

   • Nieuwheid: Dit bewijs is direct en combinatorisch, in tegenstelling tot het eerdere bewijs dat steunde op de diepe Decompositiestelling. Het toont expliciet aan hoe de verschillende stratificaties "matchen".

2. Algoritme voor Berekening:
   Het artikel biedt een algoritme om de cohomologiegroepen (en Hodge-getallen) te berekenen, mits de equivariante Euler-karakteristieken van de niet-gecompacificeerde moduli-ruimten $J_{g',n'}$ bekend zijn voor $g' \leq g$. Dit vereist het tellen van isomorfieklassen van paren $(\Gamma, \Gamma_0)$ en het analyseren van de werking van automorfismegroepen op de Picard-torsoren.

3. Appendix: Isomorfie en K-theorie (Feusi en Yin):

   • Jeremy Feusi: Karakteriseert precies wanneer twee universele Jacobiaanse variëteiten $J^d_{g,n}$ en $J^{d'}_{g,n}$ $S_n$-equivariant isomorf zijn over $M_{g,n}$. De voorwaarde is:
     $$d \equiv d' \quad \text{of} \quad -d \equiv d' \pmod{\gcd(2g-2, n)}$$
   • Qizheng Yin: Toont aan dat de klassen $[J^d_g]$ en $[J^{d'}_g]$ in de Grothendieck-groep van variëteiten $K_0(\text{Var}_{\mathbb{C}})$ niet altijd gelijk zijn, zelfs als ze cohomologisch equivalent zijn. Voor $g \geq 22$ zijn ze gelijk in $K_0$ dan en slechts dan als $d' \equiv \pm d \pmod{2g-2}$. Dit onderstreept dat cohomologische invariantie niet impliceert dat de ruimten als algebraïsche variëteiten "hetzelfde" zijn in de K-theoretische zin.

Significantie

• Verbinding tussen Geometrie en Combinatoriek: Het artikel sluit een belangrijke kloof tussen de abstracte, cohomologische resultaten (via de Decompositiestelling) en de concrete, combinatorische structuur van de moduli-ruimten. Het laat zien dat de "willekeur" in de keuze van stabiliteitsvoorwaarden geen invloed heeft op de globale topologische invarianten.
• Verduidelijking van Randgedrag: Het werk verduidelijkt hoe de complexe randstratificaties van compactificaties van moduli-ruimten zich gedragen. Het feit dat de som van de bijdragen van de strata onafhankelijk is van de specifieke keuze van de stabiliteitsvoorwaarde, is een diep en onverwacht resultaat gezien de variabiliteit van de randgeometrie.
• Grondslag voor Verdere Onderzoek: De geleverde algoritmen en de expliciete beschrijving van de stratificatie vormen een basis voor het berekenen van specifieke Hodge-getallen en het onderzoeken van verdere structuren, zoals de cup-producten (die wel afhankelijk zijn van $\sigma$, zoals opgemerkt in de inleiding) en de afgeleide categorieën van coherentie-schoven.
• K-theoretische Nuance: De resultaten van de appendix benadrukken het onderscheid tussen cohomologische invariantie en invariantie in de Grothendieck-groep van variëteiten, wat een belangrijk onderscheid is in de moderne algebraïsche meetkunde.

Kortom, dit artikel levert een fundamenteel inzicht in de stabiliteit van de cohomologie van universele Jacobiaanse variëteiten en biedt een krachtig combinatorisch gereedschap om deze ruimten te analyseren, ongeacht de gekozen compactificatie.