On the Chow ring of very general abelian varieties and a question of Pirola

Technische Samenvatting van "On the Chow ring of very general abelian varieties and a question of Pirola" door Claire Voisin

Probleemstelling
Het artikel behandelt twee onderling verbonden problemen in de aritmetica en geometrie van abelse variëteiten en Jacobiaan-variëteiten.

1. Structuur van de Chow-ring: De auteur onderzoekt de verzameling divisoren $D \in \text{CH}^1(A)_{\text{hom}}$ op een zeer algemene abelse variëteit $A$ van dimensie $g \geq 4$ waarvoor de zelfdoorsnede $D^2$ nul is in $\text{CH}^2(A)$. Voorgaand werk stelde vast dat voor $g \geq 3$ de locus van dergelijke divisoren dimensie 0 heeft, maar de vraag bleef of deze divisoren noodzakelijkerwijs torsiepunten zijn.
2. Pirola's Vraag: Het artikel tracht de rationale secties te karakteriseren van de Kummer-fibratie $K = J/\pm \text{Id} \to \mathcal{M}_4$, waarbij $J \to \mathcal{M}_4$ de universele Jacobiaan-fibratie is over de moduli-ruimte van krommen van genus 4. Specifiek behandelt het een conjectuur van Pirola die stelt dat elke dergelijke rationale sectie een veelvoud moet zijn van de Griffiths-Pirola normale functie $\gamma_P$, die voortkomt uit het verschil tussen de twee trigonale divisoren op een kromme van genus 4.

Methodologie
De bewijzen steunen zwaar op de theorie van Griffiths infinitesimale invarianten van normale functies, uitgebreid naar cycli met hogere codimensie. De kernstrategie behelst het analyseren van het verdwijnen van deze infinitesimale invarianten om globale eigenschappen van secties af te leiden.

1. Infinitesimale Invarianten en Spectrale Sequenties: De auteur maakt gebruik van de infinitesimale invariant $\delta_Z(m)$ geassocieerd met een cyclus $Z$. Voor een divisor $D$ is de invariant van de kwadratische macht $D^2$ gerelateerd aan het kwadraat van de invariant van $D$, d.w.z. $\delta_{D^2} = (\delta_D)^2$. Het artikel stelt de degeneratie van specifieke spectrale sequenties vast (Propositie 2.5) om deze invarianten rigoureus te definiëren voor families van abelse variëteiten.
2. Algebraïsche Analyse van de Kwadratische Afbeelding: Een centraal technisch onderdeel is de analyse van de afbeelding $M^2$ geïnduceerd door de kwadratische operatie op de ruimte van infinitesimale invarianten.
   • Voor de moduli-ruimte van abelse variëteiten $\mathcal{A}_g$ ($g \geq 4$) wordt de ruimte van invarianten geïdentificeerd met een quotient van $\text{Hom}(V, \text{Sym}^2 V)$.
   • Voor de moduli-ruimte van krommen $\mathcal{M}_4$ wordt de ruimte geïdentificeerd met een quotient bestaande uit $V_2 = \text{Sym}^2 V / q$, waarbij $q$ de kwadratische vorm is die de canonieke inbedding van een genus 4 kromme definieert.
   • Propositie 3.1 bewijst dat als het kwadraat van een invariant verdwijnt (of aan een specifieke proportionaliteitsrelatie voldoet), de invariant zelf van rang $\leq 1$ moet zijn (of proportioneel aan de Griffiths-Pirola invariant). Dit berust op lineair-algebraïsche argumenten betreffende restricties tot 2-dimensionale deelruimten en de geometrie van de Grassmanniaan.
3. Ax-Shanuel Type Argumenten: Zodra een lokale lift van een normale functie is aangetoond te een differentiaal van rang 1 te hebben (of een specifieke algebraïsche structuur), gebruikt de auteur resultaten van het type Ax-Shanuel (verwijzend naar [6], [1], [2]) en eigenschappen van monodromiegroepen (specifiek dat de afbeelding Zariski-dicht is in de symplectische groep). Deze argumenten dwingen de normale functie om horizontaal te zijn (d.w.z. de afgeleide is nul), wat impliceert dat de sectie een torsiepunt is.
4. Descent en Cohomologie: Voor het probleem van de Kummer-fibratie gebruikt de auteur het feit dat hoewel een sectie $\gamma$ slechts tot op een teken gedefinieerd is, zijn kwadraat $D_\gamma^2$ wel goed gedefinieerd is. Door $D_\gamma^2$ te vergelijken met het kwadraat van de Griffiths-Pirola sectie $D_{\gamma_P}^2$ (met gebruik van Theorem 4.1 dat stelt dat de Chow-groep van de generieke vezel 1-dimensionaal is), reduceert de auteur het probleem tot de lineaire relatie van infinitesimale invarianten afgeleid in Sectie 3.

Kernresultaten

• Theorem 1.2:

  • (i) Voor een zeer algemene abelse variëteit $A$ van dimensie $g \geq 4$, indien een divisor $D \in \text{Pic}^0(A)$ voldoet aan $D^2 = 0$ in $\text{CH}^2(A)$, dan is $D$ een torsiepunt.
  • (ii) Hetzelfde resultaat geldt voor een zeer algemene Jacobiaan van een kromme van genus 4.
  • Corollary: Dit impliceert dat de verzameling punten $x \in A$ waarvoor $({x} - \{0_A\})^{*2} = 0$ in $\text{CH}^0(A)$ bestaat uit exact de torsiepunten.

• Theorem 1.8 (Pirola's Conjectuur):

  • Alle rationale secties van de Kummer-fibratie $K = J/\pm \text{Id} \to \mathcal{M}_4$ zijn rationale veelvouden van de Griffiths-Pirola normale functie $\gamma_P$.
  • Specifiek voldoet elke rationale sectie $\gamma$ aan $N\gamma = N'\gamma_P$ voor gehele getallen $N, N'$ met $N \neq 0$.

Betekenis en Claims
Het artikel beweert de vraag te hebben opgelost of het verdwijnen van het kwadraat van een divisor in de Chow-ring van een zeer algemene abelse variëteit impliceert dat de divisor een torsiepunt is, een vraag die open bleef voor dimensies $g \geq 4$. De auteur merkt op dat hoewel het resultaat waarschijnlijk waar is voor alle $g \geq 4$, het bewijs momenteel $g \geq 4$ vereist (en specifiek $g=4$ voor het Jacobiaan-geval) vanwege de specifieke lineair-algebraïsche eigenschappen van de infinitesimale invarianten in deze dimensies.

Bovendien biedt het artikel een definitief antwoord op Pirola's vraag over de uniciteit van de Griffiths-Pirola sectie. Het stelt vast dat de "extra" rationale secties die men zou verwachten op de Kummer-fibratie (die een quotient is van de Jacobiaan) niet bestaan; de enige rationale secties zijn die gegenereerd door de canonieke geometrische constructie met betrekking tot de twee trigonale bundels van genus 4 krommen.

Het werk verbindt de studie van de Chow-ring structuur (specifiek de Pontryagin-machten van 0-cycli) met de theorie van normale functies en hun infinitesimale invarianten, waarbij wordt aangetoont dat het niet-verdwijnen van deze invarianten voor de Griffiths-Pirola sectie de cruciale obstructie vormt voor het bestaan van andere rationale secties. De auteur stelt expliciet dat de methode gebruikt voor Theorem 1.2 potentieel uitgebreid kan worden naar het bestuderen van hogere machten $D^k = 0$, wat leidt tot een conjectuur dat voor $g \geq 2k$, de enige divisoren met $D^k=0$ torsiedivisoren zijn.