In mathematics, the Tamagawa number of a semisimple algebraic group defined over a global field k is the measure of , where is the adele ring of k. Tamagawa numbers were introduced by Tamagawa (1966), and named after him by Weil (1959).
Tsuneo Tamagawa's observation was that, starting from an invariant differential form ω on G, defined over k, the measure involved was well-defined: while ω could be replaced by cω with c a non-zero element of , the product formula for valuations in k is reflected by the independence from c of the measure of the quotient, for the product measure constructed from ω on each effective factor. The computation of Tamagawa numbers for semisimple groups contains important parts of classical quadratic form theory.
Let k be a global field, A its ring of adeles, and G a semisimple algebraic group defined over k.
Choose Haar measures on the completions kv of k such that Ov has volume 1 for all but finitely many places v. These then induce a Haar measure on A, which we further assume is normalized so that A/k has volume 1 with respect to the induced quotient measure.
The Tamagawa measure on the adelic algebraic group G(A) is now defined as follows. Take a left-invariant n-form ω on G(k) defined over k, where n is the dimension of G. This, together with the above choices of Haar measure on the kv, induces Haar measures on G(kv) for all places of v. As G is semisimple, the product of these measures yields a Haar measure on G(A), called the Tamagawa measure. The Tamagawa measure does not depend on the choice of ω, nor on the choice of measures on the kv, because multiplying ω by an element of k* multiplies the Haar measure on G(A) by 1, using the product formula for valuations.
The Tamagawa number τ(G) is defined to be the Tamagawa measure of G(A)/G(k).
Weil's conjecture on Tamagawa numbersEdit
Weil's conjecture on Tamagawa numbers states that the Tamagawa number τ(G) of a simply connected (i.e. not having a proper algebraic covering) simple algebraic group defined over a number field is 1. Weil (1959) calculated the Tamagawa number in many cases of classical groups and observed that it is an integer in all considered cases and that it was equal to 1 in the cases when the group is simply connected. Ono (1963) found examples where the Tamagawa numbers are not integers, but the conjecture about the Tamagawa number of simply connected groups was proven in general by several works culminating in a paper by Kottwitz (1988) and for the analogue over function fields over finite fields by Lurie and Gaitsgory in 2011.
- Hazewinkel, Michiel, ed. (2001) , "Tamagawa number", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
- Kottwitz, Robert E. (1988), "Tamagawa numbers", Ann. of Math., 2, Annals of Mathematics, 127 (3): 629–646, doi:10.2307/2007007, JSTOR 2007007, MR 0942522.
- Ono, Takashi (1963), "On the Tamagawa number of algebraic tori", Annals of Mathematics, Second Series, 78: 47–73, doi:10.2307/1970502, ISSN 0003-486X, JSTOR 1970502, MR 0156851
- Ono, Takashi (1965), "On the relative theory of Tamagawa numbers", Annals of Mathematics, Second Series, 82: 88–111, doi:10.2307/1970563, ISSN 0003-486X, JSTOR 1970563, MR 0177991
- Tamagawa, Tsuneo (1966), "Adèles", Algebraic Groups and Discontinuous Subgroups, Proc. Sympos. Pure Math., IX, Providence, R.I.: American Mathematical Society, pp. 113–121, MR 0212025
- Weil, André (1959), Exp. No. 186, Adèles et groupes algébriques, Séminaire Bourbaki, 5, pp. 249–257
- Weil, André (1982) , Adeles and algebraic groups, Progress in Mathematics, 23, Boston, MA: Birkhäuser Boston, ISBN 978-3-7643-3092-7, MR 0670072
- Lurie, Jacob (2014), Tamagawa Numbers via Nonabelian Poincaré Duality
- Aravind Asok, Brent Doran and Frances Kirwan, "Yang-Mills theory and Tamagawa Numbers: the fascination of unexpected links in mathematics", February 22, 2013
- J. Lurie, The Siegel Mass Formula, Tamagawa Numbers, and Nonabelian Poincaré Duality posted June 8, 2012.