Function fields of one variable over PAC fields
type: Item
instance of: scholarly article
title: Function fields of one variable over PAC fields
zbMATH Open document ID: 1251.12003
author: Moshe Jarden
author: Florian Pop
published in: Documenta Mathematica
publication date: 2010-01-27T00:00:00Z
full work available at URL: 18.html
review text: 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].
Mathematics Subject Classification ID: 12E30
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 20G15
zbMATH DE Number: 5663786
zbMATH Keywords: function fields of one variable
zbMATH Keywords: PAC fields
zbMATH Keywords: Conjecture II of Serre
reviewed by: Olaf Ninnemann
MaRDI profile type: Publication
Recommended article: Q4698622
Recommended article: Q4849452
Recommended article: On function fields with free absolute Galois groups
Recommended article: Étale Galois covers of affine smooth curves. The geometric case of a conjecture of Shafarevich. On Abhyankar's conjecture
Recommended article: Subgroups of free proalgebraic groups and Matzat's conjecture for function fields
Recommended article: Q4519602
Recommended article: The algebraic nature of the elementary theory of PRC fields
Recommended article: Galois theory over complete local domains
Recommended article: Embedding problems over large fields
Recommended article: Galois theory over integral Tate algebras
description: scientific article; zbMATH DE number 5663786