# 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

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

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

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:
* $\tau (n)\equiv \sigma _{11}(n)\ {\bmod {\ }}2^{11}\ {\text{ para }}\ n\equiv 1\ {\bmod {\ }}8$
* $\tau (n)\equiv 1217\sigma _{11}(n)\ {\bmod {\ }}2^{13}\ {\text{ para }}\ n\equiv 3\ {\bmod {\ }}8$
* $\tau (n)\equiv 1537\sigma _{11}(n)\ {\bmod {\ }}2^{12}\ {\text{ para }}\ n\equiv 5\ {\bmod {\ }}8$
* $\tau (n)\equiv 705\sigma _{11}(n)\ {\bmod {\ }}2^{14}\ {\text{ para }}\ n\equiv 7\ {\bmod {\ }}8$
* $\tau (n)\equiv n^{-610}\sigma _{1231}(n)\ {\bmod {\ }}3^{6}\ {\text{ para }}\ n\equiv 1\ {\bmod {\ }}3$
* $\tau (n)\equiv n^{-610}\sigma _{1231}(n)\ {\bmod {\ }}3^{7}\ {\text{ para }}\ n\equiv 2\ {\bmod {\ }}3$
* $\tau (n)\equiv n^{-30}\sigma _{71}(n)\ {\bmod {\ }}5^{3}\ {\text{ para }}\ n\not \equiv 0\ {\bmod {\ }}5$
* $\tau (n)\equiv n\sigma _{9}(n)\ {\bmod {\ }}7\ {\text{ para }}\ n\equiv 0,1,2,4\ {\bmod {\ }}7$
* $\tau (n)\equiv n\sigma _{9}(n)\ {\bmod {\ }}7^{2}\ {\text{ para }}\ n\equiv 3,5,6\ {\bmod {\ }}7$
* $\tau (n)\equiv \sigma _{11}(n)\ {\bmod {\ }}691.$
Para $p\neq 23$ primo, temos
* $\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}$
* $\tau (p)\equiv -1\ {\bmod {\ }}23\ {\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)\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}$.
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$. 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) |