Approximation theorems for classifying stacks over number fields

Résumé Technique : Théorèmes d'approximation pour les empilements de classification sur les corps de nombres

Énoncé du Problème
Le papier traite d'un problème d'approximation spécifique pour les empilements algébriques (stacks) sur un corps de nombres $k$. Étant donné un groupe algébrique linéaire connexe $G$ et un ensemble fini de places non archimédiennes $v_1, \dots, v_n$ de $k$, la question centrale est la suivante : étant donné une collection de $G$-torsors $P_v$ définis sur les complétions $k_{v_i}$, existe-t-il un $G$-torsor global $P$ défini sur $k$ qui approxime les données locales ? Dans le langage des empilements, cela revient à demander si l'application de l'ensemble des points $k$ de l'empilement de classification, $BG(k)$, à ses points adéliques, $BG(\mathbb{A}_k)$, possède une image dense. Le papier étudie cela sous la contrainte de l'obstruction de Brauer-Manin, en cherchant les conditions sous lesquelles des torsors locaux peuvent être approximés par un torsor global qui est $v$-adiquement proche des torsors locaux prescrits.

Méthodologie et Cadre Technique
Le papier emploie une combinaison de constructions topologiques sur les empilements algébriques, de méthodes cohomologiques et de techniques de réduction via des groupes spéciaux.

1. Topologisation des Points Adéliques d'Empilements :
   Un obstacle technique majeur abordé est la construction d'une topologie sur les points adéliques $X(\mathbb{A}_k)$ d'un empilement algébrique $X$. L'auteur note qu'une construction précédente dans la littérature ([7]) contient une erreur concernant la trivialité des modules projectifs sur les anneaux adéliques. Pour corriger cela, le papier introduit le concept d'empilements levables (Définition 2.12 et 2.14). Un empilement est $S$-levable s'il admet une présentation $P \to X$ par un espace algébrique séparé $P$ telle que l'application sur les points est surjective et satisfait des conditions de trivialité locale spécifiques.

   • Lemme Clé : Le papier prouve que pour un sous-ensemble fini de places $S$, tout $GL(V)$-torsor et tout $SL(V)$-torsor sur l'anneau des $S$-adèles est trivial (Proposition 2.2 et Corollaire 2.3). Cela permet la construction d'une topologie de quotient sur $X(\mathbb{A}_k)$ via une présentation par levée, garantissant que la topologie est bien définie et indépendante du choix de la présentation (Proposition 2.17).

2. Le Couplage de Brauer-Manin pour les Empilements :
   L'auteur étend l'obstruction classique de Brauer-Manin aux empilements algébriques.

   • Élargissement (Spreading Out) : En utilisant des techniques simpliciales et le grand site étale, le papier établit que les classes de cohomologie (spécifiquement les classes de Brauer) sur un empilement sur un corps de nombres peuvent être « élargies » vers un modèle sur un sous-schéma ouvert de l'anneau des entiers (Théorème 3.7, Corollaire 4.3).
   • Construction du Couplage : Le couplage de Brauer-Manin $\langle -, - \rangle: X(\mathbb{A}_k) \times Br(X) \to \mathbb{Q}/\mathbb{Z}$ est construit en sommant les invariants de Hasse locaux. Le papier prouve la continuité de ce couplage par rapport à la topologie adélique (Proposition 4.5, 4.6).
   • Obstruction : Le lieu de l'annulation de ce couplage, $X(\mathbb{A}_k)^{Br}$, est montré comme étant un sous-ensemble fermé contenant les points rationnels $X(k)$, fournissant ainsi une obstruction à l'approximation forte.

3. Réduction aux Groupes Spéciaux :
   La stratégie centrale pour prouver les théorèmes d'approximation consiste à réduire le problème pour un groupe $G$ général au cas du groupe linéaire spécial $SL(V)$.

   • Isomorphisme des Groupes de Brauer : En fixant une représentation fidèle $G \hookrightarrow SL(V)$, l'empilement de classification $BG$ est identifié avec l'empilement de quotient $[X/SL(V)]$où$X = G \backslash SL(V)$. Le papier prouve que l'application de rappel $Br([X/SL(V)]) \to Br(X)$ est un isomorphisme (Proposition 5.3).
   • Approximation Équivariante : Cette réduction permet de déplacer le problème vers la variété $X \times_G SL(V)$. Le papier exploite les résultats connus sur l'approximation forte pour $SL(V)$ (un théorème de Kneser) et l'approximation forte équivariante pour les espaces homogènes (résultats de [5] et [8]).

Contributions Clés et Résultats

• Correction de la Construction Topologique : Le papier fournit un cadre corrigé et rigoureux pour définir la topologie sur les points adéliques des empilements, résolvant les problèmes liés aux modules projectifs non triviaux sur les anneaux adéliques trouvés dans des travaux antérieurs.
• Approximation Forte avec Obstruction de Brauer-Manin pour $BG$ : Le résultat principal (Théorème 5.5) stipule que pour un groupe algébrique linéaire connexe $G$ sur un corps de nombres $k$, et un ensemble fini de places $S$ contenant toutes les places archimédiennes et au moins une place finie, l'approximation forte est vérifiée pour l'empilement de classification $BG$ hors de $S$ par rapport à l'obstruction de Brauer-Manin. Plus précisément, l'image de $BG(k)$ est dense dans le lieu de points fixes de Brauer-Manin de $BG(\mathbb{A}_k)$.
• Généralisation aux Empilements de Quotient : Le Théorème 5.4 établit un critère pour l'approximation forte pour les empilements de quotient $[Y/G]$. Il montre que si l'approximation forte est vérifiée pour l'espace associé $Y \times_G SL(V)$, alors elle est vérifiée pour l'empilement de quotient $[Y/G]$. Ceci s'applique aux quotients de variétés « groupiques », incluant certains quotients de variétés toriques.
• Approximation Forte Équivariante : Le papier utilise et clarifie la relation entre l'approximation forte pour le groupe $G$ et l'espace homogène $G \backslash SL(V)$, démontant comment les propriétés d'approximation du groupe se transfèrent à l'empilement de classification via le couplage de Brauer-Manin.

Signification et Revendications
Le papier affirme répondre à une « question très concrète » concernant l'approximation de $G$-torsors locaux par un $G$-torsor global, en la formulant comme une propriété d'approximation forte pour l'empilement de classification. La signification réside dans :

1. Extension de la Théorie Classique des Nombres : Il étend la théorie classique de l'approximation forte et de l'obstruction de Brauer-Manin, traditionnellement appliquées aux schémas et aux variétés, au domaine des empilements algébriques, spécifiquement aux empilements de classification.
2. Application Concrète : Il fournit une condition définitive (la disparition de l'obstruction de Brauer-Manin) sous laquelle une collection de $G$-torsors locaux peut être approximée par un $G$-torsor global.
3. Rigueur Méthodologique : En corrigeant les fondations topologiques pour les points adéliques des empilements, le papier permet l'étude approfondie des propriétés d'approximation dans le cadre des empilements, ce qui est essentiel pour comprendre l'arithmétique des problèmes de modules et des torsors.

L'auteur note que bien que le résultat pour $BG$ repose sur la connexité de $G$ et les propriétés de $SL(V)$, le cadre développé est applicable à une classe plus large d'empilements de quotient générés par des variétés groupiques. Le papier ne prétend pas résoudre l'approximation forte pour tous les empilements algébriques, mais restreint son théorème principal aux empilements de classification de groupes algébriques linéaires connexes et à certains empilements de quotient dérivés de ceux-ci.