What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether the integrality conditions for local algebraic representations are sufficient. Specifically, the authors explore for certain mildly ramified local algebraic representations $\pi$ of the $GL_2(D)$ group (where $D$ is a $p$-adic division algebra), whether Emerton's integrality conditions are sufficient to ensure the existence of integral structures in these representations. Here, the integral structure refers to the existence of a space generated by $G$-invariant lattices or $G$-integral structures in the representation $\pi$. ### Background and Motivation In the study of the $p$-adic Langlands program, it is very important to know whether a representation $\pi$ has an integral structure. Emerton proposed the exponential conditions for local analytic Jacquet modules as a necessary condition for the existence of an integral structure. These conditions are usually also expected to be sufficient, especially when $\pi$ is a generic irreducible local algebraic representation. ### Specific Problem The main problem of the paper is to verify whether Emerton's integrality conditions are sufficient to ensure the existence of an integral structure for certain mildly ramified local algebraic representations $\pi$. Specifically, the authors consider certain mildly ramified local algebraic representations of $GL_2(D)$ and prove that Emerton's conditions are sufficient in this case. ### Main Results 1. **Theorem A**: For a smooth mildly ramified principal series representation $\text{Ind}_B^G(\tau_1 \otimes \tau_2)$, if Emerton's integrality conditions are satisfied (that is, both $q^{d/2} \omega_{\tau_1}(\varpi_F)$ and $\omega_{\tau_2}(\varpi_F)$ are in $O$), then this representation has an integral structure. 2. **Corollary A**: The mildly ramified Steinberg representation $\text{St}(\tau)$ and Speh representation $\text{Sp}(\tau)$ with integral central characters both have integral structures. 3. **Theorem B**: - For a smooth absolutely irreducible mildly ramified representation $\tau$ with dimension not exceeding 2, the local algebraic Steinberg representation $\text{St}(\tau) \otimes \pi(\lambda)$ has an integral structure if it has an integral central character. - When $D$ is a quaternion division algebra and $\tau$ is a smooth absolutely irreducible mildly ramified representation with dimension 2, the local algebraic Speh representation $\text{Sp}(\tau) \otimes (\text{Sym}^1 E^4 \otimes \det^{-1})$ has an integral structure if it has an integral central character. ### Methods and Techniques The authors use Vignéras' coefficient system theory and the homology groups of the fixed - point systems on the Bruhat - Tits tree to prove these results. By constructing appropriate lattice systems, they prove that under certain conditions, these representations do have integral structures. ### Conclusion The results of this paper show that for certain types of mildly ramified local algebraic representations, Emerton's integrality conditions are not only necessary but also sufficient. This provides important theoretical support for the study of the $p$-adic Langlands program.

On the integrality of locally algebraic representations of $\mathrm{GL}_{2}(D)$

On the integrality of locally algebraic representations of GL2(D)

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

Weak abelian direct summands and irreducibility of Galois representations

Integral structures in smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representations and zeta integrals

A partial analog of integrability theorem for distributions on p-adic spaces and applications

Koszul duality for generalized Steinberg representations of $p$-adic groups

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions

Locally algebraic representations and integral structures on the cohomology of arithmetic groups

On local intertwining periods

On the integrality of étale extensions of polynomial rings

Mod-$p$ Galois representations not arising from abelian varieties

Representations of $GL_n(D)$ near the identity

On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$

$\mathscr{D}$-modules on the basic affine space and large $\mathfrak{g}$-modules

Solid locally analytic representations

Integrability and singularities of Harish-Chandra characters

On modulo $\ell$ cohomology of $p$-adic Deligne-Lusztig varieties for $GL_n$

A Jacquet-Langlands functor for $p$-adic locally analytic representations