Monodromy rank and the semisimple Mumford-Tate conjecture for hyper-Kähler varieties

1. Problématique et Contexte

L'article s'attaque à la conjecture de Mumford–Tate (MTC) pour les variétés hyper-Kähleriennes, un problème central en géométrie arithmétique reliant la théorie de Hodge (géométrie complexe) et la théorie de Galois (arithmétique).

• La Conjecture : Pour une variété projective lisse $X$ sur un corps $K$ de type fini, la conjecture prédit que le groupe de monodromie algébrique $\ell$-adique $G_{\ell,i}(X)$ (groupe de Zariski de l'image de la représentation de Galois sur la cohomologie étale $H^i_{\text{\'et}}$) est isomorphe, après extension des scalaires à $\mathbb{Q}_\ell$, au groupe de Mumford–Tate $MT_i(X_{\mathbb{C}})$ associé à la structure de Hodge de la cohomologie de Betti.
• Les Obstacles :
  1. L'absence de preuve générale de la conjecture de Hodge absolue, qui empêche d'établir l'injection naturelle entre les groupes de Galois et les groupes de Mumford–Tate pour les variétés générales.
  2. La question de la semi-simplicité des représentations de Galois. La MTC implique que les groupes de monodromie sont réductifs, ce qui équivaut à la semi-simplicité des représentations. Cette propriété reste ouverte pour de nombreuses variétés.
• Le Cas Hyper-Kählerien : Les variétés hyper-Kähleriennes (HK) sont des variétés à trivialité canonique ($K_X \cong \mathcal{O}_X$) possédant une forme symplectique holomorphe non dégénérée. Elles sont étroitement liées aux variétés abéliennes et aux surfaces K3. La MTC est connue en degré 2 (théorème de Tankeev et André), mais son extension aux degrés supérieurs ($i > 2$) était un problème ouvert.

2. Méthodologie

Les auteurs développent une approche basée sur la théorie des groupes algébriques et l'analyse des rangs des groupes de monodromie, en exploitant la structure spécifique des variétés HK.

• Comparaison des Rangs (Théorème A) : L'idée centrale est de comparer le rang du groupe de monodromie algébrique $\ell$-adique global $G_\ell(X)$ (agissant sur la cohomologie totale) avec celui de son projeté en degré 2, $G_{\ell,2}(X)$.
  • Ils utilisent la théorie des tores de Frobenius (Serre, Pink) pour réduire le problème global à des représentations locales $p$-adiques.
  • Ils exploitent la théorie de Sen et les algèbres de Lie de Sen pour les représentations de Hodge-Tate sur les corps locaux $p$-adiques.
  • Un ingrédient crucial est l'algèbre de Lie Looijenga–Lunts–Verbitsky (LLV), notée $\mathfrak{g}$, qui agit sur la cohomologie totale des variétés HK. Les auteurs montrent que l'algèbre de Lie de Sen pour une variété HK est contrôlée par cette algèbre LLV.
• Invariance par Déformation : Ils étudient le comportement de la conjecture au sein d'une famille lisse de variétés HK. En utilisant des résultats de Cadoret sur la réductivité générique, ils établissent que la semi-simplicité et la validité de la MTC sont des propriétés stables par déformation géométrique.
• Réduction au Cas Générique : En combinant l'invariance par déformation avec l'existence de familles à « grande monodromie » (où le groupe de monodromie géométrique est maximal), ils réduisent la vérification de la conjecture à un cas générique où les structures de Hodge sont les plus simples possibles (multiplication réelle).

3. Résultats Principaux

A. Égalité des Rangs (Théorème A)

Pour toute variété hyper-Kählerienne $X$ sur un corps de type fini avec $b_2(X) \ge 4$, le rang du groupe de monodromie algébrique $\ell$-adique de la cohomologie totale est égal au rang de celui en degré 2 :
$$\text{rk}(G_\ell(X)) = \text{rk}(G_{\ell,2}(X))$$
Ce résultat implique que le « défaut » (le noyau de la projection vers le degré 2) est unipotent et ne contribue pas au rang. Cela permet d'éviter de supposer que le motif de $X$ est abélien pour établir l'injection des groupes.

B. Conjecture de Mumford–Tate Semi-Simple (Théorème B)

Sous l'hypothèse $b_2(X) \ge 4$, les auteurs prouvent la version semi-simple de la conjecture de Mumford–Tate.
Soit $G^{\text{red}}_{\ell,i}(X)$ la composante connexe de l'adhérence de Zariski de l'image de la représentation semi-simplifiée de Galois. Alors, pour tout $0 \le i \le 2\dim X$ :
$$G^{\text{red}}_{\ell,i}(X) \cong MT_i(X_{\mathbb{C}})_{\mathbb{Q}_\ell}$$
Cela signifie que les groupes de Mumford–Tate et les groupes de monodromie semi-simplifiés coïncident comme groupes algébriques sur $\mathbb{Q}_\ell$.

C. Invariance par Déformation (Théorème C)

La validité de la conjecture de Mumford–Tate (ou de la semi-simplicité) pour une variété HK est invariante par déformation. Si elle est vraie pour une fibre d'une famille, elle l'est pour toutes les fibres. Cela permet de déduire la conjecture pour toutes les variétés des quatre types de déformation connus (K3$[n]$, Kum$_n$, OG6, OG10) à partir de cas particuliers.

D. Applications Arithmétiques

1. Lien Hodge-Tate : La conjecture semi-simple implique que la conjecture de Hodge pour les puissances de $X$ entraîne la conjecture de Tate pour ces mêmes puissances.
2. Conjecture de Nagai Arithmétique (Théorème D) : Pour les variétés HK à réduction de type I sur un corps local $p$-adique, les représentations de cohomologie étale sont potentiellement non ramifiées. Cela généralise un résultat précédent limité aux quatre types de déformation.
3. Maximalité de l'Action de Galois (Théorème E) : Pour les variétés HK avec $b_2 \ge 4$, le sous-groupe compact maximal hyperspécial de la couverture simplement connexe du groupe de monodromie est atteint pour presque tout $\ell$. Cela confirme une conjecture de Larsen pour ces variétés.

4. Contributions Techniques Clés

• Utilisation de l'Algèbre de Lie LLV : L'article établit un pont rigoureux entre l'algèbre de Lie de Sen (arithmétique locale) et l'algèbre de Lie LLV (géométrie globale), montrant que l'action de Galois sur la cohomologie totale est contrainte par la structure LLV.
• Gestion des Défauts (Defect Groups) : Les auteurs analysent finement les groupes de défaut $P_\ell$ (noyaux des projections de cohomologie). Ils prouvent que pour les variétés HK, ces groupes sont unipotents et que leur composante connexe est triviale en termes de rang, ce qui simplifie drastiquement la structure du groupe de monodromie.
• Indépendance du Type de Déformation : Contrairement aux travaux précédents (Floccari, Fu, Zhang, Soldatenkov) qui dépendaient de la géométrie spécifique des types K3$[n]$, Kum$_n$, OG6 et OG10, la preuve de Tang et Zou est uniforme et ne dépend que de la condition $b_2 \ge 4$.

5. Signification et Impact

Ce travail constitue une avancée majeure dans la compréhension de l'arithmétique des variétés hyper-Kähleriennes :

1. Résolution partielle de la MTC : Il établit la conjecture de Mumford–Tate dans sa forme semi-simple pour une classe très large de variétés, au-delà des cas spécifiques traités auparavant.
2. Unification : Il fournit un cadre unifié qui s'applique à toutes les variétés HK connues (et potentiellement futures) sans nécessiter une analyse cas par cas de leur topologie fine.
3. Outils Nouveaux : La méthode combinant la théorie de Sen, les tores de Frobenius et l'algèbre LLV ouvre de nouvelles voies pour étudier les représentations de Galois sur des variétés de Calabi-Yau de dimension supérieure.
4. Implications pour les Conjectures Classiques : En reliant la MTC semi-simple à la conjecture de Tate et à la conjecture de Hodge, l'article renforce le réseau de conjectures reliant la géométrie algébrique et la théorie des nombres.

En résumé, Tang et Zou démontrent que la structure de cohomologie des variétés hyper-Kähleriennes, régie par l'algèbre de Lie LLV, impose des contraintes si fortes sur les groupes de monodromie de Galois que la conjecture de Mumford–Tate (semi-simple) devient une conséquence naturelle de la géométrie en degré 2, généralisable à tous les degrés par déformation.