Weak approximation property and Hasse principle fo homogeneous spaces with finite solvable stabilizer (Q476774)

Let \(K\) be a global field and denote by \(\Omega_K\) the set of places of \(K\). A family of \(K\)-varieties is said to satisfy the \textit{Hasse principle}, if every \(V\) in this family with \(\prod_{\nu \in \Omega_K} V(K_\nu)\neq \emptyset\) has a \(K\)-rational point. It is said to have the (logically stronger) \textit{weak approximation} property, if for every \(V\) the image of the diagonal map \(V(K)\to \prod_{\nu \in \Omega_K} V(K_\nu)\) is dense. Both properties have long been known to hold for principal homogeneous spaces (a.k.a.~torsors) under simply-connected semisimple algebraic \(K\)-groups, see chapter 7 of \textit{V. Platonov} and \textit{A. Rapinchuk} [Algebraic groups and number theory. Transl. from the Russian by Rachel Rowen. Boston, MA: Academic Press (1994; Zbl 0841.20046)]. For homogeneous spaces with non-trivial stabilizers the situation is more delicate as shown by several counter-examples. In the paper under review, which is written in French, the above two properties are investigated for homogeneous spaces \(V\) under a semi-simple simply connected group \(G'\) with finite solvable geometric stabilizer. The main results are as follows: { Theorem}. Let \(V=G'/G\) for a finite solvable \(K\)-group \(G\) contained in \(G'\). Suppose there exists a finite Galois extension \(K'/K\) which splits \(G\) such that the number of roots of unity in \(K'\) is prime to the exponent of \(G\). Then \(V\) satisfies the weak approximation property. { Theorem}. Let \(X\) be a homogeneous space under \(G'\) with a finite solvable geometric stabilizer \(\bar{G}\). Let \(K'\) denote the fixed field of \(K_{\mathrm{sep}}\) under the kernel of the so called \(K\)-band \(\kappa : \mathrm{Gal}(K_{\mathrm{sep}}/K) \to \mathrm{Out}(\bar{G}(K_{\mathrm{sep}}))\) (defined with the choice of a geometric point \(x\in X(K_{\mathrm{sep}})\)). Suppose that the number of roots of unity in \(K'\) is prime to the exponent of \(\bar{G}\). Then \(X\) satisfies the Hasse principle. The first theorem improves upon a result of \textit{J. Neukirch} [Invent. Math. 53, 135--164 (1979; Zbl 0447.12008)], where \(G\) is assumed to be constant. An even more general and technical version is contained in the course of the paper. The second theorem makes crucial use of it.