Ramanujan tau function

Values

The first few values of the tau function are given in the following table :

Calculating this function on an odd square number (i.e. a centered octagonal number) yields an odd number, whereas for any other number the function yields an even number.

Ramanujan's conjectures

observed, but did not prove, the following three properties of \tau(n):

• \tau(mn)=\tau(m)\tau(n) if \gcd(m,n)=1 (meaning that \tau(n) is a multiplicative function)
• \tau(p^{r+1})=\tau(p)\tau(p^r)-p^{11}\tau(p^{r-1}) for p prime and r0.
• |\tau(p)|\leq 2p^{11/2} for all primes p.

The first two properties were proved by and the third one, called the Ramanujan conjecture, was proved by Deligne in 1974 as a consequence of his proof of the Weil conjectures (specifically, he deduced it by applying them to a Kuga-Sato variety).

Congruences for the tau function

For k\in\mathbb{Z} and n\in\mathbb{N}, the Divisor function \sigma_k(n) is the sum of the kth powers of the divisors of n. The tau function satisfies several congruence relations; many of them can be expressed in terms of \sigma_k(n). Here are some:

1. \tau(n)\equiv\sigma_{11}(n) \pmod{2^{11}}\text{ for }n\equiv 1 \pmod{8}
2. \tau(n)\equiv 1217 \sigma_{11}(n) \pmod{2^{13}}\text{ for } n\equiv 3 \pmod{8}
3. \tau(n)\equiv 1537 \sigma_{11}(n) \pmod{2^{12}}\text{ for }n\equiv 5 \pmod{8}
4. \tau(n)\equiv 705 \sigma_{11}(n) \pmod{2^{14}}\text{ for }n\equiv 7 \pmod{8}
5. \tau(n)\equiv n^{-610}\sigma_{1231}(n) \pmod{3^{6}}\text{ for }n\equiv 1 \pmod{3}
6. \tau(n)\equiv n^{-610}\sigma_{1231}(n) \pmod{3^{7}}\text{ for }n\equiv 2 \pmod{3}
7. \tau(n)\equiv n^{-30}\sigma_{71}(n) \pmod{5^{3}}\text{ for }n\not\equiv 0 \pmod{5}
8. \tau(n)\equiv n\sigma_{9}(n) \pmod{7}
9. \tau(n)\equiv n\sigma_{9}(n) \pmod{7^2}\text{ for }n\equiv 3,5,6 \pmod{7}
10. \tau(n)\equiv\sigma_{11}(n) \pmod{691}.

For p\neq 23 prime, we have \tau(p)\equiv 0 \pmod{23}\text{ if }\left(\frac{p}{23}\right)=-1 \tau(p)\equiv \sigma_{11}(p) \pmod{23^2}\text{ if } p\text{ is of the form } a^2+23 b^2 \tau(p)\equiv -1 \pmod{23}\text{ otherwise}.

Explicit formula

In 1975 Douglas Niebur proved an explicit formula for the Ramanujan tau function:

:\tau(n)=n^4\sigma(n)-24\sum_{i=1}^{n-1}i^2(35i^2-52in+18n^2)\sigma(i)\sigma(n-i).

where \sigma(n) is the sum of the positive divisors of n.

Conjectures on the tau function

Suppose that f is a weight-k integer newform and the Fourier coefficients a(n) are integers. Consider the problem: : Given that f does not have complex multiplication, do almost all primes p have the property that a(p)\not\equiv 0\pmod{p} ? Indeed, most primes should have this property, and hence they are called ordinary. Despite the big advances by Deligne and Serre on Galois representations, which determine a(n)\pmod{p} for n coprime to p, it is unclear how to compute a(p)\pmod{p}. The only theorem in this regard is Elkies' famous result for modular elliptic curves, which guarantees that there are infinitely many primes p such that a(p)=0, which thus are congruent to 0 modulo p. There are no known examples of non-CM f with weight greater than 2 for which a(p)\not\equiv 0\pmod{p} for infinitely many primes p (although it should be true for almost all p. There are also no known examples with a(p)\equiv 0 \pmod{p} for infinitely many p. Some researchers had begun to doubt whether a(p)\equiv 0 \pmod{p} for infinitely many p. As evidence, many provided Ramanujan's \tau(p) (case of weight 12). The only solutions up to 10^{10} to the equation \tau(p)\equiv 0\pmod{p} are 2, 3, 5, 7, 2411, and .

conjectured that \tau(n)\neq 0 for all n, an assertion sometimes known as Lehmer's conjecture. Lehmer verified the conjecture for n up to (Apostol 1997, p. 22). The following table summarizes progress on finding successively larger values of N for which this condition holds for all n\leq N.

Ramanujan's L-function

Ramanujan's L-function is defined by :L(s)=\sum_{n\ge 1}\frac{\tau (n)}{n^s} if \mathrm{Re}(s)6 and by analytic continuation otherwise. It satisfies the functional equation :\frac{L(s)\Gamma (s)}{(2\pi)^s}=\frac{L(12-s)\Gamma(12-s)}{(2\pi)^{12-s}},\quad s\notin\mathbb{Z}_0^-, ,12-s\notin\mathbb{Z}0^{-} and has the Euler product :L(s)=\prod{p,\text{prime}}\frac{1}{1-\tau (p)p^{-s}+p^{11-2s}},\quad \mathrm{Re}(s)7. Ramanujan conjectured that all nontrivial zeros of L have real part equal to 6.

Notes

References

• {{Citation
• {{Citation
• {{Citation
• {{Citation
• {{Citation
• {{Citation | author-link=Srinivasa Ramanujan
• {{Citation | author-link=Jean-Pierre Serre
• {{Citation | author-link=Peter Swinnerton-Dyer | editor1-last=Kuyk | editor1-first=Willem | editor2-last=Serre | editor2-first=Jean-Pierre | editor2-link=Jean-Pierre Serre
• {{Citation

References

1. {{Cite OEIS. A016754
2. Page 4 of {{harvnb. Swinnerton-Dyer. 1973
3. Due to {{harvnb. Kolberg. 1962
4. Due to {{harvnb. Ashworth. 1968
5. Due to Lahivi
6. Due to D. H. Lehmer
7. Due to {{harvnb. Ramanujan. 1916
8. Due to {{harvnb. Wilton. 1930
9. Due to J.-P. Serre 1968, Section 4.5
10. Niebur, Douglas. (September 1975). "A formula for Ramanujan's $\backslash tau$-function". Illinois Journal of Mathematics.
11. N. Lygeros and O. Rozier. (2010). "A new solution for the equation $\backslash tau(p)\backslash equiv\; 0\; \backslash pmod\{p\}$". Journal of Integer Sequences.