Abstract:Using ideas and results of Sansuc, Colliot-Thélène, and Tate, we compute the defect of weak approximation for a reductive group G over a global field K in terms of the algebraic fundamental group of G.
What problem does this paper attempt to address?
This paper aims to solve the problem regarding the defect of weak approximation of a reductive group \(G\) over a global field \(K\). Specifically, the author Mikhail Borovoi uses the ideas and results of Sansuc, Colliot - Thélène and Tate to calculate the defect of weak approximation \(A_S(G)\) of the reductive group \(G\) over the global field \(K\), and expresses it as a function of the algebraic fundamental group \(\pi_{\text{alg}}^1(G)\).
### Core Problems of the Paper
1. **Weak Approximation Property**: For a reductive group \(G\) over a global field \(K\), if \(G(K)\) is dense in \(G(K_S)\), then \(G\) is said to have the weak approximation property on \(S\). Here \(K_S\) represents the completion of \(K\) at \(S\).
2. **Weak Approximation Defect**: Even if \(G\) does not have the weak approximation property, one can still define the closure \(G(K)_S\) of \(G(K)\) in \(G(K_S)\) and consider the quotient group \(A_S(G):=G(K_S)/G(K)_S\). This quotient group \(A_S(G)\) is called the weak approximation defect of \(G\) on \(S\).
3. **Calculation Method**: By introducing the algebraic fundamental group \(\pi_{\text{alg}}^1(G)\), the author provides a new method for calculating \(A_S(G)\). Specifically, the author proves that \(A_S(G)\) can be represented by group cohomology \(H^1\), that is:
\[
A_S(G)\cong \text{coker}\left[H^1(\Gamma, M[V_L]^0)\to\bigoplus_{v\in S}H^1(\Gamma_w, M)\right]
\]
where \(M = \pi_{\text{alg}}^1(G)\), \(L/K\) is a finite Galois extension, \(\Gamma=\text{Gal}(L/K)\), \(V_L\) is the set of places of \(L\), and \(\Gamma_w\) is the decomposition group of \(w\) in \(\Gamma\).
### Main Contributions
- **New Calculation Framework**: By introducing the algebraic fundamental group \(\pi_{\text{alg}}^1(G)\), the author provides a unified framework for calculating the weak approximation defect of reductive groups over global fields.
- **General Results**: The author's results are applicable not only to number fields but also to function fields, thus extending the existing theory.
- **Specific Example**: The paper also provides a specific example, showing how to calculate the weak approximation defect in positive characteristic.
### Applications
- **Algebraic Geometry**: These results can be used to study the arithmetic properties of linear algebraic groups, especially the weak approximation property over number fields and function fields.
- **Number Theory**: The study of the weak approximation property and its defect is of great significance for understanding the arithmetic structure of algebraic groups.
In conclusion, this paper provides a new perspective and calculation method for studying the weak approximation defect of reductive groups over global fields by introducing new mathematical tools and methods.