Higher congruence companion forms
For a rational prime $p \geq 3$ we consider $p$-ordinary, Hilbert modular newforms $f$ of weight $k\geq 2$ with associated $p$-adic Galois representations $ρ_f$ and $\mod{p^n}$ reductions $ρ_{f,n}$. Under suitable hypotheses on the size of the image, we use deformation theory and modularity lifting to show that if the restrictions of $ρ_{f,n} $ to decomposition groups above $p$ split then $f$ has a companion form $g$ modulo $p^n$ (in the sense that $ρ_{f,n}\sim ρ_{g,n}\otimesχ^{k-1}$).