Néron--Severi groups of proper schemes over finite fields

Resumen Técnico: Grupos de Néron–Severi de Esquemas Propios sobre Campos Finitos

Planteamiento del Problema
El artículo aborda la caracterización del grupo de Néron–Severi $NS(X)$ para esquemas propios reducidos $X$ sobre un campo finito $k = \mathbb{F}_q$. En el contexto de variedades complejas suaves y proyectivas, el teorema de Lefschetz $(1,1)$ identifica $NS(X)$ con las clases $(1,1)$ integrales en $H^2(X, \mathbb{Z})$. Para variedades complejas singulares, esta identificación falla; sin embargo, para variedades seminormales propias, la intersección del nivel de la filtración de Hodge $F^1$ con el subgrupo de clases localmente triviales en el sentido de Zariski recupera correctamente $NS(X)$ (un resultado de Barbieri-Viale, Rosenschon y Srinivas).

Sobre campos finitos, el problema análogo involucra la cohomología $\ell$-ádica $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$ (donde $\ell \neq \text{char}(k)$). Los autores investigan si $NS(X) \otimes \mathbb{Z}_\ell$ puede caracterizarse mediante una única condición sobre los pesos dentro del subgrupo de clases localmente triviales en el sentido de Zariski, sin asumir que el esquema sea seminormal o irreducible.

Metodología y Estrategia
La estrategia de prueba se basa en un argumento de descenso mediante hipercubiertas suaves y propias, adaptado al entorno aritmético de los campos finitos.

1. Isomorfismo Racional vía Cohomología de Zariski: Los autores definen un invariante racional $H^1_{\text{Zar}}(X, H^1)$, donde $H^1$ es el haz de Zariski asociado al prehaz $U \mapsto H^1_{\text{ét}}(U, \mathbb{Q}_\ell(1))$. Su objetivo es demostrar un isomorfismo:
   $$NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
   donde el superíndice $w=0$ denota el subespacio sobre el cual el Frobenius geométrico actúa con autovalores de valor absoluto 1 (peso cero).

2. Descenso mediante Hipercubiertas: La prueba procede estableciendo primero el resultado para esquemas suaves y propios (donde sigue de la teoría de Bloch–Ogus) y luego extendiéndolo a esquemas propios reducidos arbitrarios mediante una hipercubierta suave y propia $\pi_\bullet: X_\bullet \to X$.

   • Clase de Ciclo Simplicial: Construyen una clase de ciclo simplicial y analizan la sucesión espectral esquelética asociada a la hipercubierta.
   • Descomposición de Pesos: Un paso crucial consiste en separar los componentes de peso. Los autores demuestran que el núcleo y el cociente de los mapas relevantes son puros de peso $-2$o$-1$, asegurando que las partes de peso cero se comporten bien bajo el descenso.

3. Herramientas Topológicas:

   • topología $sdh$: Para manejar la transición de esquemas arbitrarios a seminormales, los autores utilizan la topología $sdh$ (generada por cubiertas étale y morfismos propios con extensiones de cuerpos residuales separables). Utilizan los resultados de Huber–Kelly para mostrar que, en un esquema seminormal, la seminormalización del haz de unidades recupera las unidades de la seminormalización.
   • descenso $v$: Para el descenso de fibrados lineales (grupos de Picard) en característica $p$, los autores emplean el descenso $v$ de Bhatt–Scholze para fibrados vectoriales. Esto les permite establecer que el grupo de Picard de un esquema es isomorfo al igualador de los grupos de Picard de una hipercubierta suave y propia tras tensar con $\mathbb{Q}_\ell$.
   • Seminormalización: Reducen el caso general al caso seminormal mostrando que la tracción a lo largo del mapa de seminormalización $\rho: X^{sn} \to X$ induce un isomorfismo en $NS(X) \otimes \mathbb{Q}_\ell$. Esto se basa en el hecho de que el cociente del mapa del haz de unidades es anulado por una potencia de $p$, lo cual desaparece al tensar con $\mathbb{Q}_\ell$ (dado que $\ell \neq p$).

Contribuciones y Resultados Clave

• Teorema Principal (Teorema 3.4): Para un esquema propio reducido $X$ sobre un campo finito $k$, la clase de ciclo $\ell$-ádica induce un isomorfismo $G_k$-equivariante:
  $$c_1: NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
  Aquí, $H^1_{\text{Zar}}(X, H^1)^{w=0}$ es el subespacio de peso cero de la cohomología de Zariski del haz $H^1$.

• Caracterización Integral (Corolario 3.6): El teorema principal se refina hacia una afirmación integral. La primera clase de Chern identifica $NS(X) \otimes \mathbb{Z}_\ell$ con el subgrupo de clases localmente triviales en el sentido de Zariski en $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$ cuya imagen en $H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))$ tiene peso cero:
  $$NS(X) \otimes \mathbb{Z}_\ell \xrightarrow{\sim} \left\{ \alpha \in H^2_{\text{ZL}}(X, \mathbb{Z}_\ell(1)) : \alpha \otimes \mathbb{Q}_\ell \in H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))^{w=0} \right\}$$

• Relación con la Conjetura de Tate: El artículo señala que si la conjetura de Tate para divisores se cumple para variedades suaves y propias (identificando $NS(Y) \otimes \mathbb{Q}_\ell$ con la parte de orden finito de la cohomología étale), entonces el teorema principal extiende esta identificación a todas las variedades propias reducidas:
  $$NS(X) \otimes \mathbb{Q}_\ell \cong H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))_{\text{fo}}$$

• Necesidad de las Condiciones: Los autores proporcionan ejemplos que demuestran que ambas condiciones —ser localmente trivial en el sentido de Zariski y tener peso cero— son necesarias.

  • Sin la condición de trivialidad local de Zariski, el subespacio de peso cero de $H^2_{\text{ét}}$ puede ser estrictamente mayor que $NS(X) \otimes \mathbb{Q}_\ell$ (por ejemplo, para superficies abelianas no supersingulares o superficies K3).
  • Sin la condición de peso cero, $H^1_{\text{Zar}}(X, H^1)$ puede contener sumandos de peso $(-1)$ no nulos incluso para superficies proyectivas normales (Ejemplo 8.11).

Significado
El artículo establece un análogo en campos finitos de un teorema de Barbieri-Viale, Rosenschon y Srinivas para variedades complejas. Su principal significación radica en la eliminación de hipótesis restrictivas: a diferencia del caso complejo donde se requiere la seminormalidad, este resultado es válido para todos los esquemas propios reducidos sobre campos finitos. Los autores logran esto aprovechando herramientas específicas de la característica $p$, tales como el descenso $v$ y la topología $sdh$, para eludir la necesidad de la seminormalidad. El trabajo proporciona una caracterización cohomológica precisa del grupo de Néron–Severi en términos de filtraciones de peso y trivialidad local, unificando la descripción de los ciclos algebraicos a través de diferentes contextos geométicos.