Let GG be a connected over a FF. After fixing a unitary or removing the split-center direction, the discrete automorphic spectrum is the maximal closed G(AF)G(\mathbb A_F)-subrepresentation of the automorphic L2L^2-space that is a Hilbert direct sum of irreducibles:

Ldisc2^πmdisc(π)π.L^2_{\mathrm{disc}} \cong \widehat{\bigoplus}_{\pi} m_{\mathrm{disc}}(\pi)\,\pi.

The integers mdisc(π)m_{\mathrm{disc}}(\pi) are the discrete automorphic multiplicities.

The ambient quotient

One common convention uses G(F)\G(AF)1G(F)\backslash G(\mathbb A_F)^1, where

G(AF)1=χXF(G)kerχA.G(\mathbb A_F)^1 = \bigcap_{\chi\in X_F^*(G)} \ker |\chi|_{\mathbb A}.

Another fixes a unitary central character and works modulo an appropriate central subgroup. The convention must be stated because G(F)\G(AF)G(F)\backslash G(\mathbb A_F) can have infinite volume in split central directions.

Cuspidal and residual parts

There is an orthogonal decomposition

Ldisc2=Lcusp2Lres2,L^2_{\mathrm{disc}} = L^2_{\mathrm{cusp}} \oplus L^2_{\mathrm{res}},

where the first term is generated by and the second is the . The residual part is built from poles and residues of attached to cuspidal data on proper .

Discrete does not mean local discrete series

“Discrete automorphic” describes occurrence in a global L2L^2-quotient. It does not require each local component to be a discrete-series representation. Likewise, it is unrelated to discreteness of the adelic group itself.

Classification problem

A is expected to determine a packet of discrete , while an selects the members and multiplicities that actually occur. This makes the discrete spectrum a central testing ground for endoscopy and functoriality.

References
  1. James Arthur, “A trace formula for reductive groups I: Terms associated to classes in G(Q)G(\mathbb Q),” Duke Mathematical Journal 45 (1978), 911–952. DOI.
  2. C. Mœglin and J.-L. Waldspurger, Spectral Decomposition and Eisenstein Series, Cambridge University Press, 1995. DOI.