Failure of Weak Approximation in Adjoint Groups

Resumen Técnico: Fallo de la Aproximación Débil en Grupos Adyuntos

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la teoría de grupos algebraicos y geometría aritmética: la aproximación débil en grupos adyuntos semisimples.

• Contexto: La aproximación débil es una propiedad que generaliza el Teorema Chino del Resto. Un grupo algebraico $G$ definido sobre un campo $F$ tiene aproximación débil si la imagen de $G(F)$ es densa en el producto de sus completaciones $G(F_v)$ para cualquier conjunto finito de valuaciones discretas $S$.
• Antecedentes: Se sabe que todas las variedades racionales tienen aproximación débil. En 1991, Platonov conjeturó que todos los grupos adyuntos semisimples son variedades racionales sobre campos infinitos arbitrarios y, por tanto, poseen aproximación débil.
• Estado previo: En 1996, Merkurjev refutó la parte de la racionalidad de la conjetura, demostrando la existencia de grupos adyuntos no racionales. Sin embargo, la pregunta sobre si estos grupos no racionales también fallaban en la aproximación débil permaneció abierta. Aunque se sabía que la aproximación débil fallaba en el caso simplemente conexo sobre campos valuados arbitrarios (Platonov, 1976), el caso de los grupos adyuntos sobre campos globales y sus extensiones era un problema abierto.

2. Metodología

La estrategia del autor para construir contraejemplos se basa en una combinación de teoría de invariantes, teoría de formas cuadráticas y propiedades de equivalencia R. El enfoque sigue los siguientes pasos lógicos:

1. Construcción de un Grupo que Falla la R-Trivialidad Universal:

   • Se utiliza un criterio de Merkurjev para construir un grupo adyunto $G$ de tipo $D_n$ (donde $n$ es impar, $n \ge 3$) sobre un campo global $F$ (característica $\neq 2$, con $-1$ cuadrado).
   • Se demuestra que $G$ es universalmente R-trivial sobre $F$ (es decir, $G(F)/R = 1$), pero no lo es sobre una extensión separable $E$ de $F$ ($G(E)/R \neq 1$).
   • Esto se logra mediante el uso de álgebras de cuaterniones ramificadas y formas cuadráticas específicas (Proposición 1 y 2).

2. Construcción del Campo de Contradicción ($K$):

   • Se define un campo $K$ que contiene a $F$ y una valuación discreta $v$ tal que el cuerpo residual $\kappa_v$ es isomorfo a la extensión $E$ donde falla la R-trivialidad.
   • Se demuestra que $G(K)/R = 1$ (debido a la invarianza homotópica) pero $G(K_v)/R \neq 1$ (porque $K_v$ contiene a $E$).

3. Topología y Equivalencia R:

   • Se utiliza un resultado de Raghunathan (Lema 9) para demostrar que, sobre un campo valuado completo, la clase de equivalencia R de cualquier punto $g \in G(K_v)$ contiene un entorno adico abierto de $g$.
   • Esto implica que si un punto $g$ no es R-equivalente a la identidad en $G(K_v)$, existe un vecindario alrededor de $g$ donde ningún punto es R-equivalente a la identidad.

4. Argumento de Contradicción:

   • Si $G$ tuviera aproximación débil, el conjunto $G(K)$ sería denso en $G(K_v)$.
   • Esto implicaría que el entorno abierto de $g$ (donde $g \not\sim_R 1$) contendría un punto $h \in G(K)$.
   • Pero como $G(K)/R = 1$, todo punto en $G(K)$ es R-equivalente a la identidad.
   • Esto genera una contradicción: $h$ sería R-equivalente a $g$ (por estar en el mismo entorno) y a la identidad (por estar en $G(K)$), lo cual es imposible dado que $g \not\sim_R 1$.

3. Contribuciones Clave

• Refutación de la Conjetura de Platonov-Thăng: El artículo resuelve negativamente la pregunta abierta sobre si los grupos adyuntos siempre satisfacen la aproximación débil. Se demuestra que existen grupos adyuntos que fallan esta propiedad.
• Construcción Explícita de Contraejemplos: Se proporciona una "receta" general para construir infinitos grupos adyuntos de tipo $D_n$ (con $n$ impar) que fallan la aproximación débil.
• Lema Técnico sobre Entornos Adicos: Se establece rigurosamente que las clases de equivalencia R en grupos reductivos conexos sobre campos valuados completos son conjuntos abiertos en la topología adica (Lema 10), lo cual es un resultado técnico crucial para conectar la estructura algebraica con la topología de valuación.
• Ejemplo Concreto: Se presenta un ejemplo explícito utilizando $F = \mathbb{Q}(i)$, el álgebra de cuaterniones $Q = (2, 5)_F$ y el grupo $G = \text{PSim}^+(M_3(Q), \sigma)$.

4. Resultados Principales

• Teorema 11: Existe un grupo adyunto $G$ definido sobre un campo $K$ con una valuación discreta $v$ tal que la inclusión $G(K) \hookrightarrow G(K_v)$ no tiene imagen densa. Por lo tanto, $G$ no tiene aproximación débil.
• Proposición 2: Para cualquier campo global $F$ (característica $\neq 2$, $-1$ cuadrado), existe un grupo adyunto $G$ de tipo $D_n$ y una extensión $E$ tal que $G(E)/R \neq 1$.
• Cota de Grado de Trascendencia: Se demuestra que los contraejemplos pueden construirse sobre extensiones de $F$ con grado de trascendencia acotado (específicamente $\le 3n + 4$).

5. Significado e Impacto

• Obstrucción a la Racionalidad: El trabajo confirma que el fallo de la aproximación débil es una obstrucción efectiva a la racionalidad para grupos adyuntos, no solo un fenómeno teórico.
• Relación entre R-equivalencia y Topología: El artículo establece un vínculo profundo entre la estructura algebraica de la R-equivalencia (introducida por Manin) y la topología adica en campos valuados, mostrando que la no trivialidad de $G(E)/R$ tiene consecuencias topológicas directas sobre la densidad de puntos racionales.
• Cierre de un Problema Abierto: Resuelve una cuestión que ha permanecido abierta desde la refutación de la racionalidad por Merkurjev en 1996, cerrando el capítulo sobre la conjetura de Platonov para grupos adyuntos en su forma más general.

En conclusión, el artículo demuestra que la propiedad de aproximación débil no es universal para los grupos adyuntos semisimples, utilizando una ingeniosa combinación de teoría de álgebras de división, teoría de formas cuadráticas y análisis topológico sobre campos valuados.