Approximation theorems for classifying stacks over number fields

Sintesi Tecnica: Teoremi di Approssimazione per Stack di Classificazione su Campi Numerici

Enunciato del Problema
Il saggio affronta un problema di approssimazione specifico per gli stack algebrici su un campo numerico $k$. Dato un gruppo algebrico lineare connesso $G$ e un insieme finito di luoghi non archimediani $v_1, \dots, v_n$ di $k$, la questione centrale è: data una collezione di torsori $G$ definiti sulle completazioni $k_{v_i}$, esiste un torsore $G$ globale definito su $k$ che approssima i dati locali? Nel linguaggio degli stack, ciò chiede se la mappa dall'insieme dei punti $k$ dello stack di classificazione, $BG(k)$, ai suoi punti adelici, $BG(\mathbb{A}_k)$, abbia un immagine densa. Il saggio investiga questo sotto il vincolo dell'ostruzione di Brauer-Manin, cercando le condizioni sotto le quali i torsori locali possono essere approssimati da un torsore globale che sia $v$-adicamente vicino ai torsori locali prescritti.

Metodologia e Quadro Tecnico
Il saggio impiega una combinazione di costruzioni topologiche su stack algebrici, metodi cohomologici e tecniche di riduzione tramite gruppi speciali.

1. Topologizzazione dei Punti Adelici di Stack:
   Un ostacolo tecnico primario affrontato è la costruzione di una topologia sui punti adelici $X(\mathbb{A}_k)$ di uno stack algebrico. L'autore nota che una precedente costruzione nella letteratura ([7]) contiene un errore riguardante la trivialità dei moduli proiettivi sugli anelli adelici. Per correggere ciò, il saggio introduce il concetto di stack levantabili (Definizione 2.12 e 2.14). Uno stack è $S$-levantabile se ammette una presentazione $P \to X$ da uno spazio algebrico separato $P$ tale che la mappa sui punti sia suriettiva e soddisfi specifiche condizioni di trivialità locale.

   • Lemma Chiave: Il saggio dimostra che ogni torsore $GL(V)$e$SL(V)$ su un anello di $S$-adeli per un insieme finito di luoghi $S$ è banale (Proposizione 2.2 e Corollario 2.3). Ciò permette la costruzione di una topologia di quoziente su $X(\mathbb{A}_k)$ tramite una presentazione di levata, assicurando che la topologia sia ben definita e indipendente dalla scelta della presentazione (Proposizione 2.17).

2. La Coppia di Brauer-Manin per gli Stack:
   L'autore estende la classica ostrazione di Brauer-Manin agli stack algebrici.

   • Propagazione (Spreading Out): Utilizzando tecniche simpliciali e il grande sito étale, il saggio stabilisce che le classi di coomologia (specificamente le classi di Brauer) su uno stack su un campo numerico possono essere "propagate" a un modello su un sotto-schema aperto dell'anello degli interi (Teorema 3.7, Corollario 4.3).
   • Costruzione della Coppia: La coppia di Brauer-Manin $\langle -, - \rangle: X(\mathbb{A}_k) \times Br(X) \to \mathbb{Q}/\mathbb{Z}$ è costruita sommando gli invarianti di Hasse locali. Il saggio dimostra la continuità di questa coppia rispetto alla topologia adelica (Proposizione 4.5, 4.6).
   • Ostruzione: Il luogo di annullamento di questa coppia, $X(\mathbb{A}_k)^{Br}$, è mostrato essere un sottoinsieme chiuso contenente i punti razionali $X(k)$, fornendo un'ostruzione all'approssimazione forte.

3. Riduzione a Gruppi Speciali:
   La strategia centrale per dimostrare i teoremi di approssimazione consiste nel ridurre il problema per un gruppo generale $G$ al caso del gruppo lineare speciale $SL(V)$.

   • Isomorfismo di Gruppi di Brauer: Fissando una rappresentazione fedele $G \hookrightarrow SL(V)$, lo stack di classificazione $BG$ è identificato con lo stack di quoziente $[X/SL(V)]$ dove $X = G \backslash SL(V)$. Il saggio dimostra che la mappa di pullback $Br([X/SL(V)]) \to Br(X)$ è un isomorfismo (Proposizione 5.3).
   • Approssimazione Equivariante: Questa riduzione permette di spostare il problema sulla varietà $X \times_G SL(V)$. Il saggio sfrutta i risultati noti sull'approssimazione forte per $SL(V)$ (un teorema di Kneser) e l'approssimazione forte equivariante per gli spazi omogenei (risultati da [5] e [8]).

Contributi Chiave e Risultati

• Correzione della Costruzione Topologica: Il saggio fornisce un quadro corretto e rigoroso per definire la topologia sui punti adelici di stack algebrici, risolvendo problemi relativi a moduli proiettivi non banali sugli anelli adelici presenti in lavori precedenti.
• Approssimazione Forte con Ostruzione di Brauer-Manin per $BG$: Il risultato principale (Teorema 5.5) afferma che per un gruppo algebrico lineare connesso $G$ su un campo numerico $k$, e un insieme finito di luoghi $S$ contenente tutti i luoghi archimediani e almeno un luogo finito, l'approssimazione forte vale per lo stack di classificazione $BG$ fuori da $S$ rispetto all'ostruzione di Brauer-Manin. Nello specifico, l'immagine di $BG(k)$ è densa nel luogo di punti fissi di Brauer-Manin di $BG(\mathbb{A}_k)$.
• Generalizzazione agli Stack di Quoziente: Il Teorema 5.4 stabilisce un criterio per l'approssimazione forte per gli stack di quoziente $[Y/G]$. Mostra che se l'approssimazione forte vale per lo spazio associato $Y \times_G SL(V)$, allora vale per lo stack di quoziente $[Y/G]$. Ciò si applica ai quozienti di varietà "groupiche", inclusi certi quozienti di varietà toriche.
• Approssimazione Forte Equivariante: Il saggio utilizza e chiarisce la relazione tra l'approssimazione forte per il gruppo $G$ e lo spazio omogeneo $G \backslash SL(V)$, dimostrando come le proprietà di approssimazione del gruppo si trasferiscano allo stack di classificazione tramite la coppia di Brauer-Manin.

Significato e Rivendicazioni
Il saggio sostiene di rispondere a una domanda "molto concreta" riguardante l'approssimazione di torsori $G$ locali da parte di un torsore $G$ globale, inquadrandola come una proprietà di approssimazione forte per lo stack di classificazione. La significatività risiede nel fatto che:

1. Estende la Teoria Numerica Classica: Estende la teoria classica dell'approssimazione forte e dell'ostruzione di Brauer-Manin, tradizionalmente applicate a schemi e varietà, all'ambito degli stack algebrici, specificamente agli stack di classificazione.
2. Applicazione Concreta: Fornisce una condizione definitiva (l'annullamento dell'ostruzione di Brauer-Manin) sotto la quale una collezione di torsori $G$ locali può essere approssimata da un torsore $G$ globale.
3. Rigore Metodologico: Correggendo le fondamenta topologiche per i punti adelici degli stack, il saggio permette lo studio ulteriore delle proprietà di approssimazione nel contesto degli stack, essenziale per comprendere l'aritmetica dei problemi di moduli e dei torsori.

L'autore osserva che, sebbene il risultato per $BG$ dipenda dalla connessione di $G$ e dalle proprietà di $SL(V)$, il quadro sviluppato è applicabile a una classe più ampia di stack di quoziente generati da varietà groupiche. Il saggio non pretende di risolvere l'approssimazione forte per tutti gli stack algebrici, ma restringe il suo teorema principale agli stack di classificazione di gruppi algebrici lineari connessi e a specifici stack di quoziente derivati da essi.