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

Cet article construit des analogues groupo-théoriques des cocycles de Johnson/Morita pour les groupes pro-l et les applique aux groupes fondamentaux étale des courbes lisses afin d'établir des propriétés cohomologiques de Galois et de fournir un exemple de courbe non hyperelliptique dont la classe de Ceresa possède une image de torsion sous l'application d'Abel-Jacobi l-adique.

L'essentiel

Voici une explication de cet article de recherche, imagée et simplifiée, pour rendre ces concepts mathématiques complexes accessibles à tous.

🎨 Le Titre : Quand les courbes cachent des secrets (et des torsions)

Imaginez que vous êtes un architecte qui étudie des formes géométriques appelées courbes. Certaines de ces courbes sont très simples et symétriques (comme des cercles ou des ellipses), on les appelle les courbes hyperelliptiques. D'autres sont beaucoup plus complexes, tordues et désordonnées : ce sont les courbes non hyperelliptiques.

Les mathématiciens de cet article (Dean, Wanlin, Daniel et Padmavathi) se posent une question fascinante : Peut-on dire qu'une courbe est "hyperelliptique" simplement en regardant une certaine propriété mathématique appelée "classe de Ceresa" ?

Jusqu'à présent, on pensait que si cette propriété était "nulle" ou "triviale", la courbe était forcément hyperelliptique (simple). Cet article vient briser cette règle en trouvant des courbes complexes qui se comportent comme des courbes simples sur ce point précis.

---

🧱 Les Briques de base : Les "Classes Johnson" et "Diagonale Modifiée"

Pour comprendre leur découverte, il faut imaginer deux outils de mesure :

1. La "Classe de Ceresa" (le cycle de Ceresa) : Imaginez que vous prenez une courbe et que vous la placez dans un espace plus grand (son "Jacobien"). Vous créez une copie de cette courbe, mais à l'envers (comme dans un miroir). La différence entre l'original et le reflet forme un objet mathématique.

   • Si la courbe est hyperelliptique (très symétrique), cet objet est "nul" (il s'annule).
   • Si la courbe est complexe, cet objet est généralement "vivant" et non nul.

2. Les "Classes Johnson" et "Diagonale Modifiée" : Ce sont les nouveaux outils inventés par les auteurs. Au lieu de regarder la courbe directement, ils regardent l'arbre généalogique de ses symétries (ce qu'ils appellent le "groupe fondamental").

   • Imaginez que chaque courbe a une "empreinte digitale" mathématique. Les auteurs ont créé une nouvelle façon de lire cette empreinte, en utilisant la théorie des groupes (l'étude des symétries).
   • Ils appellent cela des "classes" car ce sont des étiquettes mathématiques qui résument le comportement de la courbe.

🕵️‍♂️ La Grande Découverte : Le Cas de la Courbe Fricke-Macbeath

Les auteurs ont cherché une courbe complexe (non hyperelliptique) qui, pourtant, aurait une classe de Ceresa "nulle" (ou du moins, qui revient à zéro après un certain nombre de tours, ce qu'on appelle la torsion).

Ils ont trouvé leur bonheur avec une courbe très spéciale appelée la courbe de Fricke-Macbeath.

• C'est quoi ? C'est une courbe de genre 7 (une façon de dire qu'elle a 7 "trous" ou poignées, comme un beignet avec 7 trous).
• Sa particularité : Elle possède un groupe de symétries énorme et très rare (le groupe $PSL_2(8)$).
• Le résultat : En utilisant leurs nouveaux outils (les classes Johnson), ils ont prouvé que pour cette courbe, la "classe de Ceresa" est torsion. Cela signifie qu'elle est si petite, si bien équilibrée par ses symétries, qu'elle se comporte comme si elle était nulle, même si la courbe est très complexe et non hyperelliptique.

L'analogie : Imaginez un château de cartes très complexe. Normalement, si vous le secouez, il s'effondre (la classe est non nulle). Mais cette courbe Fricke-Macbeath est comme un château de cartes construit avec une magie telle que, même s'il est complexe, il reste parfaitement stable et ne s'effondre jamais (la classe est torsion/nulle).

🪜 L'Escalier vers le Genre 3 : La Preuve par l'Exemple

Une fois qu'ils ont trouvé cette courbe complexe de genre 7, ils ont utilisé une astuce mathématique (un théorème de domination) pour descendre vers des courbes plus simples.

• Ils ont pris cette courbe de genre 7 et l'ont "écrasée" ou "quotientée" par une symétrie spécifique (comme si on pliait la courbe sur elle-même).
• Résultat : Ils ont obtenu une courbe de genre 3 (3 trous).
• Le choc : Cette nouvelle courbe de genre 3 est non hyperelliptique (elle est complexe), mais elle hérite de la propriété de sa mère : sa classe de Ceresa est aussi torsion.

C'est une première mondiale ! Avant cela, on pensait que pour une courbe de genre 3, si la classe de Ceresa était nulle, elle devait être hyperelliptique. Cet article montre que non, il existe des exceptions.

🌟 Pourquoi est-ce important ?

1. Casser les idées reçues : Cela prouve que la relation entre la symétrie d'une courbe et sa "classe de Ceresa" est plus subtile qu'on ne le pensait.
2. Un lien avec la physique et l'astronomie (enfin, presque) : Les auteurs mentionnent que ce résultat confirme une prédiction faite par les conjectures de Beilinson (liées à la théorie des nombres et aux fonctions L, utilisées en cryptographie et en physique théorique). En gros, les mathématiques pures disent "ça devrait être nul", et ils ont prouvé que "oui, c'est bien nul".
3. Nouveaux outils : Ils ont développé une méthode purement "group-théorique" (basée sur les symétries abstraites) pour étudier ces courbes, ce qui permet de travailler même sans avoir la courbe dessinée sous les yeux, juste en manipulant des équations de symétrie.

En résumé

Ces mathématiciens ont construit de nouveaux "télescopes" (les classes Johnson) pour observer les courbes. En pointant ces télescopes vers une courbe très symétrique et complexe (Fricke-Macbeath), ils ont découvert qu'elle avait un comportement "nul" inhabituel. En descendant d'un étage dans leur construction mathématique, ils ont trouvé une courbe plus petite (genre 3) qui partage ce secret, prouvant ainsi qu'il existe des courbes complexes qui se cachent derrière des apparences simples.

C'est une victoire de l'abstraction : ils ont utilisé la logique pure des symétries pour résoudre un problème géométrique vieux de plusieurs décennies.

Résumé technique

Voici un résumé technique détaillé de l'article « Group-theoretic Johnson classes and non-hyperelliptic curves with torsion Ceresa class » de Dean Bisogno, Wanlin Li, Daniel Litt et Padmavathi Srinivasan, publié dans l'Épijournal de Géométrie Algébrique (2023).

1. Problématique et Contexte

L'article s'attaque à l'étude du cycle de Ceresa sur les courbes algébriques. Soit $X$ une courbe lisse, projective et géométriquement intègre de genre $g \ge 3$ définie sur un corps $K$, et $x \in X(K)$ un point rationnel. Le cycle de Ceresa est défini comme le cycle algébrique homologue à zéro $X - X^-$ dans le Jacobien $\text{Jac}(X)$, où $X^-$ est l'image de $X$ par l'involution de négation du groupe.

Un résultat classique de Ceresa (1983) établit que pour une courbe « très générale » de genre $g \ge 3$, ce cycle n'est pas trivialement équivalent à zéro (non trivialement algébriquement). Cependant, pour les courbes hyperelliptiques, le cycle de Ceresa est connu pour être trivial.

La question centrale soulevée par les auteurs est la suivante : L'existence d'une classe de Ceresa de torsion (ou d'un cycle de Ceresa trivial modulo équivalence algébrique) implique-t-elle que la courbe est hyperelliptique ?

Des conjectures populaires et des attentes (notamment mentionnées dans [JSE14]) suggéraient que la trivialité (ou la torsion) de la classe de Ceresa caractérisait les courbes hyperelliptiques. L'objectif de ce papier est de construire des outils théoriques pour tester cette hypothèse et de fournir des contre-exemples.

2. Méthodologie : Classes de Johnson et Modifiées Diagonales

Les auteurs développent une approche purement théorie des groupes pour définir des classes de cohomologie galoisienne qui capturent l'action du groupe de Galois sur le groupe fondamental étale pro-$\ell$ d'une courbe.

A. Construction Group-Théorique

Soit $G$ un groupe pro-$\ell$ de type fini avec une abélianisation sans torsion.

1. Anneau de groupe et Idéaux d'augmentation : Ils considèrent l'anneau de groupe complété $\mathbb{Z}_\ell[[G]]$ et son idéal d'augmentation $I$. Ils étudient les quotients $I/I^2$ et $I^2/I^3$.
2. Classe de la diagonale modifiée ($MD_{univ}$) : Ils définissent une classe universelle dans la cohomologie de groupe $H^1(\text{Aut}(G), \text{Hom}(I/I^2, I^2/I^3))$ associée à une extension de modules. Cette classe capture l'action de l'automorphisme sur la structure du groupe fondamental.
3. Classe de Johnson ($J_{univ}$) : En descendant de $\text{Aut}(G)$ vers le groupe des automorphismes extérieurs $\text{Out}(G)$ (ce qui correspond géométriquement à l'indépendance du point de base), ils définissent la classe de Johnson universelle $J_{univ} \in H^1(\text{Out}(G), A(G))$, où $A(G)$ est un quotient approprié de $\text{Hom}(I/I^2, I^2/I^3)$.

B. Application aux Courbes

Pour une courbe $X$ sur $K$, ils définissent :

• La classe de la diagonale modifiée $MD(X, x)$ (dépendante du point de base).
• La classe de Johnson $J(X)$ (indépendante du point de base).

Ces classes sont des analogues galoisiens des classes de Hain-Matsumoto ($\mu(X,x)$ et $\nu(X)$) définies précédemment via l'action sur le groupe fondamental pro-$\ell$. Les auteurs montrent que pour $\ell \neq 2$, leurs classes coïncident avec celles de Hain-Matsumoto, mais que pour $\ell=2$, leur construction affine les résultats existants en fournissant plus d'informations (notamment via des sous-modules spécifiques $W$ et $A_W(G)$).

3. Contributions Clés et Résultats Principaux

A. Propriétés Fondamentales

• Hyperellipticité : Ils prouvent que pour toute courbe hyperelliptique, la classe de Johnson $J(X)$ est de 2-torsion. Si la courbe possède un point de Weierstrass rationnel, la classe $MD(X,x)$ est également de 2-torsion.
• Stabilité par extension de corps : La propriété d'être de torsion pour ces classes est une propriété géométrique (elle descend aux extensions finies du corps de base).
• Héritage par domination : Un résultat crucial (Théorème 3.7) établit que si une courbe $X$ domine une courbe $Y$ (via un morphisme dominant), et si $J(X)$ est de torsion, alors $J(Y)$ l'est aussi. Cela généralise le fait qu'une courbe dominée par une courbe hyperelliptique est elle-même hyperelliptique.

B. Contre-Exemples : Courbes Non-Hyperelliptiques à Torsion

L'apport majeur de l'article est la construction de contre-exemples à la conjecture selon laquelle la torsion de la classe de Ceresa implique l'hyperellipticité.

1. La Courbe de Fricke-Macbeath (Genre 7) :

   • Les auteurs analysent la courbe de Fricke-Macbeath $C$, une courbe de genre 7 définie sur $\mathbb{Q}$ dont le groupe d'automorphismes est isomorphe au groupe simple $PSL_2(8)$ (ordre 504).
   • En utilisant la théorie des caractères de $PSL_2(8)$, ils démontrent qu'il n'existe aucune application équivariante non triviale entre l'homologie de la courbe et son carré tensoriel sous l'action du groupe d'automorphismes.
   • Cela implique que $H^0(PSL_2(8), A(G)) = 0$, ce qui force la classe de Johnson $J(C)$ à être de torsion (d'ordre divisant 504).
   • Résultat : $C$ est une courbe non-hyperelliptique (car $PSL_2(8)$ est simple et n'a pas d'élément central d'ordre 2) dont la classe de Ceresa est de torsion.

2. Courbe de Genre 3 (Quotient) :

   • En utilisant le théorème d'héritage (Théorème 3.7), ils considèrent le quotient $C/\langle \iota \rangle$ où $\iota$ est un élément d'ordre 2 de $PSL_2(8)$.
   • Ce quotient est une courbe de genre 3, non-hyperelliptique (vérifiée par l'existence d'un modèle comme quartique lisse dans $\mathbb{P}^2$), et possède une classe de Johnson de torsion.
   • Cela fournit un contre-exemple explicite en genre 3, répondant négativement à une question de Herbert Clemens sur l'équivalence entre la trivialité du cycle de Ceresa et l'hyperellipticité.

4. Signification et Implications

• Réfutation d'une Conjecture : L'article réfute l'attente populaire (folk expectation) selon laquelle une classe de Ceresa de torsion implique que la courbe est hyperelliptique.
• Lien avec les Conjectures de Beilinson : Comme noté dans la remarque 1.3, les résultats de Gross (vérifiés ici) et de Qiu-Zhang (via des méthodes automorphes) suggèrent que la torsion du cycle de Ceresa sur la courbe de Fricke-Macbeath est prédite par les conjectures de Beilinson (la valeur L pertinente étant non nulle, le rang du groupe de Chow est zéro, donc le cycle est de torsion).
• Outils Théoriques : La construction de classes de Johnson et de diagonale modifiée via la théorie des groupes pro-$\ell$ offre un cadre robuste pour étudier les cycles algébriques sans nécessiter que la courbe soit propre, et s'applique à des groupes de Demuskin généraux.
• Précision pour $\ell=2$ : La construction affine les résultats de Hain-Matsumoto dans le cas $\ell=2$, offrant une information plus fine sur la structure du groupe fondamental.

En résumé, ce papier établit un pont profond entre la cohomologie de groupe, la théorie des représentations des groupes finis simples et la géométrie arithbétique des courbes, démontrant l'existence de courbes non-hyperelliptiques complexes dont les cycles de Ceresa se comportent de manière « triviale » (torsion) dans le groupe de Chow.