Finite abelian subgroups of algebraic groups

Sintesi Tecnica: Sottogruppi Asseliani Finiti di Gruppi Algebrici

Enunciato del Problema
Il saggio investiga la struttura dei sottogruppi asseliani finiti $A$ all'interno di un gruppo algebrico $G$ su un campo algebricamente chiuso $k$, concentrandosi specificamente nel caso in cui l'ordine di $A$ non sia divisibile dalla caratteristica di $k$. La questione centrale è quantificare "quanto" un arbitrario sottogruppo asseliano sia lontano dall'essere torale (ovvero contenuto in un toro massimo). Questo problema estende il lavoro classico di Borel (1961) sui gruppi di Lie compatti e sugli indici di torsione. Mentre i risultati precedenti, come quelli di Reichstein e Youssin (2001), stabilivano che per un $p$-sottogruppo $A$, l'indice $[A : A \cap T]$ divide l'indice di torsione di Grothendieck $t(G)$, tali risultati erano limitati alla caratteristica 0 e spesso richiedevano che $A$ fosse un $p$-gruppo. Questo lavoro mira a generalizzare tali risultati strutturali ad arbitrari sottogruppi asseliani e alla caratteristica positiva (a condizione che la caratteristica non divida l'ordine del gruppo), e ad applicare queste intuizioni strutturali alla scissione dei torsori su campi di serie di Laurent iterate.

Metodologia
Gli autori impiegano una combinazione di teoria dei gruppi algebrici, coomologia galoisiana e la teoria dei torsori su campi di serie di Laurent iterate ($k_r = k((t_1))\dots((t_r))$).

1. Riduzione ai Torsori: Gli autori utilizzano la corrispondenza tra sottogruppi asseliani finiti e torsori. Specificamente, relazionano la struttura di $A$ con il comportamento di scissione dei torsori di $G$ indotti da torsori di $A$ su $k_r$.
2. Criteri Valutativi e Properness: Uno strumento tecnico chiave coinvolge l'uso del criterio valutativo per la properness (proprietà). Considerando l'estensione delle valutazioni da $k_r$ al campo funzione di un torsore $A$-connesso, gli autori dimostrano che se un torsore si scinde, il sottogruppo $A$ deve essere contenuto in un sottogruppo di Borel e, successivamente, in un toro massimo, sotto specifiche condizioni.
3. Teoria di Galois delle Serie di Laurent Iterate: Il saggio sfrutta la struttura del gruppo galoisiano assoluto di $k_r$, specificamente il suo quoziente massimo prime-to-$l$ (dove $l$ è l'esponente della caratteristica), per analizzare i campi di scissione dei torsori. Ciò permette di tradurre le condizioni di scissione geometrica in vincoli di gruppo per i gruppi galoisiani delle estensioni di campo.
4. Profondità e Indici di Torsione: Gli autori introducono e utilizzano il concetto di profondità di un sottogruppo asseliano finito $A$, definito come il massimo comun divisore degli indici $[A : A \cap T]$ su tutti i tori massimi $T$. Relazionano questo valore alle varianti dell'indice di torsione di Grothendieck, denotate $t_2(G)$ e $t_3(G)$, definite tramite torsori su serie di Laurent iterate e le profondità dei sottogruppi.
5. Analisi Caso per Caso per $E_8$: Per il gruppo eccezionale $E_8$, gli autori eseguono una classificazione dettagliata dei massimi sottogruppi asseliani finiti (facendo riferimento a Draper e Elduque) e calcolano le loro profondità utilizzando decomposizioni di algebre di Lie e teoria dei codici (specificamente codici binari auto-ortogonali associati a gruppi spin).

Contributi Chiave e Risultati

• Generalizzazione di Reichstein-Youssin (Teorema 1.1): Il saggio dimostra che per ogni sottogruppo asseliano finito $A \subset G$ con $\text{char}(k) \nmid |A|$, esiste un toro massimo $T$ tale che l'indice $[A : A \cap T]$ divide l'indice di torsione di Grothendieck $t(G)$. Fondamentalmente, questo risultato è valido anche in caratteristica positiva (purché non divida $|A|$) e non richiede che $A$ sia un $p$-gruppo. Ciò risponde a una domanda posta da Totaro e Wang.
• Scissione su Serie di Laurent Iterate (Teorema 1.2): Gli autori stabiliscono una precisa relazione tra la scissione di un torsore di $G$ indotto da un torsore di $A$ su $k_r$ e la struttura di $A$. Nello specifico, se un'estensione finita $L/k_r$ scinde il torsore indotto, l'indice $[A : A \cap T]$ divide il grado $[L : k_r]$. Inoltre, sotto specifiche condizioni di torre, il quoziente $A/(A \cap T)$ risulta essere isomorfo sia a un quoziente che a un sottogruppo del gruppo galoisiano dell'estensione di scissione.
• Varianti dell'Indice di Torsione (Teorema 1.3): Il saggio definisce $t_2(G)$ e $t_3(G)$ e dimostra che, sotto "buone" ipotesi di caratteristica, $t_2(G) = t_3(G)$. Per il gruppo eccezionale $E_8$, gli autori calcolano che $t_2(E_8) = 60$. Questo risultato è significativo perché salva l' "hypothèse optimiste" di Tits (che congetturava $t(E_8) = 60$) mostrando che, mentre il pieno indice di torsione $t(E_8)$ è molto più grande ($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 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)$ è esattamente 60.
• Cicli Zero vs. Punti Razionali (Teorema 1.5): Il saggio fornisce una risposta positiva a una domanda sollevata da Totaro riguardante i cicli zero su spazi omogenei di $G$ su campi di serie di Laurent iterate, dimostrando che se un torsore di $G$ su $k_r$ possiede un ciclo zero di grado $d$, esso possiede un punto chiuso di grado che divide $d$, a condizione che la caratteristica sia "buona" per $G$. Questo risolve i controesempi esistenti su altri campi.
• Scissione tramite Curve di Genere 1 (Teorema 1.8): Gli autori generalizzano i precedenti risultati negativi sulla scissione di classi di Brauer tramite curve di genere 1. Dimostrano che per determinati gruppi algebrici $G$ contenenti sottogruppi asseliani $p$-elementari di "profondità" sufficientemente grande (rango della parte non torale), esistono torsori di $G$ su $k_r$ che non possono essere scissi da alcun torsore sotto una varietà asseliana di dimensione $g$ (incluse le curve di genere 1). Ciò viene ottenuto stabilendo un limite inferiore sul rango del gruppo galoisiano richiesto per scindere tali torsori, che eccede il massimo possibile $p$-rango del gruppo galoisiano di un campo di scissione fornito da una curva di genere 1.

Significato
Il saggio rivendica importanza in tre aree primarie:

1. Teoria Strutturale: Rafforza la comprensione dei sottogruppi asseliani finiti nei gruppi algebrici rimuovendo la restrizione del $p$-gruppo ed estendendo la validità alla caratteristica positiva, unificando e rafforzando così i risultati classici di Borel e Reichstein-Youssin.
2. Indici di Torsione: Introduce e calcola la variante dell'indice di torsione $t_2(G)$, dimostrando che può essere strettamente minore dell'indice di torsione di Grothendieck classico $t(G)$. Il calcolo $t_2(E_8) = 60$ è presentato come una parziale convalida dell' "hypothèse optimiste" di Tits, suggerendo che mentre il pieno indice di torsione è elevato, l'indice "effettivo" per i torsori su serie di Laurent iterate è molto più piccolo.
3. Applicazioni ai Campi di Scissione: I risultati forniscono risposte definitive alle domande riguardanti la scissione dei torsori su campi di serie di Laurent iterate (Teorema 1.5) e le limitazioni della scissione dei torsori tramite curve di genere 1 (Teorema 1.8). Queste applicazioni collegano la struttura astratta dei gruppi algebrici a problemi concreti nell'aritmetica dei campi e nella geometria degli spazi omogenei.

Gli autori dichiarano esplicitamente che il loro lavoro si basa sulle proprietà strutturali dei torsori e sulla specifica aritmetica dei campi di serie di Laurent iterate, evitando l'uso della risoluzione delle singolarità (necessaria nei precedenti metodi in caratteristica 0) per ottenere una maggiore applicabilità.