Split embedding problems over complete domains

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] Go to document 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] Go to document 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] Go to document 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] Go to document 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] Go to document 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] Go to document 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] Go to document 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] Go to document 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] Go to document 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] Go to document 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},
      }

Authors

Elad Paran

School of Mathematical Sciences
Tel Aviv University
Ramat Aviv
Tel Aviv 69978
Israel