Função tau de Ramanujan

A função tau de Ramanujan, estudada por Ramanujan, é a função $\tau :\mathbb {N} \to \mathbb {Z}$ definido pela seguinte identidade:

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

onde $q=\exp(2\pi iz)$ com $\Im z>0$ e $\eta$ é a função eta de Dedekind e a função $\Delta (z)$ é uma forma de cúspide holomórfica de peso 12 e nível 1, conhecida como forma modular discriminante. Aparece em conexão com um "termo de erro" envolvido na contagem do número de maneiras de expressar um número inteiro como uma soma de 24 quadrados. Uma fórmula devido a Ian G. Macdonald foi dada em Dyson (1972).

Valores[editar | editar código-fonte]

Os primeiros valores da função tau são dados na seguinte tabela (sequência A000594 na OEIS):

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

Conjecturas de Ramanujan[editar | editar código-fonte]

Ramanujan (1916) observou, mas não provou, as seguintes três propriedades de $\tau (n)$ :

$\tau (mn)=\tau (m)\tau (n)$ se $\mathrm {mdc} (m,n)=1$ (significa que $\tau (n)$ é uma função multiplicativa)
$\tau (p^{r+1})=\tau (p)\tau (p^{r})-p^{11}\tau (p^{r-1})$ para $p$ primo e $r>0$ .
$|\tau (p)|\leq 2p^{11/2}$ para todos os $p$ primos.

As duas primeiras propriedades foram provadas por Mordell (1917) e a terceira, chamada de conjectura de Ramanujan, foi provada por Deligne em 1974 como consequência de sua prova das conjecturas de Weil (especificamente, ele a deduziu aplicando-as a uma variedade Kuga-Sato).

Congruências para a função tau[editar | editar código-fonte]

Para $k\in \mathbb {Z}$ e $n\in \mathbb {Z} _{>0}$ , defina $\sigma _{k}(n)$ como a soma das $k$ -ésimas potências dos divisores de $n$ . A função tau satisfaz várias relações de congruência; muitas delas podem ser expressas em termos de $\sigma _{k}(n)$ . Aqui estão algumas:^[1]

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

Para $p\neq 23$ primo, temos^[1]^[7]

$\tau (p)\equiv 0\ {\bmod {\ }}23\ {\text{ se }}\ \left({\frac {p}{23}}\right)=-1$
$\tau (p)\equiv \sigma _{11}(p)\ {\bmod {\ }}23^{2}\ {\text{ se }}\ p\ {\text{ é da forma }}\ a^{2}+23b^{2}$ ^[8]
$\tau (p)\equiv -1\ {\bmod {\ }}23\ {\text{ caso contrário}}.$

Conjecturas sobre τ (n)[editar | editar código-fonte]

Suponha que $f$ é um peso $k$ inteiro de nova forma e os coeficientes de Fourier $a(n)$ são inteiros. Considere o problema: Se $f$ não tem multiplicação complexa, prove que quase todos os primos $p$ têm a propriedade que $a(p)\neq 0{\bmod {p}}$ . Na verdade, a maioria dos primos deve ter essa propriedade e, portanto, são chamados de comuns. Apesar dos grandes avanços de Deligne e Serre nas representações de Galois, que determinam $a(n){\bmod {p}}$ para $n$ coprimo com $p$ , não temos nenhuma pista de como calcular $a(n){\bmod {p}}$ . O único teorema a esse respeito é o famoso resultado de Elkies para curvas elípticas modulares, que de fato garante que existem infinitos primos $p$ para os quais $a(p)=0$ , que por sua vez é obviamente $0{\bmod {p}}$ . Não conhecemos nenhum exemplo de $f$ não-CM com peso $>2$ para o qual $a(p)\neq 0{\bmod {p}}$ para infinitos números primos $p$ (embora deva ser verdadeiro para quase todos $p$ ). Também não conhecemos nenhum exemplo onde $a(p)=0{\bmod {p}}$ para um número infinito de $p$ . Algumas pessoas começaram a duvidar se $a(p)=0{\bmod {p}}$ de fato para um número infinito de $p$ . Como evidência, muitos forneceram o $\tau (p)$ de Ramanujan (caso de peso $12$ ). O maior $p$ conhecido para o qual $\tau (p)=0{\bmod {p}}$ é $p=7758337633$ . As únicas soluções para a equação $\tau (p)\equiv 0{\bmod {p}}$ são $p=2,3,5,7,2411$ e $7758337633$ até $10^{10}$ .^[9]

Lehmer (1947) conjecturou que $\tau (n)\neq 0$ para todo $n$ , uma afirmação às vezes conhecida como conjectura de Lehmer. Lehmer verificou a conjectura para $n<214928639999$ .^[10] A tabela a seguir resume o progresso na descoberta de valores sucessivamente maiores de $N$ para o qual esta condição vale para todos $n\leq N$ .

N	referência
3316799	Lehmer (1947)
214928639999	Lehmer (1949)
$10^{15}$	Serre (1973, p. 98), Serre (1985)
1213229187071998	Jennings (1993)
22689242781695999	Jordan e Kelly (1999)
22798241520242687999	Bosman (2007)
982149821766199295999	Zeng e Yin (2013)
816212624008487344127999	Derickx, van Hoeij, e Zeng (2013)

Notas[editar | editar código-fonte]

↑ ^a ^b Página 4 de Swinnerton-Dyer 1973
↑ ^a ^b ^c ^d Devido a Kolberg 1962
↑ ^a ^b Devido a Ashworth 1968
↑ Devido a Lahivi
↑ ^a ^b Devido a D. H. Lehmer
↑ Devido a Ramanujan 1916
↑ Devido a Wilton 1930
↑ Devido a J.-P. Serre 1968, Seção 4.5
↑ Due to N. Lygeros and O. Rozier 2010
↑ (Apostol 1997, p. 22)

Referências[editar | editar código-fonte]

Apostol, T. M. (1997), «Modular Functions and Dirichlet Series in Number Theory», New York: Springer-Verlag 2nd Ed.
Ashworth, M. H. (1968), Congruence and identical properties of modular forms (D. Phil. Thesis, Oxford)
Dyson, F. J. (1972), «Missed opportunities», Bull. Amer. Math. Soc., 78 (5): 635–652, Zbl 0271.01005, doi:10.1090/S0002-9904-1972-12971-9
Kolberg, O. (1962), «Congruences for Ramanujan's function τ(n)», Arbok Univ. Bergen Mat.-Natur. Ser. (11), MR 0158873, Zbl 0168.29502
Lehmer, D.H. (1947), «The vanishing of Ramanujan's function τ(n)», Duke Math. J., 14: 429–433, Zbl 0029.34502, doi:10.1215/s0012-7094-47-01436-1
Lygeros, N. (2010), «A New Solution to the Equation τ(p) ≡ 0 (mod p)» (PDF), Journal of Integer Sequences, 13: Article 10.7.4
Mordell, Louis J. (1917), «On Mr. Ramanujan's empirical expansions of modular functions.», Proceedings of the Cambridge Philosophical Society, 19: 117–124, JFM 46.0605.01
Newman, M. (1972), A table of τ (p) modulo p, p prime, 3 ≤ p ≤ 16067, National Bureau of Standards
Rankin, Robert A. (1988), «Ramanujan's tau-function and its generalizations», in: Andrews, George E., Ramanujan revisited (Urbana-Champaign, Ill., 1987), ISBN 978-0-12-058560-1, Boston, MA: Academic Press, pp. 245–268, MR 938968
Ramanujan, Srinivasa (1916), «On certain arithmetical functions», Trans. Camb. Philos. Soc., 22 (9): 159–184, MR 2280861
Serre, J-P. (1968), «Une interprétation des congruences relatives à la fonction $\tau$ de Ramanujan», Séminaire Delange-Pisot-Poitou, 14
Swinnerton-Dyer, H. P. F. (1973), «On ℓ-adic representations and congruences for coefficients of modular forms», in: Kuyk, Willem; Serre, Jean-Pierre, Modular functions of one variable, III, ISBN 978-3-540-06483-1, Lecture Notes in Mathematics, 350, pp. 1–55, MR 0406931, doi:10.1007/978-3-540-37802-0
Wilton, J. R. (1930), «Congruence properties of Ramanujan's function τ(n)», Proceedings of the London Mathematical Society, 31: 1–10, doi:10.1112/plms/s2-31.1.1

[swd-1] Página 4 de Swinnerton-Dyer 1973

[kolberg-2] Devido a Kolberg 1962

[ashworth-3] Devido a Ashworth 1968

[4] Devido a Lahivi

[Lehmer-5] Devido a D. H. Lehmer

[6] Devido a Ramanujan 1916

[7] Devido a Wilton 1930

[8] Devido a J.-P. Serre 1968, Seção 4.5

[Lygeros-9] Due to N. Lygeros and O. Rozier 2010

[10] (Apostol 1997, p. 22)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]