Formal degree and existence of stable arithmetic lattices of cuspidal representations of p-adic reductive groups (Q752201)

Let \(\underline G\) be a connected reductive group over a local non- archimedean field F. An irreducible complex representation \(\pi\) of \(G=\underline G(F)\) is called cuspidal (quasicuspidal) if the support of any matrix coefficient of \(\pi\) is compact (compact-mod-center). Let \(\pi\) be a cuspidal representation and let \(dg_{\pi}=d_{\pi}\cdot dg\) be the formal degree of \(\pi\). \textit{A. Borel} and \textit{G. Harder} [J. Reine Angew. Math. 298, 53-64 (1978; Zbl 0385.14014)] showed that \(vol(H\setminus G,dg_{\pi})\in {\mathbb{N}}\) for H a discrete cocompact torsion free subgroup of G. The author pushes the method to prove the existence of a G-stable arithmetic lattice of \(\pi\), i.e., a G-stable B- lattice in the space of \(\pi\), where B is the ring of integers in a number field. This implies in characteristic zero that \(vol(\Gamma,dg_{\pi})^{-1}\in {\mathbb{N}}_{(q)}=\{nq^ r|\) \(n\in {\mathbb{N}}\), \(r\in {\mathbb{Z}}\}\), where \(\Gamma\) is any open compact pro-p- subgroup of G, and the order q of the residue field of F is a power of the prime p. Thus, modulo a power of p, \(dg_{\pi}\) divides \(vol(\Gamma,dg)^{-1}dg\). A theorem of \textit{D. Kazhdan} [J. Anal. Math. 47, 175-179 (1986; Zbl 0634.22010)] allows the extension of the results to arbitrary characteristic. The results also extend to quasicuspidal \(\pi\), and can be used to study modular representations and properties of idempotents in the Bernstein center.