Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

Resumen Técnico: Insuficiencia de la obstrucción de Brauer–Manin algebraica para espacios homogéneos

Planteamiento del Problema
El artículo aborda el fallo del principio de Hasse (principio local-global) para puntos racionales en variedades algebraicas. Específicamente, investiga si la obstrucción de Brauer–Manin, un mecanismo cohomológico introducido por Manin, es suficiente para explicar todos estos fallos en espacios homogéneos de grupos algebraicos lineales conexos.

Si bien la suficiencia de la obstrucción de Brauer–Manin está establecida para variedades con geometría "tame" (por ejemplo, variedades conexas racionalmente por geometría) y para espacios homogéneos con estabilizadores conexos o conmutativos, el caso de los estabilizadores finitos no abelianos permanece en gran medida abierto. Trabajos previos de Demarche, Lucchini Arteche, Neftin, Demeio y Lagarde demostraron que la parte algebraica de la obstrucción de Brauer–Manin es insuficiente para la aproximación débil en el caso de estabilizadores metabelianos constantes finitos. Sin embargo, se desconocía la existencia de espacios homogéneos donde la obstrucción algebraica no lograra explicar el fallo del propio principio de Hasse. Este artículo tiene como objetivo construir tal contraejemplo.

Metodología
Los autores construyen un contraejemplo específico utilizando un espacio homogéneo $X$ del grupo lineal especial $SL_n$ sobre un cuerpo numérico $k$ que contiene una raíz p-ésima primitiva (donde $p$ es un primo impar). La construcción se basa en la maquinaria desarrollada por Borovoi y Kunyavskii, refinada posteriormente por el autor en su trabajo previo [Lin24].

1. Construcción del Grupo: El estabilizador geométrico $F$ del espacio homogéneo se construye como una extensión central de $M \oplus M$ por $Z$, donde $M = \mathbb{F}_p^d$ y $Z$ es un cociente de $M \otimes M$. La extensión se define mediante un homomorfismo suprayectivo no degenerado $\phi: M \otimes M \to Z$.
2. Datos Numéricos: Los autores eligen $d = [k:\mathbb{Q}] + 3$ y definen la inclusión $A \otimes A \to M \otimes M$ (donde $A=\mathbb{F}_p$) mapeando el generador a la matriz identidad $Id$. El grupo $F$ tiene así clase de nilpotencia 2 y orden $p^{d^2+2d-1}$.
3. Configuración Cohomológica: Se construye una clase $\beta \in H^2(k, Z)$ utilizando la teoría de clases de campos globales. Esta clase se anula en todas las places excepto en un conjunto de places finitas distintas $\{v_1, \dots, v_d\}$, donde sus invariantes locales corresponden a las imágenes de las matrices de rango uno $e_i \otimes e_i$ bajo $\phi$.
4. Análisis Local vs. Global:
   • Existencia Local: Utilizando la dualidad local de Tate y el hecho de que el rango de los grupos de cohomología local $H^1(k_v, \mathbb{F}_p)$ es pequeño (acotado por 2 para las places que no dividen a $p$), los autores muestran que existen soluciones locales $x_v, y_v$ para la ecuación $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ en cada place $v$. Esto asegura que $X(k_v) \neq \emptyset$ para todo $v$.
   • No Existencia Global: Los autores prueban que no existe una solución global. Utilizan una cota uniforme sobre el rango de la matriz $A_v = \text{Inv}_v(x \cup y)$ derivada de la dimensión de $H^1(k_v, \mathbb{F}_p)$. Para un $d$ suficientemente grande, las restricciones locales fuerzan a que $A_v$ sea exactamente $e_i \otimes e_i$ en las places específicas y $0$ en las demás. La suma de estas invariantes locales produce la matriz identidad $Id$, que es distinta de cero, lo cual contradice la ley de reciprocidad global (que requiere que la suma de las invariantes locales sea nula).

Contribuciones Clave y Resultados
El artículo establece el siguiente resultado principal (Teorema 1):

• Construcción del Contraejemplo: Existe un espacio homogéneo $X$ de $SL_n$ sobre $k$ con estabilizadores de grupos p-finitos de clase de nilpotencia 2 tal que:

  1. $X$ tiene puntos en cada completación $k_v$ (solubilidad local).
  2. $X$ no tiene puntos racionales ($X(k) = \emptyset$).
  3. El grupo de Brauer algebraico no ramificado satisface $Br_{nr,1}(X) = Br_0(X)$.

• Obstrucción Transcendental: Dado que la parte algebraica de la obstrucción de Brauer–Manin es trivial (igual a la parte constante), el fallo del principio de Hasse no puede explicarse mediante clases algebraicas. Los autores demuestran que el grupo de Brauer no ramificado completo $Br_{nr}(X)$ es isomorfo a $\mathbb{Z}/p$ módulo constantes. Mediante la construcción de una clase trascendental explícita $A_L \in Br_{nr}(X)$ usando una forma lineal $L: M \otimes M \to \mathbb{F}_p$, muestran que esta clase produce un emparejamiento de Brauer–Manin no nulo:
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  Esto confirma que el fallo del principio de Hasse es explicado por una obstrucción de Brauer–Manin trascendental.

Significación
El artículo proporciona el primer ejemplo de un espacio homogéneo de un grupo lineal conexo donde el principio de Hasse falla debido a una obstrucción de Brauer–Manin trascendental, mientras que la obstrucción algebraica es insuficiente. Este resultado resalta la necesidad de considerar clases trascendentales en la aritmética de los espacios homogéneos con estabilizadores finitos no abelianos. Confirma que, para tales espacios, las conjeturas de la geometría "tame" (que a menudo dependen de la dualidad abeliana) no bastan, y que se requiere todo el poder de la obstrucción de Brauer–Manin, incluyendo los elementos trascendentales, para controlar los puntos racionales. El método explota la interacción entre la clase de nilpotencia del estabilizador, el rango de los grupos de cohomología local y las leyes de reciprocidad global.