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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / review text
 
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.
Property / review text: 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. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Günter Lettl / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14L15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11S15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 13F35 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6074377 / rank
 
Normal rank
Property / zbMATH Keywords
 
Cartier duality
Property / zbMATH Keywords: Cartier duality / rank
 
Normal rank
Property / zbMATH Keywords
 
Breuil-Kisin modules
Property / zbMATH Keywords: Breuil-Kisin modules / rank
 
Normal rank
Property / zbMATH Keywords
 
Abbes-Saito ramification
Property / zbMATH Keywords: Abbes-Saito ramification / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1968554711 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1007.3094 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical subgroups and p-adic vanishing cycles for abelian varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramification of local fields with imperfect residue fields. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Group schemes of period <i>p</i> &gt;2 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Théorie de Dieudonne cristalline. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(p\)-divisible groups, finite groups and filtered modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4407865 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-semi-stable representations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integral crystalline cohomology over very ramified valuation rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: La filtration de Harder-Narasimhan des schémas en groupes finis et plats / rank
 
Normal rank
Property / cites work
 
Property / cites work: La filtration canonique des points de torsion des groupes $p$-divisibles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3972741 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramification of a finite flat group scheme over a local field / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tame characters and ramification of finite flat group schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: The classification of \(p\)-divisible groups over 2-adic discrete valuation rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Crystalline representations and F-crystals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Moduli of finite flat group schemes, and modularity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modularity of 2-adic Barsotti-Tate representations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Torsion p-adic Galois representations and a conjecture of Fontaine / rank
 
Normal rank
Property / cites work
 
Property / cites work: On lattices in semi-stable representations: a proof of a conjecture of Breuil / rank
 
Normal rank
Property / cites work
 
Property / cites work: The correspondence between Barsotti-Tate groups and Kisin modules when \(p=2\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5539560 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical subgroups of Barsotti-Tate groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Le corps des normes de certaines extensions infinies de corps locaux; applications / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 14:35, 5 July 2024

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
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references