Motivic Cohomology and K-groups of varieties over higher local fields

Aquí presento un resumen técnico detallado del artículo "Motivic Cohomology and K-groups of Varieties over Higher Local Fields" de Rahul Gupta, Amalendu Krishna y Jitendra Rathore.

1. Planteamiento del Problema

El artículo aborda el estudio de la estructura de los grupos K algebraicos ($K_i(X)$) y los grupos de Chow superiores de Bloch ($CH^i(X, j)$) para variedades algebraicas definidas sobre campos locales superiores (N-local fields).

• Contexto: Los campos locales superiores, introducidos por K. Kato, son una generalización inductiva de los campos locales no arquimedianos. Un campo $k_N$ es un campo local superior de nivel $N$ si es un campo de valoración discreta completa cuyo campo residual es un campo local de nivel $N-1$ (con $k_0$ siendo un campo finito).
• El Problema Central: Comprender la estructura aritmética de los grupos K y los grupos de Chow en este contexto. Específicamente, los autores buscan determinar si estos grupos son finitamente generados, de torsión, o si poseen una estructura de "divisible-finito" (suma directa de un grupo finito y un grupo divisible).
• Conjeturas Relacionadas: El trabajo se sitúa en el marco de las conjeturas de Bass (los grupos K de variedades proyectivas suaves sobre campos finitos son finitamente generados) y Parshin (los grupos K son de torsión para $i > 0$). Aunque estas conjeturas están resueltas en dimensión 1, permanecen abiertas en dimensiones superiores.
• Brecha de Conocimiento: Mientras que para campos finitos ($N=0$) y campos locales ($N=1$) existen resultados parciales significativos (como los de Tate, Quillen, Pedrini-Weibel), el caso de $N \ge 2$ (campos locales superiores de nivel alto) estaba prácticamente inexplorado en lo que respecta a la estructura de sus grupos K y la finitud de la torsión en sus grupos de Chow.

2. Metodología

Los autores emplean una combinación sofisticada de herramientas de la geometría algebraica, la teoría de K-teoría y la cohomología motivica:

1. Cohomología Étale Uniforme: El ingrediente clave es la demostración de resultados de finitud uniforme para los grupos de cohomología étale $H^i_{\text{ét}}(X, \mathbb{Z}/m(n))$ sobre variedades cuasi-proyectivas en campos locales superiores. Esto generaliza resultados previos de Colliot-Thélène, Sansuc, Soulé y Kahn sobre campos finitos.
2. Secuencias Espectrales y K-teoría Étale: Utilizan la secuencia espectral de Atiyah-Hirzebruch que relaciona la cohomología étale con los grupos K étale ($K^{\text{ét}}_i$). La convergencia de esta secuencia permite deducir la estructura de los grupos K a partir de la finitud de la cohomología.
3. Conjetura de Quillen-Lichtenbaum: Apelan a la conjetura de Quillen-Lichtenbaum (demostrada recientemente por Clausen-Mathew para variedades cuasi-proyectivas), que establece un isomorfismo entre los grupos K algebraicos y los grupos K étale en grados suficientemente altos ($m \ge d + \text{cd}(k)$).
4. Herramientas de Geometría Aritmética:
   • Teoremas de Alteración: Uso de los teoremas de alteración de de Jong y Gabber para reducir variedades singulares a variedades regulares o con reducción semiestable.
   • Teoremas de Pureza: Aplicación del teorema de pureza de Gabber para relacionar la cohomología con soporte en subvariedades con la cohomología de la subvariedad misma.
   • Comparación Motívica: Uso de resultados de Voevodsky y Cisinski-Dégise para identificar los grupos de Chow superiores con la cohomología motivica y relacionarlos con la cohomología étale mediante mapas de realización.
5. Inducción sobre el Nivel $N$: La prueba se estructura mediante inducción sobre el nivel del campo local superior $N$, utilizando la estructura de valoración discreta y las propiedades de los campos residuales.

3. Contribuciones y Resultados Clave

El artículo establece varios teoremas fundamentales que generalizan resultados conocidos a campos de nivel superior:

A. Estructura de los Grupos K Algebraicos (Teorema 1.1)

Para una variedad cuasi-proyectiva conexa $X$ de dimensión $d$ sobre un campo local superior $k_N$:

• Para cualquier entero $m \ge d + N + 1$, el grupo K satisface:
  $$K_m(X) \cong F \oplus D$$
  donde $F$ es un grupo finito y $D$ es un grupo únicamente $p'$-divisible (divisible por todos los primos distintos a $p$, y sin torsión $p'$).
• Consecuencia: El subgrupo de torsión de $K_m(X)$ (excluyendo la torsión $p$) es finito.
• Caso Equicarácterico: Si $\text{char}(k_N) = \text{char}(k_0)$, entonces $D$ es un grupo únicamente divisible (divisible por todos los primos) y el grupo de torsión total $K_m(X)_{\text{tor}}$ es finito.

B. Equivalencia de Conjeturas (Corolario 1.2)

Para variedades proyectivas suaves sobre campos finitos ($N=0$), en grados $m \ge d+1$, se demuestra la equivalencia de las conjeturas de Bass y Parshin:

1. $K_m(X)$ es un grupo finito de orden no divisible por $p$.
2. $K_m(X)$ es finitamente generado.
3. $K_m(X)$ es de torsión.

• Si $K_d(X)$ es de torsión, entonces es finito.

C. Finitud de la Cohomología Étale (Teoremas 1.4, 3.1, 4.1)

Se prueba que los grupos de cohomología étale $H^i_{\text{ét}}(X, \mathbb{Z}/m(n))$ son uniformemente acotados (finitos) para variedades cuasi-proyectivas sobre $k_N$ fuera de ciertos rangos de índices $i$ y $n$. Estos resultados son de importancia independiente y son la base técnica para los resultados sobre grupos K.

D. Finitud de Torsión en Grupos de Chow (Teoremas 1.6, 1.7, 1.8)

Se estudia la torsión $p'$ (orden primo a $p$) en los grupos de Chow superiores $CH^i(X, j)$:

• Sobre campos finitos: $CH^i(X, j)_{\{p'\}}$ es finito para $i \ge d+1$ y $j \ge 0$.
• Sobre campos locales ($N=1$): Se generaliza un resultado de Lüders. Para variedades con buena reducción, $CH^i(X, j)_{\{p'\}}$ es finito si $j \ge 1$ y ($i \le j+2$ o $i \ge d+1$).
• Sobre campos locales superiores ($N \ge 2$): Se demuestra que $CH^i(X, j)_{\{p'\}}$ es finito si $j \ge d+N$ y ($i \le j+2$ o $i \ge d+N+1$).

E. Aplicación a la Teoría de Campos de Clases (Teorema 1.9)

Se aplica el resultado de finitud de torsión a la teoría de campos de clases tamés para variedades sobre campos locales.

• Resultado: El núcleo del mapa de reciprocidad tamés $\rho^t_X: C_t(X) \to \pi^{ab,t}_1(X)$ es únicamente $p'$-divisible.
• Esto refuerza resultados previos que solo garantizaban la divisibilidad $p'$, eliminando la posibilidad de torsión $p'$ en el núcleo.

4. Significado e Impacto

Este trabajo representa un avance significativo en la teoría de K algebraica y la geometría aritmética de campos de característica positiva y mixta:

1. Generalización Profunda: Extiende la comprensión de la estructura de los grupos K desde campos finitos y locales ($N=0, 1$) a campos locales superiores ($N \ge 2$), llenando un vacío importante en la literatura.
2. Resolución Parcial de Conjeturas: Proporciona un marco robusto para entender las conjeturas de Bass y Parshin en grados altos, mostrando que, más allá de cierto umbral de grado, la estructura de los grupos K es esencialmente "finita más divisible", lo cual es un paso crucial hacia la resolución completa de estas conjeturas.
3. Herramientas Nuevas: La demostración de la finitud uniforme de la cohomología étale sobre variedades cuasi-proyectivas en campos locales superiores es un resultado técnico de gran valor que probablemente encontrará aplicaciones en otros problemas de cohomología motivica y teoría de números.
4. Teoría de Campos de Clases: La caracterización precisa del núcleo del mapa de reciprocidad tamés como "únicamente $p'$-divisible" perfecciona la comprensión de la dualidad entre la K-teoría y la teoría de campos de clases en este contexto aritmético.

En resumen, el artículo establece una teoría estructural coherente para los invariantes K y de Chow en el contexto de campos locales superiores, utilizando una síntesis poderosa de cohomología étale, K-teoría étale y geometría motivica.