Formal groups and $(\varphi,\Gamma)$-modules
Let $K/E$ be a finite unramified extension of $p$-adic local fields, and let $H$ be a one-dimensional formal $\mathcal{O}_E$-module of finite height over $\mathcal{O}_K$. We introduce the exponential period map of $H$ and use it to construct a complete regular local ring $R_{H,K}$ with imperfect residue field, an endom...