Classification of formal \(A\)-modules in the case of small ramification
type: Item
instance of: scholarly article
title: Classification of formal \(A\)-modules in the case of small ramification
zbMATH Open document ID: 1360.14115
author: S. S. Afanas'eva
author: S. V. Vostokov
published in: Journal of Mathematical Sciences (New York)
publication date: 2017-01-23T00:00:00Z
review text: Let \(K_0\) be a local field with residue field of finite order \(q\) and \(A\) the ring of integers of \(K_0\). Let \(K\) be a finite extension of \(K_0\) with residue field of characteristic \(p>2\) and \(\mathcal{O}_K\) be its ring of integers. Let \(\pi_0\) (resp. \(\pi\)) be a prime element of \(A\) (resp. \(\mathcal{O}_K\)). Let \(T\) denote the inertia subfield in \(K/K_0\) and \(\mathcal{O}_T\) be its ring of integers. Let \(\mathcal{O}_T\Delta\) be the noncommutative ring of power series in which the multiplication is given by \(\Delta a = \sigma(a) \Delta\) and let \(\Delta\) be the operator that acts on the series by the rule \(\Delta(cX^k) = cX^{qk}\). In this paper, an \(A\)-module is an \(m\)-dimensional formal group law \(F\) over \(\mathcal{O}_K\) such that the embedding \([\cdot]:A \to \text{End}_{\mathcal{O}_K}F\) satisfies \([a](X) \equiv aI_m\) modulo degree \(2\) terms. Let \(\lambda\) be the logarithm of the formal group \(F\). Every formal \(A\)-module over an \(A\)-algebra \(B\) is strictly isomorphic over \(B\) as a formal \(A\)-module to an \(A\)-typical formal \(A\)-module. Since the homomorphism \(B \to B \otimes_A K\) is injective, the logarithm of a formal \(A\)-module has the form \(\lambda(X) = \Lambda(\Delta)(X)\). The main result of this paper is to show that \(\lambda(X) = \Lambda(\Delta)(X)\) is the logarithm of an \(A\)-typical formal \(A\)-module over \(\mathcal{O}_K\) if and only if \(\lambda = vu^{-1}\) where \(u \in \mathcal{O}_T\Delta\), \(u \equiv \pi_0\) mod \(\Delta\), and \(v \in \pi_0+\pi\mathcal{O}_K\Delta\Delta\). Any formal \(A\)-module over \(\mathcal{O}_K\) is isomorphic to an \(A\)-typical one with such logarithm. The authors also give criteria for testing when two \(A\)-typical formal \(A\)-modules are strictly isomorphic in terms of conditions on logarithms.
reviewed by: Xiao Xiao
Mathematics Subject Classification ID: 14L05
zbMATH DE Number: 6676844
zbMATH Keywords: formal \(A\)-modules
MaRDI profile type: Publication
full work available at URL: s10958-016-3108-3
OpenAlex ID: W2532845195
cites work: Q3901604
DOI: 10.1007/S10958-016-3108-3
Recommended article: Logarithms of formal \(A\)-modules in the case of small ramification
Recommended article: Q4499135
Recommended article: ON THE CLASSIFICATION OF \alpha-KRULL MODULES
Recommended article: Varieties and modules of small dimension
Recommended article: On the small Krull dimension of modules
Recommended article: A classification of Breuil modules
Recommended article: Classification of finite-dimensional irreducible modules over \(W\)-algebras
Recommended article: Q3381252
Recommended article: Small modules with interesting rank varieties
Recommended article: Classifying subcategories of finitely generated modules over a Noetherian ring
description: scientific article; zbMATH DE number 6676844