Patching and admissibility over two-dimensional complete local domains
The paper deals with Galois-theoretic properties of the quotient fields of complete local domains, inspired by the work of \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)], who showed that if \(R\) is a complete local domain with quotient field \(K\), then every finite group occurs as a Galois group over \(K(x)\). Given that much more is known about complete local domains \(R\) of dimension 1, the paper investigates the case where \(R\) has dimension 2, with quotient field \(K\). In particular, the authors study which finite groups are \textit{admissible} over \(K\), i.e., they occur as a Galois group of an \textit{adequate} Galois extension \(F/K\) (adequate means that \(F\) is a maximal subfield in an \(E\)-central division algebra). The main theorem of the paper is an extension of a result in \textit{D. Harbater, J. Hartmann} and \textit{D. Krashen} [``Applications of patching to quadratic forms and central simple algebras, Invent. Math. 178, No. 2, 231--263 (2009; Zbl 1259.12003)] and says the following: Let \(R\) be a local domain of dimension 2 with residue field \(k\), and assume that \(\text{char}(R) = \text{char}(k)\) and \(k\) is separably closed. Let \(G\) be a finite group of order not divisible by \(\text{char}(R)\). Then \(G\) is admissible over \(K\) if and only if all its Sylow subgroups are abelian of rank \(\leq 2\).
- Realizability and admissibility under extension of \(p\)-adic and number fields.
- Embedding problems with local conditions and the admissibility of finite groups
- Tamely ramified subfields of division algebras
- \(K\)-admissibility of \(A_ 6\) and \(A_ 7\)
- Patching subfields of division algebras
- Admissibility of groups over function fields of p-adic curves.
- \(\operatorname {SL}(2,11)\) is \({\mathbb Q}\)-admissible
- Arithmetic of linear algebraic groups over certain fields of dimension two.
- \(K\)-admissibility of \(S_{12}, S_{13}, S_{14}, S_{15}\)
- ℚ(t) and ℚ((t))-Admissibility of Groups of Odd Order
This page was built for publication: Patching and admissibility over two-dimensional complete local domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600787)
