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\ge 1}\tau (n)q^n=q\prod _{n\ge 1}(1-q^n{)}^{24}=\eta (z{)}^{24}=\mathrm{\Delta }(z),$

onde $q=\exp (2\pi iz)$ com $\mathrm{\Im }z>0$ e $\eta$ é a função eta de Dedekind e a função$\mathrm{\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 Predefinição:Harvtxt.

Valores de $|\tau (n)|$ para $n<16.000$ com escala logarítmica. A linha azul escolhe apenas os valores de $n$ que são múltiplos de $121$.

Valores

Os primeiros valores da função tau são dados na seguinte tabela Predefinição: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

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

• $\tau (mn)=\tau (m)\tau (n)$ se $\mathrm{m}\mathrm{d}\mathrm{c}(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)|\le 2p^{11/2}$ para todos os $p$ primos.

As duas primeiras propriedades foram provadas por Predefinição:Harvtxt 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

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)mod{2}^{11}\text{ para }n\equiv 1mod8$
2. $\tau (n)\equiv 1217{\sigma }_{11}(n)mod{2}^{13}\text{ para }n\equiv 3mod8$
3. $\tau (n)\equiv 1537{\sigma }_{11}(n)mod{2}^{12}\text{ para }n\equiv 5mod8$
4. $\tau (n)\equiv 705{\sigma }_{11}(n)mod{2}^{14}\text{ para }n\equiv 7mod8$
5. $\tau (n)\equiv n^{-610}{\sigma }_{1231}(n)mod{3}^6\text{ para }n\equiv 1mod3$
6. $\tau (n)\equiv n^{-610}{\sigma }_{1231}(n)mod{3}^7\text{ para }n\equiv 2mod3$
7. $\tau (n)\equiv n^{-30}{\sigma }_{71}(n)mod{5}^3\text{ para }n\equiv ̸0mod5$
8. $\tau (n)\equiv n{\sigma }_9(n)mod7\text{ para }n\equiv 0,1,2,4mod7$
9. $\tau (n)\equiv n{\sigma }_9(n)mod{7}^2\text{ para }n\equiv 3,5,6mod7$
10. $\tau (n)\equiv {\sigma }_{11}(n)mod691.$

Para $p\ne 23$ primo, temos

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

Conjecturas sobre τ (n)

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)\ne 0modp$. 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)modp$ para $n$ coprimo com $p$, não temos nenhuma pista de como calcular $a(n)modp$. 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 $0modp$. Não conhecemos nenhum exemplo de $f$ não-CM com peso $>2$ para o qual $a(p)\ne 0modp$ para infinitos números primos $p$ (embora deva ser verdadeiro para quase todos $p$). Também não conhecemos nenhum exemplo onde $a(p)=0modp$ para um número infinito de $p$. Algumas pessoas começaram a duvidar se $a(p)=0modp$ 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)=0modp$ é $p=7758337633$. As únicas soluções para a equação $\tau (p)\equiv 0modp$ são $p=2,3,5,7,2411$ e $7758337633$ até $10^{10}$.

Predefinição:Harvtxt conjecturou que $\tau (n)\ne 0$ para todo $n$, uma afirmação às vezes conhecida como conjectura de Lehmer. Lehmer verificou a conjectura para $n<214928639999$. 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\le 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)

Referências

• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation