Finite abelian subgroups of algebraic groups

Résumé technique : Sous-groupes abéliens finis de groupes algébriques

Énoncé du problème
L'article étudie la structure des sous-groupes abéliens finis $A$ au sein d'un groupe algébrique $G$ sur un corps algébriquement clos $k$, en se concentrant spécifiquement sur le cas où l'ordre de $A$ n'est pas divisible par la caractéristique de $k$. La question centrale est de quantifier « à quel point » un sous-groupe abélien arbitraire est éloigné d'être toral (c'est-à-dire contenu dans un tore maximal). Ce problème étend les travaux classiques de Borel (1961) sur les groupes de Lie compacts et les nombres premiers de torsion. Alors que des résultats précédents, tels que ceux de Reichstein et Youssin (2001), établissaient que pour un $p$-sous-groupe $A$, l'indice $[A : A \cap T]$ divise l'indice de torsion de Grothendieck $t(G)$, ces résultats étaient limités à la caractéristique 0 et nécessitaient souvent que $A$ soit un $p$-groupe. Ce travail cherche à généraliser ces résultats structurels à des sous-groupes abéliens finis arbitraires et à la caractéristique positive (à condition que la caractéristique ne divise pas l'ordre du groupe), et à appliquer ces intuitions structurelles à la scission des torsors sur des corps de séries de Laurent itérées.

Méthodologie
Les auteurs emploient une combinaison de la théorie des groupes algébriques, de la cohomologie galoisienne et de la théorie des torsors sur les corps de séries de Laurent itérées ($k_r = k((t_1))\dots((t_r))$).

1. Réduction aux torsors : Les auteurs utilisent la correspondance entre les sous-groupes abéliens finis et les torsors. Plus précisément, ils relient la structure de $A$ au comportement de scission des torsors $G$ induits par des torsors $A$ sur $k_r$.
2. Critères valuatifs et de propreté : Un outil technique clé implique l'utilisation du critère valuatif de propreté. En considérant l'extension des valuations de $k_r$ vers le corps de fonctions d'un torsor $A$ connexe, les auteurs démontrent que si un torsor se scinde, le sous-groupe $A$ doit être contenu dans un sous-groupe de Borel, et par la suite dans un tore maximal, sous certaines conditions spécifiques.
3. Théorie de Galois des séries de Laurent itérées : L'article tire parti de la structure du groupe de Galois absolu de $k_r$, spécifiquement son quotient maximal premier à $l$ (où $l$ est l'exposant de la caractéristique), pour analyser les corps de scission des torsors. Cela permet de traduire les conditions de scission géométriques en contraintes de groupe sur les groupes de Galois des extensions de corps.
4. Profondeur et indices de torsion : Les auteurs introduisent et utilisent le concept de profondeur d'un sous-groupe abélien fini $A$, définie comme le plus grand commun diviseur des indices $[A : A \cap T]$ sur tous les tores maximaux $T$. Ils relient cela à des variantes de l'indice de torsion de Grothendieck, notées $t_2(G)$ et $t_3(G)$, définies via des torsors sur des séries de Laurent itérées et les profondeurs de sous-groupes.
5. Analyse par cas pour $E_8$ : Pour le groupe exceptionnel $E_8$, les auteurs effectuent une classification détaillée des sous-groupes abéliens finis maximaux (en se référant à Draper et Elduque) et calculent leurs profondeurs en utilisant des décompositions d'algèbres de Lie et la théorie des codes (spécifiquement les codes binaires auto-orthogonaux associés aux groupes de spin).

Contributions clés et résultats

• Généralisation de Reichstein-Youssin (Théorème 1.1) : L'article prouve que pour tout sous-groupe abélien fini $A \subset G$ avec $\text{char}(k) \nmid |A|$, il existe un tore maximal $T$ tel que l'indice $[A : A \cap T]$ divise l'indice de torsion de Grothendieck $t(G)$. Crucialement, ce résultat est valable en caractéristique positive (tant qu'elle ne divise pas $|A|$) et ne nécessite pas que $A$ soit un $p$-groupe. Cela répond à une question posée par Totaro et Wang.
• Scission sur les séries de Laurent itérées (Théorème 1.2) : Les auteurs établissent une relation précise entre la scission d'un torsor $G$ induit par un torsor $A$ sur $k_r$ et la structure de $A$. Plus précisément, si une extension finie $L/k_r$ scinde le torsor induit, l'indice $[A : A \cap T]$ divise le degré $[L : k_r]$. De plus, sous certaines conditions de tour, le quotient $A/(A \cap T)$ est montré être isomorphe à la fois à un quotient et à un sous-groupe du groupe de Galois de l'extension de scission.
• Variantes de l'indice de torsion (Théorème 1.3) : L'article définit $t_2(G)$ et $t_3(G)$ et prouve que sous des hypothèses de « bonne » caractéristique, $t_2(G) = t_3(G)$. Pour le groupe exceptionnel $E_8$, les auteurs calculent que $t_2(E_8) = 60$. Ce résultat est significatif car il sauve l'« hypothèse optimiste » de Tits (qui conjecturait $t(E_8) = 60$) en montrant que bien que l'indice de torsion complet $t(E_8)$ soit beaucoup plus grand ($2^{63} \cdot 3^2 \cdot 5 \cdot 7 \cdot 13 \cdot 17 \cdot 19 \cdot 23 \cdot 29 \cdot 31 \cdot 37 \cdot 41 \cdot 43 \cdot 47 \cdot 59 \cdot 61 \cdot 67 \cdot 71 \cdot 73 \cdot 79 \cdot 83 \cdot 89 \cdot 97 \cdot 101 \cdot 103 \cdot 107 \cdot 109 \cdot 113 \cdot 127 \cdot 131 \cdot 137 \cdot 139 \cdot 149 \cdot 151 \cdot 157 \cdot 163 \cdot 167 \cdot 173 \cdot 179 \cdot 181 \cdot 191 \cdot 193 \cdot 197 \cdot 199 \cdot 211 \cdot 223 \cdot 227 \cdot 229 \cdot 233 \cdot 239 \cdot 241 \cdot 251 \cdot 257 \cdot 263 \cdot 269 \cdot 271 \cdot 277 \cdot 281 \cdot 283 \cdot 293 \cdot 307 \cdot 311 \cdot 313 \cdot 317 \cdot 331 \cdot 337 \cdot 347 \cdot 349 \cdot 353 \cdot 359 \cdot 367 \cdot 373 \cdot 379 \cdot 383 \cdot 389 \cdot 397 \cdot 401 \cdot 409 \cdot 419 \cdot 421 \cdot 431 \cdot 433 \cdot 439 \cdot 443 \cdot 449 \cdot 457 \cdot 461 \cdot 463 \cdot 467 \cdot 479 \cdot 487 \cdot 491 \cdot 499 \cdot 503 \cdot 509 \cdot 521 \cdot 523 \cdot 541 \cdot 547 \cdot 557 \cdot 563 \cdot 569 \cdot 571 \cdot 577 \cdot 587 \cdot 593 \cdot 599 \cdot 601 \cdot 607 \cdot 613 \cdot 617 \cdot 619 \cdot 631 \cdot 641 \cdot 643 \cdot 647 \cdot 653 \cdot 659 \cdot 661 \cdot 673 \cdot 677 \cdot 683 \cdot 691 \cdot 701 \cdot 709 \cdot 719 \cdot 727 \cdot 733 \cdot 739 \cdot 743 \cdot 751 \cdot 757 \cdot 761 \cdot 769 \cdot 773 \cdot 787 \cdot 797 \cdot 809 \cdot 811 \cdot 821 \cdot 823 \cdot 827 \cdot 829 \cdot 839 \cdot 853 \cdot 857 \cdot 859 \cdot 863 \cdot 877 \cdot 881 \cdot 887 \cdot 907 \cdot 911 \cdot 919 \cdot 929 \cdot 937 \cdot 941 \cdot 947 \cdot 953 \cdot 967 \cdot 971 \cdot 977 \cdot 983 \cdot 991 \cdot 997 \dots$), la variante $t_2(G)$ est exactement 60.
• Cycles de degré zéro vs Points rationnels (Théorème 1.5) : L'article apporte une réponse positive à une question soulevée par Totaro concernant les cycles de degré zéro sur les espaces homogènes $G$ sur des corps de séries de Laurent itérées. Il prouve que si un torsor $G$ sur $k_r$ possède un cycle de degré $d$, il possède un point fermé de degré divisant $d$, à condition que la caractéristique soit « bonne » pour $G$. Cela résout les contre-exemples qui existent sur d'autres corps.
• Scission par des courbes de genre 1 (Théorème 1.8) : Les auteurs généralisent les résultats négatifs précédents sur la scission des classes de Brauer par des courbes de genre 1. Ils prouvent que pour certains groupes algébriques $G$ contenant des sous-groupes abéliens élémentaires $p$ d'une profondeur suffisamment grande (rang de la partie non torale), il existe des torsors $G$ sur $k_r$ qui ne peuvent être scindés par aucun torsor sous une variété abélienne de dimension $g$ (y compris les courbes de genre 1). Ceci est réalisé en établissant une borne inférieure sur le rang du groupe de Galois requis pour scinder de tels torsors, laquelle excède le $p$-rang maximal du groupe de Galois d'un corps de scission fourni par une courbe de genre 1.

Signification
L'auteur affirme que son travail est significatif dans trois domaines principaux :

1. Théorie structurelle : Il affine la compréhension des sous-groupes abéliens finis dans les groupes algébriques en supprimant la restriction du $p$-groupe et en étendant la validité à la caractéristique positive, unifiant ainsi et renforçant les résultats classiques de Borel et Reichstein-Youssin.
2. Indices de torsion : Il introduit et calcule l'indice de torsion variante $t_2(G)$, démontrant qu'il peut être strictement plus petit que l'indice de torsion de Grothendieck classique $t(G)$. Le calcul $t_2(E_8) = 60$ est présenté comme une réhabilitation partielle de l'« hypothèse optimiste » de Tits, suggérant que bien que l'indice de torsion complet de $E_8$ soit grand, l'indice « effectif » pour les torsors sur les séries de Laurent itérées est beaucoup plus petit.
3. Applications aux corps de scission : Les résultats fournissent des réponses définitives aux questions concernant la scission des torsors sur les corps de séries de Laurent itérées (Théorème 1.5) et les limites de la scission des torsors à l'aide de courbes de genre 1 (Théorème 1.8). Ces applications relient la structure abstraite des groupes algébriques à des problèmes concrets de l'arithmétique des corps et de la géométrie des espaces homogènes.

Les auteurs déclarent explicitement que leur travail repose sur les propriétés structurelles des torsors et sur l'arithmétique spécifique des corps de séries de Laurent itérées, évitant l'utilisation de la résolution des singularités (qui était requise dans les preuves antérieures en caractéristique 0) afin d'obtenir une applicabilité plus large.