Galois groups and complete domains (Q1969010): Difference between revisions

Using Riemann's Existence Theorem we can construct algebraic branched covers of the complex projective line with arbitrary finite Galois group. \textit{D. Harbater} [Galois coverings of the arithmetic line. Number theory, Semin. New York 1984/85, Lect. Notes Math. 1240, 165-195 (1987; Zbl 0627.12015)] constructed branched covers of the \(p\)-adic projective line with arbitrary finite Galois groups and showed that every finite group occurs as a Galois group over the fraction field of \(\hat{R} [t]\) where \(\hat{R}\) is a normal domain that is complete with respect to a maximal ideal. The author generalizes this result proving that every finite group occurs as a Galois group of a Galois extension of \(\hat{R}[t]\), where \(\hat{R}\) is not necessarily normal and complete at a non-zero prime ideal, not necessarily maximal. As a corollary, she deduces that if \(\hat{R}\) is a Noetherian domain of dimension at least two that contains a domain that is complete with respect to a non-zero prime ideal, then every finite group occurs as a Galois group over \(\hat{R}\). This proves the Noetherian case of a conjecture of \textit{Moshe Jarden} [Isr. J. Math. 85, 263-275 (1994; Zbl 0794.12004)]; namely, if \(\hat{R} = D[[x _1, \ldots , x _r]]\) is a power series ring of dimension at least two, \(D\) a Noetherian domain, then every finite group occurs as a Galois group over \(\hat{R}\).