×

Split embedding problems over complete domains. (English) Zbl 1247.12005

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, P. Dèbes and 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 DD1 in short, is more general in the sense that \(\mathbb{Q}\) is replaced by an arbitrary Hilbertian field \(K\). By definition \(K\) is 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 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 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 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 DD2 implies 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. DD2 holds true.
2. If in addition the Krull dimension of \(A\) is at least \(2\), then DD1 holds true.
To prove this theorem the author significantly extends the method of algebraic patching that was introduced by D. Haran and 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=k[[x_1, \dots, x_n]]\), where \(k\) is any field and \(n\geq 2\), and to \(A=Z[[x_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=k[[x_1, x_2]]\) is due to D. Harbater and 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 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. 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.

MSC:

12E30 Field arithmetic
12F12 Inverse Galois theory
PDF BibTeX XML Cite
Full Text: DOI Link

References:

[1] P. Dèbes and B. Deschamps, ”The regular inverse Galois problem over large fields,” in Geometric Galois Actions, Cambridge: Cambridge Univ. Press, 1997, vol. 2, pp. 119-138. · Zbl 0905.12004
[2] M. D. Fried and M. Jarden, Field Arithmetic, second ed., New York: Springer-Verlag, 2005. · Zbl 1055.12003
[3] D. Harbater, ”Galois coverings of the arithmetic line,” in Number Theory, New York: Springer-Verlag, 1987, pp. 165-195. · Zbl 0627.12015
[4] D. Harbater, ”Abhyankar’s conjecture on Galois groups over curves,” Invent. Math., vol. 117, iss. 1, pp. 1-25, 1994. · Zbl 0805.14014
[5] D. Haran and M. Jarden, ”Regular split embedding problems over complete valued fields,” Forum Math., vol. 10, iss. 3, pp. 329-351, 1998. · Zbl 0903.12003
[6] D. Haran and M. Jarden, ”Regular split embedding problems over function fields of one variable over ample fields,” J. Algebra, vol. 208, iss. 1, pp. 147-164, 1998. · Zbl 0923.12005
[7] D. Haran and M. Jarden, ”The absolute Galois group of \(C(x)\),” Pacific J. Math., vol. 196, iss. 2, pp. 445-459, 2000. · Zbl 0979.12002
[8] D. Harbater and K. F. Stevenson, ”Local Galois theory in dimension two,” Adv. Math., vol. 198, iss. 2, pp. 623-653, 2005. · Zbl 1104.12003
[9] D. Haran and H. Völklein, ”Galois groups over complete valued fields,” Israel J. Math., vol. 93, pp. 9-27, 1996. · Zbl 0869.12006
[10] T. R. Lefcourt, ”Galois groups and complete domains,” Israel J. Math., vol. 114, pp. 323-346, 1999. · Zbl 0948.12002
[11] Q. Liu, ”Tout groupe fini est un groupe de Galois sur \({\mathbb Q}_p(T)\), d’après Harbater,” in Recent Developments in the Inverse Galois Problem, Providence, RI: Amer. Math. Soc., 1995, pp. 261-265. · Zbl 0834.12004
[12] H. B. Matzat, ”Frattini-Einbettungsprobleme über Hilbertkörpern,” Manuscripta Math., vol. 70, iss. 4, pp. 429-439, 1991. · Zbl 0739.12001
[13] M. Nagata, Local Rings, New York: Interscience Publishers, John Wiley & Sons, 1962. · Zbl 0123.03402
[14] E. Paran, ”Algebraic patching over complete domains,” Israel J. Math., vol. 166, pp. 185-219, 2008. · Zbl 1159.12002
[15] F. Pop, ”Embedding problems over large fields,” Ann. of Math., vol. 144, iss. 1, pp. 1-34, 1996. · Zbl 0862.12003
[16] M. Raynaud, ”Revêtements de la droite affine en caractéristique \(p>0\) et conjecture d’Abhyankar,” Invent. Math., vol. 116, iss. 1-3, pp. 425-462, 1994. · Zbl 0798.14013
[17] J. Serre, Topics in Galois Theory, Boston, MA: Jones and Bartlett Publishers, 1992. · Zbl 0746.12001
[18] O. Zariski and P. Samuel, Commutative Algebra, Princeton, NJ: D. Van Nostrand Co., 1960, vol. II. · Zbl 0121.27901
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.