3
$\begingroup$

Let $F$ be a global field. What is the measure of $PGL_2(F) \backslash PGL_2(\mathbb{A})$?

This depends of course on the normalizations of the Haar measures on $PGL_2(F)$ and $PGL_2(\mathbb{A})$. Probably its most likely available in the literature for $PGL_2(F)$ admits the discrete measure and $PGL_2(\mathbb{A})$ the Tamagawa measure, but I couldn't find!?

I remember that there was a question about the measure of $SL_n(\mathbb{Z}) \backslash SL_n(\mathbb{R})$ here in the past, but couldn't find it.

It should be related to special values of the Dedekind zeta function.

Improve this question
$\endgroup$
9
  • 3
    $\begingroup$ This should be in Weil's Adeles and algebraic groups, chapter 3. $\endgroup$
    – ACL
    Commented Mar 14, 2013 at 15:57
  • 3
    $\begingroup$ A natural measure gives that quotient measure essentially $\zeta_F(2)$. The renormalization as in Siegel, Weil and elsewhere will make it $1$ or a power of $2$, probably, as usual. For $PGL_n$, it's similarly $\zeta_F(2)\zeta_F(3)...\zeta_F(n)$. A classical argument over $\mathbb Q$ (which obviously generalizes), also for $Sp(n)$, is at math.umn.edu/~garrett/m/v/volumes.pdf $\endgroup$
    – paul garrett
    Commented Mar 14, 2013 at 16:04
  • 1
    $\begingroup$ I believe the Tamagawa number is 1. books.google.com/… $\endgroup$
    – Ian Agol
    Commented Mar 14, 2013 at 16:17
  • 2
    $\begingroup$ @Agol: The basic conjecture, which has been proved for all simple types, assumes a simply connected group here. Clozel has a useful Sem. Bourbaki expose 702, following the work by Kottwitz and others/ $\endgroup$
    – Jim Humphreys
    Commented Mar 14, 2013 at 17:22
  • 2
    $\begingroup$ @Agol: The Tamagawa number is 1 for the special linear group. For the projective linear group, which is isogeneous to the special linear group, it is some rational number (whom I do not remember). $\endgroup$
    – ACL
    Commented Mar 14, 2013 at 21:47

1 Answer 1

Reset to default
6
$\begingroup$

If you take the Tamagawa measure, the measure is 2. It is equal to the index of the universal covering, so for a simply connected group $G$ the volue of $G({\mathbb A})/G(F)$ is one. This is Kottwitz's Theorem, formerly known as the Tamagawa number conjecture. A proof is in http://www.jstor.org/discover/10.2307/2007007?uid=3737864&uid=2129&uid=2&uid=70&uid=4&sid=21101828946301

Improve this answer
$\endgroup$
2
  • $\begingroup$ Okay, I was interested more in the measure, which enters directly into dimension formulas of modular forms. But after all, your answer is correct and I actually was aware of Kottwitz's achievement. Thank you nevertheless. It seems that the normalisation enters by giving the maximal compact groups some non-unit normalization as in Gelbart-Jacquet. Thanks. $\endgroup$
    – Marc Palm
    Commented Mar 14, 2013 at 20:15
  • 1
    $\begingroup$ Oesterle's 1984 Inventiones paper on Tamagawa numbers (see Inv. Math. 78) has a very elegant discussion of the normalization issues to define the Tamagawa measure and Tamagawa number for rather general smooth connected affine groups over global fields. His normalizations are not governed by maximal compact subgroups (as they ought not be, since typically there are a lot of non-conjugate such subgroups!). He also cleaned up some points of possible confusion that arose in earlier work by others in the case of tori. $\endgroup$
    – user30379
    Commented Mar 17, 2013 at 5:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .