On \(F\)-crystalline representations (Q288660)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On \(F\)-crystalline representations
scientific article

    Statements

    On \(F\)-crystalline representations (English)
    0 references
    0 references
    0 references
    27 May 2016
    0 references
    This paper generalizes the construction of Kisin modules to representations that are \(F\)-crystalline (in the sense of \textit{M. Kisin} and \textit{W. Ren} [Doc. Math., J. DMV 14, 441--461 (2009; Zbl 1246.11112)]). Let us first quickly review classical Kisin modules following \textit{M. Kisin} [Prog. Math. 253, 457--496 (2006; Zbl 1184.11052)]. For a complete discrete valuation field \(K\) of mixed characteristic with perfect residue field \(k\), and for a uniformizer \(\pi_0\), Kisin considered the infinite extension \(K_\infty: = K(\pi_n; n \geq 1)\) for \(\pi_n\) a compatible system of \(p^n\)th roots of \(\pi_0\). For each \(G_{K_\infty}\)-stable \(\mathbb Z_p\)-lattice \(T\) in a semistable \(G_K\)-representation \(V\) with Hodge-Tate weights in \(\{0, \dots, r\}\), Kisin defines a unique Kisin module \(\mathfrak M\) of height \(r\) satisfying \(T \cong T_{\mathfrak S}(\mathfrak M)\). Using this, Kisin was able to show that the restriction functor \(V \mapsto V|_{G_{K_\infty}}\) is fully faithful when restricted to the category of crystalline representations of \(G_K\). This paper deduces parallel results for \(F\)-crystalline representations. Here \(F \subseteq K\) is a subfield that is finite over \(\mathbb Q_p\) with residue field \(\mathbb F_q\). An \(F\)-crystalline representation in the sense of \textit{M. Kisin} and \textit{W. Ren} [Doc. Math., J. DMV 14, 441--461 (2009; Zbl 1246.11112)] is a crystalline representation of \(G_K\) on an \(F\)-vector space \(V\) such that the Hodge-Tate filtration on \(\mathbb D_{\mathrm{dR}}(V)\) (which is a vector space over \(K \otimes F\)) is trivial except possible at the factor induced by the given embedding \(F \to K\). Instead of adjoining \(p\)-power roots of a uniformizer, the authors allow to choose a power series \[ f(u): = a_1u+a_2u^2+\cdots \in \mathcal O_F[[u]] \] such that \(f(u) \equiv u^q \bmod \mathfrak m_F\). They set \(\pi_0\) to be a uniformizer of \(K\) and inductively \(\pi_n\) a zero of the equation \(f(x) = \pi_{n-1}\); and put \(K_{\underline \pi} : = \bigcup_n K(\pi_n)\). Parallel to Kisin's case, the authors define \(\mathfrak S_F: = \mathcal O_F \otimes_{\mathbb Z_p} W(k)[[u]]\), which carries a Frobenius endomorphism \(\phi\) which acts as the \(q\)-power Frobenius on \(W(k)\), acts as the identity on \(\mathcal O_F\), and sends \(u\) to \(f(u)\). Their main theorem is that, for a \(F\)-crystalline representation with Hodge-Tate weights in \(\{0, \dots, r\}\) and \(T \subset V\) a \(\mathrm{Gal}(\overline K / K_{\underline \pi})\)-stable \(\mathcal O_F\)-lattice, there exists (not known to be unique) a Kisin module \(\mathfrak M\) of height \(r\) satisfying \(T_{\mathfrak S}(\mathfrak M) \cong T\). As a corollary of this, the author deduces, under some mild technical assumptions, the restriction functor from the category of \(F\)-crystalline representations with Hodge-Tate weights in \(\{0, \dots, r\}\) to the category of representations of \(\mathrm{Gal}(\overline K / K_{\underline \pi})\) is fully faithful. Essentially as a special case of this, the authors also prove that, if \(v_F(a_1)>1\), the category of Kisin modules of height \(1\) is equivalent to the category of \(F\)-Barsotti-Tate groups over \(\mathcal O_K\).
    0 references
    \(F\)-crystalline representations
    0 references
    Kisin modules
    0 references

    Identifiers