Definition

Let GG be a connected over a FF. Choose a nonzero invariant top-degree differential form ω\omega on GG. At each place vv, its absolute value gives a local ωv|\omega|_v on G(Fv)G(F_v). After inserting the standard local convergence factors at almost every place, the of these measures is the Tamagawa measure on G(AF)G(\mathbb A_F).

Multiplying ω\omega by an element of F×F^\times does not change the global measure, by the product formula. The convergence factors are essential for with nontrivial ; a bare product of local differential-form measures need not converge.

Tamagawa number

The Tamagawa number is the volume

τ(G)=vol ⁣(G(F)\G(AF)1),\tau(G)= \operatorname{vol}\!\left( G(F)\backslash G(\mathbb A_F)^1 \right),

where G(AF)1G(\mathbb A_F)^1 is the intersection of the kernels of the absolute values of all FF-rational characters. For semisimple groups this superscript is unnecessary. The quotient and connected-component conventions must be stated when the is not anisotropic.

Automorphic use

Tamagawa measure gives a coherent global normalization for automorphic quotients, , and . Local Haar measures still have to be disintegrated compatibly when forming or quotient measures.

References
  1. André Weil, Adeles and Algebraic Groups, Progress in Mathematics 23, Birkhäuser, 1982.
  2. Robert E. Kottwitz, “Tamagawa numbers,” Annals of Mathematics 127 (1988), 629–646. JSTOR.