Quantcast

Cartier theory with coefficients

Research paper by Hendrik Verhoek

Indexed on: 10 Nov '16Published on: 19 Oct '16Published in: Manuscripta Mathematica



Abstract

Abstract We develop a Cartier theory to describe formal groups with an action of a number ring A. Such formal groups are called formal A-modules. An important example of a formal A-module is the formal group of A-typical Witt vectors that generalize the big Witt vectors: instead of indexing over the non-zero natural numbers, we index over a subset of non-zero ideals of A. Using a variant of the A-typical Witt vectors, we define the A-typical Cartier ring \(\mathbb {E}_{A}\) and prove that the category of formal A-modules is equivalent to the category of \(\mathbb {E}_{A}(R)\) -modules under the assumption that the tangent space is finitely generated and projective.AbstractWe develop a Cartier theory to describe formal groups with an action of a number ring A. Such formal groups are called formal A-modules. An important example of a formal A-module is the formal group of A-typical Witt vectors that generalize the big Witt vectors: instead of indexing over the non-zero natural numbers, we index over a subset of non-zero ideals of A. Using a variant of the A-typical Witt vectors, we define the A-typical Cartier ring \(\mathbb {E}_{A}\) and prove that the category of formal A-modules is equivalent to the category of \(\mathbb {E}_{A}(R)\) -modules under the assumption that the tangent space is finitely generated and projective.AAAAAAA \(\mathbb {E}_{A}\) \(\mathbb {E}_{A}\)A \(\mathbb {E}_{A}(R)\) \(\mathbb {E}_{A}(R)\)