On the mod \(p\) cohomology for \(\mathrm{GL}_2\): the non-semisimple case (Q2149030): Difference between revisions

The mod \(p\) Langlands correspondence started from the fundamental work of Breuil. The case of \(\mathrm{GL}_2(\mathbb Q_p)\) is now much well-understood. The article aims to study the correspondence for \(\mathrm{GL}_2\) of a finite unramified extension of \(\mathbb Q_p\) in the context of local-global compatibility. Following the work of Emerton for \(\mathrm{GL}_2(\mathbb Q_p)\), it is natural to search for the hypothetical correspondence in the cohomology of Shimura curves. Let \(F\) be a totally real extension of \(\mathbb Q\) at all places above \(p\) and \(D\) is a quaternion algebra which splits at either none, or exactly one, of the infinite places. The article studies the admissible smooth representation, denoted \(\pi(\overline{\rho})\) of \(\mathrm{GL}_2(F_v)\) occurring in the corresponding Hecke eigenspaces of the mod \(p\) cohomology of Shimura varieties associated to \(D\). This representation is expected to realize a mod \(p\) Langlands correspondence. The representation-theoretic properties of \(\pi(\overline{\rho})\) have been studied by many authors, but, for \(F_v\neq \mathbb Q_p\), a complete description of \(\pi(\overline{\rho})\) is still out of reach. One result in this article shows that, under some mild assumptions, the Gelfand-Kirillov dimension of \(\pi(\overline{\rho})\) is equal to \([F_v: \mathbb Q_p]\). Another result shows that \(\pi(\overline{\rho})\) is generated, as a \(\mathrm{GL}_2(F_v)\)-representation, by \(K_1\)-invariant vectors, where \(K_1\) is the first principal congruence subgroup. Another main result is that when \([F_v:\mathbb Q_p]=2\), \(\pi(\overline{\rho})\) is uniseral of length \(3\) with a unique Jordan-Hölder filtration of the form: \[ \pi_0 - \pi_1 - \pi_2 \] where \(\pi_0, \pi_2\) are principal series, and \(\pi_1\) is a supersingular representation.