Local constancy for reductions of two-dimensional crystalline representations (Q2086408)

One of the important tools in the study of $p$-adic representations of the local absolute Galois group $G_{\mathbb{Q}_{p}}=\mathrm{Gal}(\overline{\mathbb{Q}_p}/{\mathbb{Q}_p})$ is crystalline representations [\textit{L. Berger}, Compos. Math. 140, No. 6, 1473--1498 (2004; Zbl 1071.11067); \textit{G. Chenevier}, Math. Ann. 355, No. 4, 1469--1525 (2013; Zbl 1283.11082); \textit{P. Colmez}, Astérisque 319, 213--258 (2008; Zbl 1168.11022); \textit{M. Kisin}, Astérisque 330, 511--528 (2010; Zbl 1233.11126)]. Let $p$ be an odd prime integer and $\mathbb{E}$ is a finite extension of $\mathbb{Q}_{p}$ with $\mathcal{O}_{\mathbb{E}}$ as its ring of integers, $I_{\mathbb{E}}$ its maximal ideal, $K_{\mathbb{E}}$ its residue field, and $e$ its ramification index over $\mathbb{Q}_{p}$. Suppose $\pi_{\mathbb{E}}$ is a a uniformizer, $k\geq 2$ is an integer, and $a_{p}\in I_{\mathbb{E}}$. Let $D_{k,a_{p}}=\mathbb{E}e_1\oplus \mathbb{E}e_2$ be the filtered $\varphi$-module whose structure is given by: \[ \varphi=\left(\begin{matrix}0 &-1\\ p^{k-1} &a_{p}\end{matrix}\right),\text{ and filtration } \mathrm{Fil}^{i}=\begin{cases}D_{k,a_{p}} &\text{if }i\leq 0\\ \mathbb{E}e_1 &\text{if }1\leq i\leq k-1\\ 0 &\text{if }i\geq k\end{cases} \] According to \textit{P. Colmez} and \textit{J.-M. Fontaine} [Invent. Math. 140, No. 1, 1--43 (2000; Zbl 1010.14004)], there exists a unique crystalline irreducible $\mathbb{E}$-linear representation $V_{k,a_p}$ of dimension two, with Hodge-Tate weights \(\{0,k-1\}\) such that $D_{\mathrm{cris}}(V_{k,a_p}^*)=D_{k,a_p}$, where $V_{k,a_p}^*$ is the $\mathbb{E}$-linear dual representation of $V_{k,a_p}$. By a result of \textit{C. Breuil} [J. Inst. Math. Jussieu 2, No. 1, 23--58 (2003; Zbl 1165.11319)], up to twist, any irreducible two-dimensional crystalline representation is isomorphic to $V_{k,a_p}$ for some $k\geq 2$ and $a_{p}\in I_{\mathbb{E}}$. These results give rise to the natural questions of whether it is possible to completely classify $V_{k,a_p}$ in terms of $k$ and $a_{p}$? Consider the $\mathbb{E}$-linear representation $V_{k,a_p}$ and let $T_{k,a_{p}}$ be a $G_{\mathbb{Q}_{p}}$-stable lattice inside $V_{k,a_p}$. There is an isomorphism $T_{k,a_{p}}\otimes_{\mathcal{O}_{\mathbb{E}}}\mathbb{E}\cong V_{k,a_p}$ of $G_{\mathbb{Q}_{p}}$ modules. Denote by $\overline{V}_{k,a_p}$ the semi-simplification of $T_{k,a_{p}}\otimes_{\mathcal{O}_{\mathbb{E}}}\mathbb{E}$. In order to try to describe the reductions $\overline{V}_{k,a_p}$ one different approach has been developed by Berger et al. with the so-called local constancy results both in the trace and in the weight [\textit{L. Berger}, Bull. Lond. Math. Soc. 44, No. 3, 451--459 (2012; Zbl 1279.11046)]. The author of the paper under review extends Berger's result to a prime power setting. The author find an (explicit) local constancy result with respect to $a_{p}$ using Fontaine's theory of $(\varphi, \Gamma)$-modules, its crystalline refinement due to Berger via Wach modules and their continuity properties.