Models of group schemes of roots of unity
Let be a discrete valuation ring of mixed characteristics , with residue field . Using work of Sekiguchi and Suwa, we construct some finite flat -models of the group scheme of -th roots of unity, which we call . We carefully set out the general framework and algebraic properties of this construction. When is perfect and is a complete totally ramified extension of the ring of Witt vectors , we provide a parallel study of the Breuil-Kisin modules of finite flat models of , in such a...