Reductions of Galois representations of slope \(\frac{3}{2}\) (Q6947737)

Let \(k \geq 2\) be an integer, and let \(a_p\) lie in a finite extension \(E\) of \(\mathbb{Q}_p\). Assume that \(v(a_p)>0\), where \(v\) is the \(p\)-adic valuation of \(\mathbb{Q}_p\), normalized so that \(v(p)=1\). Let \(V_{k, a_p}\) be the irreducible two-dimensional crystalline representation of \(G_{\mathbb{Q}_p}\) defined over \(E\) of weight \(k \geq 2\) and positive slope \(v(a_p)\). Let \(\overline{V}_{k, a_p}\) be the semisimplification of the reduction of \(V_{k, a_p}\) modulo the maximal ideal of the ring of integers of \(E\). It is a two-dimensional semisimple representation of \(G_{\mathbb{Q}_p}\) defined over \(\overline{\mathbb{F}}_p\), and it is independent of the choice of the lattice used to define the reduction. For simplicity, we often write \(v\) for the slope \(v(a_p)\).\N\NIn the present paper, the authors give a complete treatment of the case of slope \(v=\frac{3}{2}\), thus filling a gap in the literature computing the reduction for all small slopes less than \(2\). In particular, they prove a special case \(v=\frac{3}{2}\) of the so-called zig-zag conjecture (proposed by the first author) which describes the reductions \(\overline{V}_{k, a_p}\) for all exceptional weights for all half-integral slopes \(0<v\leq\frac{p-1}{2}\). Their proof uses the compatibility of the \(p\)-adic and mod \(p\) local Langlands correspondences with respect to the process of reduction. This compatibility allows them to reduce the problem of computing \(\overline{V}_{k, a_p}\) to a representation theoretic one, i.e., to computing the reduction of a \(\text{GL}_2(\mathbb{Q}_p)\)-stable lattice in a certain unitary \(\text{GL}_2(\mathbb{Q}_p)\)-Banach space.