Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

Sintesi Tecnica: Insufficienza dell'ostruzione di Brauer–Manin algebrica per gli spazi omogenei

Enunciato del Problema
Il saggio affronta il fallimento del principio di Hasse (principio locale-globale) per i punti razionali su varietà algebriche. Nello specifico, investiga se l'ostruzione di Brauer–Manin, un meccanismo coomologico introdotto da Manin, sia sufficiente a spiegare tutti tali fallimenti per gli spazi omogenei di gruppi algebrici lineari connessi.

Sebbene la sufficienza dell'ostruzione di Brauer–Manin sia stabilita per varietà con geometria "mite" (ad esempio, varietà geometricamente connesse razionalmente) e per spazi omogenei con stabilizzatori connessi o commutativi, il caso di stabilizzatori finiti non abeliani rimane in gran parte aperto. Lavori precedenti di Demarche, Lucchini Arteche, Neftin, Demeio e Lagarde hanno dimostrato che l'ostruzione di Braver–Manin algebrica è insufficiente per l'approssimazione debole nel caso di stabilizzatori metabeliani costanti finiti. Tuttavia, l'esistenza di spazi omogenei in cui l'ostruzione algebrica non riesce a spiegare il fallimento del principio stesso di Hasse era ignota. Questo saggio mira a costruire un tale controesempio.

Metodologia
Gli autori costruiscono un controesempio specifico utilizzando uno spazio omogeneo $X$ del gruppo lineare speciale $SL_n$ su un campo numerico $k$ contenente una radice primitiva $p$-esima (dove $p$ è un numero primo dispari). La costruzione si basa sulla strumentazione sviluppata da Borovoi e Kunyavskii, ulteriormente raffinata dall'autore nel lavoro precedente [Lin24].

1. Costruzione del Gruppo: Lo stabilizzatore geometrico $F$ dello spazio omogeneo è costruito come un'estensione centrale di $M \oplus M$ per $Z$, dove $M = \mathbb{F}_p^d$ e $Z$ è un quoziente di $M \otimes M$. L'estensione è definita tramite un omomorfismo suriettivo e non degenere $\phi: M \otimes M \to Z$.
2. Dati Numerici: Gli autori scelgono $d = [k:\mathbb{Q}] + 3$ e definiscono l'inclusione $A \otimes A \to M \otimes M$ (con $A=\mathbb{F}_p$) mappando il generatore nell'identità della matrice $Id$. Il gruppo $F$ ha classe di nilpotenza 2 e ordine $p^{d^2+2d-1}$.
3. Setup Coomologico: Una classe $\beta \in H^2(k, Z)$ è costruita utilizzando la teoria dei classi globale. Questa classe svanisce in tutte le estremità eccetto per un insieme di estremità finite distinte $\{v_1, \dots, v_d\}$, dove i suoi invarianti locali corrispondono alle immagini delle matrici di rango uno $e_i \otimes e_i$ sotto $\phi$.
4. Analisi Locale vs. Globale:
   • Esistenza Locale: Utilizzando la dualità locale di Tate e il fatto che il rango dei gruppi di coomologia locale $H^1(k_v, \mathbb{F}_p)$ è piccolo (limitato da 2 per le estremità che non dividono $p$), gli autori dimostrano che esistono soluzioni locali $x_v, y_v$ per l'equazione $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ in ogni estremità $v$. Ciò assicura che $X(k_v) \neq \emptyset$ per ogni $v$.
   • Non Esistenza Globale: Gli autori dimostrano che non esiste una soluzione globale. Utilizzano un limite uniforme sul rango della matrice $A_v = \text{Inv}_v(x \cup y)$ derivato dalla dimensione di $H^1(k_v, \mathbb{F}_p)$. Per un $d$ sufficientemente grande, i vincoli locali forzano $A_v$ a essere esattamente $e_i \otimes e_i$ nelle specifiche estremità e $0$ altrove. La somma di questi invarianti locali produce la matrice identità $Id$, che è non nulla, contraddicendo la legge di reciprocità globale (la quale richiede che la somma degli invarianti locali sia nulla).

Contributi Chiave e Risultati
Il saggio stabilisce il seguente risultato principale (Teorema 1):

• Costruzione del Controesempio: Esiste uno spazio omogeneo $X$ di $SL_n$ su $k$ con stabilizzatori di gruppi $p$-ici finiti di classe di nilpotenza 2 tale che:

  1. $X$ possiede punti in ogni completamento $k_v$ (solubilità locale).
  2. $X$ non possiede punti razionali ($X(k) = \emptyset$).
  3. Il gruppo di Brauer algebrico non ramificato soddisfa $Br_{nr,1}(X) = Br_0(X)$.

• Ostruzione Trascendentale: Poiché la parte algebrica dell'ostruzione di Brauer–Manin è banale (uguale alla parte costante), il fallimento del principio di Hasse non può essere spiegato da classi algebriche. Gli autori dimostrano che il gruppo di Brauer non ramificato completo $Br_{nr}(X)$ è isomorfo a $\mathbb{Z}/p$ modulo costanti. Costruendo una classe trascendentale esplicita $A_L \in Br_{nr}(X)$ usando una forma lineare $L: M \otimes M \to \mathbb{F}_p$, essi mostrano che questa classe produce un accoppiamento di Brauer–Manin non nullo:
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  Ciò conferma che il fallimento del principio di Hasse è spiegato da un'ostruzione di Brauer–Manin trascendentale.

Significatività
Il saggio fornisce il primo esempio di uno spazio omogeneo di un gruppo algebrico lineare connesso in cui il principio di Hasse fallisce a causa di un'ostruzione di Brauer–Manin trascendentale, mentre l'ostruzione algebrica è insufficiente. Questo risultato evidenzia la necessità di considerare le classi trascendentali nell'aritmetica degli spazi omogenei con stabilizzatori finiti non abeliani. Esso conferma che, per tali spazi, le congetture sulla geometria "mite" (che spesso si basano sulla dualità abeliana) non sono sufficienti, e che il pieno potere dell'ostruzione di Brauer–Manin, incluse le classi trascendentali, è necessario per controllare i punti razionali. Il metodo sfrutta l'interazione tra la classe di nilpotenza dello stabilizzatore, il rango dei gruppi di coomologia locale e le leggi di reciprocità globale.