Cohomological Obstructions for Varieties over $p$-adic Function Fields

Sintesi Tecnica: Ostruzioni Coomologiche per Varietà su Campi Funzionali $p$-adici

Enunciato del Problema
Il saggio affronta l'aritmetica di varietà integrali lisce definite su campi funzionali $p$-adici (campi funzionali di curve proiettive lisce su campi $p$-adici). Nello specifico, investiga le ostruzioni al principio locale-globale e alla approssimazione debole. Mentre l'ostruzione di Brauer–Manin è ben compresa sui campi numerici, il saggio cerca di stabilire una teoria sistematica delle ostruzioni sui campi funzionali $p$-adici. Una questione centrale consiste nell'identificare l'ostruzione "più fine" derivante dalle dualità aritmetiche e nel determinare se l'ostruzione coomologica non ramificata fornisca un vincolo più forte rispetto alla classica ostrazione di Manin (definita tramite $H^3_{\text{ét}}$) o alle ostrazioni di discesa.

Metodologia
L'autore impiega una combinazione di coomologia étale, complessi motivici e teorie di dualità aritmetica.

1. Framework Coomologico: Lo studio utilizza lo sheaf étale $\mathbb{Q}/\mathbb{Z}(2)$ e i complessi motivici $\mathbb{Z}(2)$. Il saggio definisce le ostrazioni tramite accoppiamenti tra punti adelici $X(\mathbb{A})$ e gruppi coomologici, specificamente $H^3_{\text{ét}}(X, \mathbb{Q}/\mathbb{Z}(2))$ (ostruzione di Manin) e il gruppo di coomologia non ramificata $H^3_{\text{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$.
2. Approccio Funzoriale: Le ostrazioni sono costruite utilizzando funtori contravarianti dalla categoria degli schemi $K$ agli insiemi, confrontando l'immagine dei punti adelici sotto mappe di valutazione rispetto alle condizioni di compatibilità locale-globale.
3. Spéciali di Sequenze: La sequenza spettrale di Čech e la sequenza spettrale di Hochschild–Serre sono utilizzate per calcolare i gruppi di coomologia per specifiche costruzioni geometriche, in particolare per i quozienti di spazi affini per azioni di gruppi.
4. Invarianti Coomologici: Il saggio sfrutta la teoria degli invarianti coomologici (specificamente l'invariante di Rost) per identificare i gruppi di coomologia non ramificata con i gruppi di invarianti per gruppi semi-semplici semplicemente connessi.
5. Dualità Aritmetiche: L'analisi si basa sulle sequenze di Poitou–Tate e sugli invarianti locali (isomorfismi tra $H^3(K_v, \Lambda)$ e $\mathbb{Q}/\mathbb{Z}$) per stabilire sequenze esatte e accoppiamenti di dualità.

Contributi Chiave e Risultati

• Confronto tra Ostruzioni (Teorema 1.1):
  Il saggio stabilisce una gerarchia tra le ostrazioni coomologiche. Dimostra che per una varietà $K$-integrale liscia $X$ e un gruppo algebrico lineare commutativo $K$-$M$:

  • L'ostruzione non ramificata è più fine dell'ostruzione di Manin: $X(\mathbb{A})^{H^3_{\text{nr}}} \subseteq X(\mathbb{A})^{H^3_{\text{ét}}}$.
  • L'ostruzione non ramificata è più fine delle ostrazioni derivanti da qualsiasi elemento $\alpha \in H^i_{\text{ét}}(X, M)$ per $i \ge 1$.
  • Per $M$ finito, l'ostruzione non ramificata è più fine delle ostrazioni derivanti da classi di coomologia non ramificate.
  • Il saggio dimostra che l'ostruzione non ramificata coincide con l'ostruzione definita da $H^4_{\text{ét}}(X, \mathbb{Z}(2))$ tramite complessi motivici.

• Esistenza di un'Ostruzione Non Ramificata Strettamente Più Forte (Teorema 1.2):
  L'autore costruisce un esempio esplicito di una varietà $X = Y/G$ (dove $G$ è un gruppo semi-semplice semplicemente connesso che agisce liberamente su un sottoinsieme aperto di uno spazio affine) tale che:

  • L'ostruzione di Manin è banale ($X(\mathbb{A})^{H^3_{\text{ét}}} = X(\mathbb{A})$).
  • L'ostruzione non ramificata è non banale ($X(\mathbb{A})^{H^3_{\text{nr}}} \subsetneq X(\mathbb{A})$).
    Questo risultato si basa sulle proprietà dell'invariante di Rost $R$ e sull'esistenza di luoghi $v$ dove $H^1(K_v, G) \neq 1$ ma il kernel di Rost è banale.

• Relazione con le Ostruzioni di Discesa (Teorema 1.3):
  Il saggio confronta l'ostruzione non ramificata con l'ostruzione di discesa. Dimostra che per un gruppo lineare $K$-$G$ immerso in $SL_n$, le seguenti condizioni sono equivalenti:

  • L'ostruzione non ramificata sul quoziente $X = SL_n/G$ coincide con l'insieme dei punti adelici generati da $SL_n(\mathbb{A})$ e dai punti razionali $X(K)$.
  • Per ogni varietà integra liscia $Z$ e ogni $G$-torsore $f: Y \to Z$, l'ostruzione non ramificata è contenuta nell'ostruzione di discesa ($Z(\mathbb{A})^{H^3_{\text{nr}}} \subseteq Z(\mathbb{A})_f$).
    La prova utilizza prodotti controiti e l'isomorfismo della coomologia non ramificata sotto twist di torsori.

Significatività e Rivendicazioni
Il saggio rivendica di fornire una comprensione sistematica della teoria delle ostrazioni sui campi funzionali $p$-adici, analogamente agli sviluppi sui campi numerici.

• Raffinatezza delle Ostruzioni: Identifica l'ostruzione non ramificata come la più fine tra quelle derivanti dalle dualità aritmetiche e dai gruppi di Brauer in questo contesto.
• Controesempio: Risolve la questione se l'ostruzione non ramificata sia strettamente più forte dell'ostruzione di Manin fornendo un controesempio concreto in cui l'ostruzione di Manin fallisce nel rilevare un fallimento del principio locale-globale, mentre l'ostruzione non ramificata vi riesce.
• Connessione Motivica: Chiarisce la relazione tra diversi gradi coomologici ($H^3_{\text{nr}}$ vs. $H^4_{\text{ét}}$) tramite complessi motivici, mostrando che definiscono lo stesso insieme di ostrazione.
• Limitazioni: Il saggio nota con modestia che un confronto completo con la generale ostrazione di discesa è attualmente limitato dalla mancanza di una generalizzazione adeguata della sequenza esatta di Kottwitz per i campi funzionali $p$-adici.

Il lavoro si basa e amplia studi precedenti di Harari, Scheiderer, Szamuely, Tian e altri riguardanti i principi locali-globali per gruppi riduttivi, e si connette alle congetture di Colliot-Thélène sull'approssimazione debole.