Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

As we have known, the Sato-Tate measure for GL(2) turned out to be the half circle measure

$\frac{1}{2\pi} \sqrt{4-x^2}dx$ on [-2,2],

which appears in various versions of equi-distribution problems in GL(2).

My question is what the corresponding measure for GL(3) should be.

Firstly we shall note that Hecke eigenvalues in GL(3) can be imaginary. And we have to replace [-2,2] with {$z\in \mathbb{C}:|z|<=3$} the ball of radius 3 in complex plane. I don't know anything further yet.

share|improve this question
2  
Dear 7-adic, Ignoring possible issues with determinants, Sato--Tate measure for $n$-dimensional Galois representations will be the pushforward of Haar measure on $SU(n)$ to the space of conjugacy classes in $SU(n)$. In the case of $SU(2)$, the space of conjugacy classes is naturally in bijection with $[-2,2]$ (by taking the trace), and Sato--Tate measure gets identified with the measure you indicated on that interval. In the case of $SU(3)$, trace does not suffice to determine a conjugacy class. Nevertheless, you could pushforward Sato--Tate measure under the trace map, to obtain ... –  Emerton Jul 7 '12 at 15:29
2  
... a pushforward measure on $[-3,3]$ which will determine the distribution of traces. This is an exercise in Lie theory which I haven't done. If you work in a context where the determinant is not (say) a power of the cyclotomic character, then things become slightly more complicated (this corresponds, I think, to your remark about the possibility of imaginary eigenvalues), and the group $SU(n)$ has to be replaced with $U(n)$ (or perhaps some intermediate group). You can look at the recent paper of Barnet-Lamb--Gee--Geraghty on Sato--Tate for Hilbert modular forms to see how this goes ... –  Emerton Jul 7 '12 at 15:35
1  
... when $n = 2$. Regards, –  Emerton Jul 7 '12 at 15:35
1  
You might want to see the closely related question I asked: mathoverflow.net/questions/25929/u3-sato-tate-measure My perspective now is that a closed form for the measure is messy, and it's better to compute moments instead. There are closed forms for the first few moments for the SU(3) Sato-Tate measure (I remember the number 12 since it agreed with my student's numerical evidence). –  Marty Jul 7 '12 at 16:33
2  
Correction: As Qiaochu notes below, a conjugacy class in SU(3) is determined by its trace, despite my claim to the contrary above. –  Emerton Jul 8 '12 at 5:59
add comment

3 Answers 3

up vote 9 down vote accepted

Here is a screenshot of a semi-answer which froze my computer when I hit 'post'.

alt text

share|improve this answer
1  
So is this a photograph taken of your computer screen? –  GH from MO Jul 7 '12 at 22:14
add comment

Based on the comments I'm going to assume that the measure you're interested in is the pushforward of Haar measure to the conjugacy classes of $\text{SU}(3)$ (I know nothing about why you should expect this). There are a lot of things you can say about this measure without writing down an explicit formula for it. In particular, you can compute the moments of various random variables with respect to this measure.

The basic observation is that the map sending a (complex, unitary, finite-dimensional) representation of $\text{SU}(3)$ to its character induces a homomorphism $\chi$ from the representation ring of $\text{SU}(3)$ to the algebra of class functions on $\text{SU}(3)$, and by Peter-Weyl the span of the image is dense. Moreover, we know the integral over $\text{SU}(3)$ of the character of every representation: it's the dimension of the invariant subspace. So to compute moments of class functions on $\text{SU}(3)$ (random variables on the conjugacy classes) it suffices in principle to understand invariant subspaces of tensor products of representations of $\text{SU}(3)$ (given that you know how to express your class functions in terms of characters).

For example, suppose you're interested in the moments of twice the real part of the trace of a random element of $\text{SU}(3)$. This is the character of the representation $W = V \oplus V^{\ast}$ where $V$ is the defining representation. The $n^{th}$ moment is then precisely the dimension of the invariant subspace of $W^{\otimes n}$, and to compute this it suffices to count the number of walks of length $n$ in a Weyl chamber from the origin to itself by highest weight theory. The first few moments are $$1, 0, 2, 2, 12, 30, 130, ....$$

This is A151366 in the OEIS. There is a generating function given there but it involves hypergeometric functions, so like Marty I don't expect a particularly nice explicit formula for the corresponding measure.

(Doing the above for $\text{SU}(2)$ you reduce the problem to computing the moments of a single random variable, the trace. The corresponding representation is just the defining representation, the Weyl chamber is $\mathbb{Z}_{\ge 0}$, and walks of length $n$ in the Weyl chamber from the origin to itself are counted by Catalan numbers, which are the moments of the Sato-Tate measure.)


Edit: Emerton says in the comments that the trace of an element of $\text{SU}(3)$ takes values in $[-3, 3]$ and doesn't determine the conjugacy class. In fact, it takes values in the ball of radius $3$ in $\mathbb{C}$ and it does determine the conjugacy class!

Recall that $g \in \text{SU}(3)$ has eigenvalues $\lambda_1, \lambda_2, \lambda_3$ which are unit complex numbers satisfying $\lambda_1 \lambda_2 \lambda_3 = 1$. It follows that $$\lambda_1 \lambda_2 + \lambda_2 \lambda_3 + \lambda_3 \lambda_1 = \overline{\lambda_1 + \lambda_2 + \lambda_3}$$

hence that $\text{tr}(g) = \lambda_1 + \lambda_2 + \lambda_3$ determines the characteristic polynomial of $g$, hence its conjugacy class. So to understand the pushforward of Haar measure to the conjugacy classes of $\text{SU}(3)$ it suffices to understand the joint moments of the real and imaginary parts of the trace. For example, the moments of twice the imaginary part are (up to sign) the dimensions of the invariant subspaces of tensor powers of the virtual representation $V \ominus V^{\ast}$ and so one must count walks in a Weyl chamber with certain weights $\pm 1$. The first few moments are $$1, 0, 2, 0, 12, 0, 98, ...$$

and this sequence does not appear to be in the OEIS.

share|improve this answer
    
Don't the traces lie in a much smaller area than the ball of radius $3$? For instance, I don't think you can get real values less than $-1$. I think you get an triangle with sides curved to make it concave. –  Will Sawin Jul 8 '12 at 0:54
    
@Will: well, I didn't claim that the the trace was surjective... it's not clear to me exactly what values you get but they certainly aren't all real. –  Qiaochu Yuan Jul 8 '12 at 1:26
    
This is convincing. Do you know who was the first to introduce this measure for GL(3) or GL(n)? –  7-adic Sep 1 '12 at 17:54
    
@7-adic: in the setting of number theory? I have no idea. –  Qiaochu Yuan Sep 1 '12 at 18:29
2  
Will Sawin wrote: "I think you get an triangle with sides curved to make it concave." Yes, you get a shape called a 'deltoid', as described here: johncarlosbaez.wordpress.com/2012/09/11/… It's the region inside the curve $\frac{1}{3} (e^{2 i \theta} + 2 e^{- i\theta})$. If you read the comments on this blog entry, you'll see this result seems to generalize nicely to higher SU(n)'s. –  John Baez Sep 12 '12 at 6:25
show 2 more comments

I can give a closed formula for the pushforward of $SU(3)$ Haar measure under trace. I don't understand the number theoretic issues well enough to know whether I want $SU(3)$ or $U(3)$, though.

I'll write $(e^{i \alpha}, e^{i \beta}, e^{i \gamma})$ for the eigenvalues of the unitary matrix, with $\alpha+\beta+\gamma=0$, and write $z=x+iy$ for the trace. Set $$\Delta = \left(e^{i \alpha} - e^{i \beta}\right) \left( e^{i \alpha} - e^{i \gamma}\right) \left( e^{i \beta} - e^{i \gamma}\right)$$ so $$|\Delta| = 8 \sin \left( \frac{\alpha-\beta}{2} \right) \sin \left( \frac{\alpha-\gamma}{2} \right) \sin \left( \frac{\alpha-\gamma}{2} \right) .$$ By the Weyl integration formula, conjugacy class $(\alpha, \beta, \gamma)$ has volume proportional to $|\Delta|^2$.

We have $$\begin{array}{rcl} z &=& e^{i \alpha} + e^{i \beta} + e^{i \gamma} \\ x &=& \frac{z+\bar{z}}{2} \\ y &=& \frac{z - \bar{z}}{2i} \\ \end{array}$$ so $dx dy$ is $\frac{1}{2i} dz \bar{dz}$. We compute

$$ \begin{pmatrix} \frac{\partial z}{\partial \alpha} & \frac{\partial z}{\partial \beta} \\ \frac{\partial \bar{z}}{\partial \alpha} & \frac{\partial \bar{z}}{\partial \beta} \\ \end{pmatrix} = \begin{pmatrix} e^{i \alpha} - e^{i \gamma} & e^{i \beta} - e^{i \gamma} \\ e^{-i \alpha} - e^{-i \gamma} & e^{- i \beta} - e^{-i \gamma} \\ \end{pmatrix}.$$ So the Jacobian of $(\alpha, \beta) \mapsto (z,\bar{z})$ is $$ \begin{array}{rcl} (e^{i \alpha} - e^{i \gamma})(e^{-i \beta} - e^{-i \gamma}) - (e^{-i \alpha} - e^{-i \gamma})(e^{i \beta} - e^{i \gamma}) &=& (e^{i \alpha} - e^{i \gamma})(e^{i \beta} - e^{i \gamma})(-e^{-i (\beta+\gamma)} + e^{-i(\alpha+\gamma)})\\ &=& (e^{i \alpha} - e^{i \gamma})(e^{i \beta} - e^{i \gamma})(- e^{i \alpha} + e^{i \beta}) \\ &=& - \Delta \\ \end{array}$$

I think I might have lost a sign somewhere, but the point is that $\Delta dx dy$ is proportional to $d \alpha d \beta$. So the Weyl measure, $|\Delta^2| d \alpha d \beta$, is proportional to $|\Delta| dx dy$. (If you really want to practice your high school trig, try doing that computation with $x$ and $y$ rather than $z$ and $\bar{z}$.)

Now, $\Delta^2$ is the discriminant of the cubic $$t^3 - (x+iy) t^2 + (x-iy) t - 1.$$ Mathematica tells me that is $$-27 + 18 x^2 - 8 x^3 + x^4 + 18 y^2 + 24 x y^2 + 2 x^2 y^2 + y^4$$

So the desired measure on $\mathbb{C}$ is proportional to $$\sqrt{27 - 18 x^2 + 8 x^3 - x^4 - 18 y^2 - 24 x y^2 - 2 x^2 y^2 - y^4} dx dy.$$ The region where the quantity in the square root is nonnegative is exactly the deltoid John Baez describes.

enter image description here

In principal, one should be able to carry out this computation carefully enough to get the constant, but I'm not going to do it.

Conceptually, this computation is similar to the classical computation that the map sending $(\alpha_1, \ldots, \alpha_r)$ to the coefficients of the polynomial $\prod (z-\alpha_i)$ has Jacobian $\prod_{i<j} (\alpha_i - \alpha_j)$. However, because of the constraint that the eigenvalues have product $1$, the details don't quite match.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.