Zero-cycles on varieties over a $\mathfrak{B}_s$-field

Aquí presento un resumen técnico detallado del artículo "Zero-Cycles on Varieties over a Bs-field" (Ciclos cero en variedades sobre un campo $B_s$) de Toshiro Hiranouchi y Rin Sugiyama.

1. Problema y Contexto

El artículo aborda la estructura de los grupos de Chow superiores $CH^m(X, n)$ para una variedad $X$ definida sobre un campo $F$. Específicamente, se centra en el grupo de ciclos cero de dimensión superior $CH^{d+n}(X, n)$, donde $d = \dim(X)$.

• Estado del arte: Para campos finitos ($F$), la teoría de clases de campos de dimensión superior (Kato, Saito, etc.) ha establecido que $CH^{d+n}(X, n) = 0$ para $n \ge 2$ y que $CH^{d+1}(X, 1)$ es finito y isomorfo a $F^\times$.
• La pregunta central: ¿Qué sucede con la estructura de estos grupos cuando el campo base $F$ no es finito, sino que satisface ciertas propiedades de cohomología y teoría de normas? El objetivo es generalizar los resultados conocidos para campos finitos a una clase más amplia de campos aritméticos (campos locales, globales, campos locales de dimensión superior).

2. Definiciones Clave y Metodología

La metodología se basa en la teoría de funtores de Mackey, grupos de K de Milnor y la homología de Kato.

A. Campos $B_s$

El concepto central es el de campo $B_s$. Un campo $F$ se denomina $B_s$ si, para cualquier extensión finita $E'/E$ de $F$, el mapa de norma en los grupos de K de Milnor:
$$N_{E'/E}: K^M_s(E') \to K^M_s(E)$$
es sobreyectivo.

• Ejemplos:
  • Campos finitos son $B_1$.
  • Campos locales, campos numéricos totalmente imaginarios y campos de funciones de una variable sobre un campo finito son $B_2$.
  • Campos locales de dimensión $N$ son $B_{N+1}$.
• Relación con dimensión cohomológica: Si $\text{char}(F)=0$, $F$ es $B_s$ si y solo si su dimensión cohomológica $cd(F) \le s$.

B. Herramientas Técnicas

1. Funtores de Mackey y Producto de Mackey: Los autores utilizan la estructura de funtor de Mackey de los grupos de Chow y los grupos de K de Milnor. Definen el producto de Mackey $M_1 \otimes \dots \otimes M_n$ para manipular relaciones entre ciclos y normas.
2. Grupos de K de Milnor ($K^M_n$): Se aprovechan resultados profundos sobre la estructura de $K^M_n(F)$ para campos locales y globales (teoremas de Sivitskii, Moore, etc.).
3. Homología de Kato ($KH$): Se estudian los grupos de homología $KH^{(n)}_j(X, \mathbb{Z}/l^r\mathbb{Z})$ definidos a través de un complejo de tipo Bloch-Ogus.
4. Reducción a Curvas: Una parte crucial de la demostración implica reducir el estudio de variedades de dimensión arbitraria a curvas integrales, utilizando normalizaciones y extensiones de campos para manejar singularidades y puntos racionales.

3. Contribuciones y Resultados Principales

El resultado central del artículo es la descripción estructural de los grupos de Chow superiores sobre campos $B_s$.

Teorema Principal (Teorema 1.2 / 3.6)

Sea $F$ un campo $B_s$ y $X$ una variedad proyectiva suave e irreducible geométricamente de dimensión $d$.

1. Divisibilidad: Para $n \ge s+1$, el grupo $CH^{d+n}(X, n)$ es divisible.
2. Descomposición para $n=s$: El morfismo estructural $f: X \to \text{Spec}(F)$ induce un homomorfismo sobreyectivo:
   $$f_*: CH^{d+s}(X, s) \twoheadrightarrow CH^s(\text{Spec}(F), s) \cong K^M_s(F)$$
   cuyo núcleo es un grupo divisible.
   Esto implica la siguiente descomposición directa:
   $$CH^{d+s}(X, s) \cong K^M_s(F) \oplus D$$
   donde $D$ es un grupo divisible.

Aplicaciones Específicas

• Campos Locales ($s=2$): Si $F$ es un campo local, $CH^{d+n}(X, n)$ es divisible para $n \ge 3$. Para $n=2$, se tiene:
  $$CH^{d+2}(X, 2) \cong \mu(F) \oplus m K^M_2(F) \oplus D$$
  donde $\mu(F)$ son las raíces de la unidad, $m = \#\mu(F)$, y $m K^M_2(F)$ es un grupo no numerable y divisiblemente único.
• Campos Globales: Si $F$ es un campo numérico totalmente imaginario o un campo de funciones sobre un campo finito, $CH^{d+2}(X, 2) \cong K^M_2(F) \oplus D$. Dado que $K^M_2(F)$ es un grupo de torsión finito (o de torsión prima a $p$ en característica positiva), esto refina resultados previos sobre la torsión de estos grupos.
• Campos de Característica 0 (C): Para $F=\mathbb{C}$ ($B_0$), el núcleo de $CH^d(X, 0) \to \mathbb{Z}$ es divisible (ej. la variedad abeliana de una curva elíptica), lo que muestra que el núcleo no es trivial ni divisiblemente único en general.

Resultados sobre Homología de Kato

Como aplicación de los resultados sobre grupos de Chow, los autores prueban isomorfismos para los grupos de homología de Kato $KH^{(n)}_0(X, \mathbb{Z}/l^r\mathbb{Z})$ (donde $l \neq \text{char}(F)$):

• Teorema 4.9: Si $F$ es un campo $B_s(l)$ con $s \ge 1$, entonces el mapa inducido por la estructura es un isomorfismo:
  $$f_*: KH^{(s-1)}_0(X, \mathbb{Z}/l^r\mathbb{Z}) \xrightarrow{\sim} KH^{(s-1)}_0(\text{Spec}(F), \mathbb{Z}/l^r\mathbb{Z}) \cong H^s_{lr}(F)$$
• Conjetura de Kato: Esto confirma casos específicos de las conjeturas de Kato sobre la relación entre la homología de variedades y la de sus campos base.
  • Para campos locales de dimensión $N$, se obtiene un isomorfismo con la homología del cuerpo residual.
  • Para campos globales, se recupera la secuencia exacta corta clásica del Teorema de Hasse-Brauer-Noether para el grupo de Brauer:
    $$0 \to KH^{(1)}_0(X, \mathbb{Z}/l^r\mathbb{Z}) \to \bigoplus_v KH^{(1)}_0(X_v, \mathbb{Z}/l^r\mathbb{Z}) \to \mathbb{Z}/l^r\mathbb{Z} \to 0$$

4. Significado e Impacto

1. Generalización Óptima: El trabajo extiende los teoremas de clasificación de ciclos cero conocidos para campos finitos a una categoría mucho más amplia de campos aritméticos, identificando el parámetro $s$ (relacionado con la dimensión cohomológica) como el umbral crítico para la divisibilidad y la estructura del grupo.
2. Estructura de Grupos de Chow: Proporciona una descomposición explícita de $CH^{d+s}(X, s)$, separando la parte "aritmética" (dada por $K^M_s(F)$) de la parte "geométrica" (el grupo divisible $D$). Esto es fundamental para entender la torsión y la divisibilidad en geometría aritmética.
3. Validación de Conjeturas: Los resultados validan y demuestran casos particulares de las conjeturas de Kato sobre la homología de Kato, conectando la teoría de ciclos algebraicos con la cohomología de Galois y la teoría de clases de campos local/global.
4. Herramientas Nuevas: La demostración introduce técnicas sofisticadas de funtores de Mackey y productos tensoriales para manejar la interacción entre normas, restricciones y ciclos cero en variedades de alta dimensión.

En resumen, el artículo establece un marco unificado para entender la aritmética de los ciclos cero en variedades sobre campos con propiedades de cohomología controladas, resolviendo problemas abiertos sobre la estructura de estos grupos y sus conexiones con la homología de Kato.