Torsors over the universal Jacobian over $\mathcal{M}_g$

Technische Samenvatting: Torsoren onder de Universele Jacobiaan over $\mathcal{M}_g$

Probleemstelling
Het artikel onderzoekt de classificatie van torsoren onder de relatieve Jacobiaan van de universele familie van gladde krommen van genus-$g$ over de moduli-stack $\mathcal{M}_g$. Laat $\pi: \mathcal{M}_{g,1} \to \mathcal{M}_g$ de universele familie zijn, en laat $\text{Pic}^0_{\mathcal{M}_{g,1}/\mathcal{M}_g}$ de relatieve Jacobiaan voorstellen, wat een familie van abelse variëteiten is over $\mathcal{M}_g$. De centrale vraag is het bepalen van de structuur van de étale cohomologiegroep $H^1_{\text{\'et}}(\mathcal{M}_g, \text{Pic}^0_{\mathcal{M}_{g,1}/\mathcal{M}_g})$, die deze torsoren classificeert. De auteur streeft ernaar vast te stellen of al deze torsoren voortkomen uit de "voor de hand liggende" geometrische constructie met betrekking tot de componenten van het relatieve Picard-schema, specifiek $\text{Pic}^1_{\mathcal{M}_{g,1}/\mathcal{M}_g}$.

Methodologie
Het bewijs verloopt via een reeks reducties, waarbij gebruik wordt gemaakt van instrumenten uit de algebraïsche meetkunde, stacktheorie en de topologie van mapping class groepen:

1. Reductie via de Sterke Franchetta-stelling:
   De auteur maakt gebruik van de sterke Franchetta-stelling [Sch03] om de torsoren te relateren aan de groep van rationale punten op de generieke vezel. Door de exacte sequentie van étale sheaves $0 \to \text{Pic}^0 \to \text{Pic} \to \mathbb{Z} \to 0$ te analyseren, wordt het probleem van het berekenen van $H^1_{\text{\'et}}(\mathcal{M}_g, \text{Pic}^0)$ gereduceerd tot het bewijzen van de verdwijning van $H^1_{\text{\'et}}(\mathcal{M}_g, \text{Pic}_{\mathcal{M}_{g,1}/\mathcal{M}_g})$. De verbindingshomomorfisme in de geassocieerde lange exacte sequentie identificeert de klasse van de torsor $[\text{Pic}^1_{\mathcal{M}_{g,1}/\mathcal{M}_g}]$, die een periode heeft van $2g-2$.

2. Leray-spectraalsequentie en Brauer-groepen:
   Door gebruik te maken van de Leray-spectraalsequentie voor de projectie $\pi: \mathcal{M}_{g,1} \to \mathcal{M}_g$ met coëfficiënten in $\mathbb{G}_m$, en op te merken dat hogere directe beelden $R^i\pi_*\mathbb{G}_m$ verdwijnen voor $i \ge 2$ (Lemma 1), wordt aangetoond dat de verdwijning van $H^1_{\text{\'et}}(\mathcal{M}_g, \text{Pic})$ equivalent is aan de injectiviteit van de pullback-afbeelding $\pi^*: H^3_{\text{\'et}}(\mathcal{M}_g, \mathbb{G}_m) \to H^3_{\text{\'et}}(\mathcal{M}_{g,1}, \mathbb{G}_m)$. Deze stap steunt op het bekende resultaat dat de cohomologische Brauer-groep $Br'(\mathcal{M}_{g,n})$ verdwijnt voor $g \ge 4$ en $n \ge 0$ [FP21], wat de cokernel-term in de relevante spectraalsequentie elimineert.

3. Vergelijking met Topologische Cohomologie:
   De injectiviteit van de étale cohomologie-afbeelding wordt naar de topologische setting vertaald via de vergelijkingstelling tussen étale en complexe topologieën [Mil80]. Door de analytische stack $\mathcal{M}^{\text{an}}_{g,n}$ te identificeren met de quotient $[T_{g,n}/\Gamma^n_g]$ (waarbij $T_{g,n}$ de Teichmüller-ruimte is en $\Gamma^n_g$ de mapping class groep), reduceert het probleem zich tot de injectiviteit van de pullback op singuliere cohomologie met coëfficiënten in $\mathbb{Q}_\ell/\mathbb{Z}_\ell$.

4. Homologie-stabiliteit van Mapping Class Groepen:
   Ten slotte staat de Universele Coëfficiëntenstelling toe dat de injectiviteit van de cohomologie-afbeelding kan worden afgeleid uit de surjectiviteit van de geïnduceerde afbeelding op homologie: $\pi^*: H_3(\mathcal{M}^{\text{an}}_{g,1}, \mathbb{Z}) \to H_3(\mathcal{M}^{\text{an}}_g, \mathbb{Z})$. Dit komt overeen met de afbeelding $H_3(\epsilon_g): H_3(\Gamma^1_g, \mathbb{Z}) \to H_3(\Gamma_g, \mathbb{Z})$ geïnduceerd door de inclusie van oppervlakken. De auteur beroept zich op de homologie-stabiliteitsresultaten voor mapping class groepen [Wah13], specifiek dat de afbeelding surjectief is voor $k \le \frac{2}{3}g$, hetgeen geldt voor $k=3$ wanneer $g \ge 4$.

Kernbijdragen en Resultaten

• Hoofdstelling: Voor $g \ge 4$ is de groep van torsoren onder de universele Jacobiaan isomorf met de cyclische groep gegenereerd door de klasse van de relatieve Picard-schema component van graad 1:
  $$H^1_{\text{\'et}}(\mathcal{M}_g, \text{Pic}^0_{\mathcal{M}_{g,1}/\mathcal{M}_g}) \cong \mathbb{Z}/(2g-2)\mathbb{Z} \cdot [\text{Pic}^1_{\mathcal{M}_{g,1}/\mathcal{M}_g}].$$
• Franchetta-type Resultaat: Het artikel stelt vast dat er voor $g \ge 4$ geen "exotische" torsoren zijn; alle torsoren komen voort uit de standaard geometrische constructie van lineaire bundels van graad $d$.
• Extensie naar $g=3$: De auteur merkt op dat het resultaat zou uitbreiden naar $g=3$ indien de pullback-afbeelding $\pi^*: H^2_{\text{\'et}}(\mathcal{M}_3, \mathbb{G}_m) \to H^2_{\text{\'et}}(\mathcal{M}_{3,1}, \mathbb{G}_m)$ surjectief zou zijn. Deze voorwaarde is equivalent aan het aantonen dat de Brauer-groep $Br(\mathcal{M}_{3,1}) \cong \mathbb{Z}/2\mathbb{Z}$, waarbij wordt verwezen naar recent werk [DLP25, Lor25].

Betekenis
Het artikel biedt een volledige classificatie van torsoren onder de universele Jacobiaan voor voldoende hoge genus ($g \ge 4$), en bevestigt dat de cohomologische complexiteit van de moduli-stack $\mathcal{M}_g$ geen onverwachte torsoren genereert buiten de door de geometrie van de universele kromme gedicteerde structuren. Het bewijs overbrugt effectief de kloof tussen de arithmetische meetkunde van moduli-stacks (via étale cohomologie en Brauer-groepen) en de topologische stabiliteit van mapping class groepen, waarmee wordt aangetoond hoe homologische stabiliteitsresultaten vragen over de Brauer-groep en Picard-schema's van moduli-ruimten kunnen oplossen.