Ramanujan tau function

In mathematics, the Ramanujan tau function, studied by Srinivasa Ramanujan, is the function ${\displaystyle \tau$ :\mathbb {N} \to \mathbb {Z} } defined by

${\displaystyle \sum _{n=1}^{\infty }\tau (n)q^{n}=q\prod _{n=1}^{\infty }(1-q^{n})^{24}=q\phi (q)^{24}=\eta (z)^{24}=\Delta (z),}$

where ${\displaystyle \phi }$ is the Euler function, ${\displaystyle \eta }$ is the Dedekind eta function, ${\displaystyle \Delta (z)}$ is the modular discriminant, and ${\displaystyle q=e^{2\pi iz}}$ with ${\displaystyle \mathrm {Im} (z)>0}$.

Values

The first few values of the tau function are given in the following table (sequence A000594 in the OEIS):

${\displaystyle n}$	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
${\displaystyle \tau (n)}$	1	−24	252	−1472	4830	−6048	−16744	84480	−113643	−115920	534612	−370944	−577738	401856	1217160	987136

Calculating this function on an odd square number yields an odd number, whereas for any other number the function yields an even number.

Main properties

Ramanujan conjectured two properties of ${\displaystyle \tau (n)}$, which can be rephrased equivalently as:

• ${\displaystyle \mathop {\tau } (mn)=\mathop {\tau } (m)\mathop {\tau } (n)}$ if ${\displaystyle m}$ and ${\displaystyle n}$ are coprime (that is, ${\displaystyle \tau (n)}$ is a multiplicative function)
• ${\displaystyle \tau (p^{r+1})=\mathop {\tau } (p)\mathop {\tau } (p^{r})-p^{11}\mathop {\tau } (p^{r-1})}$ for ${\displaystyle p}$ prime and ${\displaystyle r>0}$.

Together, these two properties are equivalent to the identity

${\displaystyle \mathop {\tau } (m)\mathop {\tau } (n)=\sum _{d|(m,n)}d^{11}\mathop {\tau } \left({\frac {mn}{d^{2}}}\right),\quad m,n\geq 1.}$

They were proved by Louis Mordell using what is now understood as the theory of Hecke operators. Ramanujan also conjectured the third property$${\displaystyle |\tau (p)|\leq 2p^{\frac {11}{2}}}$$for all primes ${\displaystyle p}$, which is called the Ramanujan conjecture. Assuming the first two properties, Ramanujan noted that his conjecture is equivalent to the inequality

${\displaystyle |\tau (n)|\leq d(n)n^{\frac {11}{2}}}$

for all ${\displaystyle n\geq 1}$, where ${\displaystyle d(n)}$ is the number-of-divisors function. Note that the weaker estimate ${\displaystyle \tau (n)=O(n^{6})}$ is much easier to show. Ramanujan's conjecture was proved by Pierre Deligne in 1974 as a consequence of his proof of the Weil conjectures.

Ramanujan's L-function

Because the modular discriminant ${\textstyle \Delta (z)}$ is a cusp form of weight 12, it gives rise to an ${\displaystyle L}$-function, called Ramanujan's ${\displaystyle L}$-function. It is defined for ${\displaystyle \mathrm {Re} (s)>13/2}$ via the Dirichlet series

${\displaystyle L(s,\Delta )=\sum _{n=1}^{\infty }{\frac {\tau (n)}{n^{s}}},}$

and due to the first two properties of ${\displaystyle \tau (n)}$ above, it has an Euler product

${\displaystyle L(s,\Delta )=\prod _{p\,{\text{prime}}}{\frac {1}{1-\tau (p)p^{-s}+p^{11-2s}}},}$

valid for ${\displaystyle \mathrm {Re} (s)>13/2}$. It satisfies the functional equation

${\displaystyle (2\pi )^{-s}\Gamma (s)L(s,\Delta )=(2\pi )^{-(12-s)}\Gamma (12-s)L(12-s,\Delta ),}$

which enables the analytic continuation of ${\displaystyle L(s,\Delta )}$ to all complex numbers ${\displaystyle s}$, making it an entire function. Ramanujan conjectured that all nontrivial zeros of ${\displaystyle L(s,\Delta )}$ have real part equal to ${\displaystyle 6}$.^{[citation needed]} This is a special case of the Grand Riemann hypothesis. Robert Rankin showed that ${\displaystyle L(s,\Delta )}$ has no zeros on the line ${\displaystyle \mathrm {Re} (s)=13/2}$.^{[citation needed]}

Congruences for the tau function

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

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

For primes ${\displaystyle p\neq 23}$, we have

11. ${\displaystyle \tau (p)\equiv 0{\pmod {23}}{\text{ if }}\left({\frac {p}{23}}\right)=-1}$
12. ${\displaystyle \tau (p)\equiv \sigma _{11}(p){\pmod {23^{2}}}}$ if ${\displaystyle p}$ is of the form ${\displaystyle a^{2}+23b^{2}}$
13. ${\displaystyle \tau (p)\equiv -1{\pmod {23}}{\text{ otherwise}}.}$

Explicit formulas

In 1972, Ian G. Macdonald proved an explicit formula for the Ramanujan tau function$${\displaystyle \tau (n)={\frac {1}{1!\,2!\,3!\,4!}}\sum _{\begin{smallmatrix}x_{1}+x_{2}+x_{3}+x_{4}+x_{5}=0\\x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}+x_{5}^{2}=10n\\x_{i}\equiv i{\pmod {5}},\;i=1,\dots ,5\end{smallmatrix}}\prod _{1\leq i<j\leq 5}(x_{i}-x_{j}).}$$In 1975, Douglas Niebur proved the formula

${\displaystyle \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 ${\displaystyle \sigma (n)}$ is the sum-of-divisor function.

Conjectures on the tau function

Suppose that ${\displaystyle f}$ is a weight-${\displaystyle k}$ integer newform whose Fourier coefficients ${\displaystyle a(n)}$ are integers. Consider the problem:

Given that ${\displaystyle f}$ does not have complex multiplication, do almost all primes ${\displaystyle p}$ have the property that ${\displaystyle 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 ${\displaystyle a(n){\pmod {p}}}$ for ${\displaystyle n}$ coprime to ${\displaystyle p}$, it is unclear how to compute ${\displaystyle 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 ${\displaystyle p}$ such that ${\displaystyle a(p)=0}$, which thus are congruent to 0 modulo ${\displaystyle p}$. There are no known examples of non-CM ${\displaystyle f}$ with weight greater than 2 for which ${\displaystyle a(p)\not \equiv 0{\pmod {p}}}$ for infinitely many primes ${\displaystyle p}$ (although it should be true for almost all ${\displaystyle p}$. There are also no known examples with ${\displaystyle a(p)\equiv 0{\pmod {p}}}$ for infinitely many ${\displaystyle p}$. Some researchers had begun to doubt whether ${\displaystyle a(p)\equiv 0{\pmod {p}}}$ for infinitely many ${\displaystyle p}$. As evidence, many provided Ramanujan's ${\displaystyle \tau (p)}$ (case of weight 12). The only solutions up to ${\displaystyle 10^{10}}$ to the equation ${\displaystyle \tau (p)\equiv 0{\pmod {p}}}$ are 2, 3, 5, 7, 2411, and 7758337633 (sequence A007659 in the OEIS).

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

${\displaystyle N}$	reference
3316799	Lehmer (1947)
214928639999	Lehmer (1949)
1000000000000000	Serre (1973, p. 98), Serre (1985)
1213229187071998	Jennings (1993)
22689242781695999	Jordan and Kelly (1999)
22798241520242687999	Bosman (2007)
982149821766199295999	Zeng and Yin (2013)
816212624008487344127999	Derickx, van Hoeij, and Zeng (2013)

Notes

References