Ramification correspondence of finite flat group schemes over equal and mixed characteristic local fields (Q448201): Difference between revisions

Let \(p\) be an odd prime number, \(K\) a complete, discrete valuation field of mixed characteristic \((0,p)\) with perfect residue class field \(k\), such that \(K\) is finite and totally ramified over the quotient field of the Witt ring of \(k\). Let \(K_\infty\) be a maximal totally ramified \(p\)-extension of \(K\) inside its algebraic closure \(\overline K\) and \(G_{K_\infty}\) its absolute Galois group. Then one has a field \(\mathcal X \simeq k((u))\) with valuation ring \(\mathcal O_{\mathcal X} \simeq k[[u]]\), and with absolute Galois group \(G_{\mathcal X} \simeq G_{K_\infty}\), where this latter isomorphism is compatible with the upper ramification subgroups. Now let \(\mathcal G\) and \(\mathcal H\) be finite flat commutative group schemes over \(\mathcal O_K\) and \(\mathcal O_{\mathcal X}\), resp., which are killed by \(p\) and which correspond to each other under the correspondence developed by C. Breuil and M. Kisin. For any Breuil-Kisin module \(\mathfrak M\) (i.e., a free \(k[[u]]\)-module with certain properties) one then obtains an isomorphism of \(G_{K_\infty}\)-modules \[ \mathcal G (\mathfrak M) (\mathcal O_{\overline K}) \big | _{G_{K_\infty}} \to \mathcal H (\mathfrak M) (\mathcal O_{\mathcal X^{\text{sep}}}). \] The main result of this paper shows that this isomorphism induces isomorphisms of the upper and the lower ramification subgroups of these modules. So studying ramification of the group scheme \(\mathcal G\) over \(\mathcal O_K\) can be translated to studying the problem in the equal characteristic case. The proof uses Cartier duality to connect the upper ramification filtration with the lower one.