A surface with representable $\text{CH}_{0}$-group but no universal zero-cycle

En s'appuyant sur la géométrie des surfaces bielliptiques de type 2, cet article construit une surface projective complexe lisse dont le groupe de Chow des zéro-cycles est représentable mais qui ne possède pas de zéro-cycle universel, fournissant ainsi un analogue bidimensionnel du contre-exemple de Voisin et révélant l'existence d'une classe de Hodge non algébrique sur une variété de dimension trois.

L'essentiel

Voici une explication de ce papier mathématique, traduite en langage simple et illustrée par des analogies pour rendre les concepts abstraits plus concrets.

Le Titre : Un Puzzle qui a une solution, mais pas de "Guide Universel"

Imaginez que vous avez un puzzle complexe (une surface mathématique).

• Le groupe de Chow ($CH_0$) : C'est la façon dont on peut assembler les pièces du puzzle (les points) pour former des formes. Dire que ce groupe est "représentable", c'est comme dire que l'on peut décrire parfaitement toutes les façons de faire des formes avec ces pièces en utilisant une carte de référence très précise (une variété appelée Albanese).
• Le "0-cycle universel" : C'est un guide de montage universel. C'est une règle magique qui permettrait de dire : "Peu importe la pièce que vous avez, si vous la suivez, vous arriverez toujours exactement à la destination prévue sur la carte."

Le problème de la recherche :
Pendant longtemps, les mathématiciens pensaient que si l'on pouvait bien décrire le puzzle (groupe représentable), alors il devait forcément exister ce "guide de montage universel".
En 2024, une mathématicienne nommée Claire Voisin a prouvé que ce n'était pas vrai pour des objets en 3 dimensions (des volumes). Elle a trouvé un objet 3D qui a une bonne carte, mais pas de guide universel.

La question de ce papier :
Le chercheur, Theodosios Alexandrou, se demande : "Est-ce que cela arrive aussi pour des objets en 2 dimensions (des surfaces) ?"
C'est comme demander : "Peut-on avoir un puzzle plat (une surface) qui a une carte parfaite, mais qui refuse d'avoir un guide de montage universel ?"

La Réponse : OUI !

La réponse est oui. Alexandrou a construit une surface mathématique spécifique qui possède cette propriété étrange.

Comment a-t-il fait ? (L'Analogie de la Dégradation)

Pour construire cette surface, il n'a pas simplement "dessiné" un objet bizarre. Il a utilisé une technique de dégénérescence, un peu comme un architecte qui étudie comment un bâtiment s'effondre pour comprendre sa structure.

1. Le point de départ : Il part d'une surface "bielliptique" (un type de surface très spécial, un peu comme un tore ou une boucle, mais avec une structure double).
2. L'expérience : Il imagine que cette surface est faite de matière qui change avec le temps. Il la fait "fondre" ou se décomposer lentement jusqu'à ce qu'elle ne soit plus une surface lisse, mais qu'elle se brise en plusieurs morceaux (des composantes) qui se touchent, comme des anneaux de chaînes ou des pièces de Lego qui se détachent.
3. L'obstacle : Il a prouvé que, dans ce processus de décomposition, les pièces qui restent (les morceaux de la surface brisée) ne peuvent pas s'assembler correctement pour former le "guide universel" requis.
   • Analogie : Imaginez que vous essayez de construire une tour avec des briques. Vous savez exactement où chaque brique doit aller (la carte est bonne). Mais, à cause de la forme de certaines briques (liées à des propriétés mathématiques très précises appelées "multiplication complexe"), il est impossible de trouver une seule règle qui fonctionne pour toutes les briques en même temps.

Pourquoi est-ce important ? (Le Secret Caché)

Ce résultat n'est pas juste une curiosité. Il a une conséquence majeure pour une autre grande énigme des mathématiques : la conjecture de Hodge.

• La Conjecture de Hodge (simplifiée) : Elle dit que dans certaines formes géométriques, toute "ombre" (une classe de cohomologie) que l'on peut voir mathématiquement doit correspondre à une "forme réelle" (un objet géométrique que l'on peut construire).
• Le résultat d'Alexandrou : En utilisant sa surface "sans guide universel", il a construit un objet en 3 dimensions (un volume) qui possède une "ombre" mathématique qui n'est pas une forme réelle.
  • C'est comme si vous aviez l'ombre d'un dragon projetée sur un mur, mais qu'en cherchant le dragon dans la pièce, vous ne trouviez rien. L'ombre existe mathématiquement, mais le dragon n'existe pas géométriquement.
  • De plus, c'est la première fois qu'on trouve un exemple de ce type où l'ombre n'est pas "torsion" (elle ne revient pas à zéro si on la répète), ce qui rend le problème encore plus profond.

En Résumé

1. Le but : Trouver une surface 2D qui a une carte parfaite mais pas de guide de montage universel.
2. La méthode : Construire une surface spéciale (bielliptique) et étudier comment elle se brise en morceaux.
3. La découverte : Il existe bien une telle surface. Cela prouve que la relation entre "carte" et "guide" est plus subtile qu'on ne le pensait, même en 2 dimensions.
4. L'impact : Cela permet de créer un objet mathématique en 3D qui viole une règle fondamentale (la conjecture de Hodge), montrant qu'il existe des "ombres" mathématiques sans "objets" réels.

C'est une victoire de la géométrie fine : en regardant comment les formes se cassent, on découvre des secrets sur la nature de l'espace et des nombres.

Résumé technique

Voici un résumé technique détaillé de l'article « A Surface with Representable CH₀-Group but No Universal Zero-Cycle » de Theodosis Alexandrou, rédigé en français.

1. Contexte et Problématique

L'article s'inscrit dans l'étude des cycles algébriques sur les variétés projectives complexes lisses, en se concentrant sur la relation entre le groupe de Chow des 0-cycles ($CH_0$) et la variété d'Albanese.

• Le problème central : La question de l'existence d'un 0-cycle universel sur une variété $X$. Un tel cycle est défini comme un cycle de codimension $d$ (où $d = \dim X$) $[\Gamma] \in CH_d(\text{Alb}(X) \times X)$ tel que le morphisme induit $\psi(\text{Alb}(X), [\Gamma]) : \text{Alb}(X) \to \text{Alb}(X)$ soit l'identité.
• L'hypothèse de représentabilité : Une variété $X$ possède un groupe $CH_0$ représentable si la application d'Abel-Jacobi $\alpha_X : CH_0(X)_{\text{hom}} \to \text{Alb}(X)$ est un isomorphisme.
• La question ouverte : Colliot-Thélène a demandé si l'existence d'un 0-cycle universel est garantie pour les variétés dont le groupe $CH_0$ est représentable.
  • Voisin a récemment répondu par la négative en dimension 3 (contre-exemple de Voisin).
  • Question 1.2 (Totaro) : Existe-t-il une surface projective complexe lisse $S$ dont le groupe $CH_0(S)$ est représentable, mais qui n'admet pas de 0-cycle universel ?

2. Méthodologie

L'auteur utilise une stratégie de dégénérescence et de théorie des obstructions cohomologiques, s'appuyant sur la géométrie des surfaces bielliptiques.

• Stratégie de dégénérescence : Au lieu de dégénérer la courbe elliptique (comme dans certaines approches antérieures), l'auteur dégénère la surface elle-même. Il construit une famille plate et régulière $S \to \Delta$ (où $\Delta = \text{Spec } k[[t]]$) dont la fibre générique géométrique $S_K$ est une surface bielliptique de type 2, et dont la fibre spéciale $S_0$ est un diviseur à croisements normaux simples réduit, dont le graphe dual est une chaîne de deux composantes ($R_1 \cup R_2$).
• Obstruction théorique (Théorème 3.1) : L'auteur établit un critère d'obstruction. Si une telle dégénérescence existe et que le 0-cycle universel existait sur la fibre générique, alors la somme des morphismes d'Albanese induits par les composantes de la fibre spéciale, $\sum \text{alb}_i : \bigoplus \text{Alb}(R_i) \to \text{Alb}(S_K)$, devrait admettre une section.
• Analyse arithmétique : Pour prouver que cette section n'existe pas, l'auteur analyse les anneaux d'endomorphismes des courbes elliptiques sous-jacentes. Il exploite les propriétés des corps de nombres quadratiques imaginaires (champs de Heegner) et des ordres maximaux.

3. Résultats Principaux

Théorème 1.3 (Résultat Principal)

L'auteur répond affirmativement à la Question 1.2. Il construit une surface projective lisse $S$ sur $\mathbb{C}$ telle que :

1. Le groupe de Chow $CH_0(S)$ est représentable (l'application d'Abel-Jacobi est un isomorphisme).
2. $S$ n'admet pas de 0-cycle universel.

Conditions de construction :
La surface $S$ est une surface bielliptique de type 2. Sa variété d'Albanese est isomorphe à une courbe elliptique $E$ satisfaisant l'une des deux conditions suivantes :

• (i) $\text{End}(E) \cong \mathbb{Z}$ (pas de multiplication complexe).
• (ii) $E$ possède une multiplication complexe par l'ordre maximal d'un corps de Heegner $\mathbb{Q}(\sqrt{-c})$, où $c \in \{1, 2, 3, 11, 19, 43, 67, 163\}$.

Note importante sur le cas $c=-7$ : L'article montre explicitement (Exemple 5.2) que pour $c=-7$, une telle surface admet un 0-cycle universel. La distinction repose sur la structure de l'anneau d'endomorphismes et l'existence d'une décomposition de l'identité en isogénies de degré 2 spécifiques, ce qui échoue pour les autres cas listés.

Théorème 1.4 (Construction de la dégénérescence)

L'auteur construit explicitement une dégénérescence semi-stable d'une surface bielliptique de type 2. La fibre spéciale est la réunion de deux surfaces réglées minimales $R_1$ et $R_2$ se coupant le long d'une courbe elliptique lisse. L'obstruction clé réside dans le fait que la somme des morphismes $\text{Alb}(R_1) \oplus \text{Alb}(R_2) \to E$ n'admet pas de section sous les hypothèses du Théorème 1.3.

Corollaire 1.5 (Conjecture de Hodge Intégrale)

En tant que conséquence, l'auteur produit le premier exemple d'une variété de dimension 3 de dimension de Kodaira nulle ($\kappa=0$) qui viole la conjecture de Hodge intégrale pour les cycles de dimension 1.

• La variété est $X = E \times S$.
• Il existe une classe de Hodge entière non-torsion dans $H^4(E \times S, \mathbb{Z})$ qui n'est pas algébrique.
• Contrairement aux contre-exemples précédents de Benoist et Ottem (basés sur des classes de torsion), ici l'obstruction provient d'une classe non-torsion.

4. Contributions Clés et Signification

1. Analogie Dimensionnelle : Ce travail fournit l'analogue en dimension 2 du contre-exemple de Voisin en dimension 3, fermant ainsi une question ouverte posée par Totaro. Cela démontre que la représentabilité de $CH_0$ n'implique pas l'existence d'un 0-cycle universel, même en dimension 2.
2. Nouvelle Obstruction Géométrique : L'article introduit une obstruction basée sur la non-existence de sections pour les sommes de morphismes d'Albanese lors de dégénérescences spécifiques. Cette méthode est robuste et s'applique aux surfaces bielliptiques de type 2.
3. Conjecture de Hodge Intégrale : L'article élargit le paysage des contre-exemples à la conjecture de Hodge intégrale. En produisant une classe non-torsion non-algébrique sur une variété de dimension 3 avec fibré canonique de torsion, il montre que les obstructions à la conjecture de Hodge sont plus subtiles que la simple torsion.
4. Précision Arithmétique : La distinction fine entre les cas de multiplication complexe (notamment l'exclusion de $c=-7$) met en lumière la dépendance arithmétique fine des propriétés géométriques des cycles algébriques.

Conclusion

L'article de Theodosis Alexandrou résout un problème fondamental en géométrie algébrique en démontrant l'existence de surfaces avec un groupe $CH_0$ représentable mais sans 0-cycle universel. En combinant la théorie des cycles algébriques, la géométrie des dégénérescences et l'arithmétique des courbes elliptiques, l'auteur établit également un nouveau contre-exemple à la conjecture de Hodge intégrale, enrichissant notre compréhension des limites entre les classes de cohomologie et les cycles algébriques.