Group-theoretic Johnson classes and a non-hyperelliptic curve with torsion Ceresa class

Deze paper introduceert groep-theoretische analoga van de Johnson-cocycli voor pro-l-groepen en past deze toe op étale fundamentele groepen van krommen om een niet-hyperelliptische kromme te construeren waarvan de Ceresa-klasse torsie is onder de l-adische Abel-Jacobi-afbeelding.

De kern

Stel je voor dat wiskunde een enorme, ingewikkelde stad is. In deze stad wonen verschillende soorten gebouwen: er zijn de strakke, voorspelbare huizen (de hyperelliptische krommen) en er zijn de bizarre, chaotische kasteelruïnes met verborgen gangen (de niet-hyperelliptische krommen).

De wiskundigen in dit artikel, Dean Bisogno en zijn team, hebben een nieuwe manier bedacht om deze gebouwen te bestuderen. Ze kijken niet naar de bakstenen zelf, maar naar de "stroomplannen" of de "blauwdrukken" die beschrijven hoe de gebouwen in elkaar zitten.

Hier is een simpele uitleg van wat ze hebben gedaan, vertaald naar alledaags Nederlands:

1. Het probleem: De "Ceresa-cycle"

In deze wiskundestad is er een bekend mysterie. Als je een heel specifiek type gebouw (een hyperelliptische kromme) hebt, dan is er een bepaalde structuur in het gebouw die "op zijn plaats" zit. Wiskundigen noemen dit de Ceresa-cycle. Bij deze specifieke gebouwen is deze structuur zo perfect dat hij als "niet bestaand" wordt beschouwd in de grote rekenmachine van de wiskunde (hij is triviaal).

Maar wat gebeurt er bij de rare, chaotische gebouwen (niet-hyperelliptisch)?
Voor jaren dachten wiskundigen dat als zo'n rare structuur ook "niet bestaand" leek, het gebouw dan per se een gewoon, hyperelliptisch huis moest zijn. Ze dachten: "Als de Ceresa-cycle verdwenen is, moet het gebouw wel hyperelliptisch zijn."

2. De nieuwe tool: De "Johnson-klasse" als detective

De auteurs van dit artikel hebben een nieuwe detective-tool bedacht, gebaseerd op groepentheorie (een tak van wiskunde die zich bezighoudt met symmetrie en patronen). Ze noemen hun nieuwe tool de Johnson-klasse.

Stel je voor dat je een gebouw niet van buitenaf bekijkt, maar dat je een robot (een "pro-ℓ-groep") door de gangen stuurt. Deze robot tekent een kaart van elke hoek en elke draai.

• De oude methode (van Hain en Matsumoto) keek naar de kaart, maar verloor soms wat details als je de ingang (het "basepoint") veranderde.
• De nieuwe methode van dit team is slimmer. Het maakt een kaart die onafhankelijk is van waar je begint. Het is alsof je een GPS hebt die altijd weet waar je bent, ongeacht welke deur je gebruikt.

Ze hebben bewezen dat deze nieuwe GPS-kaart (de Johnson-klasse) eigenlijk een verfijnde versie is van de oude kaart. Soms geeft hij zelfs meer informatie, vooral als je met getallen werkt die te maken hebben met het getal 2.

3. De grote ontdekking: Het bewijs dat de theorie fout was

Het team gebruikte hun nieuwe GPS-tool om een heel speciaal, oud gebouw te onderzoeken: de Fricke-Macbeath kromme. Dit is een gebouw van "grootte 7" (genus 7) met een heel speciale, complexe symmetrie (het heeft een groep van 504 symmetrieën).

• Het resultaat: Ze ontdekten dat bij dit gebouw de Johnson-klasse (en dus ook de Ceresa-cycle) "verdwenen" is (het is een torsie-element, wat in wiskundetaal betekent dat het na een paar keer herhalen weer op nul uitkomt).
• De schok: Dit gebouw is niet hyperelliptisch! Het is een van de meest complexe gebouwen die er zijn.

Dit betekent dat de oude theorie ("Als de cycle verdwenen is, moet het gebouw hyperelliptisch zijn") fout is. Er bestaan rare, chaotische gebouwen die toch een "verdwijnende" structuur hebben.

4. De afgeleide vondst: Een klein broertje

Omdat ze dit grote, complexe gebouw (genus 7) hadden gevonden, konden ze er een kleiner broertje van maken. Ze namen een deel van de symmetrieën weg (een quotiënt nemen) en kregen een nieuw gebouw van "grootte 3" (genus 3).

• Dit nieuwe gebouw is ook niet hyperelliptisch.
• Maar ook hier is de Johnson-klasse verdwenen (torsie).

Dit is het eerste bekende voorbeeld van een niet-hyperelliptisch gebouw van grootte 3 met deze eigenschap. Het is alsof ze een mysterieus, klein huisje hebben gevonden dat net zo mysterieus gedraagt als het grote kasteel waar het vandaan komt.

Samenvatting in één zin

De auteurs hebben een nieuwe, slimmere manier bedacht om wiskundige structuren te meten, en daarmee bewezen dat er best bestaande, complexe gebouwen zijn die eruitzien alsof ze "gewoon" zijn, terwijl ze dat helemaal niet zijn.

Waarom is dit belangrijk?
Het lijkt misschien abstract, maar dit soort ontdekkingen helpt wiskundigen om de diepe verbindingen tussen getallen, vormen en symmetrieën beter te begrijpen. Het is alsof ze een nieuwe regel in de wetten van de natuur hebben gevonden die zegt: "Niet alles wat stil lijkt, is ook echt stil."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Group-theoretic Johnson classes and non-hyperelliptic curves with torsion Ceresa class" van Bisogno, Li, Litt en Srinivasan, geschreven in het Nederlands.

Titel: Groep-theoretische Johnson-classes en niet-hyperelliptische krommen met een torsie Ceresa-klasse

1. Probleemstelling

Het artikel adresseert een fundamenteel vraagstuk binnen de algebraïsche meetkunde en de theorie van algebraïsche cycli: de aard van de Ceresa-cyclus. Voor een gladde, projectieve kromme $X$ van genus $g \geq 3$ over een veld $K$ wordt de Ceresa-cyclus gedefinieerd als het homologisch triviale algebraïsche cyclus $X - X^-$ in de Jacobiaanse variëteit $\text{Jac}(X)$, waarbij $X^-$ het beeld is van $X$ onder de negatiemapping.

Een klassiek resultaat van Ceresa (1983) stelt dat voor een "zeer algemene" kromme deze cyclus niet algebraïsch triviaal is. Echter, voor hyperelliptische krommen is de Ceresa-klasse bekend als triviaal. Een lang bestaande veronderstelling (folklore) was dat een triviale Ceresa-klasse (modulo algebraïsche equivalentie) impliceert dat de kromme hyperelliptisch is.

De auteurs onderzoeken of er niet-hyperelliptische krommen bestaan waarvan de Ceresa-klasse wel degelijk torsie is (d.w.z. een eindige orde heeft in de Chow-groep modulo algebraïsche equivalentie). Specifiek richten ze zich op de $\ell$-adische Abel-Jacobi-afbeelding en de bijbehorende Galois-cohomologie-classes.

2. Methodologie

De kern van de bijdrage ligt in een groep-theoretische benadering die onafhankelijk is van de specifieke geometrie van de kromme, zolang de fundamentele groep aan bepaalde voorwaarden voldoet.

• Groep-theoretische constructie: De auteurs definiëren twee nieuwe cohomologie-classes voor een pro-$\ell$-groep $G$ met een torsie-vrije abelianisatie $G^{ab}$:
  1. De gewijzigde diagonaal-klasse (Modified Diagonal class, MD): Een klasse in $H^1(\text{Aut}(G), \text{Hom}(I/I^2, I^2/I^3))$, waarbij $I$ de augmentatie-ideaal is van de $\ell$-adische groepsring $\mathbb{Z}_\ell[[G]]$.
  2. De Johnson-klasse (J): Een afgeleide klasse in $H^1(\text{Out}(G), A(G))$, waarbij $A(G)$ de cokern is van de commutatorafbeelding. Deze klasse is onafhankelijk van het keuzepunt (basepoint-independent).
• Relatie met bestaande theorie: Voor de pro-$\ell$-completie van het étale fundamentele groep van een kromme, worden deze classes vergeleken met de klassen $\mu(X,x)$ en $\nu(X)$ die eerder zijn geconstrueerd door Hain en Matsumoto [HM05]. De auteurs tonen aan dat hun constructie een verfijning is, vooral voor $\ell=2$.
• Analyse van torsie: De methode maakt gebruik van de actie van automorfismengroepen op de homologie van de kromme. Als een eindige ondergroep $B$ van $\text{Aut}(X)$ werkt op de coëfficiëntenmodule zodanig dat de invarianten $H^0(B, \cdot) = 0$, dan is de bijbehorende cohomologie-klasse torsie.
• Dominantie: Er wordt een stelling bewezen die stelt dat als een kromme $X$ een torsie Johnson-klasse heeft, elke kromme $Y$ waarvoor een dominante afbeelding $X \to Y$ bestaat, ook een torsie Johnson-klasse heeft.

3. Belangrijkste Resultaten

• Voorstelling van de Ceresa-klasse: De auteurs definiëren de classes $\text{MD}(X,x)$ en $J(X)$ in de Galois-cohomologie. Ze bewijzen dat voor een gladde, projectieve kromme, deze classes nauw verwant zijn aan de klassen van Hain en Matsumoto.
• Hyperelliptische krommen: Ze bevestigen dat voor hyperelliptische krommen de Johnson-klasse $J(X)$ 2-torsie is (en $\text{MD}(X,x)$ eveneens als er een rationeel Weierstrass-punt is).
• De Fricke-Macbeath kromme (Genus 7):
  • De auteurs analyseren de unieke Hurwitz-kromme $C$ van genus 7 over $\mathbb{Q}$, met automorfismengroep $\text{PSL}_2(8)$.
  • Door karaktertheorie toe te passen op de representatie van $\text{PSL}_2(8)$ op de homologie $H_1(C)$, tonen ze aan dat er geen equivariante afbeelding bestaat van de homologie naar de tensorproductruimte die nodig is voor een niet-triviale klasse.
  • Conclusie: De Johnson-klasse $J(C)$ en de bijbehorende Ceresa-klasse $\nu(C)$ zijn torsie. Omdat $\text{PSL}_2(8)$ geen centraal element van orde 2 heeft, is $C$ niet-hyperelliptisch. Dit is het eerste bekende voorbeeld van een niet-hyperelliptische kromme met een torsie Ceresa-klasse.
• Genus 3 tegenvoorbeeld:
  • Door een quotiënt te nemen van de Fricke-Macbeath kromme $C$ onder een automorfisme $\iota$ van orde 2, verkrijgen ze een kromme $C/\langle \iota \rangle$ van genus 3.
  • Aangezien de Johnson-klasse onder dominante afbeeldingen behouden blijft (als torsie), heeft deze genus 3 kromme ook een torsie Johnson-klasse.
  • De auteurs bewijzen dat deze kromme niet-hyperelliptisch is (het is een gladde quartic in $\mathbb{P}^2$).
  • Dit vormt een sterk tegenvoorbeeld voor de veronderstelling dat een triviale Ceresa-klasse (modulo algebraïsche equivalentie) hyperellipticiteit impliceert.

4. Significatie en Implicaties

• Ondermijning van folklore: De resultaten weerleggen de verwachting dat een triviale Ceresa-klasse noodzakelijk hyperellipticiteit impliceert. Dit heeft directe gevolgen voor de classificatie van algebraïsche cycli op Jacobiaanse variëteiten.
• Verband met Beilinson-conjecturen: De auteurs wijzen erop (via opmerkingen van Benedict Gross) dat hun resultaat voorspeld wordt door de Beilinson-conjecturen. De L-functie die de rang van de Chow-groep controleert, is niet-nul, wat impliceert dat de rang 0 is en de Ceresa-cyclus dus torsie moet zijn.
• Technische verfijning: De groep-theoretische constructie biedt een krachtiger en meer flexibel raamwerk dan eerdere methoden, vooral voor $\ell=2$, en werkt voor een breder scala aan groepen (zoals Demuskin-groepen), niet alleen voor fundamentele groepen van krommen.
• Historische context: De paper plaatst hun genus 3 voorbeeld in de context van eerdere (maar niet gepubliceerde) pogingen door Chad Schoen en Arnaud Beauville, en bevestigt de geldigheid van dergelijke tegenvoorbeelden.

Samenvattend biedt dit artikel een nieuwe, groep-theoretische lens om de Ceresa-cyclus te bestuderen en levert het concrete, bewezen voorbeelden van niet-hyperelliptische krommen met torsie Ceresa-classes, wat een belangrijk inzicht is in de structuur van algebraïsche cycli en de Galois-actie op fundamentele groepen.