Finite abelian subgroups of algebraic groups

Resumo Técnico: Subgrupos Abelianos Finitos de Grupos Algébricos

Enunciado do Problema
O artigo investiga a estrutura de subgrupos abelianos finos $A$ dentro de um grupo algébrico $G$ sobre um corpo algebricamente fechado $k$, focando especificamente no caso em que a ordem de $A$ não é divisível pela característica de $k$. A questão central é quantificar "o quão longe" um subgrupo abeliano arbitrário está de ser toral (ou seja, contido em um toro máximo). Este problema estende o trabalho clássico de Borel (1961) sobre grupos de Lie compactos e índices de torção. Embora resultados anteriores, como os de Reichstein e Youssin (2001), tenham estabelecido que para um $p$-subgrupo $A$, o índice $[A : A \cap T]$ divide o índice de torção de Grothendieck $t(G)$, esses resultados eram limitados à característica 0 e frequentemente exigiam que $A$ fosse um $p$-grupo. Este trabalho busca generalizar esses resultados estruturais para subgrupos abelianos finos arbitrários e característica positiva (desde que a característica não divida a ordem do grupo) e aplicar essas percepções estruturais à decomposição de torsores sobre corpos de séries de Laurent iteradas.

Metodologia
Os autores empregam uma combinação de teoria de grupos algébricos, cohomologia de Galois e a teoria de torsores sobre corpos de séries de Laurent iteradas ($k_r = k((t_1))\dots((t_r))$).

1. Redução a Torsores: Os autores utilizam a correspondência entre subgrupos abelianos finos e torsores. Especificamente, eles relacionam a estrutura de $A$ ao comportamento de decomposição de $G$-torsores induzidos por $A$-torsores sobre $k_r$.
2. Critérios Valuativos e Propriedade: Uma ferramenta técnica fundamental envolve o uso do critério de valor para propriedade (properness). Ao considerar a extensão de valuações de $k_r$ para o corpo de funções de um $A$-torsor conexo, os autores demonstram que, se um torsor se decompõe, o subgrupo $A$ deve estar contido em um subgrupo de Borel e, subsequentemente, em um toro máximo, sob condições específicas.
3. Teoria de Galois de Séries de Laurent Iteradas: O artigo aproveita a estrutura do grupo de Galois absoluto de $k_r$, especificamente seu quociente máximo livre de $l$ (onde $l$ é o expoente da característica), para analisar os corpos de decomposição de torsores. Isso permite a tradução de condições de decomposição geométrica em restrições de grupo de teoria de Galois dos corpos de extensão.
4. Profundidade e Índices de Torção: Os autores introduzem e utilizam o conceito de profundidade de um subgrupo abeliano finito $A$, definida como o máximo divisor comum dos índices $[A : A \cap T]$ sobre todos os toros máximos $T$. Eles relacionam isso a variantes do índice de torção de Grothendieck, denotados por $t_2(G)$ e $t_3(G)$, definidos via torsores sobre séries de Laurent iteradas e as profundidades de subgrupos.
5. Análise Caso a Caso para $E_8$: Para o grupo excepcional $E_8$, os autores realizam uma classificação detalhada de subgrupos abelianos máximos finitos (referenciando Draper e Elduque) e computam suas profundidades usando decomposições de álgebras de Lie e teoria de códigos (especificamente, códigos binários auto-ortogonais associados a grupos spin).

Principais Contribuições e Resultados

• Generalização de Reichstein-Youssin (Teorema 1.1): O artigo prova que para qualquer subgrupo abeliano finito $A \subset G$ com $\text{char}(k) \nmid |A|$, existe um toro máximo $T$ tal que o índice $[A : A \cap T]$ divide o índice de torção de Grothendieck $t(G)$. Crucialmente, este resultado é válido em característica positiva (desde que esta não divida $|A|$) e não exige que $A$ seja um $p$-grupo. Isso responde a uma questão proposta por Totaro e Wang.
• Decomposição sobre Séries de Laurent Iteradas (Teorema 1.2): Os autores estabelecem uma relação precisa entre a decomposição de um $G$-torsor induzido por um $A$-torsor sobre $k_r$ e a estrutura de $A$. Especificamente, se uma extensão finita $L/k_r$ decompõe o torsor induzido, o índice $[A : A \cap T]$ divide o grau $[L : k_r]$. Além disso, sob condições de torre específicas, o quociente $A/(A \cap T)$ é mostrado ser isomorfo tanto a um quociente quanto a um subgrupo do grupo de Galois da extensão de decomposição.
• Variantes do Índice de Torção (Teorema 1.3): O artigo define $t_2(G)$ e $t_3(G)$ e prova que, sob suposições de "boa" característica, $t_2(G) = t_3(G)$. Para o grupo excepcional $E_8$, os autores computam que $t_2(E_8) = 60$. Este resultado é significativo porque resgata a "hypothèse optimiste" de Tits (que conjecturava $t(E_8) = 60$) ao mostrar que, embora o índice de torção total $t(E_8)$ seja muito maior ($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$), o variante $t_2(G)$ é exatamente 60), o $t_2(G)$ é exatamente 60.
• Ciclos Zero vs. Pontos Racionais (Teorema 1.5): O artigo fornece uma resposta positiva a uma questão levantada por Totaro sobre ciclos zero em espaços homogêneos de $G$ sobre corpos de séries de Laurent iteradas. Ele prova que, se um $G$-torsor sobre $k_r$ possui um ciclo zero de grau $d$, ele possui um ponto fechado de grau que divide $d$, desde que a característica seja "boa" para $G$. Isso resolve contraexemplos que existem sobre outros corpos.
• Decomposição por Curvas de Gênero 1 (Teorema 1.8): Os autores generalizam resultados negativos anteriores sobre a decomposição de classes de Brauer por curvas de gênero 1. Eles provam que, para certos grupos algébricos $G$ contendo subgrupos abelianos elementares $p$ de profundidade suficientemente grande (posto da parte não toral), existem $G$-torsores sobre $k_r$ que não podem ser decompostos por qualquer torsor sob uma variedade abeliana de dimensão $g$ (incluindo curvas de gênero 1). Isso é alcançado estabelecendo um limite inferior no posto do grupo de Galois necessário para decompor tais torsores, que excede o máximo posto-$p$ possível do grupo de Galois de um corpo de decomposição fornecido por uma curva de gênero 1.

Significado
Os autores afirmam que seu trabalho é significativo em três áreas principais:

1. Teoria Estrutural: Ele refina a compreensão de subgrupos abelianos finos em grupos algébricos ao remover a restrição de $p$-grupo e estender a validade para característica positiva, unificando e fortalecendo os resultados clássicos de Borel e Reichstein-Youssin.
2. Índices de Torção: Introduz e calcula o variante do índice de torção $t_2(G)$, demonstrando que ele pode ser estritamente menor que o índice de torção de Grothendieck clássico $t(G)$. O cálculo $t_2(E_8) = 60$ é apresentado como uma validação parcial da "hypothèse optimiste" de Tits, sugerindo que, embora o índice de torção total $t(E_8)$ seja grande, o índice "efetivo" para torsores sobre séries de Laurent iteradas é muito menor.
3. Aplicações à Decomposição de Corpos: Os resultados fornecem respostas definitivas a questões relativas à decomposição de torsores sobre corpos de séries de Laurent iteradas (Teorema 1.5) e às limitações de decompor torsores usando curvas de gênero 1 (Teorema 1.8). Essas aplicações conectam a estrutura abstrata de grupos algébricos a problemas concretos na aritmética de corpos e na geometria de espaços homogêneos.

Os autores declaram explicitamente que seu trabalho depende das propriedades estruturais de torsores e da aritmética específica de corpos de séries de Laurent iteradas, evitando o uso de resolução de singularidades (que era necessária em provas anteriores em característica 0) para alcançar uma aplicabilidade mais ampla.