Abstract
Let R be a domain, complete with respect to a norm which defines a non-discrete topology on R. We prove that the quotient field of R is ample, generalizing a theorem of Pop. We then consider the case where R is a ring of arithmetic power series which are holomorphic on the closed disc of radius 0<r<1 around the origin, and apply the above result to prove that the absolute Galois group of the quotient field of R is semi-free. This strengthens a theorem of Harbater, who solved the inverse Galois problem over these fields.
| Original language | English |
|---|---|
| Pages (from-to) | 4183-4197 |
| Number of pages | 15 |
| Journal | Advances in Mathematics |
| Volume | 226 |
| Issue number | 5 |
| DOIs | |
| State | Published - 20 Mar 2011 |
| Externally published | Yes |
Bibliographical note
Funding Information:The first author was supported by the European Commission under contract MRTN-CT-2006-035495. The second author was supported by an ERC grant.
Copyright:
Copyright 2011 Elsevier B.V., All rights reserved.
Keywords
- Ample fields
- Galois theory
- Large fields
- Power series
- Semi-free profinite groups
- Split embedding problems