Local trace formula
In mathematics, the local trace formula is a local analogue of the Arthur–Selberg [trace formula] that describes the character of the representation of G on the discrete part of L2, for G a reductive algebraic group over a local field F.