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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weak approximation property and Hasse principle fo homogeneous spaces with finite solvable stabilizer
scientific article

    Statements

    Weak approximation property and Hasse principle fo homogeneous spaces with finite solvable stabilizer (English)
    0 references
    2 December 2014
    0 references
    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.
    0 references
    Hasse principle
    0 references
    weak approximation
    0 references
    homogeneous space
    0 references
    global field
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references