On the elliptic representations of the \(p\)-adic group \(\mathrm{SL}(n)\) (Q2389186)

According to the abstract, ``the paper is devoted to...[the classification] of all irreducible tempered representations of \(\text{SL}(n)\) \(p\)-adic which appear in the spectral side of J. Arthur's local trace formula. [The paper gives]... a description of such representations which are elliptic or irreducibly induced from elliptic representations of proper Levi subgroups with certain condition on the Weyl group.'' Here are some definitions and notations which will help explain the result. (Other notation used within these definitions is completely standard in the field and can be found in such well-known sources as e.g. [\textit{C. Moeglin} and \textit{J.-L. Waldspurger}, Spectral decomposition and Eisenstein series. Transl. from the French by Leila Schneps. Paperback reprint of the hardback edition 1995. Cambridge Tracts in Mathematics 113. (Cambridge): Cambridge University Press. (2008; Zbl 1141.11029)].) \(G\) is a reductive connected \(p\)-adic group. \(G^e\) is defined to be the set of regular elliptic points of \(G\). \({\mathcal E}_{\text{temp}}(G)\) denotes the set of isomorphism classes of tempered representations of \(G\), and \(\pi\in{\mathcal E}_{\text{temp}}(G)\) is said to be elliptic if the restriction of its character to \(G^e\) is nonzero. \({\mathcal E}_{\text{ell}}(G)\) denotes the set of isomorphism classes of irreducible elliptic representations of \(G\). \((M,\sigma)\) is called a discrete pair for \(G\) if \(M\) is a (standard) Levi subgroup of \(G\) and \(\sigma\) is a class of irreducible representations of \(M\) square integral modulo \(A_M\). An element of the Weyl group \(W^G(A_M)\) is said to be elliptic if it does not fix any point of the complement of \(\mathfrak{a}_G\) in \(\mathfrak{a}_M\), and the set of such elements is called \(W(A)_{\text{ell}}\). The discrete pair \((M,\sigma)\) of \(G\) is then said to be ramified elliptic in \(G\) if there exists an elliptic element of the Weyl group of \((G,A_M)\) which stabilizes \(\sigma\). Denote by \({\mathcal E}_{\text{disc}}(G)\) the set of equivalence classes of irreducible components \(\pi\) of induced representations \(\text{Ind}_{P=MN}(\sigma)\), where \((M,\sigma)\) runs over ramified elliptic pairs in \(G\). The main object of this paper is to describe \({\mathcal E}_{\text{disc}}(\text{SL}(n))\). It is clear from the definitions that \({\mathcal E}_{\text{ell}}(G)\subseteq {\mathcal E}_{\text{disc}}(G)\). The main object of the paper is therefore to describe the complement of \({\mathcal E}_{\text{ell}}(G)\) in \({\mathcal E}_{\text{disc}}(G)\) for \(G=\text{SL}(n)\). The description of this complement is technical, but let us indicate its nature. Given any discrete pair \((M,\sigma)\) of \(G\) there is a certain subgroup \(W'(\sigma)\subseteq W(\sigma)\) defined in terms of Plancherel measures associated to certain induced representations \(i_{M_{\beta},M}(\sigma)\) for \(\beta\in\Phi(P,A)\). For \(\tau\in{\mathcal E}_{\text{temp}}(L)\) where \(L\in{\mathcal L}\), and \((M,\sigma)\) the unique discrete pair such that \(\tau\) is an irreducible component of \(i_{L,M}(\sigma)\), \[ W'(\tau):=\{w|_{\mathfrak{a}_L}\mid w\in W'(\sigma),\;w(\mathfrak{a}_L)=\mathfrak{a}_L\}, \] and \(W'(\tau)_{\text{ell}}:=W'(\tau)\cap W(A_L)_{\text{ell}}\). The main new thing the author proves is that the complement \({\mathcal E}_{\text{disc}}(G)\backslash {\mathcal E}_{\text{ell}}(G)\) equals precisely \({\mathcal E}_{\text{irr,ell}}\), which is by definition the set of representations of the form \(i_{G,L}(\tau)\) where \(\tau\in{\mathcal E}_{\text{ell}}(L)\) and \(L\in{\mathcal L}_0\) verify the condition \(W'(\tau)_{\text{ell}}\neq \emptyset\). Once the author has established this description he can state his promised description of \({\mathcal E}_{\text{disc}}(G)\) (Theorem 2), namely, for \(G=\text{SL}_n\) \(p\)-adic, \[ {\mathcal E}_{\text{disc}}(G)={\mathcal E}_{\text{ell}}(G)\cup {\mathcal E}_{\text{irr,ell}}. \]