Abstract
We prove that every finite split embedding problem is solvable over the field $K(\mskip-1.5mu(X_1,\ldots,X_n)\mskip-1.5mu)$ of formal power series in $n \geq 2$ variables over an arbitrary field $K$, as well as over the field $\operatorname{Quot}(A[\mskip-2mu[X_1,\ldots,X_n]\mskip-2mu])$ of formal power series in $n \geq 1$ variables over a Noetherian integrally closed domain $A$. This generalizes a theorem of Harbater and Stevenson, who settled the case $K(\mskip-1.5mu(X_1,X_2)\mskip-1.5mu)$.
-
[DD] 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.
@incollection {DD, MRKEY = {1653011},
AUTHOR = {D{è}bes, Pierre and Deschamps, Bruno},
TITLE = {The regular inverse {G}alois problem over large fields},
BOOKTITLE = {Geometric {G}alois Actions},
VOLUME = {2},
SERIES = {London Math. Soc. Lecture Note Ser.},
NUMBER = {243},
PAGES = {119--138},
PUBLISHER = {Cambridge Univ. Press},
ADDRESS = {Cambridge},
YEAR = {1997},
MRCLASS = {12F12},
MRNUMBER = {99j:12002},
MRREVIEWER = {Teresa Crespo},
ZBLNUMBER = {0905.12004},
} -
[FJ] M. D. Fried and M. Jarden, Field Arithmetic, second ed., New York: Springer-Verlag, 2005.
@book {FJ, MRKEY = {2102046},
AUTHOR = {Fried, Michael D. and Jarden, Moshe},
TITLE = {Field Arithmetic},
SERIES = {Ergeb. Math. Grenzgeb.},
NUMBER = {11},
EDITION = {second},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
YEAR = {2005},
PAGES = {xxiv+780},
ISBN = {3-540-22811-X},
MRCLASS = {12E30 (03B25 03C10 03C60 03H05)},
MRNUMBER = {2005k:12003},
MRREVIEWER = {Ido Efrat},
ZBLNUMBER = {1055.12003},
} -
[Ha1] D. Harbater, "Galois coverings of the arithmetic line," in Number Theory, New York: Springer-Verlag, 1987, pp. 165-195.
@incollection {Ha1, MRKEY = {894511},
AUTHOR = {Harbater, David},
TITLE = {Galois coverings of the arithmetic line},
BOOKTITLE = {Number Theory},
VENUE = {New {Y}ork, 1984--1985},
SERIES = {Lecture Notes in Math.},
NUMBER = {1240},
PAGES = {165--195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
YEAR = {1987},
MRCLASS = {14E20 (12F10 14H25)},
MRNUMBER = {88h:14020},
MRREVIEWER = {David J. Saltman},
ZBLNUMBER = {0627.12015},
} -
[Ha2]
D. Harbater, "Abhyankar’s conjecture on Galois groups over curves," Invent. Math., vol. 117, iss. 1, pp. 1-25, 1994.
@article {Ha2, MRKEY = {1269423},
AUTHOR = {Harbater, David},
TITLE = {Abhyankar's conjecture on {G}alois groups over curves},
JOURNAL = {Invent. Math.},
FJOURNAL = {Inventiones Mathematicae},
VOLUME = {117},
YEAR = {1994},
NUMBER = {1},
PAGES = {1--25},
ISSN = {0020-9910},
CODEN = {INVMBH},
MRCLASS = {14H30 (14E20)},
MRNUMBER = {95i:14029},
MRREVIEWER = {Wolfgang K. Seiler},
DOI = {10.1007/BF01232232},
ZBLNUMBER = {0805.14014},
} -
[HJ1]
D. Haran and M. Jarden, "Regular split embedding problems over complete valued fields," Forum Math., vol. 10, iss. 3, pp. 329-351, 1998.
@article {HJ1, MRKEY = {1619723},
AUTHOR = {Haran, Dan and Jarden, Moshe},
TITLE = {Regular split embedding problems over complete valued fields},
JOURNAL = {Forum Math.},
FJOURNAL = {Forum Mathematicum},
VOLUME = {10},
YEAR = {1998},
NUMBER = {3},
PAGES = {329--351},
ISSN = {0933-7741},
CODEN = {FOMAEF},
MRCLASS = {12F12 (12J10)},
MRNUMBER = {99e:12007},
MRREVIEWER = {Akito Nomura},
DOI = {10.1515/form.10.3.329},
ZBLNUMBER = {0903.12003},
} -
[HJ2]
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.
@article {HJ2, MRKEY = {1643991},
AUTHOR = {Haran, Dan and Jarden, Moshe},
TITLE = {Regular split embedding problems over function fields of one variable over ample fields},
JOURNAL = {J. Algebra},
FJOURNAL = {Journal of Algebra},
VOLUME = {208},
YEAR = {1998},
NUMBER = {1},
PAGES = {147--164},
ISSN = {0021-8693},
CODEN = {JALGA4},
MRCLASS = {12F12 (11S20 12F10)},
MRNUMBER = {99h:12005},
MRREVIEWER = {Helmut V{ö}lklein},
DOI = {10.1006/jabr.1998.7454},
ZBLNUMBER = {0923.12005},
} -
[HJ3] D. Haran and M. Jarden, "The absolute Galois group of $C(x)$," Pacific J. Math., vol. 196, iss. 2, pp. 445-459, 2000.
@article {HJ3, MRKEY = {1800587},
AUTHOR = {Haran, Dan and Jarden, Moshe},
TITLE = {The absolute {G}alois group of {$C(x)$}},
JOURNAL = {Pacific J. Math.},
FJOURNAL = {Pacific Journal of Mathematics},
VOLUME = {196},
YEAR = {2000},
NUMBER = {2},
PAGES = {445--459},
ISSN = {0030-8730},
CODEN = {PJMAAI},
MRCLASS = {12F10},
MRNUMBER = {2001k:12008},
MRREVIEWER = {Tara L. Smith},
ZBLNUMBER = {0979.12002},
} -
[HS]
D. Harbater and K. F. Stevenson, "Local Galois theory in dimension two," Adv. Math., vol. 198, iss. 2, pp. 623-653, 2005.
@article {HS, MRKEY = {2183390},
AUTHOR = {Harbater, David and Stevenson, Katherine F.},
TITLE = {Local {G}alois theory in dimension two},
JOURNAL = {Adv. Math.},
FJOURNAL = {Advances in Mathematics},
VOLUME = {198},
YEAR = {2005},
NUMBER = {2},
PAGES = {623--653},
ISSN = {0001-8708},
CODEN = {ADMTA4},
MRCLASS = {12E30 (12F10)},
MRNUMBER = {2007e:12002},
MRREVIEWER = {Anna Cadoret},
DOI = {10.1016/j.aim.2005.06.011},
ZBLNUMBER = {1104.12003},
} -
[HV]
D. Haran and H. Völklein, "Galois groups over complete valued fields," Israel J. Math., vol. 93, pp. 9-27, 1996.
@article {HV, MRKEY = {1380632},
AUTHOR = {Haran, Dan and V{ö}lklein, Helmut},
TITLE = {Galois groups over complete valued fields},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {93},
YEAR = {1996},
PAGES = {9--27},
ISSN = {0021-2172},
CODEN = {ISJMAP},
MRCLASS = {12F10 (12J10)},
MRNUMBER = {97c:12002},
MRREVIEWER = {N. Popescu},
DOI = {10.1007/BF02761092},
ZBLNUMBER = {0869.12006},
} -
[Le]
T. R. Lefcourt, "Galois groups and complete domains," Israel J. Math., vol. 114, pp. 323-346, 1999.
@article {Le, MRKEY = {1738688},
AUTHOR = {Lefcourt, Tamara R.},
TITLE = {Galois groups and complete domains},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {114},
YEAR = {1999},
PAGES = {323--346},
ISSN = {0021-2172},
CODEN = {ISJMAP},
MRCLASS = {13B05 (12F12 14H30)},
MRNUMBER = {2000k:13006},
MRREVIEWER = {Helmut V{ö}lklein},
DOI = {10.1007/BF02785586},
ZBLNUMBER = {0948.12002},
} -
[Li] Q. Liu, "Tout groupe fini est un groupe de Galois sur ${\Bbb Q}_{p}(T)$, d’après Harbater," in Recent Developments in the Inverse Galois Problem, Providence, RI: Amer. Math. Soc., 1995, pp. 261-265.
@incollection{Li,
author = {Q.~Liu},
TITLE = {Tout groupe fini est un groupe de Galois sur ${\Bbb Q}_{p}(T)$, d'après Harbater},
BOOKTITLE = {Recent Developments in the Inverse Galois Problem},
VENUE = {Seattle, WA, 1993},
SERIES = {Contemp. Math.},
NUMBER = {186},
PUBLISHER = {Amer. Math. Soc.},
ADDRESS = {Providence, RI},
YEAR = {1995},
PAGES = {261--265},
MRNUMBER = {96h:12006},
ZBLNUMBER = {0834.12004},
} -
[Ma]
H. B. Matzat, "Frattini-Einbettungsprobleme über Hilbertkörpern," Manuscripta Math., vol. 70, iss. 4, pp. 429-439, 1991.
@article {Ma, MRKEY = {1092146},
AUTHOR = {Matzat, B. Heinrich},
TITLE = {Frattini-{E}inbettungsprobleme über {H}ilbertkörpern},
JOURNAL = {Manuscripta Math.},
FJOURNAL = {Manuscripta Mathematica},
VOLUME = {70},
YEAR = {1991},
NUMBER = {4},
PAGES = {429--439},
ISSN = {0025-2611},
CODEN = {MSMHB2},
MRCLASS = {12F12 (12E25)},
MRNUMBER = {92f:12010},
MRREVIEWER = {Jack Sonn},
DOI = {10.1007/BF02568388},
} -
[Na] M. Nagata, Local Rings, New York: Interscience Publishers, John Wiley & Sons, 1962.
@book {Na, MRKEY = {0155856},
AUTHOR = {Nagata, Masayoshi},
TITLE = {Local Rings},
SERIES = {Interscience Tracts in Pure and Applied Math.},
number = {13},
PUBLISHER = {Interscience Publishers, John Wiley \& Sons},
address = {New York},
YEAR = {1962},
PAGES = {xiii+234},
MRCLASS = {13.95 (16.00)},
MRNUMBER = {27 \#5790},
MRREVIEWER = {R. C. Hartshorne},
ZBLNUMBER = {0123.03402},
} -
[Pa]
E. Paran, "Algebraic patching over complete domains," Israel J. Math., vol. 166, pp. 185-219, 2008.
@article {Pa, MRKEY = {2430432},
AUTHOR = {Paran, Elad},
TITLE = {Algebraic patching over complete domains},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {166},
YEAR = {2008},
PAGES = {185--219},
ISSN = {0021-2172},
CODEN = {ISJMAP},
MRCLASS = {12F12 (12F10 12J10)},
MRNUMBER = {2009e:12006},
MRREVIEWER = {Akito Nomura},
DOI = {10.1007/s11856-008-1027-9},
ZBLNUMBER = {1159.12002},
} -
[Po]
F. Pop, "Embedding problems over large fields," Ann. of Math., vol. 144, iss. 1, pp. 1-34, 1996.
@article {Po, MRKEY = {1405941},
AUTHOR = {Pop, Florian},
TITLE = {Embedding problems over large fields},
JOURNAL = {Ann. of Math.},
FJOURNAL = {Annals of Mathematics. Second Series},
VOLUME = {144},
YEAR = {1996},
NUMBER = {1},
PAGES = {1--34},
ISSN = {0003-486X},
CODEN = {ANMAAH},
MRCLASS = {12F12 (11S20)},
MRNUMBER = {97h:12013},
MRREVIEWER = {Helmut V{ö}lklein},
DOI = {10.2307/2118581},
ZBLNUMBER = {0862.12003},
} -
[Ra]
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.
@article {Ra, MRKEY = {1253200},
AUTHOR = {Raynaud, M.},
TITLE = {Revêtements de la droite affine en caractéristique {$p>0$} et conjecture d'{A}bhyankar},
JOURNAL = {Invent. Math.},
FJOURNAL = {Inventiones Mathematicae},
VOLUME = {116},
YEAR = {1994},
NUMBER = {1-3},
PAGES = {425--462},
ISSN = {0020-9910},
CODEN = {INVMBH},
MRCLASS = {14H30 (14E20)},
MRNUMBER = {94m:14034},
MRREVIEWER = {Wolfgang K. Seiler},
DOI = {10.1007/BF01231568},
ZBLNUMBER = {0798.14013},
} -
[Se] J. Serre, Topics in Galois Theory, Boston, MA: Jones and Bartlett Publishers, 1992.
@book {Se, MRKEY = {1162313},
AUTHOR = {Serre, Jean-Pierre},
TITLE = {Topics in {G}alois Theory},
SERIES = {Res. Notes in Math.},
NUMBER = {1},
PUBLISHER = {Jones and Bartlett Publishers},
ADDRESS = {Boston, MA},
YEAR = {1992},
PAGES = {xvi+117},
ISBN = {0-86720-210-6},
MRCLASS = {12F12 (11R32 12-02 12G05)},
MRNUMBER = {94d:12006},
MRREVIEWER = {B. Heinrich Matzat},
ZBLNUMBER = {0746.12001},
} -
[ZS2] O. Zariski and P. Samuel, Commutative Algebra, Princeton, NJ: D. Van Nostrand Co., 1960, vol. II.
@book {ZS2, MRKEY = {0120249},
AUTHOR = {Zariski, Oscar and Samuel, Pierre},
TITLE = {Commutative Algebra},
volume={II},
PUBLISHER = {D. Van Nostrand Co.},
SERIES = {The University Series in Higher Math.},
ADDRESS = {Princeton, NJ},
YEAR = {1960},
PAGES = {x+414},
MRNUMBER = {22 \#11006},
ZBLNUMBER = {0121.27901},
}