Zig-zag for Galois Representations

The zig-zag conjecture says that the reductions of two-dimensional crystalline representations of the Galois group of ${\mathbb{Q}}_p$ of large exceptional weights and half-integral slopes up to $\frac{p-1}{2}$ vary through an alternating sequence of irreducible and reducible mod $p$ representations. We prove this conjecture in smoothly varying families of such representations for $p\ge 5$. The proof uses a limiting argument due to Chitrao-Ghate-Yasuda to reduce to the case of semi-stable representations of weights at most $p+1$, and then appeals to the work of Breuil-Mézard, Guerberoff-Park and Chitrao-Ghate.