Finite abelian subgroups of algebraic groups

Resumen Técnico: Subgrupos Abelianos Finitos de Grupos Algebraicos

Planteamiento del Problema
El artículo investiga la estructura de los subgrupos abelianos finitos $A$ dentro de un grupo algebraico $G$ sobre un cuerpo algebraicamente cerrado $k$, centrándose específicamente en el caso donde el orden de $A$ no es divisible por la característica de $k$. La cuestión central es cuantificar "qué tan lejos" está un subgrupo abeliano arbitrario de ser toral (es decir, estar contenido en un toro maximal). Este problema extiende el trabajo clásico de Borel (1961) sobre grupos de Lie compactos y primos de torsión. Mientras que resultados previos, como los de Reichstein y Youssin (2001), establecieron que para un $p$-subgrupo $A$, el índice $[A : A \cap T]$ divide al índice de torsión de Grothendieck $t(G)$, estos resultados estaban limitados a la característica 0 y a menudo requerían que $A$ fuera un $p$-grupo. Este trabajo busca generalizar estos resultados estructurales a subgrupos abelianos finitos arbitrarios y a la característica positiva (siempre que la característica no divida el orden del grupo), y aplicar estas visiones estructurales al desdoblamiento de torsores sobre cuerpos de series de Laurent iteradas.

Metodología
Los autores emplean una combinación de teoría de grupos algebraicos, cohomología de Galois y la teoría de torsores sobre cuerpos de series de Laurent iteradas ($k_r = k((t_1))\dots((t_r))$).

1. Reducción a Torsores: Los autores utilizan la correspondencia entre subgrupos abelianos finitos y torsores. Específicamente, relacionan la estructura de $A$ con el comportamiento de desdoblamiento de los torsores-$G$ inducidos por torsores-$A$ sobre $k_r$.
2. Criterios Valuativos y Propiedad: Una herramienta técnica clave involucra el uso del criterio valuativo de propiedad. Al considerar la extensión de las valuaciones desde $k_r$ al cuerpo de funciones de un torsor-$A$ conexo, los autores demuestran que si un torsor se desdobla, el subgrupo $A$ debe estar contenido en un subgrupo de Borel y, posteriormente, en un toro maximal, bajo condiciones específicas.
3. Teoría de Galois de Series de Laurent Iteradas: El artículo aprovecha la estructura del grupo de Galois absoluto de $k_r$, específicamente su cociente máximo de tipo primo a $l$ (donde $l$ es el exponente de la característica), para analizar los cuerpos de desdoblamiento de los torsores. Esto permite la traducción de las condiciones geométricas de desdoblamiento en restricciones de grupo sobre los grupos de Galois de las extensiones de cuerpo.
4. Profundidad e Índices de Torsión: Los autores introducen y utilizan el concepto de profundidad de un subgrupo abeliano finito $A$, definido como el máximo común divisor de los índices $[A : A \cap T]$ sobre todos los toros maximales $T$. Relacionan esto con variantes del índice de torsión de Grothendieck, denotados como $t_2(G)$ y $t_3(G)$, definidos mediante torsores sobre series de Laurent iteradas y las profundidades de los subgrupos.
5. Análisis Caso por Caso para $E_8$: Para el grupo excepcional $E_8$, los autores realizan una clasificación detallada de los subgrupos abelianos finitos maximales (refiriéndose a Draper y Elduque) y computan sus profundidades utilizando descomposiciones de álgebras de Lie y teoría de códigos (específicamente, códigos binarios auto-ortogonales asociados con grupos de spin).

Contribuciones Clave y Resultados

• Generalización de Reichstein-Youssin (Teorema 1.1): El artículo demuestra que para cualquier subgrupo abeliano finito $A \subset G$ con $\text{char}(k) \nmid |A|$, existe un toro maximal $T$ tal que el índice $[A : A \cap T]$ divide al índice de torsión de Grothendieck $t(G)$. Crucialmente, este resultado es válido en característica positiva (siempre que esta no divida a $|A|$) y no requiere que $A$ sea un $p$-grupo. Esto responde a una pregunta planteada por Totaro y Wang.
• Desdoblamiento sobre Series de Laurent Iteradas (Teorema 1.2): Los autores establecen una relación precisa entre el desdoblamiento de un torsor-$G$ inducido por un torsor-$A$ sobre $k_r$ y la estructura de $A$. Específicamente, si una extensión finita $L/k_r$ desdobla el torsor inducido, el índice $[A : A \cap T]$ divide al grado $[L : k_r]$. Además, bajo ciertas condiciones de torre, se muestra que el cociente $A/(A \cap T)$ es isomorfo tanto a un cociente como a un subgrupo del grupo de Galois de la extensión de desdoblamiento.
• Variantes del Índice de Torsión (Teorema 1.3): El artículo define $t_2(G)$ y $t_3(G)$ y demuestra que, bajo supuestos de "buena" característica, $t_2(G) = t_3(G)$. Para el grupo excepcional $E_8$, los autores computan que $t_2(E_8) = 60$. Este resultado es significativo porque rescata la "hypothèse optimiste" de Tits (que conjeturaba $t(E_8) = 60$) al mostrar que, si bien el índice de torsión completo $t(E_8)$ es mucho mayor ($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)$ es exactamente 60.
• Ciclos de Grado Cero vs. Puntos Racionales (Teorema 1.5): El artículo proporciona una respuesta positiva a una pregunta planteada por Totaro sobre los ciclos de grado cero en espacios homogéneos-$G$ sobre cuerpos de series de Laurent iteradas. Demuestra que si un torsor-$G$ sobre $k_r$ tiene un ciclo de grado cero de grado $d$, posee un punto cerrado de grado que divide a $d$, siempre que la característica sea "buena" para $G$. Esto resuelve contraejemplos que existen sobre otros cuerpos.
• Desdoblamiento por Curvas de Género 1 (Teorema 1.8): Los autores generalizan resultados negativos previos sobre el desdoblamiento de clases de Brauer por curvas de género 1. Demuestran que para ciertos grupos algebraicos $G$ que contienen subgrupos abelianos $p$-eléméntales de suficiente "profundidad" (rango de la parte no toral), existen torsores-$G$ sobre $k_r$ que no pueden ser desdoblados por ningún torsor bajo una variedad abeliana de dimensión $g$ (incluyendo curvas de género 1). Esto se logra estableciendo un límite inferior en el rango del grupo de Galois requerido para desdoblar tales torsores, el cual excede el $p$-rango máximo del grupo de Galois de un campo de desdoblamiento proporcionado por una curva de género 1.

Significado
Los autores afirman que su trabajo es significativo en tres áreas principales:

1. Teoría Estructural: Perfecciona la comprensión de los subgrupos abelianos finitos en grupos algebraicos al eliminar la restricción de $p$-grupo y extender la validez a la característica positiva, unificando y fortaleciendo los resultados clásicos de Borel y Reichstein-Youssin.
2. Índices de Torsión: Introduce y computa la variante del índice de torsión $t_2(G)$, demostrando que puede ser estrictamente menor que el índice de torsión de Grothendieck clásico $t(G)$. La computación $t_2(E_8) = 60$ se presenta como una validación parcial de la "hypothèse optimiste" de Tits, sugiriendo que mientras el índice de torsión completo $t(E_8)$ es grande, el índice "efectivo" para torsores sobre series de Laurent iteradas es mucho menor.
3. Aplicaciones a Campos de Desdoblamiento: Los resultados proporcionan respuestas definitivas a preguntas sobre el desdoblamiento de torsores sobre cuerpos de series de Laurent iteradas (Teorema 1.5) y las limitaciones del desdoblamiento de torsores usando curvas de género 1 (Teorema 1.8). Estas aplicaciones conectan la estructura abstracta de los grupos algebraicos con problemas concretos en la aritmética de los cuerpos y la geometría de los espacios homogéneos.

Los autores declaran explícitamente que su trabajo se basa en las propiedades estructurales de los torsores y en la aritmética específica de los cuerpos de series de Laurent iteradas, evitando el uso de la resolución de singularidades (que era necesaria en las pruebas previas de característica 0) para lograr una aplicabilidad más amplia.