An Exploration of Degeneracy in Abelian Varieties of Fermat Type

Résumé Technique : Une Exploration de la Dégénérescence des Variétés Abéliennes de Type Fermat

Énoncé du Problème
L'article étudie le phénomène de dégénérescence dans les variétés abéliennes complexes. Une variété abélienne $A$ est dite non dégénérée si son anneau de Hodge (complexifié) $B^*(A)$ est entièrement généré par des classes de diviseurs (cycles de codimension 1). Si l'anneau de Hodge contient des « cycles exceptionnels » — des cycles de Hodge qui ne sont pas générés par les classes de diviseurs — la variété est qualifiée de dégénérée. Bien que la définition soit ancrée dans l'anneau de Hodge, l'article vise à comprendre comment cette dégénérescence se manifeste structurellement dans le groupe de Mumford-Tate, le groupe de Hodge et le groupe de Sato-Tate associés.

L'étude se concentre spécifiquement sur une famille de variétés abéliennes de type Fermat : les jacobiennes $J_m$ des courbes hyperelliptiques $C_m$ définies par l'équation $y^2 = x^m - 1$. Des travaux antérieurs réalisés par Shioda ont établi la conjecture de Hodge pour ces variétés et ont identifié des cas présentant des cycles exceptionnels. Cet article étend ces résultats pour caractériser les conditions de dégénérescence et décrire explicitement les structures de groupes qui en résultent.

Méthodologie
L'auteur emploie une approche multidimensionnelle combinant la géométrie algébrique, la théorie des représentations et la théorie des nombres computationnelle :

1. Décomposition en Facteurs Simples : La jacobienne $J_m$ est décomposée en facteurs simples via des isogénies dérivées de cartes entre les courbes $C_m \to C_d$ où $d|m$. L'article utilise la théorie des variétés de Prym pour identifier les facteurs absolument simples, particulièrement pour $m = p^2$ et $m = pq$(où$p, q$ sont des nombres premiers impairs).
2. Analyse des Groupes de Mumford-Tate et de Hodge : L'article généralise les résultats de Lombardo concernant les groupes de Mumford-Tate des produits de variétés abéliennes à multiplication complexe (CM). En construisant des matrices représentant des applications sur les groupes de caractères des tores algébriques associés aux corps de CM des facteurs simples, l'auteur détermine quand les projections canoniques du groupe de Mumford-Tate sont des isomorphismes ou des isogénies.
3. Calcul de l'Anneau de Hodge : En s'appuyant sur les travaux de Shioda sur le semi-groupe des éléments indécomposables, l'article identifie l'existence et la codimension des cycles exceptionnels. Ces cycles sont utilisés pour dériver des relations algébriques spécifiques parmi les entrées diagonales du groupe de Hodge, déterminant ainsi l'injection du groupe dans $USp(2g)$.
4. Détermination du Groupe de Sato-Tate : En supposant la conjecture de Mumford-Tate (connue pour être vraie pour ces variétés à CM), la composante identité du groupe de Sato-Tate est identifiée au groupe de Hodge. Pour déterminer le groupe de Sato-Tate complet, l'article analyse le groupe des composantes en identifiant l'extension de corps minimale $L$ sur laquelle le groupe de Sato-Tate devient connexe. Ceci est réalisé en comparant les statistiques de moments numériques des traces de polynômes $L$ normalisés avec les moments théoriques dérivés de groupes candidats.

Contributions Clés et Résultats

• Théorème 1.1 (Dégénérescence Générale) : L'article prouve que pour tout entier composé impair $m$, la jacobienne $J_m$ de $y^2 = x^m - 1$ est dégénérée. La preuve repose sur la démonstration que si $m$ est divisible par $pq$ (nombres premiers impairs), $J_m$ contient $J_{pq}$ comme facteur, et que $J_{pq}$ possède des cycles de Hodge exceptionnels (Lemme 3.3).
• Caractérisation des Structures de Groupes : L'article fournit des descriptions explicites des groupes de Mumford-Tate, de Hodge et de Sato-Tate pour plusieurs valeurs spécifiques de $m$ :
  • Cas $m=9$ : La jacobienne $J_9$ se décompose en un facteur simple de dimension 3, $X$, et une courbe elliptique $J_3$. Le groupe de Hodge est déterminé comme étant isomorphe à $U(1)^3$ avec une relation spécifique $u_4 = u_1 u_2 u_3$. Le groupe de Sato-Tate complet est conjecturé comme étant généré par cette composante identité et une matrice spécifique $\gamma$, avec le groupe des composantes isomorphe à $\text{Gal}(\mathbb{Q}(\zeta_9)/\mathbb{Q})$.
  • Cas $m=15$ : La décomposition implique un facteur simple de dimension 4, $X$, et les courbes $J_5, J_3$. Le groupe de Hodge est trouvé être isomorphe à $U(1)^4$. Une découverte significative est que le corps $L$ requis pour que le groupe de Sato-Tate soit connexe est une extension de degré 2 du corps d'endomorphisme $\mathbb{Q}(\zeta_{15})$, contrastant avec le cas $m=9$ où $L$ est égal au corps d'endomorphisme.
  • Cas $m=21$ et $m=27$ : L'article analyse les projections du groupe de Mumford-Tate pour ces cas, trouvant que pour $m=21$, la projection vers $X \times J_3$ est un isomorphisme, tandis que pour $m=27$, la projection vers le facteur simple de plus haute dimension $X_2$ est un isomorphisme.
• Statistiques de Moments : L'article calcule les statistiques de moments numériques pour les groupes de Sato-Tate de $J_9$ et $J_{15}$ sur divers corps. Ces statistiques sont utilisées pour valider les structures de groupes conjecturées et pour identifier les extensions de corps nécessaires pour la connexité.

Signification
L'article affirme sa pertinence en comblant le fossé entre la définition abstraite de la dégénérescence (cycles exceptionnels dans l'anneau de Hodge) et les propriétés structurelles concrètes des groupes arithmétiques associés. Plus précisément :

1. Descriptions Explicites : Il fournit des injections explicites des groupes de Hodge dans $USp(2g)$ pour les jacobiennes de Fermat dégénérées, détaillant les relations spécifiques imposées par les cycles exceptionnels.
2. Phénomènes de Groupe de Sato-Tate : Il souligne que pour les variétés abéliennes dégénérées, le groupe des composantes du groupe de Sato-Tate peut être plus grand que le groupe de Galois du corps d'endomorphisme, et que le corps de connexité $L$ peut contenir strictement le corps d'endomorphisme. Cela contraste avec le cas non dégénéré où $L$ est typiquement le corps d'endomorphisme.
3. Preuves Computationnelles : En fournissant des statistiques de moments et en vérifiant des conjectures pour des cas spécifiques ($m=9, 15, 18, 21, 27$), l'article offre des points de données concrets pour un paysage de groupes de Sato-Tate dégénérés qui était auparavant « largement ouvert » dans la littérature.

L'étude conclut en notant que bien que des modèles existent pour $m=p^k$, la généralisation du comportement du groupe des composantes et du corps $L$ pour un $m$ composé arbitraire reste une question ouverte.