Approximation theorems for classifying stacks over number fields

Technische Samenvatting: Approximatietheorema's voor Classificatiestacks over Getalvelden

Probleemstelling
Het artikel behandelt een specifiek approximatieprobleem voor algebraïsche stacks over een getalveld $k$. Gegeven een samenhangende lineaire algebraïsche groep $G$ en een eindige verzameling niet-archimedeische plaatsen $v_1, \dots, v_n$ van $k$, is de centrale vraag: gegeven een verzameling $G$-torsors $P_v$ gedefinieerd over de completions $k_{v_i}$, bestaat er een globale $G$-torsor $P$ gedefinieerd over $k$ die de lokale data benadert? In de taal van stacks vraagt dit of de afbeelding van de verzameling $k$-punten van de classificatiestack, $BG(k)$, naar zijn adelische punten, $BG(\mathbb{A}_k)$, een dichte afbeelding heeft. Het artikel onderzoekt dit onder de beperking van de Brauer-Manin obstructie, waarbij gezocht wordt naar voorwaarden waaronder lokale torsors benaderd kunnen worden door een globale torsor die $v$-adisch dicht bij de voorgeschreven lokale torsors ligt.

Methodologie en Technisch Kader
Het artikel maakt gebruik van een combinatie van topologische constructies op algebraïsche stacks, cohomologische methoden en reductietechnieken via speciale groepen.

1. Topologisering van Adelische Punten van Stacks:
   Een primaire technische hindernis die wordt aangepakt, is de constructie van een topologie op de adelische punten $X(\mathbb{A}_k)$ van een algebraïsche stack $X$. De auteur merkt op dat een eerdere constructie in de literatuur ([7]) een fout bevat met betrekking tot de trivialiteit van projectieve modules over adele-ringen. Om dit te corrigeren, introduceert het artikel het concept van liftbare stacks (Definitie 2.12 en 2.14). Een stack is $S$-liftbaar als deze een presentatie $P \to X$ toelaat door een gescheiden algebraïsche ruimte $P$ zodanig dat de afbeelding op punten surjectief is en voldoet aan specifieke lokale trivialiteitsvoorwaarden.

   • Kernlemma: Het artikel bewijst dat voor een eindige deelverzameling $S$ van plaatsen, elke $GL(V)$-torsor en $SL(V)$-torsor over de ring van $S$-adeles triviaal is (Proposition 2.2 en Corollary 2.3). Dit maakt de constructie van een quotienttopologie op $X(\mathbb{A}_k)$ via een lifting-presentatie mogelijk, waardoor de topologie goed gedefinieerd en onafhankelijk is van de keuze van de presentatie (Proposition 2.17).

2. De Brauer-Manin Koppeling voor Stacks:
   De auteur breidt de klassieke Brauer-Manin obstructie uit naar algebraïsche stacks.

   • Spreading Out: Met behulp van simpliciale technieken en de grote étale site, stelt het artikel vast dat cohomologieklassen (specifiek Brauer-klassen) op een stack over een getalveld kunnen worden "gespreid" naar een model over een open deelschema van de ring van gehele getallen (Theorem 3.7, Corollary 4.3).
   • Constructie van de Koppeling: De Brauer-Manin koppeling $\langle -, - \rangle: X(\mathbb{A}_k) \times Br(X) \to \mathbb{Q}/\mathbb{Z}$ wordt geconstrueerd door het sommeren van lokale Hasse-invarianten. Het artikel bewijst de continuïteit van deze koppeling met betrekking tot de adelische topologie (Proposition 4.5, 4.6).
   • Obstructie: De nulverzameling van deze koppeling, $X(\mathbb{A}_k)^{Br}$, wordt getoond als een gesloten deelverzameling die de rationale punten $X(k)$ bevat, wat een obstructie vormt voor sterke approximatie.

3. Reductie naar Speciale Groepen:
   De kernstrategie voor het bewijzen van approximatietheorema's omvat het reduceren van het probleem voor een algemene groep $G$ naar het geval van de speciale lineaire groep $SL(V)$.

   • Isomorfisme van Brauer-groepen: Door een getrouwe representatie $G \hookrightarrow SL(V)$ vast te leggen, wordt de classificatiestack $BG$ geïdentificeerd met de quotientstack $[X/SL(V)]$ waar $X = G \backslash SL(V)$. Het artikel bewijst dat de terugtrekkingsafbeelding $Br([X/SL(V)]) \to Br(X)$ een isomorfisme is (Proposition 5.3).
   • Equivariante Approximatie: Deze reductie maakt het mogelijk om het probleem te verschuiven naar de variëteit $X \times_G SL(V)$. Het artikel maakt gebruik van bekende resultaten over sterke approximatie voor $SL(V)$ (een stelling van Kneser) en equivariante sterke approximatie voor homogene ruimten (resultaten uit [5] en [8]).

Belangrijkste Bijdragen en Resultaten

• Correctie van Topologische Constructie: Het artikel biedt een gecorrigeerd en rigoureus kader voor het definiëren van de topologie op de adelische punten van algebraïsche stacks, waarbij problemen gerelateerd aan niet-triviale projectieve modules over adele-ringen uit eerdere werken worden opgelost.
• Sterke Approximatie met Brauer-Manin Obstructie voor $BG$: Het hoofdbestanddeel (Theorem 5.5) stelt dat voor een samenhangende lineaire algebraïsche groep $G$ over een getalveld $k$, en een eindige verzameling plaatsen $S$ die alle archimedeische plaatsen bevat en ten minste één eindige plaats, sterke approximatie geldt voor de classificatiestack $BG$ buiten $S$ met betrekking tot de Brauer-Manin obstructie. Specifiek is de afbeelding van $BG(k)$ dicht in de Brauer-Manin vaste-punt-locus van $BG(\mathbb{A}_k)$.
• Generalisatie naar Quotientstacks: Theorem 5.4 stelt een criterium vast voor sterke approximatie voor quotientstacks $[Y/G]$. Het toont aan dat als sterke approximatie geldt voor de geassocieerde ruimte $Y \times_G SL(V)$, het ook geldt voor de quotientstack $[Y/G]$. Dit is van toepassing op quotients van "groepische" variëteiten, inclusief bepaalde quotients van torische variëteiten.
• Equivariante Sterke Approximatie: Het artikel maakt gebruik van en verheldert de relatie tussen sterke approximatie voor de groep $G$ en de homogene ruimte $G \backslash SL(V)$, waarbij wordt aangetoond hoe de approximatie-eigenschappen van de groep via de Brauer-Manin koppeling overgaan op de classificatiestack.

Betekenis en Claims
Het artikel claimt een "zeer concrete vraag" te beantwoorden over de approximatie van lokale $G$-torsors door een globale torsor, door dit te formuleren als een sterke approximatie-eigenschap voor de classificatiestack. De betekenis ligt in:

1. Uitbreiding van Klassieke Getaltheorie: Het breidt de klassieke theorie van sterke approximatie en de Brauer-Manin obstructie, traditioneel toegepast op schema's en variëteiten, uit naar de sfeer van algebraïsche stacks, specifiek classificatiestacks.
2. Concrete Toepassing: Het biedt een definitieve voorwaarde (het verdwijnen van de Brauer-Manin obstructie) waaronder een verzameling lokale $G$-torsors benaderd kan worden door een globale $G$-torsor.
3. Methodologische Rigor: Door de topologische fundamenten voor adelische punten van stacks te corrigeren, maakt het artikel verdere studie van approximatie-eigenschappen in de stack-setting mogelijk, wat essentieel is voor het begrijpen van de aritmetica van moduli-problemen en torsors.

De auteur merkt op dat hoewel het resultaat voor $BG$ steunt op de samenhangendheid van $G$ en de eigenschappen van $SL(V)$, het ontwikkelde kader toepasbaar is op een bredere klasse van quotientstacks gegenereerd door groepische variëteiten. Het artikel claimt niet dat het sterke approximatie voor álle algebraïsche stacks oplost, maar beperkt het hoofdbestanddeel tot classificatiestacks van samenhangende lineaire algebraïsche groepen en specifieke quotientstacks afgeleid van deze.