关于Vlasenko的形式群律

给定一个在平坦于$\mathbb{Z}$的环上的Laurent多项式，Vlasenko定义了一种形式群律。我们将其识别为形式群函子的一个坐标系，并证明其整性。当该Laurent多项式的Hasse--Witt矩阵可逆时，Vlasenko通过取某个$p$进极限定义了一矩阵。我们证明该矩阵是此形式群模$p$的Dieudonné模的Frobenius。