Voronoi formula

From Wikipedia, the free encyclopedia

In mathematics, a Voronoi formula is an equality involving Fourier coefficients of automorphic forms, with the coefficients twisted by additive characters on either side. It can be regarded as a Poisson summation formula for non-abelian groups. The Voronoi (summation) formula for GL(2) has long been a standard tool for studying analytic properties of automorphic forms and their L-functions. There have been numerous results coming out the Voronoi formula on GL(2). The concept is named after Georgy Voronoy.

Classical application[edit]

To Voronoy and his contemporaries, the formula appeared tailor-made to evaluate certain finite sums. That seemed significant because several important questions in number theory involve finite sums of arithmetic quantities. In this connection, let us mention two classical examples, Dirichlet’s divisor problem and the Gauss’ circle problem. The former estimates the size of d(n), the number of positive divisors of an integer n. Dirichlet proved

where is Euler’s constant ≈ 0.57721566. Gauss’ circle problem concerns the average size of

for which Gauss gave the estimate

Each problem has a geometric interpretation, with D(X) counting lattice points in the region , and lattice points in the disc . These two bounds are related, as we shall see, and come from fairly elementary considerations. In the series of papers Voronoy developed geometric and analytic methods to improve both Dirichlet’s and Gauss’ bound. Most importantly in retrospect, he generalized the formula by allowing weighted sums, at the expense of introducing more general integral operations on f than the Fourier transform.

Modern formulation[edit]

Let ƒ be a Maass cusp form for the modular group PSL(2,Z) and a(n) its Fourier coefficients. Let a,c be integers with (a,c) = 1. Let ω be a well-behaved test function. The Voronoi formula for ƒ states

where is a multiplicative inverse of a modulo c and Ω is a certain integral Hankel transform of ω. (see Good (1984))

References[edit]

  • Good, Anton (1984), "Cusp forms and eigenfunctions of the Laplacian", Mathematische Annalen, 255 (4): 523–548, doi:10.1007/bf01451932
  • Miller, S. D., & Schmid, W. (2006). Automorphic distributions, L-functions, and Voronoi summation for GL(3). Annals of mathematics, 423–488.
  • Voronoï, G. (1904). Sur une fonction transcendente et ses applications à la sommation de quelques séries. In Annales Scientifiques de l'École Normale Supérieure (Vol. 21, pp. 207–267).