An irreducibility criterion for supersingular $\mathbf{mod}$ $p$ representations of $\operatorname{GL}_{2}(F)$ for totally ramified extensions $F$ of $\mathbb{Q}_{p}$
Transactions of the American Mathematical Society