Variétés avec groupe CH₀ représentable et une question de Colliot-Thélène

Informations fondamentales

• ID de l'article: 2508.02331
• Titre: Variétés avec groupe CH₀ représentable et une question de Colliot-Thélène
• Auteur: Claire Voisin
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 15 octobre 2025 (arXiv v2)
• Lien de l'article: https://arxiv.org/abs/2508.02331

Résumé

Cet article poursuit l'étude des propriétés géométriques de l'application d'Albanese sur les 0-cycles. L'auteur fournit un exemple de variété projective lisse possédant un groupe CH₀ représentable mais n'admettant pas de 0-cycle universel, répondant ainsi à une question posée par Colliot-Thélène. Cette construction repose sur un contre-exemple à la conjecture de Hodge intégrale fourni par Benoist et Ottem.

Contexte et motivation de la recherche

Problème fondamental

L'article étudie l'existence de 0-cycles universels pour les variétés algébriques. Pour une variété algébrique complexe projective lisse X, un 0-cycle universel est un cycle de codimension n défini sur Alb(X)×X, satisfaisant certaines propriétés d'universalité.

Importance

1. Signification théorique: L'existence de 0-cycles universels est étroitement liée à la conjecture de Hodge intégrale, un problème central en géométrie algébrique
2. Problème de classification: Distinguer si toutes les variétés algébriques possédant un groupe CH₀ représentable admettent un 0-cycle universel, ce qui touche à la structure profonde de la théorie des cycles algébriques
3. Théorie de Hodge: L'inexistence de 0-cycles universels fournit des contre-exemples à la conjecture de Hodge intégrale

Limitations de la théorie existante

• Les travaux de Mumford et Roitman établissent les fondations théoriques du groupe CH₀ représentable
• Les contre-exemples antérieurs se concentraient principalement sur les cas sans groupe CH₀ représentable
• La question de Colliot-Thélène comble une lacune théorique: existe-t-il une variété algébrique possédant à la fois un groupe CH₀ représentable et n'admettant pas de 0-cycle universel?

Contributions fondamentales

1. Construction d'un contre-exemple clé: Fourniture d'une variété algébrique projective lisse de dimension trois possédant un groupe CH₀ représentable mais sans 0-cycle universel
2. Résolution d'une question importante: Réponse complète à la question 1.3 de Colliot-Thélène dans la référence 6
3. Établissement d'un théorème de structure: Preuve que les variétés algébriques possédant un groupe CH₀ représentable doivent avoir une structure géométrique spéciale (Lemme 1.5)
4. Analyse systématique: Analyse approfondie des relations entre l'existence de 0-cycles universels et diverses invariantes géométriques

Détails méthodologiques

Définitions fondamentales

Définition 1.1 (0-cycle universel): Pour une variété algébrique projective lisse X de dimension n, un 0-cycle universel est un cycle de codimension n Γ ∈ CHⁿ(Alb(X)×X) tel que pour tout t ∈ Alb(X):

aₓ ∘ Γ*({t} - {0_{Alb(X)}}) = t dans Alb(X)

Analyse structurelle

Lemme 1.5: Si X possède un groupe CH₀ représentable et sa variété d'Albanese est non-triviale, alors il existe une courbe projective lisse C telle que:

• J(C) ≅ Alb(X)
• L'application d'Albanese se décompose en X → C → Alb(X)

Ce résultat montre que les variétés algébriques possédant un groupe CH₀ représentable ont une structure géométrique très restrictive.

Méthode de construction

La construction principale de l'auteur repose sur:

1. Objets de base: Surface K3 S équipée d'une involution antisymplectique g, courbe elliptique E équipée d'une translation d'ordre 2 tξ
2. Construction par quotient: Considération de X := (E × S)/(tξ, g)
3. Propriétés clés:
   • CH₀(X) est représentable (Lemme 3.1)
   • Alb(X) ≅ Eξ = E/tξ
   • Sous des choix appropriés, il n'existe pas de 0-cycle universel

Points d'innovation technique

Technique d'analyse cohomologique

L'auteur utilise astucieusement l'analyse cohomologique à coefficients Z/2:

• Transformation de l'existence de 0-cycles universels en conditions cohomologiques
• Établissement de contraintes via les éléments de classification des revêtements doubles
• Preuve de l'absence de solution aux contraintes via le résultat de Benoist-Ottem

Application de la théorie de l'indice

Proposition 2.7: Si l'application d'Albanese se décompose via φₓ : X → C et que l'indice de φₓ est 1, alors X possède un 0-cycle universel.

Ceci fournit une condition suffisante pour l'existence de 0-cycles universels et contraste avec le théorème principal.

Configuration expérimentale

Vérification de la construction

L'auteur vérifie la correction de la construction par les étapes suivantes:

1. Vérification de la représentabilité: Preuve que pEξ* : CH₀(X) → CH₀(Eξ) est un isomorphisme
2. Inexistence de 0-cycle universel: Utilisation du résultat de Benoist-Ottem et des contraintes cohomologiques
3. Calcul de l'indice: Preuve que pour E générale, l'indice de pEξ est 2

Analyse comparative

Lemme 3.4: Il existe une classe de Hodge intégrale α ∈ H⁴(X,Z) telle que pEξ*α = 1Eξ, montrant que la restriction de l'indice n'est pas déterminée par des raisons topologiques ou de théorie de Hodge.

Résultats expérimentaux

Théorème principal

Théorème 1.4: Il existe une variété algébrique projective lisse X de dimension trois telle que CH₀(X) soit représentable mais X n'admette pas de 0-cycle universel.

Propriétés géométriques de la construction

1. Dimension: Variété algébrique de dimension trois (c'est la dimension minimale possible)
2. Propriétés topologiques: Présence d'éléments de torsion dans l'homologie de Betti intégrale
3. Propriétés algébriques: La variété d'Albanese est isomorphe au quotient d'une courbe elliptique

Analyse complète du cas des surfaces

Proposition 4.4: Pour les surfaces obtenues par action de groupes cycliques, l'indice est toujours 1, donc elles possèdent un 0-cycle universel.

Ceci montre que le cas tridimensionnel fournit effectivement des phénomènes nouveaux.

Travaux connexes

Développement historique

1. Théorie de Mumford-Roitman: Établissement des fondations théoriques du groupe CH₀ représentable
2. Travaux antérieurs de Voisin: Construction dans 21,22 de variétés algébriques sans 0-cycle universel
3. Résultat de Benoist-Ottem: Fourniture de contre-exemples à la conjecture de Hodge intégrale, devenant un outil clé de cet article

Connexions avec les problèmes connexes

• Question 2.5 (Colliot-Thélène): Concernant la surjectivité des 0-cycles sur les corps de fonctions
• Conjecture de Hodge intégrale: L'inexistence de 0-cycles universels fournit de nouveaux contre-exemples
• Théorie des motifs: Relation avec l'algébricité des projecteurs de Künneth

Conclusions et discussion

Conclusions principales

1. Il existe des variétés algébriques projectives lisses possédant un groupe CH₀ représentable mais sans 0-cycle universel
2. De tels exemples doivent posséder une structure géométrique très spéciale
3. Les éléments de torsion dans l'homologie de Betti intégrale jouent un rôle clé dans la construction

Limitations

1. Dépendance à la torsion: La construction dépend des éléments de torsion dans l'homologie de Betti intégrale
2. Restriction dimensionnelle: Il reste incertain s'il existe des exemples de dimension inférieure
3. Généralité: La spécificité de la construction limite sa généralisation

Directions futures

1. Cas sans torsion: Recherche d'exemples avec homologie de Betti intégrale sans torsion
2. Problème de classification: Classification complète des variétés algébriques possédant un groupe CH₀ représentable
3. Généralisation en dimension supérieure: Étude de problèmes analogues en dimension plus élevée

Évaluation approfondie

Avantages

1. Percée théorique: Résolution d'une question importante en géométrie algébrique
2. Innovation technique: Combinaison astucieuse de plusieurs outils théoriques profonds
3. Construction élégante: Réalisation par construction par quotient d'une combinaison de propriétés apparemment contradictoires
4. Analyse complète: Fourniture d'un cadre d'analyse systématique du problème

Insuffisances

1. Complexité de la construction: Dépendance à plusieurs résultats théoriques profonds, manque de directivité
2. Forte spécificité: L'exemple possède une très grande spécificité, degré limité de généralisation
3. Vérification computationnelle: Certaines étapes clés nécessitent une vérification computationnelle plus détaillée

Influence

1. Contribution théorique: Fourniture d'une nouvelle perspective à la théorie des cycles algébriques
2. Valeur méthodologique: Démonstration de la combinaison organique de différents outils théoriques
3. Recherche ultérieure: Fourniture de nouvelles idées et méthodes pour la recherche sur les problèmes connexes

Domaines d'application

Ce travail s'applique principalement à:

1. La recherche en théorie des cycles en géométrie algébrique
2. Les problèmes connexes de théorie de Hodge et théorie des motifs
3. Les problèmes de classification en géométrie birationnelle des variétés algébriques

Références

L'article cite 25 références importantes, dont les clés incluent:

• 3 Travaux de Benoist-Ottem sur la conjecture de Hodge intégrale
• 14 Travail classique de Mumford sur le groupe CH₀ représentable
• 21,22 Recherches antérieures de l'auteur sur les 0-cycles universels
• 6 Littérature où Colliot-Thélène pose le problème original

Cet article résout un problème important en géométrie algébrique par une construction élégante, démontrant la profondeur et la complexité de la théorie moderne de la géométrie algébrique. Ses innovations techniques et contributions théoriques auront un impact important sur le développement ultérieur du domaine.