Abstract
Given a Laurent polynomial over a flat \(\mathbf {Z}\)-algebra, Vlasenko defines a formal group law. We identify this formal group law with a coordinate system of a formal group functor. When the “Hasse–Witt matrix” of the Laurent polynomial is invertible, Vlasenko defines a matrix by taking a certain \(p\)-adic limit. We show that this matrix is the Frobenius of the Dieudonné module of this formal group modulo \(p\).
Similar content being viewed by others
Notes
Vlasenko pointed out to me that her integrality proof does not require \(\Delta \) to be full dimensional as we assumed here. Thus our integrality proof is not as general as hers. Assuming her integrality theorem, the results in Sect. 3 can go through for an arbitrary \(\Delta \), except Remark 2.15, which requires the knowledge about the relation between \(F_{f}\) and algebraic geometry.
References
Artin, M., Mazur, B.: Formal groups arising from algebraic varieties. Ann. Sci. École Norm. Sup. (4) 10(1), 87–131 (1977)
Berthelot, P., Bloch, S., Esnault, H.: On Witt vector cohomology for singular varieties. Compos. Math. 143(2), 363–392 (2007)
Berthelot, P., Breen, L., Messing, W.: Théorie de Dieudonné cristalline II. Lecture Notes in Mathematics, vol. 930. Springer, Berlin (1982)
Beukers, F., Vlasenko, M.: Dwork crystals i. Int. Math. Res. Not. IMRN (2020)
Bhatt, B., Scholze, .: Prisms and prismatic cohomology (2019). arXiv:1905.08229
Cartier, P.: Groupes de Lubin-Tate généralisés. Invent. Math. 35, 273–284 (1976)
Cox, D.A., Little, J.B., Schenck, H.K.: Toric Varieties. Graduate Studies in Mathematics, vol. 124. American Mathematical Society, Providence, RI (2011)
Gelfand, I.M., Zelevinsky, A., Kapranov, M.: Hypergeometric functions and toric varieties. Funktsional. Anal. i Prilozhen. 23(2), 12–26 (1989)
Honda, T.: Formal groups obtained from generalized hypergeometric functions. Osaka Math. J. 9, 447–462 (1972)
Huang, A., Lian, B., Yau, S.-T., Yu, C.: Hasse–witt matrices, unit roots and period integrals, (2018). arXiv:1801.01189
Katz, N.M.: Internal reconstruction of unit-root F-crystals via expansion-coefficients. Ann. Sci. École Norm. Sup. (4) 18(2):245–285 (1985). With an appendix by Luc Illusie
Lazard, M.: Commutative formal groups. Lecture Notes in Mathematics, Vol. 443. Springer, Berlin (1975)
Stienstra, J.: Formal group laws arising from algebraic varieties. Am. J. Math. 109(5), 907–925 (1987)
Vlasenko, M.: Higher Hasse–Witt matrices. Indag. Math. (N.S.) 29(5), 1411–1424 (2018)
Vlasenko, M.: Formal groups and congruences. Trans. Am. Math. Soc. 371(2), 883–902 (2019)
Zink, T.: Cartiertheorie kommutativer formaler Gruppen, volume 68 of Teubner-Texte zur Mathematik [Teubner Texts in Mathematics]. BSB B. G. Teubner Verlagsgesellschaft, Leipzig, (1984). English translation by M. Romagny available at https://perso.univ-rennes1.fr/matthieu.romagny/articles/zink.pdf
Acknowledgements
Professor Masha Vlasenko sent me a list of suggestions and corrections, and clarified some of my misconceptions. I would like to thank her for her invaluable help.
I am also grateful to Tsung-Ju Lee, for his suggestions on Example 1.22; to Shizhang Li, for pointing out how to use \(\delta \)-rings in the proof of Theorem 2.14; to Qixiao Ma and Luochen Zhao, for discussions on formal groups; to Chenglong Yu, for answering my questions about his paper; and to Jie Zhou, for discussions on GKZ systems.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Zhang, D. On Vlasenko’s formal group laws. manuscripta math. 170, 167–191 (2023). https://doi.org/10.1007/s00229-021-01353-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-021-01353-z