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

Resumo Técnico: Grupos de Néron–Severi de Esquemas Próprios sobre Campos Finitos

Enunciado do Problema
O artigo aborda a caracterização do grupo de Néron–Severi $NS(X)$ para esquemas reduzidos próprios $X$ sobre um campo finito $k = \mathbb{F}_q$. No contexto de variedades complexas suaves e projetivas, o teorema de Lefschetz $(1,1)$ identifica $NS(X)$ com as classes $(1,1)$ integrais em $H^2(X, \mathbb{Z})$. Para variedades complexas singulares, essa identificação falha; no entanto, para variedades seminormais próprias, a interseção do nível da filtração de Hodge $F^1$ com o subgrupo das classes localmente triviais de Zariski recupera corretamente $NS(X)$ (um resultado de Barbieri-Viale, Rosenschon e Srinivas).

Sobre campos finitos, o problema análogo envolve a cohomologia $\ell$-ádica $H^2_{\text{\'et}}(X, \mathbb{Z}_\ell(1))$ (onde $\ell \neq \text{char}(k)$). Os autores investigam se $NS(X) \otimes \mathbb{Z}_\ell$ pode ser caracterizado por uma única condição de pesos dentro do subgrupo das classes localmente triviais de Zariski, sem assumir que o esquema seja seminormal ou irredutível.

Metodologia e Estratégia
A estratégia de prova baseia-se em um argumento de descida via hipercoberturas suaves e próprias, adaptado ao cenário aritmético de campos finitos.

1. Isomorfismo Racional via Cohomologia de Zariski: Os autores definem um invariante racional $H^1_{\text{Zar}}(X, H^1)$, onde $H^1$ é o feixe de Zariski associado ao pré-feixe $U \mapsto H^1_{\text{\'et}}(U, \mathbb{Q}_\ell(1))$. Eles visam provar um isomorfismo:
   $$NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
   onde o sobrescrito $w=0$ denota o subespaço no qual o Frobenius geométrico atua com autovalores de valor absoluto 1 (peso zero).

2. Descida via Hipercoberturas: A prova procede primeiro estabelecendo o resultado para esquemas suaves e próprios (onde segue da teoria de Bloch–Ogus) e, em seguida, estendendo-o para esquemas reduzidos próprios arbitrários via uma hipercobertura suave e própria $\pi_\bullet: X_\bullet \to X$.

   • Classe de Ciclo Simplicial: Eles constroem uma classe de ciclo simplicial e analisam a sequência espectral esquelética associada à hipercobertura.
   • Decomposição de Peso: Um passo crucial envolve a separação dos componentes de peso. Os autores mostram que o núcleo e o cocorel dos mapas relevantes são puros de peso $-2$ ou $-1$, garantindo que as partes de peso zero se comportem bem sob a descida.

3. Ferramentas Topológicas:

   • topologia sdh: Para lidar com a transição de esquemas arbitrários para seminormais, os autores utilizam a topologia sdh (gerada por coberturas étalas e morfismos próprios com extensões de corpos residuais separáveis). Eles utilizam os resultados de Huber–Kelly para mostrar que, em um esquema seminormal, a eseficificação do feixe de unidades para a topologia $sdh$ recupera as unidades da seminormalização.
   • descida v: Para a descida de feixes de linhas (grupos de Picard) em característica $p$, os autores empregam a $v$-descida de Bhatt–Scholze para feixes vetoriais. Isso permite estabelecer que o grupo de Picard de um esquema é isomorfo ao equalizador dos grupos de Picard de uma hipercobertura suave e própria após o tensor com $\mathbb{Q}_\ell$.
   • Seminormalização: Os autores reduzem o caso geral ao caso seminormal mostrando que o pullback ao longo do mapa de seminormalização $\rho: X^{sn} \to X$ induz um isomorfismo em $NS(X) \otimes \mathbb{Q}_\ell$. Isso se baseia no fato de que o cocorel do mapa de feixe de unidades é anulado por uma potência de $p$, o que desaparece ao realizar o tensor com $\mathbb{Q}_\ell$ (visto que $\ell \neq p$).

Principais Contribuições e Resultados

• Teorema Principal (Teorema 3.4): Para um esquema reduzido próprio $X$ sobre um campo finito $k$, o mapa de classe de ciclo $\ell$-ádica induz um isomorfismo $G_k$-equivariante:
  $$c_1: NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
  Aqui, $H^1_{\text{Zar}}(X, H^1)^{w=0}$ é o subespaço de peso zero da cohomologia de Zariski do feixe $H^1$.

• Caracterização Integral (Corolário 3.6): O teorema principal refina-se para uma afirmação integral. A primeira classe de Chern identifica $NS(X) \otimes \mathbb{Z}_\ell$ com o subgrupo das classes localmente triviais de Zariski em $H^2_{\text{\'et}}(X, \mathbb{Z}_\ell(1))$ cuja imagem em $H^2_{\text{\'et}}(X, \mathbb{Q}_\ell(1))$ possui peso zero:
  $$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{\'et}}(X, \mathbb{Q}_\ell(1))^{w=0} \right\}$$

• Relação com a Conjectura de Tate: O artigo observa que, se a conjectura de Tate para divisores for válida para variedades suaves e próprias (identificando $NS(Y) \otimes \mathbb{Q}_\ell$ com a parte de ordem finita da cohomologia etala), então o teorema principal estende essa identificação para todos os esquemas reduzidos próprios:
  $$NS(X) \otimes \mathbb{Q}_\ell \cong H^2_{\text{\'et}}(X, \mathbb{Q}_\ell(1))_{\text{fo}}$$

• Necessidade de Condições: Os autores fornecem exemplos demonstrando que ambas as condições — ser localmente trivial de Zariski e possuir peso zero — são necessárias.

  • Sem a condição de trivialidade local de Zariski, o subespaço de peso zero de $H^2_{\text{\'et}}$ pode ser estritamente maior que $NS(X) \otimes \mathbb{Q}_\ell$ (por exemplo, para superfícies abelianas não supersingulares ou superfícies K3).
  • Sem a condição de peso zero, $H^1_{\text{Zar}}(X, H^1)$ pode conter somandos de peso $(-1)$ não nulos mesmo para superfícies projetivas normais (Exemplo 8.11).

Significância
O artigo estabelece um análogo em campos finitos de um teorema de Barbieri-Viale, Rosenschon e Srinivas para variedades complexas. Sua principal significância reside na remoção de hipóteses restritivas: ao contrário do caso complexo onde a seminormalidade é necessária, este resultado é válido para todos os esquemas reduzidos próprios sobre campos finitos. Os autores alcançam isso utilizando ferramentas específicas da característica $p$, como a $v$-descida e a topologia $sdh$, para contornar a necessidade de seminormalidade. O trabalho fornece uma caracterização cohomológica precisa do grupo de Néron–Severi em termos de filtrações de peso e trivialidade local, unificando a descrição de ciclos algébricos através de diferentes contextos geométicos.