Gelfand-Kirillov dimension and mod \(p\) cohomology for \(\mathrm{GL}_2 \) (Q6072320)

``Let \(p\) be a prime number, \(F\) a totally real number field unramified at places above \(p\) and \(D\) a quaternion algebra of center \(F\) split at places above \(p\) and at no more than one infinite place. Let \(v\) be a fixed place of \(F\) above \(p\) and \(\overline{v}: \text{Gal}(\overline{F}/F) \to \text{GL}_2(\overline{\mathbb F}_p)\) an irreducible modular continuous representation which, at the place \(v\), is semisimple and sufficiently generic (and satisfies some weak genericity conditions at a few other finite places). We prove that many of the admissible smooth representations of \(\text{GL}_2(F_v)\) over \(\overline{\mathbb F}_p\) associated to \(\overline{v}\) in the corresponding Hecke-eigenspaces of the mod \(p\) cohomology have Gelfand-Kirillov dimension \([F_v:\mathbb Q_p]\), as well as several related results.'' ``Besides applications to the flatness of completed homology over a big Hecke algebra (Theorem 1.2 below) and on the candidate of \textit{A. Caraiani} et al. [Camb. J. Math. 4, No. 2, 197--287 (2016; Zbl 1403.11073)] for the \(p\)-adic Langlands correspondence (Theorem 1.3 below), our methods also lead us to an abelian subcategory of the category of smooth representations of \(\text{GL}_2(F_v)\) that has desirable finiteness property, with further applications to a functor towards Galois representations; cf. our subsequent work [\textit{C. Breuil} et al., ``Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$'', Preprint, \url{arXiv:2102.06188}; ``Multivariable ($\varphi,\mathcal{O}_K^\times$)-modules and local-global compatibility'', Preprint, \url{arXiv:2211.00438}]).''