Patching and admissibility over two-dimensional complete local domains (Q600787): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.2140/ant.2010.4.743 / rank | |||
Property / DOI | |||
Property / DOI: 10.2140/ANT.2010.4.743 / rank | |||
Normal rank |
Revision as of 04:36, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Patching and admissibility over two-dimensional complete local domains |
scientific article |
Statements
Patching and admissibility over two-dimensional complete local domains (English)
0 references
2 November 2010
0 references
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\).
0 references
patching
0 references
admissible groups
0 references
division algebras
0 references
complete local domains
0 references