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

From MaRDI portal
Revision as of 22:37, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Ramification correspondence of finite flat group schemes over equal and mixed characteristic local fields
scientific article

    Statements

    Ramification correspondence of finite flat group schemes over equal and mixed characteristic local fields (English)
    0 references
    0 references
    30 August 2012
    0 references
    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.
    0 references
    0 references
    Cartier duality
    0 references
    Breuil-Kisin modules
    0 references
    Abbes-Saito ramification
    0 references

    Identifiers