Models of group schemes of roots of unity (Q381158): Difference between revisions

Let \(\mathcal{O}_K\) be a discrete valuation ring of mixed characteristics \((0, p),\) with residue field \(k.\) Using work by Sekiguchi and Suwa [On the unified Kummer-Artin-Schreir-Witt Theory, Preprint no. 111, Preprint series of the Laboratoire de Mathematiques Pures de Bordeaux (1999)], the authors of the paper under review construct some finite flat \(\mathcal{O}_K\)-models of the scheme \(\mu_{p^{n}, K}\) of \(p^n-\)th roots of unity, which they call Kummer group schemes. They carefully set out the general framework and algebraic properties of this construction. When \(k\) is perfect and \(\mathcal{O}_K\) is a complete totally ramified extension of the ring of Witt vectors \(W(k),\) they provide a parallel study of the Breuil-Kisin modules of finite flat models of \(\mu_{p^{n}, K},\) in such a way that the construction of Kummer groups and Breuil-Kisin modules can be compared. They construct these objects for \(n \leq 3.\) This leads the authors of the paper under review to conjecture that all finite flat models of \(\mu_{p^{n}, K}\) are Kummer group schemes. Models of schemes have investigated in paper by \textit{P. Deligne} [in: Sem. Bourbaki 1970/71, Lect. Notes Math. 244, 123--165 (1971; Zbl 0225.14007)]. Models of unipotent group schemes have introduced and studied in papers by \textit{B. Yu. Veĭsfeĭler} and \textit{I. V. Dolgachev} [Izv. Akad. Nauk SSSR, Ser. Mat. 38, 757--799 (1974; Zbl 0314.14015)], by \textit{F. A. Bogomolov} [Math. USSR, Izv. 13, 499--555 (1979); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 42, 1227--1287 (1978; Zbl 0439.14002)], by \textit{W. C. Waterhouse} and \textit{B. Weisfeiler} [J. Algebra 66, 550--568 (1980; Zbl 0452.14013)]. A group scheme is finite of order \(m\) over an affine scheme \(S\) if it is locally free of rank \(m\) over \(S.\) Let \(H_K\) be a group scheme over \(K.\) Any flat \({\mathcal O}_K-\)group scheme \(G\) such that \( G_K \simeq H_K \) is called a model of \(H_K.\) The authors of the paper under review consider models of \((\mathbb{G}_{m,K})^n\) constructed by successive extensions of affine, smooth, one-dimensional models of \(\mathbb{G}_{m,K}\) with connected fibers, called filtered group schemes. Kummer group schemes are defined as the kernels \(G\) of some well-chosen isogenies \(\mathcal{E} \to \mathcal{F} \) between filtered group schemes. The range of topics of the paper is indicated by the titles of the sections: 1. Introduction; 2. Breuil-Kisin modules of finite flat group schemes; 3. The loop of \(\mu-\)matrices; 4. Relating lattices and matrices; 5. Computation of \(\mu-\)matrices for \(n = 3;\) 6. Sekiguchi-Suwa Theory; 7. Kummer group schemes; 8. Computation of Kummer group schemes for \(n = 3\) . The authors most interesting results are the statement of Theorem 8.3.3 on computation of Kummer group schemes for \(n = 3,\) comments after it and proof of the theorem.