Equivariant formal group laws and complex-oriented spectra over primary cyclic groups: Elliptic curves, Barsotti-Tate groups, and other examples

We explicitly construct and investigate a number of examples of $mathbb{Z}/p^r$-equivariant formal group laws and complex-oriented spectra, including those coming from elliptic curves and $p$-divisible groups, as well as some other related examples.