Cohomological Obstructions for Varieties over $p$-adic Function Fields

Resumen Técnico: Obstrucciones Cohomológicas para Variedades sobre Cuerpos de Funciones $p$-ádicos

Planteamiento del Problema
El artículo aborda la aritmética de variedades íntegras suaves definidas sobre cuerpos de funciones $p$-ádicos (cuerpos de funciones de curvas proyectivas suaves sobre cuerpos $p$-ádicos). Específicamente, investiga las obstrucciones al principio local-global y a la aproximación débil. Si bien la obstrucción de Brauer–Manin está bien comprendida sobre los cuerpos de números, el artículo busca establecer una teoría de obstrucción sistemática sobre los cuerpos de funciones $p$-ádicos. Una cuestión central es identificar la obstrucción "más fina" que surge de las dualidades aritméticas y determinar si la obstrucción cohomológica no ramificada proporciona una restricción más fuerte que la clásica obstrucción de Manin (definida vía $H^3_{\text{ét}}$) o las obstrucciones de descenso.

Metodología
El autor emplea una combinación de cohomología étale, complejos motivicos y teorías de dualidad aritmética.

1. Marco Cohomológico: El estudio utiliza el haz étale $\mathbb{Q}/\mathbb{Z}(2)$ y los complejos motivicos $\mathbb{Z}(2)$. El artículo define las obstrucciones mediante emparejamientos entre puntos adelicos $X(\mathbb{A})$ y grupos de cohomología, específicamente $H^3_{\text{ét}}(X, \mathbb{Q}/\mathbb{Z}(2))$ (obstrucción de Manin) y el grupo de cohomología no ramificada $H^3_{\text{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$.
2. Enfoque Functorial: Las obstrucciones se construyen utilizando functores contravariantes de la categoría de esquemas $K$ a conjuntos, comparando la imagen de los puntos adelicos bajo mapas de evaluación frente a las condiciones de compatibilidad local-global.
3. Secuencias Espectrales: Se utilizan la secuencia espectral de Čech y la secuencia espectral de Hochschild–Serre para calcular los grupos de cohomología para construcciones geométricas específicas, particularmente para cocientes de espacios afines por acciones de grupos.
4. Invariantes Cohomológicos: El artículo aprovecha la teoría de invariantes cohomológicos (específicamente el invariante de Rost) para identificar los grupos de cohomología no ramificada con grupos de invariantes para grupos semi-simples simplemente conexos.
5. Dualidades Aritméticas: El análisis se basa en las secuencias de Poitou–Tate y los invariantes locales (isomorfismos entre $H^3(K_v, \Lambda)$ y $\mathbb{Q}/\mathbb{Z}$) para establecer secuencias exactas y emparejamientos de dualidad.

Contribuciones Clave y Resultados

• Comparación de Obstrucciones (Teorema 1.1):
  El artículo establece una jerarquía entre las obstrucciones cohomológicas. Demuestra que para una variedad $K$-integral suave $X$ y un grupo algebraico lineal conmutativo $M$:

  • La obstrucción no ramificada es más fina que la obstrucción de Manin: $X(\mathbb{A})^{H^3_{\text{nr}}} \subseteq X(\mathbb{A})^{H^3_{\text{ét}}}$.
  • La obstrucción no ramificada es más fina que las obstrucciones derivadas de cualquier elemento $\alpha \in H^i_{\text{ét}}(X, M)$ para $i \ge 1$.
  • Para un $M$ finito, la obstrucción no ramificada es más fina que las obstrucciones de clases de cohomología no ramificadas.
  • El artículo demuestra que la obstrucción no ramificada coincide con la obstrucción definida por $H^4_{\text{ét}}(X, \mathbb{Z}(2))$ vía complejos motivicos.

• Existencia de una Obstrucción No Ramificada Estrictamente Más Fuerte (Teorema 1.2):
  El autor construye un ejemplo explícito de una variedad $X = Y/G$ (donde $G$ es un grupo semi-simple simplemente conexo que actúa libremente en un subconjunto abierto del espacio afín) tal que:

  • La obstrucción de Manin es trivial ($X(\mathbb{A})^{H^3_{\text{ét}}} = X(\mathbb{A})$).
  • La obstrucción no ramificada es no trivial ($X(\mathbb{A})^{H^3_{\text{nr}}} \subsetneq X(\mathbb{A})$).
    Este resultado se basa en las propiedades del invariante de Rost $R$ y la existencia de lugares $v$ donde $H^1(K_v, G) \neq 1$ pero el núcleo de Rost es trivial.

• Relación con las Obstrucciones de Descenso (Teorema 1.3):
  El artículo compara la obstrucción no ramificada con la obstrucción de descenso. Demuestra que para un grupo lineal $K$ embebido en $SL_n$, lo siguiente es equivalente:

  • La obstrucción no ramificada en el cociente $X = SL_n/G$ coincide con el conjunto de puntos adelicos generados por $SL_n(\mathbb{A})$ y los puntos racionales $X(K)$.
  • Para cualquier variedad integral suave $Z$ y cualquier torsor $G$ de la forma $f: Y \to Z$, la obstrucción no ramificada está contenida en la obstrucción de descenso ($Z(\mathbb{A})^{H^3_{\text{nr}}} \subseteq Z(\mathbb{A})_f$).
    La prueba utiliza productos contraídos y el isomorfismo de la cohomología no ramificada bajo giros de torsores (torsor twists).

Significado y Pretensiones
El artículo pretende proporcionar una comprensión sistemática de la teoría de obstrucción sobre cuerpos de funciones $p$-ádicos, de forma análoga a los desarrollos sobre los cuerpos de números.

• Refinamiento de Obstrucciones: Identifica la obstrucción no ramificada como la más fina entre las que surgen de las dualidades aritméticas y los grupos de Brauer en este contexto.
• Contraejemplo: Resuelve la cuestión de si la obstrucción no ramificada es estrictamente más fuerte que la obstrucción de Manin al proporcionar un contraejemplo concreto donde la obstrucción de Manin no logra detectar un fallo en el principio local-global, mientras que la obstrucción no ramificada sí tiene éxito.
• Conexión Motivica: Clarifica la relación entre diferentes grados cohomológicos ($H^3_{\text{nr}}$ vs. $H^4_{\text{ét}}$) vía complejos motivicos, mostrando que definen el mismo conjunto de obstrucción.
• Limitaciones: El artículo señala modestamente que una comparación completa con la obstrucción de descenso general está actualmente limitada por la falta de una generalización adecuada de la secuencia exacta de Kottwitz para los cuerpos de funciones $p$-ádicos.

El trabajo se construye sobre y extiende estudios previos de Harari, Scheiderer, Szamuely, Tian y otros respecto a los principios local-global para grupos reductivos, y conecta con las conjeturas de Colliot-Thélène sobre la aproximación débil.