The étale Brauer-Manin obstruction for classifying stacks

1. Il Problema di Ricerca

Il lavoro si inserisce nel campo della geometria aritmetica, focalizzandosi sui principi locali-globali per i punti razionali su varietà algebriche e stack algebrici definiti su un campo di numeri $k$.

• Contesto: Il problema classico chiede se l'esistenza di punti locali ($k_v$-punti) in tutti i posti di $k$ garantisca l'esistenza di un punto globale ($k$-punto). Una versione più forte, l'approssimazione forte, indaga se l'insieme dei punti razionali $X(k)$ sia denso nell'insieme dei punti adelic $X(\mathbb{A}_k)$ (o in $X(\mathbb{A}_{k,S})$ per un insieme finito di posti $S$).
• Ostacoli: La mancata validità di questi principi è spesso spiegata dall'ostacolo di Brauer-Manin, definito tramite un accoppiamento tra i punti adelic e il gruppo di Brauer $Br(X)$. Tuttavia, per certi oggetti, l'ostacolo di Brauer-Manin classico non è sufficiente a spiegare tutte le deviazioni dal principio locale-globale.
• Obiettivo specifico: Gli autori studiano l'approssimazione forte per gli stack di classificazione $BG$, dove $G$ è un gruppo algebrico lineare su $k$. I punti $k$ di $BG$ classificano i $G$-torsori. Il caso in cui $G$ è connesso è stato già risolto (l'ostacolo di Brauer-Manin è l'unico ostacolo), ma il caso in cui $G$ è disconnesso (specialmente quando il gruppo delle componenti connesse $G/G^\circ$ non è abeliano) rimaneva aperto.

2. Metodologia e Strumenti Teorici

Per affrontare il caso dei gruppi disconnessi, gli autori sviluppano e formalizzano una teoria sofisticata che combina la teoria degli stack con la coomologia di Galois.

• Teoria dei Torsori sugli Stack: Viene stabilita una teoria rigorosa dei torsori sopra stack algebrici, definendo azioni di gruppo deboli (weak group actions) e azioni strette, adattando concetti noti per schemi e spazi algebrici al contesto 2-categorico degli stack.
• Twist di Galois per Stack: Un contributo metodologico centrale è la formalizzazione dei twist di Galois per gli stack. Dato uno stack $X$ e un torsore $P$ (rappresentante una classe di coomologia $\sigma \in H^1(k, H)$), viene definito lo stack twistato $X^\sigma$ come il quoziente $[X \times P / H]$. Questo permette di studiare le forme interne degli stack rispetto alle azioni di gruppo.
• Topologia sui Punti Adelic: Gli autori adottano la topologia sui punti adelic degli stack definita in lavori precedenti ([4]), basata su presentazioni "S-liftable" (presentazioni che ammettono sollevamenti locali). Questa struttura topologica è cruciale per definire la densità e la chiusura degli insiemi.
• Ostacolo di Brauer-Manin Étale: Viene introdotto l'ostacolo di Brauer-Manin étale, una versione più fine dell'ostacolo classico. L'insieme dei punti adelic che soddisfano questo ostacolo, denotato $X(\mathbb{A}_k)^{\text{ét,Br}}$, è definito come l'intersezione delle immagini dei luoghi di Brauer-Manin di tutti i torsori finiti étale sopra $X$.

3. Risultati Principali

Il paper dimostra il seguente teorema fondamentale:

Teorema 1.1: Sia $G$ un gruppo algebrico lineare su un campo di numeri $k$ e $S$ un insieme finito di posti contenente tutti i posti infiniti.

1. L'insieme dei punti adelic $BG(\mathbb{A}_{k,S})^{\text{ét,Br}}$ è chiuso nella topologia adelic.
2. L'immagine del morfismo naturale $BG(k) \to BG(\mathbb{A}_{k,S})^{\text{ét,Br}}$ è densa.

In altre parole, l'ostacolo di Brauer-Manin étale è l'unico ostacolo all'approssimazione forte per gli stack di classificazione $BG$, anche quando $G$ è disconnesso.

Struttura della dimostrazione:

1. Decomposizione dei punti: Utilizzando la successione esatta $1 \to G^\circ \to G \to H \to 1$ (dove $H = G/G^\circ$), i punti razionali di $BG$ si decompongono in una somma disgiunta di punti razionali di twist di Galois dello stack $BG^\circ$:
   $$BG(k) = \bigsqcup_{\sigma \in H^1(k, H)} (BG^\circ)^\sigma(k)$$
2. Riduzione ai twist: Viene dimostrato che ogni twist $(BG^\circ)^\sigma$ è isomorfo a uno stack quoziente $[P/G]$ (dove $P$ è un torsore).
3. Approssimazione sui twist: Si dimostra che per ogni twist $(BG^\circ)^\sigma$, l'approssimazione forte vale rispetto all'ostacolo di Brauer-Manin classico $Br((BG^\circ)^\sigma)$. Questo si ottiene riducendo il problema a varietà omogenee con stabilizzatori connessi (tramite immersioni in $SL_n$) e applicando risultati noti sulla densità.
4. Chiusura e Densità: Si dimostra che l'insieme di Brauer-Manin étale è chiuso (usando la proprietà di properità delle mappe di torsori e la finitudine delle classi di coomologia non ramificate) e che l'unione delle immagini dense dei twist copre l'intero luogo di Brauer-Manin étale.

4. Contributi Chiave

• Generalizzazione ai gruppi disconnessi: Estende il risultato di Dhillon (che valeva solo per gruppi connessi) a tutti i gruppi algebrici lineari, risolvendo l'ambiguità sui casi non abeliani di $G/G^\circ$.
• Formalizzazione 2-categorica: Fornisce una base teorica solida per le azioni di gruppo e i twist di Galois sugli stack algebrici, un'area che richiede un trattamento attento delle 2-categorie e delle trasformazioni naturali.
• Proprietà topologiche: Stabilisce la chiusura dell'insieme di Brauer-Manin étale per gli stack, un prerequisito tecnico essenziale per discutere la densità.

5. Significato e Applicazioni Future

• Teoria dei Numeri e Teoria di Galois: Il risultato ha implicazioni dirette per il Problema Inverso di Galois e la Congettura di Malle. La congettura di Malle prevede il numero di estensioni di Galois $L/k$ con un dato gruppo $G$ e discriminante limitato. Poiché le estensioni $G$-Galois corrispondono a $G$-torsori (punti su $BG$), la comprensione degli ostacoli all'approssimazione forte su $BG$ è fondamentale per contare tali punti.
• Connessione con le funzioni altezza: Il lavoro si collega a ricerche recenti (Ellenberg-Satriano-Zureick-Brown, Loughran-Santens) che traducono la congettura di Malle nel conteggio di punti razionali su stack con altezza limitata. La comprensione degli ostacoli aritmetici su $BG$ è un passo necessario per verificare o confutare le previsioni asintotiche della congettura di Malle in presenza di ostacoli coomologici.
• Sviluppo della Teoria degli Stack: Il paper contribuisce a consolidare la teoria aritmetica degli stack, dimostrando che gli strumenti classici della geometria aritmetica (come l'ostacolo di Brauer-Manin) possono essere estesi e adattati con successo a contesti più generali e complessi come gli stack di classificazione.

In sintesi, il paper risolve un problema aperto fondamentale nell'aritmetica degli stack, dimostrando che l'ostacolo di Brauer-Manin étale è completo per gli stack di classificazione, e fornisce gli strumenti tecnici necessari per applicare questi risultati a problemi di conteggio profondo come la congettura di Malle.