Algebraic cycles on Gushel-Mukai varieties

Cet article établit la conjecture de Hodge généralisée, la conjecture de Mumford-Tate motivée et la conjecture de Tate généralisée pour toutes les variétés de Gushel-Mukai complexes, calcule leurs groupes de Chow entiers (à l'exception de deux cas infinis) et démontre l'isomorphisme de leurs motifs de Chow rationnels en degré intermédiaire lorsqu'elles sont des partenaires ou des duaux généralisés.

L'essentiel

🌟 Titre : Les Géométries Mystérieuses et leurs "Empreintes Digitales"

Imaginez que les mathématiciens sont comme des détectives qui étudient des formes géométriques très spéciales appelées variétés de Gushel-Mukai (GM). Ces formes existent dans des espaces à plusieurs dimensions (comme des cubes, des sphères, mais en 3, 4, 5 ou 6 dimensions). Elles sont fascinantes car elles relient des mondes mathématiques différents, un peu comme un pont entre l'architecture et la musique.

L'objectif de ce papier, écrit par Lie Fu et Ben Moonen, est de comprendre comment ces formes sont construites "de l'intérieur" en étudiant leurs cycles algébriques.

1. Qu'est-ce qu'un "cycle algébrique" ? (L'analogie des LEGO)

Imaginez que votre variété GM est une immense sculpture faite de LEGO.

• Un cycle algébrique, c'est simplement un sous-ensemble de cette sculpture que vous pouvez construire avec des pièces LEGO standard (des lignes, des surfaces, des volumes).
• Le but des auteurs est de faire l'inventaire complet de toutes les façons possibles de construire ces sous-structures. Ils veulent savoir : "Combien de types de lignes différentes peut-on trouver ? Combien de surfaces ?"

Leur découverte majeure : Pour presque toutes ces formes, la réponse est très simple !

• Pour les lignes, les points et les volumes extrêmes, il n'y a qu'une seule "façon" de les construire (ou un nombre très restreint). C'est comme si, peu importe comment vous empilez les briques, vous finissiez toujours par obtenir la même structure de base.
• L'exception : Il reste deux cas très compliqués (les lignes sur les formes à 4 dimensions et les surfaces sur les formes à 6 dimensions) qui sont comme des "trous noirs" mathématiques : on ne sait pas encore exactement comment les compter. C'est la seule partie du puzzle qui reste un peu floue.

2. Les conjectures : Les règles du jeu cachées

Les mathématiciens ont inventé des règles théoriques (des conjectures) pour prédire comment ces formes se comportent. Ce papier prouve que ces règles sont vraies pour les variétés GM.

• La Conjecture de Hodge (Le filtre de vérité) : Imaginez que vous avez une photo floue d'une sculpture (la cohomologie). La conjecture dit : "Si une partie de l'image ressemble à une forme géométrique réelle, alors cette partie est vraiment faite de briques LEGO." Les auteurs prouvent que pour ces formes GM, la photo ne ment jamais : tout ce qui ressemble à une forme géométrique est bien une forme géométrique.
• La Conjecture de Tate et Mumford-Tate (Les jumeaux secrets) : Ces conjectures relient la géométrie (la forme) à l'arithmétique (les nombres). C'est un peu comme dire que si vous changez de langage (de la géométrie aux nombres), la structure de la sculpture reste identique. Les auteurs montrent que pour les formes paires (dimensions 4 et 6), cette connexion est parfaite.

3. Les "Partenaires" et les "Duales" : Le miroir magique

C'est la partie la plus poétique du papier.
Les auteurs découvrent que deux variétés GM peuvent être très différentes en apparence (l'une est un cube, l'autre une sphère déformée), mais qu'elles partagent le même "cœur" mathématique.

• L'analogie du miroir : Imaginez deux jumeaux séparés à la naissance. L'un vit dans un monde de 3 dimensions, l'autre dans un monde de 5 dimensions. À première vue, ils sont différents. Mais si vous regardez leur "âme" (leur motif de Chow), vous réalisez qu'ils sont identiques, juste un peu décalés dans le temps ou l'espace.
• Les auteurs appellent ces jumeaux des "partenaires généralisés" ou des "duaux généralisés". Ils prouvent que si deux variétés sont liées par ces relations cachées, alors leurs "motifs" (leur essence mathématique) sont isomorphes. C'est comme dire que deux chansons différentes, jouées à des vitesses différentes, sont en fait la même mélodie.

4. Pourquoi est-ce important ?

Ce papier est dédié à Claire Voisin, une mathématicienne célèbre pour son travail sur ces formes. C'est une façon de lui rendre hommage.

En résumé, ce travail est une carte au trésor :

1. Il a permis de cartographier presque tous les "trésors" (cycles) cachés dans ces formes géométriques.
2. Il a confirmé que les règles fondamentales de l'univers mathématique (Hodge, Tate) s'appliquent parfaitement à ces formes.
3. Il a révélé des liens secrets entre des formes qui semblaient totalement différentes, prouvant que derrière la diversité apparente, il existe une unité profonde et élégante.

C'est une victoire pour la géométrie algébrique, montrant que même dans des dimensions invisibles à l'œil humain, la beauté et l'ordre mathématique règnent en maîtres.

Résumé technique

Voici un résumé technique détaillé de l'article « Algebraic cycles on Gushel–Mukai varieties » de Lie Fu et Ben Moonen, publié dans l'Épijournal de Géométrie Algébrique (2024).

1. Problématique et Contexte

L'article se concentre sur l'étude des cycles algébriques sur les variétés de Gushel-Mukai (GM) complexes. Ces variétés, qui sont des variétés de Fano de dimension $n \in \{3, 4, 5, 6\}$, sont définies comme des intersections d'un cône sur la grassmannienne $Gr(2, V_5)$, d'un sous-espace linéaire et d'une quadrique.

Le travail vise à répondre à plusieurs conjectures fondamentales en géométrie algébrique pour cette classe de variétés :

• La conjecture de Hodge généralisée (GHC).
• La conjecture de Mumford-Tate (MTC).
• La conjecture de Tate généralisée.
• La structure des groupes de Chow (cycles algébriques modulo équivalence rationnelle) avec des coefficients entiers.
• L'isomorphisme des motifs de Chow pour les variétés GM dites « partenaires généralisés » ou « duaux généralisés ».

2. Méthodologie

Les auteurs combinent plusieurs outils avancés de géométrie algébrique et de théorie des motifs :

• Calculs de groupes de Chow : Utilisation des théorèmes de Bloch-Srinivas et de techniques géométriques spécifiques (variétés de Fano de droites, surfaces réglées successives) pour déterminer les groupes de Chow entiers.
• Théorie des motifs : Utilisation de la décomposition de Chow-Künneth et de la théorie des motifs abéliens (André) pour relier la cohomologie aux cycles algébriques.
• Dualité homologique projective : Exploitation des résultats de Kuznetsov et Perry sur les composantes de Kuznetsov dans les catégories dérivées pour établir des équivalences entre motifs.
• Théorie de Hodge et de Galois : Application des résultats d'André reliant les groupes de Mumford-Tate aux groupes de Galois motiviques, en s'appuyant sur le fait que la cohomologie de degré moyen des GM paires est de type K3.
• Géométrie des variétés de droites : Analyse de la variété de Fano des droites $F_1(X)$ sur une GM de dimension 6 pour prouver la connexité par chaînes rationnelles.

3. Contributions et Résultats Clés

A. Groupes de Chow Intégraux (Section 4)

Les auteurs calculent tous les groupes de Chow $CH^i(X)$ avec coefficients entiers pour les variétés GM complexes, à l'exception de deux cas infinis (1-cycles sur les GM de dimension 4 et 2-cycles sur les GM de dimension 6).

• Dimensions 3, 4, 5 : Les résultats confirment ou raffinent des travaux antérieurs (Bloch-Srinivas, Laterveer, Zhou).
• Dimension 6 (Contribution majeure) :
  • Pour les 1-cycles ($CH_5(X)$) : Ils prouvent que la variété des droites est rationnellement connexe par chaînes. Cela implique que tous les 1-cycles sont équivalents à un multiple entier de la classe d'une droite. Ainsi, $CH_5(X) \cong \mathbb{Z}$.
  • Pour les 2-cycles ($CH_3(X)$) : Ils montrent que le groupe de Griffiths $Griff_3(X)$ est nul. En conséquence, l'équivalence algébrique et l'équivalence homologique coïncident pour les cycles de codimension 3, et le groupe de Chow est injectif dans la cohomologie.

B. Conjectures de Hodge, Mumford-Tate et Tate (Sections 5 et 6)

Le théorème principal (Théorème 1.3) établit :

1. Conjecture de Hodge généralisée (GHC) : Vraie pour toutes les variétés GM complexes. La preuve pour la dimension 6 découle directement des calculs de groupes de Chow.
2. Conjecture de Mumford-Tate (MTC) : Vraie pour les variétés GM de dimension paire. La preuve repose sur le fait que la cohomologie de degré moyen est de type K3 (Hodge numbers $1-22-1$), permettant d'appliquer les résultats d'André.
   • Note : Le cas de dimension impaire reste ouvert car il concerne des variétés abéliennes de dimension 10 (jacobienne intermédiaire), un cas beaucoup plus difficile.
3. Conjecture de Tate généralisée : Vraie pour les variétés GM de dimension paire, découlant formellement de la GHC et de la MTC.

C. Motifs des Partenaires et Duaux (Section 8)

Les auteurs prouvent un résultat structurel fort concernant les relations entre différentes variétés GM :

• Si deux variétés GM $X$ et $X'$ (de dimensions $n$ et $n'$ de même parité) sont des partenaires généralisés ou des duaux généralisés (définis par des isomorphismes de leurs ensembles de données lagrangiennes), alors leurs motifs de Chow rationnels en degré moyen sont isomorphes :
  $$h_n(X) \cong h_{n'}(X')\left(\frac{n'-n}{2}\right)$$
• Méthode de preuve : Ils utilisent l'équivalence de Fourier-Mukai entre les composantes de Kuznetsov $Ku(X)$ et $Ku(X')$ (résultat de Kuznetsov-Perry). En définissant un invariant additif « topologiquement trivial » (noyau de l'application $K_0 \to K_0^{top}$), ils montrent que cette équivalence induit un isomorphisme sur les groupes de Chow homologiques triviaux, ce qui se traduit par un isomorphisme de motifs.

4. Signification et Impact

• Complétude des calculs : Ce travail fournit une description complète et explicite des groupes de Chow entiers pour les variétés GM, comblant des lacunes importantes, notamment en dimension 6.
• Validation de conjectures majeures : La preuve de la GHC et de la MTC pour cette classe de variétés (surtout en dimension paire) est une avancée significative, car les variétés GM offrent un terrain d'essai riche reliant géométrie de Fano, variétés de K3 et variétés abéliennes.
• Lien avec la caractéristique $p$ : Ces résultats en caractéristique 0 sont essentiels pour la preuve de la conjecture de Tate en caractéristique $p \ge 5$ présentée dans l'article compagnon [FM22] des mêmes auteurs. La structure des motifs et la validité des conjectures en caractéristique 0 servent de fondation pour les arguments de spécialisation.
• Théorie des motifs : La démonstration que les partenaires/diaux généralisés ont des motifs isomorphes renforce la compréhension de la « symétrie miroir » ou des dualités cachées dans la géométrie des variétés de Fano, reliant la géométrie algébrique classique à la théorie des catégories dérivées.

En résumé, cet article établit un cadre complet pour l'étude des cycles algébriques sur les variétés de Gushel-Mukai, confirmant des conjectures profondes et révélant des isomorphismes de motifs surprenants entre des variétés a priori distinctes.