Gelfand-Kirillov dimension and the \(p\)-adic Jacquet-Langlands correspondence (Q6112404)

As the authors of the paper under review say in their introduction to the paper, this paper is a continuation of their paper [``Infinitesimal characters in arithmetic families'', Preprint, \url{arXiv:2012.01041}]. In that paper they prove that the locally analytic vectors of many $p$-adic Banach representations of global origin have an infinitesimal character, which can be explicitly computed from $p$-adic Hodge-theoretic data. In the paper under review they consider the applications of those ideas to the problem: the study of the $p$-adic Jacquet-Langlands correspondence between $p$-adic Banach representations of $G:=\mathrm{GL}_2(\mathbb{Q}_{p})$ and of $D^\times$, where $D$ is a quaternion division algebra over $\mathbb{Q}_{p}$. In this way they prove a new upper bound for the Gelfand-Kirillov dimension of admissible Banach representations whose locally analytic vectors have an infinitesimal character, which plays a key role in our main result concerning the $p$-adic Jacquet-Langlands correspondence. This bound also gives a proof of the fact that Hecke eigenspaces in the (rational) completed cohomology of the tower of modular curves have finite length, independent of the $p$-adic local Langlands correspondence and of the classification of irreducible mod p smooth representations of $\mathrm{GL}_2(\mathbb{Q}_{p})$. The paper is a well done research work and serves a good resources for researchers in the field.