Resumen Técnico: Ciclos de Dimensión Cero en Superficies Cuasi-Proyectivas sobre Cuerpos p-ádicos

1. Planteamiento del Problema y Contexto

El artículo aborda la estructura del grupo de Chow de 0-ciclos, $CH_0(X)$, para variedades proyectivas suaves $X$ definidas sobre una extensión finita $k$ del cuerpo $p$-ádico $\mathbb{Q}_p$. Un objeto central de estudio es la filtración de $CH_0(X)$:
$$0 \subseteq F^2(X) \subseteq F^1(X) \subseteq CH_0(X)$$
donde $F^1(X)$ es el núcleo de la aplicación de grado, y $F^2(X)$ es el núcleo de la aplicación de Albanese $alb_X: F^1(X) \to Alb_X(k)$.

Los autores se centran en la Conjetura de Colliot-Thélène (Conjetura 1.1), la cual predice que, para tales variedades, el grupo $F^2(X)$ se descompone como suma directa de un grupo finito y un grupo divisible:
$$F^2(X) \cong F \oplus D$$
Aunque esta conjetura es conocida para curvas (donde la aplicación de Albanese es un isomorfismo) y casos específicos de productos de curvas o superficies de Kummer, sigue abierta para superficies generales. Resultados previos de Raskind y Spiess ([RS00]) y de Saito y Sato ([SS10]) establecieron resultados parciales, particularmente respecto a las propiedades de torsión de $F^1(X)$ y $F^2(X)$ para productos de curvas con tipos de reducción específicos.

El artículo también investiga el análogo cuasi-proyectivo de este problema. Para una subvariedad abierta $U \subset X$, los autores reemplazan $CH_0(X)$ con la homología singular de Suslin $H^{sus}_0(U)$ y consideran el núcleo $F^2(U)$ de la aplicación de Albanese generalizada $alb_U: F^1(U) \to Alb_U(k)$, donde $Alb_U$ es una variedad semi-abeliana.

2. Metodología

Los autores emplean un enfoque multifacético que combina la cohomología motivica, la teoría de campos de clases y la teoría de grupos algebraicos:

• Cohomología Motivica y Homología de Suslin: Los autores utilizan la identificación de la homología de Suslin $H^{sus}_0(U)$ con los grupos de cohomología motivica $H^{2d}_{M,c}(U, \mathbb{Z}(d))$ (Teorema 2.8). Esto les permite emplear la maquinaria de los complejos motivicos y el formalismo de las seis funtores.
• Teoría de Campos de Clases para Curvas: Un componente crucial es la aplicación de la teoría de campos de clases para curvas sobre cuerpos $p$-ádicos desarrollada por Bloch ([Blo81]) y Saito ([Sai85]). Específicamente, analizan la estructura del grupo $SK_1(C)$ (identificado con $CH_2(C,1)$) y su relación con el grupo fundamental étale abeliano y el módulo de Tate de la Jacobiana.
• Variedades de Albanese Generalizadas: El artículo construye y analiza la variedad de Albanese generalizada $Alb_U$ para subvariedades abiertas $U = X - D$, donde $D$ es un divisor. Esta variedad es una extensión de la variedad de Albanese estándar $Alb_X$ por un toro $T$. Los autores estudian la relación entre la parte torica de $Alb_U$ y la estructura de $SK_1(D)$ para el divisor $D$.
• Ciclos Descomponibles: Para manejar la "pieza torica" de la aplicación de Albanese generalizada, los autores utilizan ciclos $(2,1)$ descomponibles. Demuestran que la imagen del mapa desde el grupo de Neron-Severi tensorizado con $k^\times$ hacia $SK_1(D)$ es suficiente para anular los componentes toricos problemáticos en el núcleo del mapa.

3. Contribuciones y Resultados Clave

A. Equivalencia de las Conjeturas Proyectiva y Cuasi-Proyectiva

El resultado técnico central es el Teorema 4.5, que establece una equivalencia entre la finitud de la parte no divisible de $F^2$ para una superficie proyectiva y su subvariedad abierta.

• Teorema 4.5: Sea $X$ una superficie proyectiva suave y $U$ una subvariedad abierta densa con complemento $D$ (ya sea de dimensión 0 o un divisor de cruce normal simple). Entonces $F^2(X_L)/F^2(X_L)_{div}$ es finito para todas las extensiones finitas $L/k$ si y solo si $F^2(U_L)/F^2(U_L)_{div}$ es finito para todas las $L/k$.
• Corolario 4.9: En consecuencia, la Conjetura de Colliot-Thélène (1.1) se cumple para todas las superficies proyectivas suaves si y solo si su análogo cuasi-proyectivo (Conjetura 4.8) se cumple para todas las superficies cuasi-proyectivas suaves.

B. Transferencia de Conjeturas mediante Mapas Racionales

Basándose en la equivalencia anterior, los autores demuestran el Teorema 1.2 (replanteado como Teorema 5.2):

• Si existe un mapa racional genericamente finito $\pi: X \dashrightarrow Y$ entre superficies proyectivas suaves, y la conjetura se cumple para $X$ (y sus extensiones finitas), entonces se cumple para $Y$.
• Este resultado generaliza los argumentos previos de empuje hacia adelante utilizados para superficies de Kummer a una clase más amplia de superficies, siempre que se pueda trabajar con subvariedades abiertas para evitar singularidades en la resolución del mapa.

C. Verificación para Nuevas Clases de Superficies

Utilizando el teorema de transferencia y los resultados conocidos para productos de curvas (Raskind-Spiess), los autores verifican la Conjetura 1.1 para varias nuevas clases de superficies (Corolario 1.3 y Sección 5.2):

1. Superficies Geométricamente Dominadas: Cualquier superficie proyectiva suave $X$ que sea geométricamente dominada por un producto de curvas $C_1 \times C_2$, siempre que las Jacobianas de $C_1$ y $C_2$ tengan una mezcla de reducción ordinaria buena y multiplicativa dividida.
2. Fibraciones Isotriviales: Esto incluye superficies elípticas isotriviales y una amplia clase de superficies K3 que admiten automorfismos no simplécticos (que a menudo son resoluciones de cocientes de productos de curvas).
3. Cuadrados Simétricos: El cuadrado simétrico $Sym^2(C)$ de una curva de género 2 $C$ (y la superficie abeliana asociada $J_C$) bajo las suposiciones de reducción.
4. Superficies de Fermat: Hipersuperficies diagonales $X_m \subset \mathbb{P}^3$ de grado $m \ge 4$, específicamente cuando $p \equiv 1 \pmod m$.
5. Superficies Producto-Cociente: Superficies que surgen como resoluciones de $(C_1 \times C_2)/G$ para grupos finitos $G$, extendiéndose más allá del caso de Kummer específico previamente conocido.

D. Estructura de la Homología de Suslin para Variedades Abiertas

El artículo proporciona un análisis estructural detallado de $F^2(U)$ para subvariedades abiertas:

• Comparación con $F^2(X)$: Cuando $X-U$ es de dimensión 0, $F^2(U) \cong F^2(X)$. Sin embargo, cuando $X-U$ es un divisor, $F^2(U)$ puede ser significativamente mayor.
• Contribuciones Toricas: Los autores muestran que la diferencia entre $F^2(U)$ y $F^2(X)$ está gobernada por la parte torica de la variedad de Albanese generalizada.
• Ejemplos:
  • Para $U = \mathbb{G}_m \times \mathbb{G}_m$, $F^2(U) \cong K_2^M(k)$, que contiene un grupo divisible no numerable.
  • Para $U = C \times \mathbb{G}_m$, $F^2(U) \cong V(C)$, que puede tener torsión infinita si $C$ es una curva de Mumford.
  • Proposición 5.17: En configuraciones geométricas específicas (por ejemplo, $U = X - s(C)$ donde $s$ es una sección de una fibración), se puede recuperar la igualdad $F^2(U) = F^2(X)$, implicando finitud incluso para variedades abiertas.

4. Significado y Afirmaciones

Los autores afirman que su trabajo proporciona "nueva evidencia" para la Conjetura de Colliot-Thélène al expandir significativamente las clases conocidas de superficies para las cuales la conjetura se cumple.

• Cambio Metodológico: El artículo destaca un cambio de depender exclusivamente de argumentos de "empuje hacia adelante simple" (que funcionan para superficies de Kummer debido a resoluciones simples) hacia un método más robusto que involucra subvariedades abiertas y homología de Suslin. Esto permite a los autores manejar singularidades y cocientes más complejos (por ejemplo, superficies producto-cociente generales).
• Unificación: Al probar la equivalencia entre los casos proyectivo y cuasi-proyectivo (Teorema 4.5), los autores unifican el estudio de los 0-ciclos en estos diferentes tipos de variedades, sugiriendo que la validez de la conjetura es una propiedad geométrica preservada bajo inmersiones abiertas y mapas racionales dominantes.
• Limitaciones: Los autores notan modestamente que sus resultados aún dependen de suposiciones sobre el tipo de reducción de las Jacobianas (específicamente, una mezcla de reducción ordinaria buena y multiplicativa dividida). Reconocen que eliminar esta suposición (por ejemplo, para incluir reducción supersingular) sigue siendo un problema abierto sutil y difícil, citando la dificultad incluso en el caso de productos de curvas elípticas supersingulares.

En resumen, el artículo establece un puente entre la aritmética de los 0-ciclos en superficies proyectivas y sus contrapartes abiertas, aprovechando este vínculo para probar la conjetura de Colliot-Thélène para una amplia y diversa colección de superficies dominadas por productos de curvas.