Let ψ\psi be a discrete global , let Sψ\mathcal S_\psi be its finite component group, and let ϵψ:Sψ{±1}\epsilon_\psi:\mathcal S_\psi\to\{\pm1\} be Arthur's canonical global character. For a member

π=vπv\pi=\bigotimes_v'\pi_v

of the global , the local packet pairings give a global character

s,π=vsv,πv.\langle s,\pi\rangle = \prod_v \langle s_v,\pi_v\rangle .

The Arthur multiplicity formula selects the representations for which this character matches ϵψ\epsilon_\psi. In a standard multiplicity-free form,

mψ(π)=1SψsSψϵψ(s)s,π.m_\psi(\pi) = \frac{1}{|\mathcal S_\psi|} \sum_{s\in\mathcal S_\psi} \epsilon_\psi(s)\, \langle s,\pi\rangle .

By this is 11 when the two characters agree and 00 otherwise.

Meaning

Local packets supply many possible . The formula is a global reciprocity constraint: local component-group labels must multiply to the distinguished global sign. It therefore explains why a global packet is not simply the Cartesian product of its local packets.

Source of the sign

The character ϵψ\epsilon_\psi is built from of pairs of the of ψ\psi. It is not an arbitrary choice and can force a representation out of the discrete spectrum even when all of its local components lie in the prescribed packets.

Scope and variants

The displayed formula is the clean form for the classical settings of Arthur's classification. Central quotients, even orthogonal outer automorphisms, non-quasi-split , and parameters with multiplicity require refinements of the packet and coefficient conventions.

The formula is a theorem for the symplectic and treated by Arthur and in corresponding established extensions, such as quasi-split unitary groups. It remains part of the conjectural general theory for arbitrary .

References
  1. James Arthur, The Endoscopic Classification of Representations: Orthogonal and Symplectic Groups, Theorem 1.5.2 and Chapter 8, AMS,
  2. AMS.
  3. Chung Pang Mok, “Endoscopic classification of representations of quasi-split unitary groups,” Memoirs of the AMS 235 (2015). AMS.