On almost strong approximation for linear algebraic groups
Yang Cao, Yijin Wang
TL;DR
The paper addresses almost strong approximation for connected linear algebraic groups over number fields by reducing ASA to a finiteness condition on a Brauer-Manin obstruction group B_S(G). It develops abelian Galois cohomology for reductive groups via a two-term torus complex, and establishes a precise criterion: ASA off S holds if and only if B_S(G) is finite, with the index bounded by |B_S(G)|. Leveraging Dirichlet density and the splitting field data, the authors generalize previous results (Rapinchuk–Tralle) and extend ASA to inner forms under suitable splitting hypotheses. They also bound the ASA index in terms of density and cohomology, yielding explicit results for tori and classical groups such as GL_n and PGL_n, thereby clarifying the obstruction-theoretic underpinnings of ASA in global fields.
Abstract
Let $G$ be a connected linear algebraic group over a number field $K$. In this article, we study the almost strong approximation property (ASA) of $G$ raised by Rapinchuk and Tralle. Building on Demarche's results on strong approximation with Brauer-Manin obstruction, we introduce a necessary and sufficient condition for (ASA) to hold in terms of the Brauer group of $G$. Using the criteria, we conclude that (ASA) can be completely controlled by the Dirichlet density of the places and the splitting field of $G$, which generalizes a result of Rapinchuk and Tralle.
