Finite abelian subgroups of algebraic groups

Technische Samenvatting: Eindige Abelse Subgroepen van Algebraïsche Groepen

Probleemstelling
Het artikel onderzoekt de structuur van eindige abelse $k$-subgroepen $A$ binnen een algebraïsche groep $G$ over een algebraïsch gesloten veld $k$, met specifieke aandacht voor het geval waarbij de orde van $A$ niet deelbaar is door de karakteristiek van $k$. De centrale vraag is om te kwantificeren "hoe ver" een willekeurige eindige abelse subgroep verwijderd is van toraal te zijn (d.w.z. opgenomen in een maximale torus). Dit probleem breidt het klassieke werk van Borel (1961) over compacte Lie-groepen en torsiepriemen uit. Hoewel eerdere resultaten, zoals die van Reichstein en Youssin (2001), vaststelden dat voor een $p$-subgroep $A$ de index $[A : A \cap T]$ de Grothendieck-torsie-index $t(G)$ deelt, waren deze resultaten beperkt tot karakteristiek 0 en vereisten ze vaak dat $A$ een $p$-groep was. Dit werk beoogt deze structurele resultaten te generaliseren naar willekeurige eindige abelse subgroepen en positieve karakteristiek (mits de karakteristiek de orde van de groep niet deelt), en om deze structurele inzichten toe te passen op het splitsen van torsors over velden van iteratieve Laurent-series.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche groepenleer, Galois-cohomologie en de theorie van torsors over velden van iteratieve Laurent-series ($k_r = k((t_1))\dots((t_r))$).

1. Reductie naar Torsors: De auteurs maken gebruik van de correspondentie tussen eindige abelse subgroepen en torsors. Specifiek relateren zij de structuur van $A$ aan het splitsingsgedrag van $G$-torsors geïnduceerd door $A$-torsors over $k_r$.
2. Valuatieve Criteria en Properheid: Een cruciaal technisch instrument is het gebruik van het valuatieve criterium voor properheid. Door de uitbreiding van valuaties van $k_r$ naar het functieverd van een verbonden $A$-torsor te overwegen, tonen de auteurs aan dat als een torsor splitst, de subgroep $A$ een Borel-subgroep moet bevatten, en vervolgens een maximale torus, onder specifieke condities.
3. Galois-theorie van Iteratieve Laurent-series: Het artikel maakt gebruik van de structuur van de absolute Galois-groep van $k_r$, specifiek de maximale prime-to-$l$ quotient (waarbij $l$ de karakteristieksexponent is), om de splitsingsvelden van torsors te analyseren. Dit maakt de vertaling van geometrische splitsingscondities naar groepstheoretische restricties op de Galois-groepen van veldlengtes mogelijk.
4. Diepte en Torsie-indices: De auteurs introduceren en maken gebruik van het concept van de diepte van een eindige abelse subgroep $A$, gedefinieerd als de grootste gemene deler van de indices $[A : A \cap T]$ over alle maximale tori $T$. Zij relateren dit aan varianten van de Grothendieck-torsie-index, aangeduid als $t_2(G)$ en $t_3(G)$, gedefinieerd via torsors over iteratieve Laurent-series en de dieptes van subgroepen.
5. Gevalsanalyses voor $E_8$: Voor de exceptionele groep $E_8$ voeren de auteurs een gedetailleerde classificatie uit van maximale eindige abelse subgroepen (refererend aan Draper en Elduque) en berekenen zij hun dieptes met behulp van Lie-algebra decomposities en coderingstheorie (specifiek zelf-orthogonale binaire codes geassocieerd met spin-groepen).

Belangrijkste Bijdragen en Resultaten

• Generalisatie van Reichstein-Youssin (Theorema 1.1): Het artikel bewijst dat voor elke eindige abelse subgroep $A \subset G$ met $\text{char}(k) \nmid |A|$, er een maximale torus $T$ bestaat zodanig dat de index $[A : A \cap T]$ de Grothendieck-torsie-index $t(G)$ deelt. Cruciaal is dat dit resultaat geldt in positieve karakteristiek (zolang deze $|A|$ niet deelt) en niet vereist dat $A$ een $p$-groep is. Hiermee wordt een vraag beantwoord die door Totaro en Wang werd gesteld.
• Splitsing over Iteratieve Laurent-series (Theorema 1.2): De auteurs vestigen een nauwkeurige relatie tussen de splitsing van een $G$-torsor geïnduceerd door een $A$-torsor over $k_r$ en de structuur van $A$. Specifiek, als een eindige uitbreiding $L/k_r$ de geïnduceerde torsor splitst, deelt de index $[A : A \cap T]$ de graad $[L : k_r]$. Verder wordt onder specifieke toren-condities aangetoond dat de quotient $A/(A \cap T)$ isomorf is aan zowel een quotient als een subgroep van de Galois-groep van de splitsende uitbreiding.
• Varianten van de Torsie-index (Theorema 1.3): Het artikel definieert $t_2(G)$ en $t_3(G)$ en bewijst dat onder "goede" karakteristiek-aannames, $t_2(G) = t_3(G)$. Voor de exceptionele groep $E_8$ berekenen de auteurs dat $t_2(E_8) = 60$. Dit resultaat is significant omdat het Tits' "hypothèse optimiste" (die concludeerde dat $t(E_8) = 60$) deels rechtvaardigt door te laten zien dat hoewel de volledige torsie-index $t(E_8)$ veel groter is ($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$), de variant $t_2(G)$ exact 60 is), de "effectieve" index $t_2(G)$ voor torsors over iteratieve Laurent-series is veel kleiner).
• Nul-cycli versus Rationele Punten (Theorema 1.5): Het artikel geeft een positief antwoord op een vraag van Totaro betreffende nul-cycli op $G$-homogene ruimten over velden van iteratieve Laurent-series. Het bewijst dat als een $G$-torsor over $k_r$ een nul-cyclus van graad $d$ heeft, het een gesloten punt van graad deelbaar met $d$ bezit, mits de karakteristiek "goed" is voor $G$. Dit lost tegenvoorbeelden op die bestaan over andere velden op.
• Splitsing door Genus 1 Curves (Theorema 1.8): De auteurs generaliseren eerdere negatieve resultaten over het splitsen van Brauer-klassen door genus 1 curves. Zij bewijzen dat voor bepaalde algebraïsche groepen $G$ die elementair abelse $p$-subgroepen bevatten met een voldoende grote "diepte" (rang van het niet-toraal deel), er $G$-torsors over $k_r$ bestaan die niet gesplitst kunnen worden door enige torsor onder een $g$-dimensionale abelse variëteit (inclusief genus 1 curves). Dit wordt bereikt door een ondergrens vast te stellen voor de rang van de Galois-groep die nodig is om dergelijke torsors te splitsen, welke de maximale mogelijke $p$-rang van de Galois-groep van een splitsend veld geleverd door een genus 1 curve overstijgt.

Betekenis
De auteurs claimen dat hun werk significant is op drie primaire gebieden:

1. Structurele Theorie: Het verscherpt het begrip van eindige abelse subgroepen in algebraïsche groepen door de $p$-groep restrictie te verwijderen en de geldigheid uit te breiden naar positieve karakteristiek, waardoor de klassieke resultaten van Borel en Reichstein-Youssin worden verenigd en versterkt.
2. Torsie-indices: Het introduceert en berekent de variant torsie-index $t_2(G)$, en laat zien dat deze strikt kleiner kan zijn dan de klassieke Grothendieck-torsie-index $t(G)$. De berekening $t_2(E_8) = 60$ wordt gepresenteerd als een gedeeltelijke rechtvaardiging van Tits' "hypothèse optimiste", wat suggereert dat hoewel de volledige torsie-index groot is, de "effectieve" index voor torsors over iteratieve Laurent-series veel kleiner is.
3. Toepassingen op Splitsingsvelden: De resultaten geven definitieve antwoorden op vragen over het splitsen van torsors over velden van iteratieve Laurent-series (Theorema 1.5) en de beperkingen van het splitsen van torsors met behulp van curves van genus 1 (Theorema 1.8). Deze toepassingen verbinden de abstracte structuur van algebraïsche groepen met concrete problemen in de rekenkunde van velden en de geometrie van homogene ruimten.

De auteurs stellen expliciet dat hun werk steunt op de structurele eigenschappen van torsors en de specifieke rekenkunde van iteratieve Laurent-series velden, waarbij zij de methode van resolutie van singulariteiten vermijden (die vereist was in eerdere karakteristiek 0 bewijzen) om een bredere toepasbaarheid te bereiken.