Function fields of one variable over PAC fields (Q845268)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Function fields of one variable over PAC fields
scientific article

    Statements

    Function fields of one variable over PAC fields (English)
    0 references
    0 references
    0 references
    27 January 2010
    0 references
    From the introduction: Conjecture II of Serre considers a field \(F\) of characteristic \(p\) with \(\text{cd}(\text{Gal}(F))\leq 2\) such that either \(p = 0\) or \(p > 0\) and \([F:F^p] \leq p\) and predicts that \(H^1(\text{Gal}(F),G) = 1\) (i.e. each principal homogeneous \(G\)-spaces has an \(F\)-rational point) for each simply connected semi-simple linear algebraic group \(G\) [\textit{J.-P. Serre}, Galois cohomology. Berlin: Springer (1997; Zbl 0902.12004), p. 139]. As Serre notes, the hypothesis of the conjecture holds in the case where \(F\) is a field of transcendence degree 1 over a perfect field \(K\) with \(\text{cd}(\text{Gal}(K))\leq 1\). Indeed, in this case \(\text{cd}(\text{Gal}(F))\leq 2\) [Serre (loc.cit.), p. 83, Prop. 11] and \([F:F^p] \leq p\) if \(p > 0\) (by the theory of \(p\)-bases [\textit{M. D. Fried} and \textit{M. Jarden}, Field arithmetic. 3rd rev. ed. Berlin: Springer (2008; Zbl 1145.12001), Lemma 2.7.2]). We prove the conjecture for \(F\) in the special case, where \(K\) is PAC of characteristic 0 that contains all roots of unity. One of the main ingredients of the proof is the projectivity of \(\text{Gal}(K(x)_{\text{ab}})\) (where \(x\) is transcendental over \(K\) and \(K(x)_{\text{ab}}\) is the maximal Abelian extension of \(K(x)\)). We also use the same ingredient to establish an analog to the well-known open problem of Shafarevich that \(\text{Gal}(\mathbb Q_{\text{ab}})\) is free. Under the assumption that \(K\) is PAC and contains all roots of unity we prove that \(\text{Gal}(K(x)_{\text{ab}})\) is not only projective but even free. This proves a stronger version of a conjecture of Bogomolov for a function field of one variable \(F\) over a PAC field that contains all roots of unity [\textit{L. Positselski}, Int. Math. Res. Not. 2005, No. 31, 1901--1936 (2005; Zbl 1160.19301), Conjecture 1.1].
    0 references
    function fields of one variable
    0 references
    PAC fields
    0 references
    Conjecture II of Serre
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references