On the geometric Serre weight conjecture for Hilbert modular forms

Let $p$ be a prime, $F$ be a totally real field in which $p$ is unramified and $\rho :\mathrm{G}\mathrm{a}\mathrm{l}(\bar{F}\mathrm{/}F)\to {\mathrm{G}\mathrm{L}}_2({\bar{\mathbb{F}}}_p)$ be a totally odd, irreducible, continuous representation. The geometric Serre weight conjecture formulated by Diamond and Sasaki can be viewed as a geometric variant of the Buzzard-Diamond-Jarvis conjecture, where they have the notion of geometric modularity in the sense that $\rho$ arises from a mod $p$ Hilbert modular form and algebraic modularity in the sense of Buzzard-Diamond-Jarvis. Diamond and Sasaki conjecture that if $\rho$ is geometrically modular of weight $(k,l)\in {\mathbb{Z}}_{\ge 2}^{\mathrm{\Sigma }}\times {\mathbb{Z}}^{\mathrm{\Sigma }}$ and $k$ lies in the minimal cone, then $\rho$ is algebraically modular of the same weight, where $\mathrm{\Sigma }$ is the set of embeddings from $F$ into $\bar{\mathbb{Q}}$. We prove the conjecture without parity hypotheses for real quadratic fields $F$ in which $p\ge 5$ is inert, and for totally real fields $F$ in which $p\ge \min \{5,[F:\mathbb{Q}]\}$ totally splits.