Ramanujan's tau function

Ramanujan's tau function
Name	Ramanujan's tau function
Field	Number theory
Notable for	Arithmetic of Fourier coefficients, congruences, modular forms

Ramanujan's tau function is an arithmetic function defined by the Fourier coefficients of a cusp form on the modular group, notable for deep connections to Srinivasa Ramanujan, Hecke operators, Bernhard Riemann, Atle Selberg, and problems in algebraic number theory. It played a central role in the development of the theory of modular forms, influenced work of Erich Hecke, Goro Shimura, Yutaka Taniyama, André Weil, and led to breakthroughs related to the Ramanujan–Petersson conjecture, Deligne's proof, and the proof of special cases of the Modularity theorem.

Definition and basic properties

The tau function τ(n) arises from the q-expansion of the normalized cusp form Δ(z), where Δ(z) = q ∏_{n≥1} (1−q^n)^{24} with q = e^{2πi z}; Δ is a weight 12 cusp form for SL(2, Z), studied by Srinivasa Ramanujan, Bernhard Riemann, Pierre Deligne, G. H. Hardy, and John Littlewood. The Fourier expansion Δ(z) = ∑_{n≥1} τ(n) q^n defines τ(n) as integers linked to coefficients studied by Hecke and Atkin. Basic values include τ(1)=1 and multiplicative relations for coprime arguments noted by Ramanujan, Lehmer and Rankin. The form Δ is normalized, cuspidal, and eigen for the action of Hecke algebra, Petersson inner product, and the Atkin–Lehner involution, connecting τ(n) to eigenvalues investigated by A. O. L. Atkin, Henryk Iwaniec, Wiles, and Serre.

Motivations and historical context

Ramanujan introduced τ(n) in correspondence and notebooks tied to studies with G. H. Hardy, John Edensor Littlewood, and Bertram Russell-era contemporaries; the function motivated early 20th-century research across Cambridge University, Trinity College, Cambridge, University of Madras, and Fellow of the Royal Society circles. The tau function prompted conjectures about growth, multiplicativity, and congruences that engaged mathematicians like Hans Rademacher, D. H. Lehmer, Atle Selberg, Erich Hecke, and Goro Shimura, while influencing later developments by Pierre Deligne, Nicholas Katz, Jean-Pierre Serre, Ken Ribet, and Andrew Wiles. Historical problems involving τ(n) intersected with investigations at institutions such as Institute for Advanced Study, Princeton University, Cambridge, University of Göttingen, and projects led by Mathematical Sciences Research Institute.

Arithmetic and multiplicative properties

Ramanujan observed multiplicativity: τ(mn)=τ(m)τ(n) for gcd(m,n)=1, a property paralleling relations in the Hecke algebra studied by Erich Hecke, Atle Selberg, Goro Shimura, Yutaka Taniyama, and André Weil. For prime powers p^r the recurrence τ(p^{r+1}) = τ(p)τ(p^r) − p^{11} τ(p^{r−1}) reflects the characteristic polynomial of Frobenius in the context of etale cohomology that Deligne used; this relates to eigenvalues of Hecke operator T_p considered by Rankin, Petersson, Atkin, and Lehmer. Algebraic relations tie τ(n) to multiplicative functions studied by Ramanujan, Dirichlet, E. T. Whittaker, G. H. Hardy, and S. O. Warnaar.

Congruences and Ramanujan's conjectures

Ramanujan conjectured congruences such as τ(n) ≡ σ_{11}(n) (mod 691), discovered in connection with Bernoulli numbers studied by Leonhard Euler, Jakob Bernoulli, Kummer, and Ernst Kummer; this 691 congruence links to the denominators in the Eisenstein series and was examined by Deligne, Serre, Swinnerton-Dyer, Taniyama, and Shimura. Other congruences include τ(n) ≡ n σ_9(n) (mod 2^11) and congruences modulo primes 2,3,5,7,23 studied by Atkin, Ono, Ken Ono, A. O. L. Atkin, Joseph Oesterlé, and Jean-Pierre Serre. The Ramanujan conjecture on the size |τ(p)| ≤ 2 p^{11/2} for primes p was proved by Pierre Deligne via the proof of the Weil conjectures for varieties over finite fields, connecting τ(p) to eigenvalues of Frobenius operators examined by Grothendieck, Alexander Grothendieck, Michel Raynaud, and Pierre Deligne.

Connections to modular forms and L-functions

The tau function is the sequence of Fourier coefficients of Δ, a normalized newform in S_{12}(SL(2, Z)), central to the theory developed by Atkin–Lehner, Iwaniec, Jacquet–Langlands, and Shimura. Its L-function L(s,Δ)=∑_{n≥1} τ(n) n^{-s} satisfies a functional equation and analytic continuation proven using techniques from Hecke, Petersson, Rankin–Selberg, Godement–Jacquet, and later in the Langlands program by Robert Langlands, Pierre Deligne, Gerard Laumon, and Friedrich Hirzebruch. The modularity and eigenproperties connect τ(n) to Galois representations constructed by Deligne, linked to étale cohomology, Hodge theory, and reciprocity ideas in works of Shimura, Taniyama, Wiles, Taylor, and Brylinski.

Computational methods and numerical data

Computation of τ(n) has been advanced using q-product expansions, modular symbol algorithms from Manin and Stein, implementation tools at SageMath, PARI/GP, MAGMA, and computer algebra systems at University of Bordeaux, Institut des Hautes Études Scientifiques, Princeton University clusters. Early tables by Ramanujan, Lehmer, Atkin, and Deligne gave initial data; modern computations exploit fast Fourier transform methods, modular form databases maintained by L-functions and Modular Forms Database, and algorithms by William Stein, John Cremona, Andrew Booker, Simon Plouffe, and Don Zagier. Numerical searches investigated Lehmer's conjecture that τ(n) ≠ 0 for n≥1, pursued by Lehmer, B. Gordon, K. Ono, Ken Ono, T. D. Noe, and computational teams at University of Illinois, Queen's University, and University of Cambridge.

Category:Modular forms