What is the Selberg Trace Formula? August 19, 2010
Posted by Sarah in Uncategorized.Tags: harmonic analysis, selberg trace formula
trackback
Ngo Bau Chau was one of the winners of the Fields Medal for 2010, so I thought I’d try to understand what it is he studied. The laudation gives a clear explanation of his contribution to the Langlands program. Ngo’s proof applies the Selberg trace formula, and since that’s accessible, I thought I’d try to understand that.
If is a Lie group and is a cofinite discrete group, we want to understand the operator
on .
is an integral operator, with kernel
And now we can express the trace of the operator as
The result is
where are the conjugacy classes of , is the centralizer of in , and are the automorphic representations.
When and , the Selberg Trace Formula is the Poisson Summation Formula
The Poisson Summation formula can be seen to be a trace formula as follows:
The eigenvectors of the positive Laplacian on the unit circle are for integer , and the eigenfunctions are
Consider the linear operator
with kernel
Then
and so the Poisson Summation Formula says
The Selberg Trace Formula is proven in a similar manner to the proof of the Poisson Summation Theorem. If is the regular representation of on
then we can write R as
fixing a Haar measure on . Then, by splitting the integral
.
We now take the trace of this operator in two different ways:
on one side,
We break the sum over into conjugacy classes of . Each conjugacy class contributes
On the other side, we can compute the trace alternatively by quoting a result that says decomposes into a direct sum of irreducible representations of G:
.
This completes the proof. Conjugacy classes and irreducible representations are dual — in the same way that integers (in the Fourier series) and functions are dual in the Poisson summation formula.
So what can you do with the trace formula? One thing is to let be the fundamental group of a Riemann surface, and describe the spectrum of differential operators such as the Laplace-Beltrami operator using geometric data like the lengths of geodesics. (Way back in sophomore year I was trying to learn about this from Peter Buser’s book.) The Selberg Trace Formula is also useful in analyzing the Riemann zeta function.
See these notes for a bunch of background on the Selberg Trace Formula.
There is no way I would ever call the Selberg Trace formula accessible, although those notes you linked to were quite nice. Both sides of the equation are really hard to deal with in general–conjugacy classes v. automorphic representations–and using the trace formula to say anything at all always strikes me as some sort of magic.
Ok — more accessible than the bleeping Langlands program?
You’ll notice I (and the notes) conveniently black-boxed the part that explains why the trace of the operator is a weighted sum of unitary representations. Still have no idea about that.