Finite abelian subgroups of algebraic groups

Technisches Resümee: Endliche abelsche Untergruppen algebraischer Gruppen

Problemstellung
Die vorliegende Arbeit untersucht die Struktur endlicher abelscher $k$-Untergruppen $A$ innerhalb einer algebraischen Gruppe $G$ über einem algebraisch abgeschlossenen Körper $k$, wobei der Fokus auf dem Fall liegt, in dem die Ordnung von $A$ nicht durch die Charakteristik von $k$ teilbar ist. Die zentrale Frage besteht darin, zu quantifizieren, „wie weit“ eine beliebige endliche abelsche Untergruppe davon entfernt ist, toral zu sein (d. h. in einem maximalen Tor enthalten zu sein). Dieses Problem erweitert die klassische Arbeit von Borel (1961) über kompakte Lie-Gruppen und Torsionsprimzahlen. Während frühere Ergebnisse, wie etwa jene von Reichstein und Youssin (2001), etablierten, dass für eine $p$-Untergruppe $A$ der Index $[A : A \cap T]$ den Grothendieckschen Torsionsindex $t(G)$ teilt, waren diese Resultate auf den Fall der Charakteristik 0 beschränkt und erforderten oft, dass $A$ eine $p$-Gruppe ist. Die vorliegende Arbeit sucht danach, diese strukturellen Ergebnisse auf beliebige endliche abelsche Untergruppen und positive Charakteristiken (vorausgesetzt, die Charakteristik teilt nicht die Gruppenordnung) zu generalisieren und diese strukturellen Erkenntnisse auf das Splitting von Torsoren über Körpern von iterierten Laurent-Serien anzuwenden.

Methodik
Die Autoren verwenden eine Kombination aus algebraischer Gruppentheorie, Galois-Kohomologie und der Theorie von Torsoren über Körpern von iterierten Laurent-Serien ($k_r = k((t_1))\dots((t_r))$).

1. Reduktion auf Torsoren: Die Autoren nutzen die Korrespondenz zwischen endlichen abelschen Untergruppen und Torsoren. Speziell setzen sie die Struktur von $A$ mit dem Splittingverhalten von $G$-Torsoren in Beziehung, die durch $A$-Torsoren über $k_r$ induziert werden.
2. Valuative Kriterien und Stetigkeit: Ein zentrales technisches Werkzeug ist die Verwendung des valuativen Kriteriums für Stetigkeit (Properness). Indem sie die Erweiterung von Valuationen von $k_r$ auf den Funktionenkörper eines zusammenhängenden $A$-Torsors betrachten, zeigen die Autoren, dass falls ein Torsor splittet, die Untergruppe $A$ unter spezifischen Bedingungen in einer Borel-Untergruppe und folglich in einem maximalen Tor enthalten sein muss.
3. Galois-Theorie von iterierten Laurent-Serien: Das Papier nutzt die Struktur der absoluten Galois-Gruppe von $k_r$, speziell deren maximale primzahlerhebliche Quotient (wobei $l$ der Charakteristikexponent ist), um die Splittingfelder von Torsoren zu analysieren. Dies ermöglicht die Übersetzung geometrischer Splittingbedingungen in gruppentheoretische Beschränkungen der Galois-Gruppen von Körpererweiterungen.
4. Tiefe und Torsionsindizes: Die Autoren führen das Konzept der Tiefe (depth) einer endlichen abelschen Untergruppe $A$ ein und nutzen dieses; die Tiefe ist definiert als der größte gemeinsame Teiler der Indizes $[A : A \cap T]$ über alle maximalen Tore $T$. Sie setzen diese in Beziehung zu Varianten des Grothendieckschen Torsionsindex, bezeichnet als $t_2(G)$ und $t_3(G)$, die über Torsoren über iterierten Laurent-Serien und die Tiefen von Untergruppen definiert sind.
5. Fallweise Analyse für $E_8$: Für die exzeptionelle Gruppe $E_8$ führen die Autoren eine detaillierte Klassifizierung maximaler endlicher abelscher Untergruppen durch (unter Bezugnahme auf Draper und Elduque) und berechnen deren Tiefen mittels Lie-Algebra-Zerlegungen und Kodierungstheorie (speziell selbst-orthogonaler binärer Codes, die mit Spin-Gruppen assoziiert sind).

Wesentliche Beiträge und Ergebnisse

• Generalisierung von Reichstein-Youssin (Theorem 1.1): Das Papier beweist, dass für jede endliche abelsche Untergruppe $A \subset G$ mit $\text{char}(k) \nmid |A|$ ein maximales Tor $T$ existiert, so dass der Index $[A : A \cap T]$ den Grothendieckschen Torsionsindex $t(G)$ teilt. Entscheidend ist, dass dieses Ergebnis in positiver Charakteristik gilt (solange diese $|A|$ nicht teilt) und nicht voraussetzt, dass $A$ eine $p$-Gruppe ist. Dies beantwortet eine von Totaro und Wang aufgeworfene Frage.
• Splitting über iterierte Laurent-Serien (Theorem 1.2): Die Autoren stellen eine präzise Beziehung zwischen dem Splitting eines $G$-Torsors, induziert durch einen $A$-Torsor über $k_r$, und der Struktur von $A$ her. Konkret: Wenn eine endliche Erweiterung $L/k_r$ den induzierten Torsor splittet, teilt der Index $[A : A \cap T]$ den Grad $[L : k_r]$. Darüber hinaus wird unter bestimmten Turm-Bedingungen gezeigt, dass der Quotient $A/(A \cap T)$ sowohl isomorph zu einem Quotienten als auch zu einer Untergruppe der Galois-Gruppe der Splittingerweiterung ist.
• Varianten des Torsionsindex (Theorem 1.3): Das Papier definiert $t_2(G)$ und $t_3(G)$ und beweist, dass unter „guten“ Charakterisierungsannahmen $t_2(G) = t_3(G)$ gilt. Für die exzeptionelle Gruppe $E_8$ berechnen die Autoren, dass $t_2(E_8) = 60$. Dieses Ergebnis ist signifikant, da es Tits' „hypothèse optimiste“ (die konjekturierte, dass $t(E_8) = 60$) teilweise rettet, indem es zeigt, dass während der volle Torsionsindex $t(E_8)$ viel größer ist ($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 53 \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 883 \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$), die Variante $t_2(G)$ jedoch exakt 60 ist).
• Nullzyklen vs. rationale Punkte (Theorem 1.5): Das Papier liefert eine positive Antwort auf eine von Totaro aufgeworfene Frage bezüglich Nullzyklen auf $G$-homogenen Räumen über Körpern von iterierten Laurent-Serien. Es beweist, dass wenn ein $G$-Torsor über $k_r$ einen Nullzyklus vom Grad $d$ besitzt, er einen geschlossenen Punkt vom Grad besitzt, der $d$ teilt, sofern die Charakteristik für $G$ „gut“ ist. Dies löst Gegenbeispiele auf, die über anderen Körpern existieren.
• Splitting durch Genus-1-Kurven (Theorem 1.8): Die Autoren verallgemeinern frühere negative Ergebnisse zum Splitting von Brauer-Klassen durch Genus-1-Kurven. Sie beweisen, dass für bestimmte algebraische Gruppen $G$, die elementare abelsche $p$-Untergruppen mit hinreichend großer „Tiefe“ (Rang des nicht-toralen Teils) enthalten, bestimmte $G$-Torsoren über $k_r$ existieren, die durch keinen Torsor unter einer $g$-dimensionalen abelschen Varietät (einschließlich Genus-1-Kurven) gesplittet werden können. Dies wird erreicht, indem eine untere Schranke für den Rang der Galois-Gruppe etabliert wird, die erforderlich ist, um solche Torsoren zu splitten, und die den maximal möglichen $p$-Rang der Galois-Gruppe eines Splittingfeldes bereitgestellt durch eine Genus-1-Kurve übersteigt.

Bedeutung
Die Autoren beanspruchen Bedeutung in drei primären Bereichen:

1. Strukturelle Theorie: Es schärft das Verständnis endlicher abelscher Untergruppen in algebraischen Gruppen, indem die $p$-Gruppen-Beschränkung aufgehoben und die Gültigkeit auf positive Charakteristiken ausgeweitet wird, wodurch die klassischen Arbeiten von Borel und Reichstein-Youssin vereinheitlicht und gestärkt werden.
2. Torsionsindizes: Es führt den varianten Torsionsindex $t_2(G)$ ein und berechnet ihn, wobei gezeigt wird, dass dieser strikt kleiner als der klassische Grothendiecksche Torsionsindex $t(G)$ sein kann. Die Berechnung $t_2(E_8) = 60$ wird als eine partielle Bestätigung von Tits' „hypothèse optimiste“ präsentiert, was darauf hindeutet, dass während der volle Torsionsindex groß ist, der „effektive“ Index für Torsoren über iterierten Laurent-Serien viel kleiner ist.
3. Anwendungen auf Splittingfelder: Die Ergebnisse liefern definitive Antworten auf Fragen bezüglich des Splittings von Torsoren durch Kurven vom Genus 1 (Theorem 1.8) sowie auf Fragen bezüglich Nullzyklen auf $G$-homogenen Räumen über Körpern von iterierten Laurent-Serien (Theorem 1.5). Diese Anwendungen verbinden die abstrakte Struktur algebraischer Gruppen mit konkreten Problemen der Arithmetik von Körpern und der Geometrie homogener Räume.

Die Autoren erklären explizit, dass ihre Arbeit auf den strukturellen Eigenschaften von Torsoren und der spezifischen Arithmetik von iterierten Laurent-Serien-Körpern beruht und dabei auf die Verwendung der Auflösung von Singularitäten verzichtet (welche in früheren Beweisen in Charakteristik 0 erforderlich war), um eine breitere Anwendbarkeit zu erreichen.