Approximation theorems for classifying stacks over number fields

Resumen Técnico: Teoremas de Aproximación para Estructuras de Clasificación (Classifying Stacks) sobre Cuerpos Numéricos

Planteamiento del Problema
El artículo aborda un problema de aproximación específico para estructuras de clasificación (algebraic stacks) sobre un cuerpo numérico $k$. Dado un grupo algebraico lineal conexo $G$ y un conjunto finito de lugares no arquimedianos $v_1, \dots, v_n$ de $k$, la cuestión central es: dado una colección de $G$-torsores $P_v$ definidos sobre las completaciones $k_{v_i}$, ¿existe un $G$-torsor global $P$ definido sobre $k$ que aproxime los datos locales? En el lenguaje de las estructuras de clasificación, esto pregunta si el mapa desde el conjunto de puntos-$k$ de la estructura de clasificación, $BG(k)$, hacia sus puntos adelicos, $BG(\mathbb{A}_k)$, tiene una imagen densa. El artículo investiga esto bajo la restricción de la obstrucción de Brauer-Manin, buscando condiciones bajo las cuales los torsores locales pueden ser aproximados por un torsor global que sea $v$-ádicamente cercano a los torsores locales prescritos.

Metodología y Marco Técnico
El artículo emplea una combinación de construcciones topológicas sobre estructuras algebraicas, métodos cohomológicos y técnicas de reducción mediante grupos especiales.

1. Topologización de los Puntos Adélicos de las Estructuras de Clasificación:
   Un obstáculo técnico primordial abordado es la construcción de una topología en los puntos adélicos $X(\mathbb{A}_k)$ de una estructura algebraica $X$. El autor señala que una construcción previa en la literatura ([7]) contiene un error respecto a la trivialidad de los módulos proyectivos sobre anillos de adeles. Para corregir esto, el artículo introduce el concepto de estructuras de clasificación elevables (Definición 2.12 y 2.14). Una estructura es $S$-elevable si admite una presentación $P \to X$ por un espacio algebraico separado $P$ tal que el mapa en los puntos es sobreyectivo y satisface condiciones específicas de trivialidad local.

   • Lema Clave: El artículo demuestra que para un subconjunto finito $S$ de lugares, todo $GL(V)$-torsor y $SL(V)$-torsor sobre el anillo de $S$-adeles es trivial (Proposición 2.2 y Corolario 2.3). Esto permite la construcción de una topología de cociente en $X(\mathbb{A}_k)$ mediante una presentación de elevación, asegurando que la topología esté bien definida y sea independiente de la elección de la presentación (Proposición 2.17).

2. El Acoplamiento de Brauer-Manin para Estructuras de Clasificación:
   El autor extiende la clásica obstrucción de Brauer-Manin a las estructuras algebraicas.

   • Extensión (Spreading Out): Utilizando técnicas simpliciales y el sitio étale grande, el artículo establece que las clases de cohomología (específicamente las clases de Brauer) en una estructura sobre un cuerpo numérico pueden "extenderse" a un modelo sobre un subesquema abierto del anillo de enteros (Teorema 3.7, Corolario 4.3).
   • Construcción del Acoplamiento: El acoplamiento de Brauer-Manin $\langle -, - \rangle: X(\mathbb{A}_k) \times Br(X) \to \mathbb{Q}/\mathbb{Z}$ se construye sumando los invariantes de Hasse locales. El artículo demuestra la continuidad de este acoplamiento con respecto a la topología adélica (Proposición 4.5, 4.6).
   • Obstrucción: El lugar de anulación de este acoplamiento, $X(\mathbb{A}_k)^{Br}$, se muestra como un subconjunto cerrado que contiene los puntos racionales $X(k)$, proporcionando una obstrucción a la aproximación fuerte.

3. Reducción a Grupos Especiales:
   La estrategia central para probar teoremas de aproximación implica reducir el problema para un grupo general $G$ al caso del grupo lineal especial $SL(V)$.

   • Isomorfismo de Grupos de Brauer: Al fijar una representación fiel $G \hookrightarrow SL(V)$, la estructura de clasificación $BG$ se identifica con la estructura de cociente $[X/SL(V)]$ donde $X = G \backslash SL(V)$. El artículo demuestra que el mapa de tracción (pullback) $Br([X/SL(V)]) \to Br(X)$ es un isomorfismo (Proposición 5.3).
   • Aproximación Equivariante: Esta reducción permite desplazar el problema hacia la variedad $X \times_G SL(V)$. El artículo aprovecha resultados conocidos sobre la aproximación fuerte para $SL(V)$ (un teorema de Kneser) y la aproximación fuerte equivariante para espacios homogéneos (resultados de [5] y [8]).

Contribuciones Clave y Resultados

• Corrección de la Construcción Topológica: El artículo proporciona un marco corregido y riguroso para definir la topología en los puntos adélicos de las estructuras algebraicas, resolviendo problemas relacionados con módulos proyectivos no triviales sobre anillos de adeles encontrados en trabajos previos.
• Aproximación Fuerte con Obstrucción de Brauer-Manin para $BG$: El resultado principal (Teorema 5.5) establece que para un grupo algebraico lineal conexo $G$ sobre un cuerpo numérico $k$, y un conjunto finito de lugares $S$ que contiene todos los lugares arquimedianos y al menos un lugar finito, la aproximación fuerte se cumple para la estructura de clasificación $BG$ fuera de $S$ con respecto a la obstrucción de Brauer-Manin. Específicamente, la imagen de $BG(k)$ es densa en el lugar de puntos fijos de Brauer-Manin de $BG(\mathbb{A}_k)$.
• Generalización a Estructuras de Cociente: El Teorema 5.4 establece un criterio para la aproximación fuerte de las estructuras de cociente $[Y/G]$. Muestra que si la aproximación fuerte se cumple para la variedad asociada $Y \times_G SL(V)$, entonces se cumple para la estructura de cociente $[Y/G]$. Esto aplica a cocientes de variedades "grupicas", incluyendo ciertos cocientes de variedades tóricas.
• Aproximación Fuerte Equivariante: El artículo utiliza y clarifica la relación entre la aproximación fuerte para el grupo $G$ y el espacio homogéneo $G \backslash SL(V)$, demostrando cómo las propiedades de aproximación del grupo se transfieren a la estructura de clasificación vía el acoplamiento de Brauer-Manin.

Significancia y Reivindicaciones
El artículo afirma responder a una "pregunta muy concreta" sobre la aproximación de $G$-torsores locales por uno global, enmarcándola como una propiedad de aproximación fuerte para la estructura de clasificación. La significancia radica en:

1. Extensión de la Teoría Numérica Clásica: Extiende la teoría clásica de la aproximación fuerte y la obstrucción de Brauer-Manin, tradicionalmente aplicadas a esquemas y variedades, al ámbito de las estructuras algebraicas, específicamente a las estructuras de clasificación.
2. Aplicación Concreta: Proporciona una condición definitiva (la anulación de la obstrucción de Brauer-Manin) bajo la cual una colección de $G$-torsores locales puede ser aproximada por un $G$-torsor global.
3. Rigor Metodológico: Al corregir los fundamentos topológicos para los puntos adélicos de las estructuras, el artículo permite el estudio posterior de las propiedades de aproximación en el entorno de las estructuras, lo cual es esencial para comprender la aritmética de los problemas de módulos y torsores.

El autor señala que, si bien el resultado para $BG$ depende de la conexidad de $G$ y las propiedades de $SL(V)$, el marco desarrollado es aplicable a una clase más amplia de estructuras de cociente generadas por variedades grupicas. El artículo no pretende resolver la aproximación fuerte para todas las estructuras algebraicas, sino que restringe su teorema principal a las estructuras de clasificación de grupos algebraicos lineales conexos y a ciertas estructuras de cociente derivadas de ellos.