Core idea

Let GG be a connected over a , choose a minimal , and let TT be a sufficiently regular point in the associated real chamber. Arthur's truncation operator ΛT\Lambda^T replaces an by an alternating sum of its , cut off by chamber characteristic functions.

Schematically,

(ΛTϕ)(g)=P(1)dim(AP/AG)δP(F)\G(F)τ^P(HP(δg)T)ϕP(δg),(\Lambda^T\phi)(g)= \sum_P(-1)^{\dim(A_P/A_G)} \sum_{\delta\in P(F)\backslash G(F)} \widehat\tau_P(H_P(\delta g)-T)\,\phi_P(\delta g),

where PP ranges over standard parabolic subgroups, HPH_P is the height map, and τ^P\widehat\tau_P selects a positive cone.

Purpose

Automorphic quotients are generally noncompact, so the kernel of a operator need not be integrable on the diagonal. Truncation cancels its asymptotic constant terms in the cusps. The integral of the truncated kernel is then defined and depends polynomial-exponentially on TT; a distinguished constant term yields the distribution.

For a cuspidal every proper-parabolic constant term vanishes, so truncation leaves it unchanged in the sufficiently regular region.

From truncation to weights

Unfolding the truncated kernel creates the combinatorial weight functions in on the geometric side and weighted characters on the spectral side.

References
  1. James Arthur, “A truncation process for reductive groups,” Bulletin of the American Mathematical Society 83 (1977), 748–750. Project Euclid.
  2. James Arthur, “An introduction to the trace formula,” in Harmonic Analysis, the Trace Formula, and Shimura Varieties, Clay Mathematics Proceedings 4, 2005, §§13–14. Clay.