Congruence-torsion subgroups of dimension one formal groups
type: Item
instance of: scholarly article
title: Congruence-torsion subgroups of dimension one formal groups
zbMATH Open document ID: 0841.14039
author: Karl Zimmermann
author: Lindsay N. Childs
published in: Journal of Algebra
publication date: 1996-07-16T00:00:00Z
review text: Let \(K\) be a finite extension of \(\mathbb{Q}_p\), with valuation ring \(R = {\mathfrak o}_K\) and let \(\overline K\) be an algebraic closure of \(K\), with valuation ring \({\mathfrak o}_{\overline K}\). Denote by \(e_0\) the ramification index of \(K\) over \(\mathbb{Q}_p\) and suppose that the valuation of \(K\) is normalized by setting \(v(p) = e_0\). Let \(G = \text{Spf} R X\) be a one-dimensional (commutative) formal group of height \(h\) and let \(\Gamma\) be an (abstract) finite abelian group with exponent dividing \(p^m\) and with \(p\)-rank less than or equal to \(h\). For such a group \(\Gamma\), define the Weyr invariants as the integers \(\gamma_i : = \dim_{\mathbb{F}_p} {p^{i - 1} \Gamma \over p^i \Gamma}\) for \(i = 1, \dots, m\). Under the above hypotheses, \(\Gamma \subset G ({\mathfrak o}_{\overline K})_{\text{tors}} \cong (\mathbb{Q}_p/ \mathbb{Z}_p)^h\), and a theorem of \textit{J. Lubin} says that there is a \({\mathfrak o}_{\overline K}\)-bialgebra \(B\), isomorphic to a quotient of \({\mathfrak o}_{\overline K} X\), such that \(\text{Spf} B ({\mathfrak o}_{\overline K}) = \Gamma\). A natural problem is to determine a finite extension of \(\mathbb{Q}_p\) and a bialgebra over the integers of such extension having \(\Gamma\) as group of \({\mathfrak o}_{\overline K}\)-points. The authors look for a lower bound for the ramification \(e_0\) in order to realize \(\Gamma\) as a congruence subgroup of a given one-dimensional formal \(R\)-group \(G\), where a congruence subgroup of \(G\) is the subset of \(\ker [p^m]_G\) consisting of the points of valuation \(\geq C\), for some \(C\). A result of \textit{J. Lubin} [Trans. Am. Math. Soc. 251, 103-127 (1979; Zbl 0431.14014)] describes the bialgebras of the subgroups in terms of the Newton polygon of the series \([p^m] (X)\). The authors prove that, for a given \(\Gamma\), there exists a congruence subgroup \(H = \text{Spf} B\) of a one-dimensional formal group \(G\), both defined over \(R\), …
reviewed by: Maurizio Candilera
Mathematics Subject Classification ID: 14L05
Mathematics Subject Classification ID: 14L17
zbMATH DE Number: 705011
zbMATH Keywords: formal group
MaRDI profile type: Publication
full work available at URL: jabr.1994.1371
OpenAlex ID: W2002328135
DOI: 10.1006/JABR.1994.1371
Recommended article: Kummer congruences in formal groups and algebraic groups of dimension one
Recommended article: Torsion classes in the cohomology of congruence subgroups
Recommended article: Conjugacy separability of certain 1-relator groups with torsion
Recommended article: The Torelli group and congruence subgroups of the mapping class group
Recommended article: On conormal subgroups
Recommended article: Formal groups and congruences
Recommended article: One-dimensional algebraic formal groups
Recommended article: Conjugacy separability of certain torsion groups
Recommended article: Galois Endomorphisms of the Torsion Subgroup of One-Parameter Generic Formal groups
Recommended article: One-cusped congruence subgroups of Bianchi groups
description: scientific article; zbMATH DE number 705011