On Vlasenko's formal group laws
arXiv:2009.10512 · doi:10.1007/s00229-021-01353-z
Abstract
Given a Laurent polynomial over a ring flat over \(\mathbb{Z}\), Vlasenko defines a formal group law. We identify this formal group law with a coordinate system of a formal group functor, prove its integrality. 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\).