CHAPTER 1 Introduction 1.1. Some history. A Fourier trace formula for GL(2) is an identity between a product of two Fourier coefficients, averaged over a family of automorphic forms on GL(2), and a series involving Kloosterman sums and the Bessel J-function. The first example, arising from Petersson’s computation of the Fourier coefficients of Poincar´ e series in 1932 [P1] and his introduction of the inner product in 1939 [P2], has the form Γ(k 1) (4π mn)k−1 f∈Fk(N) am(f)an(f) f 2 = δm,n + 2πik c∈NZ+ S(m, n c) c Jk−1( mn c ), where Fk(N) is an orthogonal basis for the space of cusp forms Sk(Γ0(N)), and S(m, n c) = xx≡1 mod c e2πi(mx+nx)/c is a Kloosterman sum. Because of the existence of the Weil bound (1.1) |S(m, n c)| τ(c)(a, b, c)1/2c1/2 where τ is the divisor function, and the bound Jk−1(x) min(xk−1,x−1/2) for the Bessel function, the Petersson formula is useful for approximating expres- sions involving Fourier coefficients of cusp forms. For example, Selberg used it in 1964 ([Sel3]) to obtain the nontrivial bound (1.2) an(f) = O(n(k−1)/2+1/4+ε) in the direction of the Ramanujan-Petersson conjecture an(f) = O(n(k−1)/2+ε) subsequently proven by Deligne. In his paper, Selberg mentioned the problem of extending his method to the case of Maass forms. This was begun in the late 1970’s independently by Bruggeman and Kuznetsov ([Brug], [Ku]). The left-hand side of the above Petersson formula is now replaced by a sum of the form (1.3) uj∈F am(uj)an(uj) uj 2 h(tj) cosh(πtj) , where m, n 0, F is an (orthogonal) basis of Maass cusp forms of weight k = 0 and level N = 1, tj is the spectral parameter defined by Δuj = ( 1 4 + t2)uj j for the Laplacian Δ, and h(t) is an even holomorphic function with sufficient decay. There is a companion term coming from the weight 0 part of the continuous spectrum, 1
Previous Page Next Page