Abstract:We give an affirmative answer to the Grunwald problem for new families of non-solvable finite groups G, away from the set of primes dividing |G|. Furthermore, we show that such G verify the condition (BM), that is, the Brauer-Manin obstruction to weak approximation is the only one for quotients of SL_n by G. These new families include extensions of groups satisfying (BM) by kernels which are products of symmetric groups S_m, with $m\neq 2,6$, and alternating groups A_5. We also investigate (BM) for small groups by giving an explicit list of small order groups for which (BM) is unknown and we show that for many of them (BM) holds under Schinzel's hypothesis.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the Grunwald problem. Specifically, for some non - solvable finite groups \(G\), under the condition of excluding the prime factors contained in the order of \(G\), a positive answer to the Grunwald problem is given. In addition, the paper also explores whether these groups satisfy condition (BM), that is, whether the Brauer - Manin obstruction is the only factor hindering weak approximation.
### Background of the Grunwald problem
The Grunwald problem originates from the classical inverse Galois problem (IGP), and its core lies in determining which division algebras can provide a \(G\)-cross - product structure for a given finite group \(G\). More specifically, the Grunwald problem asks about the local behavior of a Galois extension \(L/k\) at a finite number of places \(v\), that is, whether these local completions \(L_v/k_v\) can be realized by a global Galois extension \(L/k\) such that \(\text{Gal}(L/k)\cong G\) and \(L_v\cong L(v)\) for all \(v\in S\).
### Main contributions of the paper
1. **New non - solvable group families**: The paper proves that for some new non - solvable finite groups \(G\), when the places in \(S\) do not contain the prime factors of \(|G|\), the Grunwald problem can be solved. These new families include groups extended by the symmetric group \(S_m\) and the alternating group \(A_5\).
2. **Condition (BM)**: The paper shows that these groups satisfy condition (BM), that is, the Brauer - Manin obstruction is the only factor hindering weak approximation. In particular, for the quotient space \(\text{SL}_n/G\), when \(G\) satisfies (BM), the weak approximation property holds.
3. **Study of small groups**: The paper also studies the (BM) property of small groups, gives an explicit list of non - solvable groups of small order with unknown (BM) property, and proves that many small groups do satisfy (BM) under the Schinzel hypothesis.
### Main conclusions
- **Theorem 1.1**: Let \(k\) be a number field and consider a short exact sequence of finite algebraic \(k\)-groups:
\[
1\rightarrow N\rightarrow E\rightarrow Q\rightarrow 1,
\]
where \(N(k)\cong A_5^{t_0}\times\prod_{i = 1}^s S_{n_i}^{t_i}\) and \(Q\) satisfies (BM). Then \(E\) also satisfies (BM).
- **Theorem 1.2**: Under the Schinzel hypothesis (H), if the derived subgroup of \(N(k)\) is \(\mathbb{Z}/2\mathbb{Z}\), and either \(Q\) is a supersolvable group or \(Q\) satisfies (BM) and the sequence splits, then \(E\) satisfies (BM).
Through these results, the paper not only expands the known non - solvable group families that satisfy (BM), but also provides new tools and methods for further research.