Multiplicity one at full congruence level

Daniel Le, Stefano Morra, Benjamin Schraen

Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}:G_F\to {\mathrm{GL}}_2({\overline{\mathbb{F}}}_p)$ be a modular Galois representation which sati…