Dichotomy for the p-primary Brauer-Manin obstruction in characteristic p

Sintesi Tecnica: Dicotomia per l'ostruzione di Brauer–Manin $p$-primaria in Caratteristica $p$

Enunciato del Problema
Il saggio investiga il comportamento dell'ostruzione di Brauer–Manin $p$-primaria per varietà lisce, proiettive e geometricamente integrali $X$ su un campo di funzioni globale $k$ di caratteristica $p > 0$. Nello specifico, affronta la questione di quali luoghi $v$ di $k$ siano "potenzialmente rilevanti" per l'ostruzione di Brauer–Manin $p$-primaria. Un luogo è potenzialmente rilevante se esiste una estensione finita $L/k$, un luogo $w$ di $L$ su $v$, e un elemento $A \in \text{Br}(X_L)$ tale che la mappa di valutazione $\text{ev}_A: X(L_w) \to \text{Br}(L_w)$ sia non costante.

Questa ricerca è motivata dai recenti risultati nel caso dei campi numerici (Bright e Newton; Ambrosi, Newton e Pagano), i quali mostrano che se $H^0(X, \Omega^2) \neq 0$, allora quasi ogni luogo è potenzialmente rilevante. Gli autori cercano di determinare se esista una dicotomia analoga in caratteristica positiva, in particolare riguardo al ruolo della parte unipotente del gruppo di Brauer.

Inquadramento Matematico e Metodologia
L'analisi si basa sulla struttura del sottogruppo di torsione $p$-primaria del gruppo di Brauer geometrico, $\text{Br}(X_{\bar{k}})[p^\infty]$. Seguendo Milne e Serre, il quoziente di questo gruppo per il suo sottogruppo divisibile viene identificato con i punti $\bar{k}$ di un gruppo quasi-algebrico $G_X$. Questo gruppo $G_X$ è un'estensione di un gruppo étale finito $D_X$ da un gruppo unipotente liscio connesso $U_X$. Gli autori definiscono $U_X$ come il gruppo di Brauer unipotente di $X$.

La metodologia combina due strumenti tecnici primari:

1. Rappresentabilità della Coomologia Piatta: Il saggio utilizza i risultati di rappresentabilità generica di Bragg e Olsson [BO] per i fasci di coomologia piatta $R^q\pi_*\mu_{p^n}$ associati a un'estensione (spreading out) $\pi: \mathcal{X} \to C$ della varietà $X$.
2. Filtrazione di Valutazione: Per il caso in cui $U_X \neq 0$, gli autori impiegano i recenti risultati di Krishna e Majumder [KM] riguardanti la filtrazione di Kato sul gruppo di Brauer locale in equicaratteristica $p$. Questa filtrazione permette la caratterizzazione degli elementi nel gruppo di Brauer che producono mappe di valutazione non costanti.

Le dimostrazioni comportano la costruzione di modelli lisci $\pi: \mathcal{X} \to C$ su una curva $C$ con campo di funzioni $k$ e l'analisi del comportamento dei fasci $R^2\pi_*\mu_{p^n}$ e $R^3\pi_*\mu_{p^n}$ su $C$. La dimensione di $U_X$ è correlata ai pendoli (slopes) dei gruppi di coomologia cristallina di $X_{\bar{k}}$.

Contributi Chiave e Risultati
Il risultato centrale è una dicotomia basata sulla scomparsa del gruppo di Brauer unipotente $U_X$:

• Teorema A (i): Se $U_X = 0$ e lo schema di Picard di $X$ è privo di $p$-torsione, allora solo finiti luoghi di $k$ sono potenzialmente rilevanti per l'ostruzione di Brauer–Manin $p$-primaria. In questo caso, l'insieme dei luoghi potenzialmente rilevanti è contenuto nell'insieme dei luoghi dove un'estensione liscia $\pi: \mathcal{X} \to C$ fallisce nel possedere la proprietà che $R^2\pi_*\mu_p$ sia uno schema in gruppo piatto finito e $R^3\pi_*\mu_p$ sia uno schema in gruppo affine.
• Teorema A (ii): Se $U_X \neq 0$, allora quasi tutti i luoghi di $k$ sono potenzialmente rilevanti per l'ostruzione di Brauer–Manin $p$-primaria. La dimostrazione mostra che per ogni luogo $v$ nel supporto di un modello idoneo, è possibile costruire una classe di Brauer la cui mappa di valutazione è non costante, sfruttando la non trivialità dello schema in gruppo unipotente $R^2\pi_*\mu_p$.

Corollari e Casi Speciali:

• Corollario B: Combinando il risultato $p$-primario con i noti risultati $\ell$-primari ($\ell \neq p$), se $U_X = 0$ e lo schema di Picard è privo di torsione, solo finiti luoghi sono rilevanti per la piena ostruzione di Brauer–Manin.
• Varietà Costanti (Teorema C): Se $X$ è definita su un campo finito $\mathbb{F}$ (ovvero $X$ è una varietà costante su $k$):
  • Se $U_X = 0$ e lo schema di Picard è privo di torsione, l'accoppiamento di Brauer–Manin è identicamente nullo.
  • Se $U_X \neq 0$, ogni luogo di $k$ è potenzialmente rilevante.
• Gruppo di Brauer Geometricamente Privo di $p$-torsione (Proposizione 4.1): Se $\text{Br}(X_{\bar{k}})[p^\infty] = 0$ (il che implica $U_X=0$), qualsiasi luogo dove $X$ ha riduzione buona non è potenzialmente rilevante. Il saggio fornisce esempi di superfici K3 non isotriviali che soddisfano tali condizioni, mostrando che questo caso è distinto dal caso della varietà costante.

Significato e Rivendicazioni
Il saggio sostiene di aver stabilito una dicotomia fondamentale nel comportamento dell'ostruzione di Brauer–Manin in caratteristica positiva, guidata dalla presenza o assenza del gruppo di Brauer unipotente.

• Quando $U_X = 0$, l'ostruzione è "piccola" nel senso che solo un insieme finito di luoghi può ostacolare il principio di Hasse tramite la parte $p$-primaria.
• Quando $U_X \neq 0$, l'ostruzione è "grande", ovvero quasi tutti i luoghi sono potenzialmente rilevanti.

Gli autori osservano che, sebbene l'esistenza della curva $C$ richiesta per le dimostrazioni sia garantita da Bragg–Olsson, la determinazione precisa dell'insieme eccetto dei luoghi è generalmente difficile da rendere esplicita, tranne in casi specifici come le varietà costanti o quelle con riduzione buona. Il lavoro estende la comprensione dell'ostruzione di Brauer–Manin dai campi numerici ai campi di funzioni globali, evidenziando il ruolo distinto dei fenomeni unipotenti in caratteristica $p$.