Technische Samenvatting: Steunstelling voor Universele Gecompatificeerde Jacobianen

1. Probleemstelling

Het artikel behandelt de geometrische en cohomologische structuur van de universele gecompatificeerde Jacobiaan $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ over de moduli-stack van stabiele gemarkeerde krommen $\mathcal{M}_{g,n}$. Hoewel bekend is dat de cohomologie van deze ruimten invariant is onder de keuze van de graad $d$ en niet-ontaarde stabiliteitsvoorwaarden $\phi$ (bewezen door Migliorini–Shende–Viviani [MSV21]), wordt de geometrie aanzienlijk complexer wanneer $\phi$ ontaard is. In het ontaarde geval introduceert de aanwezigheid van strikt semistabiele schoven ernstige singulariteiten over de randstrata van $\mathcal{M}_{g,n}$.

Het centrale probleem is het bepalen van de steun van de directe somtermen die voorkomen in de BBDG (Beilinson–Bernstein–Deligne–Gabber) decompositie van de afgeleide pushforward van het intersectiecohomologie-complex, $R\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$, waarbij $\overline{\pi}$ de vergeetbare afbeelding naar de basis is. Specifiek streeft de auteur ernaar te bewijzen dat elke directe somterm volledige steun heeft op de basis $\mathcal{M}_{g,n}$, waarmee de "steunstelling" die bekend is voor Hitchin-fibraties en niet-ontaarde Jacobianen wordt uitgebreid tot deze meer singuliere, universele setting.

2. Methodologie

Het artikel hanteert twee verschillende methodologische benaderingen om het hoofdresultaat te vestigen:

Benadering A: Generaliseerde Ngô-Steunstelling

Het primaire bewijs synthetiseert technieken uit de theorie van zwakke abelse fibraties en equivariante perverse schoven.

1. Rigidificatie en Goede Moduli-ruimten: De directe toepassing van Ngô's steunstelling wordt belemmerd omdat de stack van de universele gecompatificeerde Jacobiaan niet proper is over $\mathcal{M}_{g,n}$, en de natuurlijke translatie-actie van de relatieve Picard-groep niet neerdalend is naar de ruwe moduli-ruimte vanwege automorfismen. Om dit op te lossen, werkt de auteur met de relatieve goede moduli-ruimte $\overline{\mathcal{J}}^{d,\phi}_{g,n}$, die verticale automorfismen rigidificeert terwijl de basis $\mathcal{M}_{g,n}$ behouden blijft.
2. Basisverandering: Om technische subtiliteiten met betrekking tot eindige quotiënt-stacks te vermijden, wordt de morfisme basisveranderd langs een eindig étale overdekking $B \to \mathcal{M}_{g,n}$ (een Teichmüller-niveau-structuurruimte), wat resulteert in een gladde variëteit $B$.
3. Verificatie van Hypothesen: De auteur verifieert dat de drietal $(\widetilde{\mathcal{J}}^{d,\phi}_B, P, B)$, waarbij $P$ de relatieve Picard-variëteit is, een zwakke abelse fibratie vormt in de zin van Maulik en Shen [MS23]. Dit omvat het controleren van:
   • Properheid en pure dimensie van vezels.
   • Affiene stabilisatoren voor de groepswerking.
   • $\delta$-regulariteit: Een voorwaarde die de codimensie van strata in de basis relateert aan de dimensie van het affiene deel van de stabilisatorgroep.
4. Decompositiestelling: Met behulp van de generaliseerde steunstelling (Stelling 2.2) bewijst de auteur dat elke steun $Z$ van de decompositie moet voldoen aan $\text{codim } Z \leq \delta_Z$. Gecombineerd met $\delta$-regulariteit, dwingt dit $Z$ om de gehele basis te zijn.
5. Neerdaling: Het resultaat wordt neergedaald van de overdekking $B$ terug naar $\mathcal{M}_{g,n}$ met behulp van het formalisme van de equivariante afgeleide categorie.

Benadering B: Variatie van Stabiliteitsvoorwaarden

Een tweede, onafhankelijk bewijs wordt gegeven voor het geval $n \geq 1$ (en aangepast voor $n=0$ via étale omgevingen).

1. Muur-overgang: De auteur maakt gebruik van de muur-en-kamerstructuur van de stabiliteitsruimte $V^d_{g,n}$. Voor een ontaarde stabiliteitsvoorwaarde $\phi$ wordt een nabije niet-ontaarde voorwaarde $\phi'$ gekozen.
2. Proper Morfisme: Een inclusie van moduli-stacks induceert een proper, surjectief morfisme $r: \mathcal{J}^{d,\phi'}_{g,n} \to \mathcal{J}^{d,\phi}_{g,n}$ tussen hun relatieve goede moduli-ruimten.
3. Reductie: Aangezien $\mathcal{J}^{d,\phi'}_{g,n}$ glad is (voor niet-ontaarde $\phi'$), is zijn intersectiecomplex een verschoven constante sheaf. De bekende steunstelling voor niet-ontaarde Jacobianen [MSV21] is van toepassing op de pushforward van deze constante sheaf.
4. Directe Somterm-argument: Het wordt aangetoond dat het intersectiecomplex $IC(\mathcal{J}^{d,\phi}_{g,n})$ een directe somterm is van de pushforward van de constante sheaf vanuit de niet-ontaarde kant. Bijgevolg worden de steuneigenschappen van het niet-ontaarde geval overgedragen naar het ontaarde geval.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Stelling 1.1)

Het artikel bewijst dat voor gehele getallen $g, n \geq 0$ met $2g-2+n > 0$, en voor de relatieve goede moduli-ruimte $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ over $\mathcal{M}_{g,n}$:

1. Volledige Steun: Elke directe somterm van de afgeleide pushforward $\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ heeft volledige steun op $\mathcal{M}_{g,n}$.
2. Expliciete Decompositie: Er is een isomorfisme in de begrensde afgeleide categorie van gemengde Hodge-modules op $\mathcal{M}_{g,n}$:
   $$\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n}) \simeq \bigoplus_{i=0}^{2g} IC\left(\mathcal{M}_{g,n}, (\wedge^i R^1\gamma_* \mathbb{Q}_{C_{g,n}})\right)[-i+g]$$
   waarbij $\gamma: C_{g,n} \to \mathcal{M}_{g,n}$ de universele kromme is.

Corollaria

• Ruwe Moduli-ruimte (Corollarium 1.2): De eigenschap van volledige steun geldt voor de pushforward van het intersectiecomplex van de ruwe moduli-ruimte $J$ van $\overline{\mathcal{J}}^{d,\phi}_{g,n}$.
• Topologische Invariantie (Corollarium 1.3): De intersectiecohomologiegroepen $IH^*(\overline{\mathcal{J}}^{d,\phi}_{g,n}, \mathbb{Q})$ zijn isomorf als $\mathbb{Q}$-Hodge-structuren voor elke gehele getallen $d, d'$ en elke stabiliteitsvoorwaarden $\phi, \phi'$ (ontaard of niet-ontaard). Dit breidt de bekende invariantie van cohomologiegroepen uit naar het ontaarde setting.

4. Betekenis en Aanspraken

Het artikel claimt een volle steunstelling te leveren voor de universele gecompatificeerde Jacobiaan, een resultaat dat eerder werd belemmerd door de complexiteit van randstrata en het ontbreken van een proper groepswerking op de ruwe moduli-ruimte.

• Methodologische Synthese: Het werk past met succes de werktuigen van Ngô's steunstelling (oorspronkelijk ontwikkeld voor de Hitchin-fibratie) toe op de moduli van krommen. Het lost de belemmering van niet-properheid en automorfismegroepen op door gebruik te maken van de relatieve goede moduli-ruimte en equivariante afgeleide categorieën.
• Omgaan met Ontaarding: Het artikel behandelt expliciet het geval van ontaarde stabiliteitsvoorwaarden, waarbij de geometrie singulier is en strikt semistabiele schoven bestaan. Het toont aan dat ondanks deze singulariteiten, de topologische invariantie van de intersectiecohomologie behouden blijft.
• Onafhankelijkheid van Bewijzen: Door twee verschillende bewijzen te verstrekken – één die vertrouwt op de generaliseerde steunstelling voor zwakke abelse fibraties en de andere op variatie van stabiliteitsvoorwaarden – versterkt de auteur de robuustheid van het resultaat.
• Motivatie voor Toekomstig Werk: De resultaten motiveren de vraag of de "intrinsieke cohomologiering" (een degeneratie van de cohomologieringstructuur die is gedefinieerd voor niet-ontdaarde voorwaarden) kan worden uitgebreid naar het setting van ontaarde stabiliteitsvoorwaarden.

De auteur behoudt een bescheiden toon met betrekking tot de reikwijdte, en merkt op dat hoewel de cohomologie groepen invariant zijn, de cohomologie ringstructuur over het algemeen afhankelijk is van de keuzes van $d$ en $\phi$, en dat het artikel de ringstructuur voor het ontaarde geval niet oplost.