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

Sintesi Tecnica: Gruppi di Néron–Severi di Schemi Propri su Campi Finiti

Enunciato del Problema
Il saggio affronta la caratterizzazione del gruppo di Néron–Severi $NS(X)$ per schemi propri ridotti $X$ su un campo finito $k = \mathbb{F}_q$. Nel contesto di varietà complesse lisce e proiettive, il teorema $(1,1)$ di Lefschetz identifica $NS(X)$ con le classi $(1,1)$ integrali in $H^2(X, \mathbb{Z})$. Per varietà complesse singolari, questa identificazione fallisce; tuttavia, per varietà propriamente seminormali, l'intersezione del livello della filtrazione di Hodge $F^1$ con il sottogruppo delle classi localmente triviali in senso Zariski recupera correttamente $NS(X)$ (un risultato di Barbieri-Viale, Rosenschon e Srinivas).

Su campi finiti, il problema analogo riguarda la coomologia $\ell$-adica $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$ (dove $\ell \neq \text{char}(k)$). Gli autori indagano se $NS(X) \otimes \mathbb{Z}_\ell$ possa essere caratterizzato da una singola condizione sui pesi all'interno del sottogruppo delle classi localmente triviali in senso Zariski, senza assumere che lo schema sia seminormale o irriducibile.

Metodologia e Strategia
La strategia di prova si basa su un argomento di discesa tramite ipercopertura lisce e proprie, adattato al contesto aritmetico dei campi finiti.

1. Isomorfismo Razionale tramite Coomologia Zariski: Gli autori definiscono un invariante razionale $H^1_{\text{Zar}}(X, H^1)$, dove $H^1$ è il fascio Zariski associato al prefascio $U \mapsto H^1_{\text{ét}}(U, \mathbb{Q}_\ell(1))$. Mirano a dimostrare un isomorfismo:
   $$NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
   dove l'apice $w=0$ denota il sottospazio su cui il Frobenius geometrico agisce con autovalori di valore assoluto 1 (peso zero).

2. Discesa tramite Ipercoperture: La prova procede stabilendo prima il risultato per schemi lisci e propri (dove segue dalla teoria di Bloch–Ogus) e poi estendendolo a schemi propri ridotti arbitrari tramite un'ipercopertura liscia e propria $\pi_\bullet: X_\bullet \to X$.

   • Classe di Ciclo Simpliciale: Costruiscono una classe di ciclo simpliciale e analizzano la successione spettrale scheletrica associata all'ipercopertura.
   • Decomposizione dei Pesi: Un passaggio cruciale consiste nel separare le componenti di peso. Gli autori dimostrano che il nucleo e il cokernel delle mappe rilevanti sono puri di peso $-2$o$-1$, garantendo che le parti di peso zero si comportino bene sotto discesa.

3. Strumenti Topologici:

   • topologia sdh: Per gestire la transizione da schemi arbitrari a quelli seminormali, gli autori utilizzano la topologia sdh (generata da coperture etale e morfismi propri con estensioni di campo residuo separabili). Utilizzano i risultati di Huber–Kelly per mostrare che su uno schema seminormale, la sdh-fascificazione delle unità recupera le unità della seminormalizzazione.
   • v-discesa: Per la discesa dei fasci lineari (gruppi di Picard) in caratteristica $p$, gli autori impiegano la $v$-discesa di Bhatt–Scholze per i fasci vettoriali. Ciò permette di stabilire che il gruppo di Picard di uno schema è isomorfo al l'equalizzatore dei gruppi di Picard di un'ipercopertura liscia e propria dopo l'estensione tensoriale con $\mathbb{Q}_\ell$.
   • Seminormalizzazione: Gli autori riducono il caso generale al caso seminormale mostrando che il pullback lungo la mappa di seminormalizzazione $\rho: X^{sn} \to X$ induce un isomorfismo su $NS(X) \otimes \mathbb{Q}_\ell$. Ciò si basa sul fatto che il cokernel della mappa del fascio delle unità è annullato da una potenza di $p$, che svanisce mediante l'estensione tensoriale con $\mathbb{Q}_\ell$ (poiché $\ell \neq p$).

Contributi Principali e Risultati

• Teorema Principale (Teorema 3.4): Per uno schema proprio ridotto $X$ su un campo finito $k$, la mappa di classe di ciclo $\ell$-adica 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}$$
  Qui, $H^1_{\text{Zar}}(X, H^1)^{w=0}$ è il sottospazio di peso zero della coomologia Zariski del fascio $H^1$.

• Caratterizzazione Integrale (Corollario 3.6): Il teorema principale si rifina in un'affermazione integrale. La prima classe di Chern identifica $NS(X) \otimes \mathbb{Z}_\ell$ con il sottogruppo delle classi localmente triviali in senso Zariski in $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$ la cui immagine in $H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))$ ha 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{ét}}(X, \mathbb{Q}_\ell(1))^{w=0} \right\}$$

• Relazione con la Congettura di Tate: Il saggio nota che se la congettura di Tate per i divisori è valida per le varietà lisce e proprie (identificando $NS(Y) \otimes \mathbb{Q}_\ell$ con la parte di ordine finito della coomologia etale), allora il teorema principale estende questa identificazione a tutte le varietà proprie ridotte:
  $$NS(X) \otimes \mathbb{Q}_\ell \cong H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))_{\text{fo}}$$

• Necessità delle Condizioni: Gli autori forniscono esempi che dimostrano come sia la condizione di trivialità locale in senso Zariski, sia la condizione di peso zero siano necessarie.

  • Senza la condizione di trivialità locale in senso Zariski, il sottospazio di peso zero di $H^2_{\text{ét}}$ può essere strettamente più grande di $NS(X) \otimes \mathbb{Q}_\ell$ (ad esempio, per superfici abeliane non supersingolari o superfici K3).
  • Senza la condizione di peso zero, $H^1_{\text{Zar}}(X, H^1)$ può contenere sommande non nulle di peso $(-1)$ anche per superfici proiettive normali (Esempio 8.11).

Significato
Il saggio stabilisce un analogo in campi finiti di un teorema di Barbieri-Viale, Rosenschon e Srinivas per le varietà complesse. Il suo significato primario risiede nella rimozione di ipotesi restrittive: a differenza del caso complesso dove la seminormalità è richiesta, questo risultato è valido per tutti gli schemi propri ridotti su campi finiti. Gli autori ottengono ciò sfruttando strumenti specifici della caratteristica $p$, come la $v$-discesa e la topologia sdh, per bypassare la necessità della seminormalità. Il lavoro fornisce una precisa caratterizzazione coomologica del gruppo di Néron–Severi in termini di filtri di peso e trivialità locale, unificando la descrizione dei cicli algebrici attraverso diversi contesti geometrici.