Split embedding problems over complete domains
The paper under review is concerned with the absolute Galois group \(G_K\) of a field \(K\). This group is profinite, hence is determined in some sense by which finite embedding problems are solvable. (Here a finite embedding problem for \(K\) consists of a finite Galois extension \(L/K\) and an epimorphism of finite groups \(f: B\twoheadrightarrow \mathrm{Gal}(L/K)\). A solution is a continuous epimorphism \(g: G_K\twoheadrightarrow B\) such that \(f\circ g : G_K\to \mathrm{Gal}(L/K)\) is the restriction of automorphisms map.) Two technical notions that will be needed are of Frattini and of split embedding problems, the former being that \(\ker f\) is contained in the Frattini subgroup of \(B\) and the latter being that \(f\) has a group theoretical section. A general principle in profinite groups says that the study of solvability of finite embedding problems can be reduced to the study of Frattini and of split embedding problems. The former is govern by Galois cohomology. For split embedding problems, say for \(K=\mathbb{Q}\), there is no obvious obstruction for solvability. In fact, \textit{P. Dèbes} and \textit{B. Dechamps} [Lond. Math. Soc. Lect. Note Ser. 243, 119--138 (1997; Zbl 0905.12004)] conjecture that every finite split embedding problem over \(\mathbb{Q}\) is solvable. This conjecture in particular implies an affirmative answer to the inverse Galois problem since \(B\to 1\) splits for any finite group \(B\). Dèbes-Dechamps conjecture, which we call here \textbf{DD1} in short, is more general in the sense that \(\mathbb{Q}\) is replaced by an arbitrary Hilbertian field \(K\). By definition \(K\) is \textit{Hilbertian} if for every irreducible \(f(X,Y) \in K[X,Y]\) that is separable in \(Y\) there exists \(a\in K\) such that \(f(a,Y)\) is irreducible. (The Hilbertianity of \(\mathbb{Q}\) is the content of Hilbert's irreducibility theorem.) Over an arbitrary field \textbf{DD1} clearly fails, e.g.\ for \(K=\mathbb{C}\). Thus Dèbes and Dechamps has a regular version of the conjecture suitable for any field, which we call \textbf{DD2}: For every finite Galois extension \(L/K\) and every finite split embedding problem \(B\twoheadrightarrow \mathrm{Gal}(L(x)/K(x))\) for \(K(x)\), there is a \textit{regular solution} \(\phi : G_{K(x)}\twoheadrightarrow B\). Here \(\phi\) is regular in the sense that the fixed field \(F\) of the kernel of \(\phi\) in an algebraic closure of \(K(x)\) is regular over \(L\). A standard specialization argument gives that \textbf{DD2} implies \textbf{DD1} (if \(K\) is Hilbertian). In the paper under review the author proves these conjectures for quotient fields of certain complete rings: Theorem. Let \(K\) be the quotient field of a Noetherian integrally closed domain \(A\). Assume that there is a minimal nonzero prime ideal \(\mathfrak{p}\) of \(A\) such that \(A\) is complete in the \(\mathfrak{p}\)-adic topology and the \(\mathfrak{p}\)-adic valuation on \(A\) extends to a discrete valuation on \(K\). Then: 1. \textbf{DD2} holds true. 2. If in addition the Krull dimension of \(A\) is at least \(2\), then \textbf{DD1} holds true. To prove this theorem the author significantly extends the method of algebraic patching that was introduced by \textit{D. Haran} and \textit{H. Völklein} [Isr. J. Math. 93, 9--27 (1996; Zbl 0869.12006)] and further developed by Haran-Jarden in a series of papers. Let us conclude the review with several remarks: 1. Both parts of the theorem applies to the rings \(A=kx_1, \dots, x_n\), where \(k\) is any field and \(n\geq 2\), and to \(A=Zx_1, \dots, x_n\), where \(Z\) is a Noetherian integrally closed domain which is not a field (e.g.\ \(Z=\mathbb{Z}\)) and \(n\geq 1\). 2. The special case \(A=kx_1, x_2\) is due to \textit{D. Harbater} and \textit{K. F. Stevenson} [Adv. Math. 198, No. 2, 623--653 (2005; Zbl 1104.12003)] using formal patching. Their method fails to extend to higher dimensions. 3. The second part of the theorem does not hold in general in dimension \(1\), as an example take \(K=\mathbb{C}((t))\) and the embedding problem \((\mathbb{Z}/2 \mathbb{Z})^2\to 1\). 4. By a theorem of \textit{R. Weissauer} [J. Reine Angew. Math. 334, 203--220 (1982; Zbl 0477.12029)], \(K\) as in the theorem is Hilbertian if the Krull dimension of \(A\) is at least \(2\). Hence the second part of the theorem follows from the first. 5. It was unknown whether the fields for which the theorem applies to are ample or not. \textit{F. Pop} [Ann. Math. (2) 172, No. 3, 2183--2195 (2010; Zbl 1220.12001)] settled that point by showing they are ample, hence he gives a new proof the above theorem.
- Split embedding problems over function fields over complete domains
- Split embedding problems over the open arithmetic disc
- Regular split embedding problems over function fields of one variable over ample fields
- On finite embedding problems with abelian kernels
- Regular split embedding problems over complete valued fields
- Abhyankar's conjecture on Galois groups over curves
- Algebraic patching over complete domains
- Coverings of the affine line in characteristic \(p>0\) and Abhyankar's conjecture
- Embedding problems over large fields
- Frattini-Einbettungsprobleme über Hilbertkörpern. (Frattini embedding problems over Hilbert fields)
- Galois groups and complete domains
- Galois groups over complete valued fields
- scientific article; zbMATH DE number 4019186 (Why is no real title available?)
- scientific article; zbMATH DE number 53635 (Why is no real title available?)
- scientific article; zbMATH DE number 1088525 (Why is no real title available?)
- scientific article; zbMATH DE number 2120947 (Why is no real title available?)
- scientific article; zbMATH DE number 800809 (Why is no real title available?)
- scientific article; zbMATH DE number 3196341 (Why is no real title available?)
- scientific article; zbMATH DE number 3198931 (Why is no real title available?)
- Local Galois theory in dimension two
- Regular split embedding problems over complete valued fields
- Regular split embedding problems over function fields of one variable over ample fields
- The absolute Galois group of \(C(x)\)
- Regular split embedding problems over function fields of one variable over ample fields
- Fully Hilbertian fields
- On finite embedding problems with abelian kernels
- Finite embedding problems over noncommutative fields
- On the generalized Krull property in power series rings
- Power series over generalized Krull domains
- Split embedding problems over function fields over complete domains
- Regular split embedding problems over complete valued fields
- On power series rings over valuation domains
- On generalized Krull power series rings
- Embedding problems for automorphism groups of field extensions
- Hilbertianity of fields of power series
- Split embedding problems over the open arithmetic disc
- Henselian implies large
- Galois theory over rings of arithmetic power series
- On \(p\)-embedding problems in characteristic \(p\)
- Galois theory over complete local domains
This page was built for publication: Split embedding problems over complete domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q731206)
