Arithmetic of Gysin kernels

Resumen Técnico: Aritmética de los Núcleos de Gysin

Planteamiento del Problema
El artículo investiga la estructura del núcleo del homomorfismo de Gysin sobre 0-ciclos para una superficie proyectiva suave $X$ sobre un cuerpo $k$. Específicamente, dado un lápiz de Lefschetz en $X$ con fibra genérica $C$, los autores estudian el núcleo $G_0(k) = \ker(\iota_*: A(k) \to A_0(X))$, donde $A = \text{Jac}(C)$ es el jacobiano de la curva y $A_0(X)$ es el grupo de Chow de 0-ciclos de grado 0 módulo equivalencia racional. El problema central es determinar la estructura aritmética y geométrica de este núcleo, particularmente si es contable o si contiene una gran subvariedad abeliana, y cómo esto se relaciona con la representabilidad del grupo de Chow $A_0(X)$ y la conjetura de Bloch. El estudio se lleva a cabo sobre cuerpos de característica arbitraria, extendiendo resultados previos conocidos principalmente en característica 0.

Metodología
Los autores emplean una síntesis de geometría algebraica, geometría aritmética y cohomología étale. Los componentes metodológicos clave incluyen:

1. Representabilidad de Suslin-Voevodsky: El artículo se apoya fuertemente en la representabilidad de los 0-ciclos por potencias simétricas (Teorema 2.1.1), lo que permite el tratamiento riguroso de la equivalencia racional en característica arbitraria. Esto se utiliza para establecer el lema de Mumford-Roĭtman (Sección 2.3), demostrando que la equivalencia racional está codificada por una colección contable de subesquemas cerrados incluso en característica positiva.
2. Lemas de Contabilidad sobre Dominios Incontables: Trabajando sobre un dominio universal incontable $\bar{k}$, los autores utilizan argumentos topológicos relativos a conjuntos "c-cerrados" (uniones contables de conjuntos cerrados de Zariski). Prueban que si un subgrupo de una variedad abeliana es c-cerrado, su descomposición irreducible contiene un componente único que pasa por el origen, el cual es una subvariedad abeliana (Lemas 3.2.4, 3.2.5). Esto establece que el núcleo de Gysin es una unión de countably many traslaciones de una subvariedad abeliana específica $A_0$.
3. Monodromía Étale y la Irreducibilidad de Deligne: El núcleo del análisis estructural involucra la acción del grupo fundamental étale (monodromía) sobre la cohomología de los ciclos evanescentes. Al extender las variedades abelianas $A_0$ y $A_1$ (el componente conexo del núcleo del mapa al albanés) sobre una curva base, los autores analizan la acción de la monodromía sobre los grupos de cohomología $l$-ádica $H^1(A_{\bar{\eta}}, \mathbb{Q}_l)$. Invocan el teorema de irreducibilidad de Deligne para la acción de la monodromía sobre los ciclos evanescentes (Corolario 7.4 en [13]) para forzar una dicotomía en la estructura del núcleo.
4. Teoría de Campos y Trascendencia: La prueba de la tercera dicotomía utiliza argumentos de la teoría de campos involucrando conjuntos disjuntos de elementos algebraicamente independientes para mostrar que, si el núcleo es contable, debe estar definido sobre el campo mínimo de definición del lápiz.

Contribuciones Clave y Resultados
El artículo establece tres "teoremas de dicotomía" que describen la estructura del núcleo de Gysin $G_0$:

• Teorema A (Primera Dicotomía): En términos de la fibra genérica geométrica $\bar{\eta}$, la subvariedad abeliana $A_{\bar{\eta},0}$ (asociada con el núcleo de Gysin) es o bien trivial ($0$) o coincide con $A_{\bar{\eta},1}$ (el componente conexo del núcleo del mapa al albanés). Este resultado se sostiene sobre cuerpos de característica arbitraria y depende de la irreducibilidad de la acción de la monodromía sobre los ciclos evanescentes.
• Teorema B (Segunda Dicotomía): Este teorema vincula la contabilidad del núcleo de Gysin con la representabilidad del grupo de Chow.
  • Si $A_0(X_{\bar{k}})$ no es débilmente representable (es decir, no es de dimensión finita en el sentido de Mumford), entonces el núcleo $G_0(k(t))$ es contable.
  • Por el contrario, asumiendo que el homomorfismo de Gysin en cohomología $H^1(C_{\bar{\eta}}, \mathbb{Q}_l) \to H^3(X_{\bar{\eta}}, \mathbb{Q}_l(1))$ no es inyectivo, si $G_0(k(t))$ es contable, entonces $A_0(X_{\bar{k}})$ no es débilmente representable.
  • Esto proporciona un criterio para el fallo de la representabilidad débil basado en el tamaño del núcleo de Gysin.
• Teorema C (Tercera Dicotomía): Este teorema aborda la naturaleza aritmética del núcleo. Si el núcleo de Gysin $G_0(k(t))$ es contable, entonces $G_0(k(t)) = G_0(k_0(t))$, donde $k_0$ es el campo mínimo de definición del lápiz de Lefschetz. Esto implica que todos los puntos en el núcleo son algebraicos sobre el campo mínimo de definición; no existen puntos "trascendentes" en el núcleo si este es contable.

Significancia y Reivindicaciones
Los autores afirman que sus argumentos son más simples que las pruebas previas en característica 0 (refiriéndose específicamente a su trabajo anterior [2]) y que han extendido con éxito estos resultados estructurales a la característica arbitraria.

• Relación con la Conjetura de Bloch: El artículo postula que el Teorema C tiene implicaciones directas para la conjetura de Bloch. Si $H^2(X, \mathbb{Q}_l)$ es algebraica (lo que implica que la representabilidad débil es equivalente a la conjetura de Bloch), demostrar la conjetura se reduce a encontrar un punto de grado de trascendencia $>0$ en el núcleo de Gysin. Si el núcleo es contable, todos los puntos son algebraicos, lo que sugiere que la conjetura se cumple.
• Aplicaciones a Superficies K3: Los autores señalan que para superficies K3 sobre $\mathbb{Q}$ o $\mathbb{F}_p$, donde se sabe que $A_0(X)$ no es representable, los resultados implican que todos los puntos en el núcleo de Gysin son racionales sobre el campo de definición de la base (por ejemplo, $\mathbb{Q}(t)$ o $\mathbb{F}_p(t)$).
• Generalidad: El trabajo elimina la restricción de característica 0 presente en la literatura previa (como [2] y [36]), proporcionando un marco unificado para la aritmética de los núcleos de Gysin utilizando la monodromía étale y la representabilidad de Suslin-Voevodsky.

El artículo no propone nuevas aplicaciones experimentales ni direcciones de investigación futura más allá de las consecuencias lógicas inmediatas de los teoremas para la conjetura de Bloch y el estudio de las superficies K3. El enfoque permanece estrictamente en la dicotomía estructural del núcleo y sus implicaciones aritméticas.