Finite length for unramified $\mathrm{GL}_2$: beyond multiplicity one, non-semisimple case
Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$. We study the smooth mod $p$ representations of $\mathrm{GL}_2(K)$ appearing in a tower of mod $p$ Hecke eigenspaces of the cohomology of Shimura curves, under mild genericity assumptions but notably no multiplicity one assumption at tame...