🔢 mathematics

Varieties with representable CH_0-group and a question of Colliot-Thélène

Cet article répond à une question posée par Colliot-Thélène en construisant une variété projective lisse dont le groupe $\text{CH}_0$ est représentable mais qui ne possède pas de cycle de degré zéro universel, en utilisant un contre-exemple à la conjecture de Hodge intégrale fourni par Benoist et Ottem.

Auteurs originaux : Claire Voisin

Publié 2026-07-08

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Claire Voisin

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez d'organiser une fête massive et complexe où chaque invité représente un point spécifique sur une forme géométrique (une « variété »). Les mathématiciens tentent depuis longtemps de découvrir s'il existe une « liste d'invités » ou un « plan de table » parfait et universel capable de décrire comment ces points sont liés entre eux de manière spécifique et organisée.

Ce papier, écrit par la mathématicienne Claire Voisin, résout un puzzle que un autre mathématicien, Jean-Louis Colliot-Thélène, se demandait depuis un certain temps.

Voici la décomposition de l'histoire, du problème et de la solution, en utilisant des analogies simples.

Les personnages principaux et l'objectif

1. La « Carte Albanese » (L'organisateur de la fête)
Imaginez que votre forme géométrique est un bâtiment immense et complexe. La « carte Albanese » est comme un système d'ascenseur spécial qui prend n'importe quel point dans le bâtiment et l'envoie vers une salle de contrôle centrale (appelée la variété Albanese). Cette salle de contrôle est un espace très organisé et lisse (comme un tore ou une forme de donut) qui capture les « boucles » et les connexions essentielles du bâtiment.

2. Le « 0-cycle universel » (La liste d'invités parfaite)
Les mathématiciens veulent savoir : existe-t-il une liste d'invités unique et parfaite (un objet mathématique appelé 0-cycle universel) qui réside dans la salle de contrôle ? Si cette liste existe, cela signifie que vous pouvez prendre n'importe quel emplacement dans la salle de contrôle et utiliser cette liste pour reconstruire parfaitement un ensemble de points correspondant dans le bâtiment d'origine. C'est comme avoir une clé maîtresse qui peut déverrouiller n'importe quelle configuration spécifique d'invités.

3. Le « Groupe CH0 représentable » (La foule organisée)
Parfois, la foule de points dans le bâtiment est si bien élevée que le système d'ascenseur (la carte Albanese) est une correspondance parfaite et bijective. Chaque point dans la salle de contrôle correspond exactement à un groupe unique de points dans le bâtiment, et vice versa. Quand cela arrive, nous disons que le groupe est « représentable ».

La grande question

Pendant longtemps, les mathématiciens savaient deux choses :

Certains bâtiments ont une « foule parfaite » (groupe représentable).
Certains bâtiments ne possèdent pas de « liste d'invités maîtresse » (pas de 0-cycle universel).

Mais ils ne savaient pas si ces deux choses pouvaient se produire en même temps.
La Question : Peut-on avoir un bâtiment où la foule est parfaitement organisée (représentable), mais où l'on ne peut tout de même pas trouver une liste d'invités maîtresse unique (pas de 0-cycle universel) ?

La plupart des gens soupçonnaient que la réponse était « Non ». Ils pensaient que si la foule était assez organisée pour être représentable, une liste d'invités maîtresse devait exister.

La solution : Un contre-exemple

Claire Voisin dit : « Oui, c'est possible. »

Elle construit un bâtiment géométrique spécifique à 3 dimensions (une « variété de dimension 3 ») qui enfreint la règle.

La Foule : Les points de ce bâtiment sont parfaitement organisés. Le système d'ascenseur fonctionne de manière impeccable (le groupe est représentable).
La Liste Manquante : Malgré cette organisation parfaite, il n'existe aucun maître de liste capable de décrire tous les points à la fois.

Comment elle l'a construit (La recette)

Pour construire ce bâtiment étrange, Voisin a utilisé une recette astucieuse impliquant deux autres formes :

Une surface K3 : Considérez cela comme une feuille 2D très complexe et plate avec une symétrie spéciale (comme un motif qui se répète mais qui bascule).
Une courbe elliptique : Considérez cela comme une boucle simple ou une forme de donut.

Elle a pris ces deux formes, les a entrelacées, puis a appliqué une opération de « pliage » (une symétrie mathématique) qui colle certaines parties ensemble. Le résultat est une nouvelle forme en 3D.

Pourquoi cette forme n'a-t-elle pas de liste maîtresse ?
La preuve repose sur une connexion profonde avec un problème célèbre non résolu en mathématiques appelé la Conjecture de Hodge intégrale.

Imaginez essayer de construire un mur avec des briques spécifiques. La Conjecture de Hodge demande : « Si un mur semble être fait de briques (mathématiquement parlant), est-il réellement fait de briques ? »
Dans l'exemple de Voisin, le « mur » (la géométrie de la forme) semble pouvoir être construit avec des briques, mais il s'avère qu'il est impossible de le construire en utilisant les « briques » (cycles algébriques) disponibles.
Parce que les « briques » ne s'assemblent pas pour former le mur, la « liste d'invités maîtresse » (le 0-cycle universel) ne peut pas exister, même si la foule est par ailleurs parfaitement organisée.

L'indice de l'« indice »

Le papier discute également d'un concept appelé « l'indice ».

Imaginez que vous essayiez de couvrir un sol avec des carreaux. Si le sol fait 10 pieds de large et que vos carreaux font 1 pied de large, vous avez besoin de 10 carreaux. Si le sol fait 10 pieds de large et que vos carreaux font 3 pieds de large, vous ne pouvez pas le couvrir parfaitement sans les couper.
Dans l'exemple de Voisin, les « carreaux » (les morceaux géométriques qu'elle utilise pour construire la liste) ne s'adaptent pas parfaitement au « sol ». L'« indice » est de 2, ce qui signifie qu'il y a un léger décalage qui empêche la création de la liste universelle.

Ce qu'il faut retenir

Ce papier prouve que l'organisation parfaite ne garantit pas une clé maîtresse.

Voisin a montré que vous pouvez avoir un monde géométrique où les points sont parfaitement cartographiés vers un centre de contrôle, et pourtant, le « plan directeur » fondamental (le 0-cycle universel) nécessaire pour reconstruire ces points à partir du centre n'existe tout simplement pas. Cela répond à la question de Colliot-Thélène par un « Oui » définitif (« un tel objet existe »), et ce, en utilisant un contre-exemple à une théorie profonde sur la manière dont les formes sont construites à partir de pièces plus petites.

Résumé Technique : Variétés avec un groupe $CH_0$ représentable et une question de Colliot-Thélène

Énoncé du Problème
L'article traite d'une question spécifique posée par Colliot-Thélène concernant la relation entre la représentabilité du groupe de Chow des cycles de dimension zéro ( $CH_0$ ) et l'existence d'un « 0-cycle universel » sur les variétés complexes lisses et projectives.

Soit $X$ une variété projective lisse. On dit que le groupe $CH_0(X)$ est représentable si le morphisme d'Albanese $a_X: CH_0(X)_{hom} \to Alb(X)$ est un isomorphisme. Un 0-cycle universel pour $X$ est défini comme un cycle de codimension $n$ , $\Gamma \in CH_n(Alb(X) \times X)$ (où $n = \dim X$ ), tel que pour tout $t \in Alb(X)$ , la composition $a_X \circ \Gamma^* (\{t\} - \{0\})$ est égale à $t$ dans $Alb(X)$.

Bien qu'il soit connu que des variétés sans 0-cycles universels existent (par exemple, certaines surfaces construites dans les travaux antérieurs de l'auteur) et que des variétés avec des groupes $CH_0$ représentables existent également, il s'agissait d'une question ouverte de savoir si ces deux propriétés étaient mutuellement exclusives. Plus précisément, Colliot-Thélène demandait : Existe-t-il une variété projective complexe lisse $X$ avec un groupe $CH_0$ représentable qui n'admet pas de 0-cycle universel ?

Méthodologie et Cadre Théorique
L'auteur aborde ce problème en analysant les contraintes géométriques imposées par la représentabilité de $CH_0$ .

Réduction Géométrique : En utilisant le théorème de Mumford, l'article établit que si $CH_0(X)$ est représentable et que $Alb(X)$ est non trivial, le morphisme d'Albanese de $X$ factorise par une courbe projective lisse $C$ . Plus précisément, il existe un morphisme dominant $\phi: X \to C$ tel que $Alb(X) \cong J(C)$ .
Indice des Morphismes : L'existence d'un 0-cycle universel est liée à l'indice du morphisme $\phi: X \to C$ . L'indice est défini comme le plus grand commun diviseur des degrés des sous-variétés irréductibles de $X$ dominant $C$ . L'article prouve que si cet indice est égal à 1, un 0-cycle universel existe.
Lien avec la Théorie de Hodge : La non-existence d'un 0-cycle universel est montrée comme étant équivalente à la non-algébricité d'une classe de Hodge spécifique $\gamma_X \in H^{2n}(Alb(X) \times X, \mathbb{Z})_{tf}$ (modulo torsion). Cette classe provient de la décomposition de Künneth de la diagonale. Ainsi, construire un contre-exemple nécessite de trouver une variété où cette classe spécifique n'est pas algébrique, fournissant ainsi un contre-exemple à la conjecture de Hodge intégrale modulo torsion.
Construction du Contre-exemple : La construction repose sur un contre-exemple à la conjecture de Hodge intégrale fourni par Benoist et Ottem. L'auteur construit une variété de dimension 3, $X$ , comme un quotient d'un produit $E \times S$ , où $E$ est une courbe elliptique et $S$ est une surface K3 équipée d'une involution antisymplectique sans point fixe $g$ .

Contributions Clés et Résultats

Théorème 1.4 (Résultat Principal) : L'article prouve l'existence d'une variété de dimension 3, projective et lisse, $X$ , telle que $CH_0(X)$ est représentable, mais $X$ n'admet pas de 0-cycle universel. Cela apporte une réponse affirmative à la question de Colliot-Thélène.
- Construction : $X = (E \times S) / (t_\xi, g)$ , où $E$ est une courbe elliptique avec une translation $t_\xi$ d'ordre 2, et $S$ est une surface K3 avec une involution sans point fixe $g$ . Le quotient est une surface d'Enriques $\Sigma = S/g$ et une courbe elliptique quotient $E_\xi = E/t_\xi$ .
- Représentabilité : Le morphisme $p_{E_\xi}: X \to E_\xi$ induit un isomorphisme sur $CH_0$ , prouvant la représentabilité.
- Non-existence de 0-cycle Universel : La preuve démontre que si un 0-cycle universel existait, cela impliquerait l'existence d'une correspondance $\Gamma_\Sigma \in CH_1(E_\xi \times \Sigma)$ satisfaisant une condition cohomologique spécifique impliquant les doubles revêtements étales. Cette condition est montrée comme étant impossible pour un choix général de paramètres, en s'appuyant sur les résultats de Benoist et Ottem concernant les classes de courbes de torsion non-algébriques.
Proposition 2.2 : L'article établit une équivalence entre l'existence d'un 0-cycle universel et l'algébricité du projecteur de Künneth $\delta_1$ sur $X \times X$ , à condition que la variété d'Albanese soit un facteur direct dans le jacobien d'une courbe. Cela lie la propriété géométrique à la structure motivique de $X$ .
Proposition 2.7 : Il est prouvé que si le morphisme d'Albanese factorise par une courbe $C$ d'indice 1, un 0-cycle universel existe. L'article note que la réciproque n'est pas vraie, en fournissant un exemple d'une surface d'indice $d > 1$ qui admet néanmoins un 0-cycle universel.
Proposition 3.5 : L'auteur fournit une preuve courte et une généralisation légère d'un résultat de Benoist et Ottem, stipulant que pour une variété projective lisse $W$ et une classe non nulle $\beta \in H^1(W, \mathbb{Z}/k)$ , il n'existe que countably many (nombreuses) courbes elliptiques $E$ admettant une correspondance $\Gamma$ telle que $[\Gamma]^*\beta \neq 0$ . Ce lemme technique est crucial pour assurer la non-existence de la correspondance requise dans la construction principale.
Analyse des Surfaces (Section 4) : L'article étudie les surfaces avec $p_g=0$ et $q \neq 0$ . Il montre que si une telle surface est un quotient d'un produit de courbes par un groupe cyclique, l'indice de la fibration d'Albanese est 1, impliquant l'existence d'un 0-cycle universel. Cela contraste avec l'exemple de la variété de dimension 3, soulignant la nature restrictive du contre-exemple.

Signification et Revendications
L'article affirme résoudre une question ouverte spécifique dans la géométrie des 0-cycles en démontrant que la propriété d'avoir un groupe $CH_0$ représentable ne garantit pas l'existence d'un 0-cycle universel.

La construction repose sur le fait que la variété $X$ possède de la torsion dans sa cohomologie de Betti intégrale. Par conséquent, la non-existence d'un 0-cycle universel pour $X$ produit un contre-exemple à la conjecture de Hodge intégrale modulo torsion pour les classes de courbes (classes de l'homologie de Hodge de degré 2) sur la variété de dimension 4 $Alb(X) \times X$ .

L'auteur note que les hypothèses du théorème principal sont « très restrictives géométriquement », car la représentabilité de $CH_0$ force la variété d'Albanese à être isomorphe au jacobien d'une courbe. L'article ne prétend pas construire des exemples sans torsion dans la cohomologie de Betti intégrale, laissant cela comme une enquête ouverte. Le travail sert à clarifier les distinctions subtiles entre la représentabilité, la structure du morphisme d'Albanese et la conjecture de Hodge intégrale.