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.
Similar content being viewed by others
References
Ahsendorf, T.: \(O\)-Displays and \({\pi }\)-Divisible Formal Groups. PhD thesis, Bielefeld (2011)
Boutot, J.-F., Carayol, H.: Uniformisation \(p\)-adique des courbes de Shimura: les théorèmes de Čerednik et de Drinfel’d. Astérisque, (196–197):7, 45–158 (1992) (1991. Courbes modulaires et courbes de Shimura (Orsay, 1987/1988))
Borger, J.: The basic geometry of Witt vectors, I: The affine case. Algebra Number Theory 5(2), 231–285 (2011)
Cartier, P.: Groupes formels associés aux anneaux de Witt généralisés. C. R. Acad. Sci. Paris Sér. A-B 265, A49–A52 (1967)
Cartier, P.: Modules associés à un groupe formel commutatif. Courbes typiques. C. R. Acad. Sci. Paris Sér. A-B 265, A129–A132 (1967)
Cartier, P.: Relèvements des Groupes Formels Commutatifs. In: Séminaire Bourbaki, Vol. 1968/69: Exposés 347–363, Volume 175 of Lecture Notes in Math., pages Exp. No. 359, 217–230. Springer, Berlin (1971)
Drinfel’d, V.G.: Coverings of \(p\)-adic symmetric domains. Funkcional. Anal. i Priložen. 10(2), 29–40 (1976)
Fontaine, J.-M., Fargues, L.: Courbes et fibrés vectoriels en théorie de hodge p-adique (2011)
Hazewinkel, M.: Formal Groups and Applications, vol 78 of Pure and Applied Mathematics. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York (1978)
Hazewinkel, M.: Constructing formal groups. VIII. Formal \(A\)-modules. Compositio Math. 38(3), 277–291 (1979)
Hazewinkel, M.: Twisted Lubin-Tate formal group laws, ramified Witt vectors and (ramified) Artin–Hasse exponentials. Trans. Am. Math. Soc. 259(1), 47–63 (1980)
Hesselholt, L.: The big de rham-witt complex. (2010)
Lazard, M.: Commutative Formal Groups. Lecture Notes in Mathematics, vol. 443. Springer, Berlin (1975)
Lenzing, H.: Endlich präsentierbare Moduln. Arch. Math. (Basel) 20, 262–266 (1969)
Lubin, J., Tate, J.: Formal complex multiplication in local fields. Ann. Math. 2(81), 380–387 (1965)
Zink, T.: Cartiertheorie kommutativer formaler Gruppen, vol 68 of Teubner-Texte zur Mathematik [Teubner Texts in Mathematics]. BSB B. G. Teubner Verlagsgesellschaft, Leipzig (1984). With English, French and Russian Summaries
Zink, T.: Cartiertheorie über Perfekten Ringen I,II. Karl-Weierstrass-Institut für Mathematik (1986)
Zink, T.: The display of a formal \(p\)-divisible group. Cohomologies \(p\)-adiques et applications arithmétiques, I. Astérisque 278, 127–248 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work has been supported by SFB/CRC 701.
Rights and permissions
About this article
Cite this article
Verhoek, H. Cartier theory with coefficients. manuscripta math. 153, 455–499 (2017). https://doi.org/10.1007/s00229-016-0892-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-016-0892-5