The kernel of the Gysin homomorphism for positive characteristic

Resumen Técnico Detallado: "El núcleo del homomorfismo de Gysin en característica positiva"

Autores: Claudia Schoemann y Skylar Werner
Fecha: 13 de febrero de 2026 (versión arXiv:2411.11417v3)

1. Planteamiento del Problema

El artículo aborda la extensión de un teorema fundamental sobre el núcleo del homomorfismo de Gysin (Gysin kernel), originalmente demostrado por Schoemann y Werner en el contexto de superficies proyectivas lisas sobre el campo de los números complejos ($\mathbb{C}$) en su trabajo previo [20].

El problema central es determinar la estructura del núcleo $G_t$ del homomorfismo de Gysin inducido por la inclusión de una sección hiperplana suave $C_t$ en una superficie proyectiva suave $S$:
$$r_t^*: CH_0(C_t)_{\deg=0} \to CH_0(S)_{\deg=0}$$
donde $CH_0$ denota el grupo de Chow de 0-ciclos de grado cero.

En el caso complejo, utilizando teoría de Hodge, se demostró que:

1. El núcleo $G_t$ es una unión contable de traslados de una subvariedad abeliana $A_t \subset B_t \subset J_t$ (donde $J_t$ es la Jacobiana de $C_t$ y $B_t$ corresponde a la cohomología de vanishing).
2. Para un punto "muy general" $t$, o bien $A_t = 0$ o bien $A_t = B_t$.

El desafío técnico radica en que la teoría de Hodge, herramienta clave en la demostración original, no es aplicable directamente en característica positiva ($p > 0$). El objetivo del presente trabajo es probar que estos resultados se mantienen válidos cuando el campo base $k$ es un campo algebraicamente cerrado no numerable de característica $p > 0$.

2. Metodología

Los autores emplean una estrategia híbrida que combina técnicas de geometría algebraica en característica positiva con herramientas de cohomología étale y teoría de levantamiento (lifting). La metodología se estructura en los siguientes pilares:

• Levantamiento a Característica Cero (Lifting):
  Dado que $k$ es un campo algebraicamente cerrado de característica $p$, los autores utilizan el anillo de valoración discreta completa no ramificada $W(k)$ (anillo de vectores de Witt). Construyen una familia plana polarizada $\mathcal{S}$ sobre $W(k)$ tal que la fibra especial es la superficie original $S_0 = S$ y la fibra genérica $S_\eta$ vive sobre un campo de característica cero. Esto permite "levantar" el problema a un contexto donde se pueden aplicar teoremas de comparación.

• Teoremas de Comparación (Artin y Grothendieck):
  Para trasladar resultados de cohomología singular (válidos en $\mathbb{C}$) al contexto de cohomología étale en característica positiva, utilizan:

  • Teorema de Comparación de Artin: Establece un isomorfismo entre la cohomología singular y la cohomología étale para variedades sobre $\mathbb{C}$.
  • Teorema de Comparación de Levantamiento: Permite isomorfismos entre la cohomología étale de la fibra especial (car. $p$) y la fibra genérica (car. 0).

• Argumentos de Contabilidad y Puntos Genéricos:
  Se aprovecha la hipótesis de que $k$ es no numerable. Se utilizan lemas de contabilidad para demostrar que ciertos subconjuntos (como uniones contables de subvariedades cerradas) no pueden cubrir toda la variedad, permitiendo definir propiedades para "puntos muy generales" (very general points) mediante conjuntos abiertos $c$-abiertos (complementos de uniones contables de cerrados de Zariski).

• Teoría de Grupos Fundamentales y Monodromía:
  Para la parte (b) del teorema, se analiza la acción del grupo fundamental étale $\pi_1$ sobre los ciclos de vanishing. Se demuestra que la acción de monodromía es irreducible, lo que restringe drásticamente las posibles subrepresentaciones en la cohomología.

• Teorema de Isogenía de Tate:
  Se utiliza la conjetura de Tate (probada por Tate y Zarhin para campos finitamente generados) para relacionar las inclusiones de cohomología $\ell$-ádica con subvariedades abelianas y endomorfismos, sustituyendo la teoría de Hodge como herramienta de clasificación.

3. Contribuciones Clave

1. Generalización de Característica Positiva: Se demuestra que la estructura del núcleo de Gysin no depende de la característica del campo base, extendiendo resultados clásicos de $\mathbb{C}$ a cualquier campo algebraicamente cerrado no numerable de característica $p > 0$.
2. Sustitución de la Teoría de Hodge: Se provee un marco riguroso que reemplaza los argumentos analíticos de Hodge por argumentos puramente algebraicos y aritméticos (cohomología étale, levantamiento y teoremas de Tate).
3. Validación de la Representabilidad: Se confirma que las propiedades de representabilidad de los grupos de Chow $CH_0(X)_{\deg=0}$ y la existencia de mapas regulares hacia variedades de Albanese se mantienen en este contexto general.
4. Análisis de la Acción de Monodromía: Se establece la conexión entre la irreducibilidad de la representación de los ciclos de vanishing y la estructura del núcleo de Gysin en característica positiva, utilizando el grupo fundamental étale.

4. Resultados Principales

El teorema principal (Teorema 7.6) establece que para una superficie proyectiva suave $S$ sobre un campo $k$ (no numerable, char $p > 0$) y una familia de secciones hiperplanas suaves parametrizada por $U$:

• Parte (a): Para cada $t \in U$, existe una subvariedad abeliana $A_t \subset B_t \subset J_t$ tal que el núcleo de Gysin $G_t$ es la unión contable de traslados de $A_t$.
  $$G_t = \bigcup_{\text{contable}} (x + A_t)$$
  Además, se demuestra que $A_t$ es efectivamente una subvariedad de $B_t$ utilizando el Teorema de Isogenía de Tate y la inclusión de representaciones $\ell$-ádicas.

• Parte (b): Para un punto muy general $t \in U$ (es decir, para todo $t$ en un subconjunto abierto $c$-abierto de $U$), se cumple una dicotomía estricta:
  $$A_t = 0 \quad \text{o} \quad A_t = B_t$$
  Esto significa que el núcleo de Gysin es o bien trivial (en el sentido de la componente abeliana no trivial) o bien coincide completamente con la parte de cohomología de vanishing.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Unificación de la Geometría Algebraica: Refuerza el principio de Lefschetz, demostrando que las propiedades profundas de las variedades algebraicas (como la estructura de sus grupos de Chow) son independientes de la característica del campo base, siempre que se utilicen las herramientas adecuadas (cohomología étale en lugar de singular).
• Avance en la Teoría de Ciclos: Proporciona una comprensión más completa de la relación entre equivalencia racional, homológica y algebraica en característica positiva, un área donde los resultados a menudo son más difíciles de obtener que en característica cero.
• Herramientas para Futuras Investigaciones: La metodología de combinar levantamiento a característica cero con teoremas de comparación y argumentos de monodromía ofrece un modelo para atacar otros problemas abiertos en geometría aritmética y teoría de ciclos en característica positiva.
• Resolución de Conjeturas Implícitas: Al confirmar que las tres suposiciones utilizadas por Banerjee y Guletski˘i (y probadas por los autores en [20] para $\mathbb{C}$) se mantienen en característica positiva, se cierra un ciclo importante en la investigación sobre el núcleo de Gysin.

En resumen, el artículo logra trasladar un resultado profundo de la geometría compleja al ámbito de la característica positiva, utilizando una ingeniería algebraica sofisticada que evita la dependencia de la teoría de Hodge, consolidando así la robustez de la teoría de ciclos algebraicos en todos los campos algebraicamente cerrados no numerables.