The Ramanujan tau function, studied by Ramanujan ( 1916), is the function defined by the following identity:
where q = exp(2πiz) with Im z > 0, is the Euler function, η is the Dedekind eta function, and the function Δ(z) is a holomorphic cusp form of weight 12 and level 1, known as the discriminant modular form (some authors, notably Apostol, write instead of ). It appears in connection to an "error term" involved in counting the number of ways of expressing an integer as a sum of 24 squares. A formula due to Ian G. Macdonald was given in Dyson (1972).
The first few values of the tau function are given in the following table (sequence A000594 in the OEIS):
n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
τ(n) | 1 | −24 | 252 | −1472 | 4830 | −6048 | −16744 | 84480 | −113643 | −115920 | 534612 | −370944 | −577738 | 401856 | 1217160 | 987136 |
Ramanujan (1916) observed, but did not prove, the following three properties of τ(n):
The first two properties were proved by Mordell (1917) 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).
For k ∈ and n ∈ >0, the Divisor function σ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 σk(n). Here are some: [1]
For p ≠ 23 prime, we have [1] [7]
In 1975 Douglas Niebur proved an explicit formula for the Ramanujan tau function: [9]
where σ(n) is the sum of the positive divisors of n.
Suppose that f is a weight-k integer newform and the Fourier coefficients a(n) are integers. Consider the problem:
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) (mod p) for n coprime to p, it is unclear how to compute a(p) (mod 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) ≢ 0 (mod p) for infinitely many primes p (although it should be true for almost all p). There are also no known examples with a(p) ≡ 0 (mod p) for infinitely many p. Some researchers had begun to doubt whether a(p) ≡ 0 (mod p) for infinitely many p. As evidence, many provided Ramanujan's τ(p) (case of weight 12). The only solutions up to 1010 to the equation τ(p) ≡ 0 (mod p) are 2, 3, 5, 7, 2411, and 7758337633 (sequence A007659 in the OEIS). [10]
Lehmer (1947) conjectured that τ(n) ≠ 0 for all n, an assertion sometimes known as Lehmer's conjecture. Lehmer verified the conjecture for n up to 214928639999 (Apostol 1997, p. 22). The following table summarizes progress on finding successively larger values of N for which this condition holds for all n ≤ N.
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) |
Ramanujan's L-function is defined by
if and by analytic continuation otherwise. It satisfies the functional equation
and has the Euler product
Ramanujan conjectured that all nontrivial zeros of have real part equal to .
The Ramanujan tau function, studied by Ramanujan ( 1916), is the function defined by the following identity:
where q = exp(2πiz) with Im z > 0, is the Euler function, η is the Dedekind eta function, and the function Δ(z) is a holomorphic cusp form of weight 12 and level 1, known as the discriminant modular form (some authors, notably Apostol, write instead of ). It appears in connection to an "error term" involved in counting the number of ways of expressing an integer as a sum of 24 squares. A formula due to Ian G. Macdonald was given in Dyson (1972).
The first few values of the tau function are given in the following table (sequence A000594 in the OEIS):
n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
τ(n) | 1 | −24 | 252 | −1472 | 4830 | −6048 | −16744 | 84480 | −113643 | −115920 | 534612 | −370944 | −577738 | 401856 | 1217160 | 987136 |
Ramanujan (1916) observed, but did not prove, the following three properties of τ(n):
The first two properties were proved by Mordell (1917) 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).
For k ∈ and n ∈ >0, the Divisor function σ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 σk(n). Here are some: [1]
For p ≠ 23 prime, we have [1] [7]
In 1975 Douglas Niebur proved an explicit formula for the Ramanujan tau function: [9]
where σ(n) is the sum of the positive divisors of n.
Suppose that f is a weight-k integer newform and the Fourier coefficients a(n) are integers. Consider the problem:
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) (mod p) for n coprime to p, it is unclear how to compute a(p) (mod 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) ≢ 0 (mod p) for infinitely many primes p (although it should be true for almost all p). There are also no known examples with a(p) ≡ 0 (mod p) for infinitely many p. Some researchers had begun to doubt whether a(p) ≡ 0 (mod p) for infinitely many p. As evidence, many provided Ramanujan's τ(p) (case of weight 12). The only solutions up to 1010 to the equation τ(p) ≡ 0 (mod p) are 2, 3, 5, 7, 2411, and 7758337633 (sequence A007659 in the OEIS). [10]
Lehmer (1947) conjectured that τ(n) ≠ 0 for all n, an assertion sometimes known as Lehmer's conjecture. Lehmer verified the conjecture for n up to 214928639999 (Apostol 1997, p. 22). The following table summarizes progress on finding successively larger values of N for which this condition holds for all n ≤ N.
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) |
Ramanujan's L-function is defined by
if and by analytic continuation otherwise. It satisfies the functional equation
and has the Euler product
Ramanujan conjectured that all nontrivial zeros of have real part equal to .