Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Why was Ramanujan interested in the his tau function before the advent of modular forms? The machinery of modular forms used by Mordel to solve the multiplicative property seems out of context until I know the function's use and value to Ramanujan at the time.

share|cite|improve this question
What do you mean when you say that this was before the advent of modular forms? Jacobi came up with the product formula long before Ramanujan. – S. Carnahan Mar 23 '14 at 15:26

2 Answers 2

All questions of the form "Why was such a mathematician interested in such a subject?" are difficult, and have a tendency to becomes metaphysical ("why are we doing mathematics in general?", and then "why are we here, anyway?"), but they are even harder when they concern Ramanujan, who had a nonstandard mathematical formation and a very original mind.

You're right that Ramanujan could not have been influenced in his interest in the tau sequence by our modern vision of this function as the prototype of the general sequence of coefficients of modular forms, with all the connections to algebraic geometry and number theory that are now familiar, since on the contrary the modern theory of modular forms was developed by Mordell and Hecke after and motivated by Ramanujan's results and questions about the $\tau$ function.

So how could Ramanujan have been interested in the $\tau$-function? Well, Ramanujan all his life, and well before he came to England and met Hardy, was interested in $q$-series, roughly the study of certain formal power series in one variable ($q$), and he valued very much his results that took the form of non-trivial identities between two $q$-series. It is an old subject, which begins with Euler (for example his "pentagonal number theorem" for $\prod_n (1-q^n)$), and is deeply connected to combinatorics, yet it was at the time of Ramanujan (and to some extent still is) a little bit outside of mainstream research. But from this point of view, the study of the $\tau$-function, defined as the coefficients of $q \prod (1-q^n)^{24}$ fits well into Ramanujan's lifelong interests. And if you're worried about the exponent $24$, remember that Ramanujan dealt with much more baroque formulas.

There is another reason to be interested in the $\tau$-function, namely that it is the sequence of Fourier coefficients of the Weierstrass Delta-function $\Delta(z)$. Now the function $\Delta(z)$ was extremely important (and mainstream) in the mathematics of Ramanujan's time, being central in the theory of elliptic functions (or integrals or curves) and interconnected with the work of many mathematicians of the nineteenth century on complex analysis, Riemann surfaces, and algebraic geometry. Ramanujan was not aware of all these connections before he met Hardy (at least according to the latter, who said Ramanujan had almost no knowledge of complex analysis and the theory of elliptic functions) but after that he become very interested in the subject.

share|cite|improve this answer
Also Ramanujan was interested in representations of numbers by quadratic forms, and in particular the number of representations of an integer as the sum of an even number of squares. Exact formulas were known in a number of cases already, and he might have been trying to extend these. As I recall, his famous paper begins by writing down identities for the products of Eisenstein series, and records the first case where one doesn't have an exact identity, and this comes from the tau function. – Lucia Mar 23 '14 at 17:53
I have no idea what the last sentence of the third paragraph means, but somehow I really want to. – Ramsey Mar 23 '14 at 18:30
Nick: I edited that sentence to clarify what I think was meant. Remember that Hardy commented about the identities in Ramanujan's letters to him that they "must be true, because, if they were not true, no one would have the imagination to invent them." – KConrad Mar 23 '14 at 18:59
Keith: Thanks! That's sort of what I thought he was getting at too. I guess what I find curious is that I'm "worried about the exponent 24" but not because it adds to the extravagance of the expression. This is the only exponent that makes it modular. To ask a rather figurative version of the OP's question: How did he know this? Relatedly, why didn't he just do away with the leading $q$ since it adds little apparent interest to the series without knowing something about modularity? – Ramsey Mar 24 '14 at 1:11
About the specific exponent $24$ I think it has to do with another aspect of Ramanujan's research on $q$ series. Ramanujan had already discovered theta functions of jacobi (in different notation) and had found many modular equation. From here he got to singular moduli and he was specially interested in functions $f(q)$ which take algebraic values when $q = e^{-\pi\sqrt{n}}$ or functions $f(q)$ which could be expressed as algebraic functions of $(2K/\pi)$ and modulus $k$. It is now obvious that only exponent $24$ can satisfy such criteria. – Paramanand Singh Apr 6 '14 at 11:32

Well, it certainly is difficult (and probably, as far as I am concerned, a bit immodest...) to try to understand the motivations of the greatest mathematical genius of the last millenium, but, long before him, Euler had studied the expansion of $~\prod\limits_{k=1}^{\infty}(1-x^k),~$ Dedekind had defined $$~\eta(\tau)=\exp(i\pi\tau/12)\prod\limits_{k=1}^{\infty}(1-\exp(2i\pi k \tau)),~$$ and the formula $$~\Delta(\tau)=(2\pi)^{12}\exp(2 i\pi\tau)\prod\limits_{k=1}^{\infty}(1-\exp(2i\pi k\tau))^{24}=(2\pi)^{12}\eta^{24}(\tau)$$ $$= (2\pi)^{12}x \prod\limits_{k=1}^{\infty}(1-x^k)^{24}~,$$

with $~x=\exp(2 i\pi\tau)~$ was assuredly known. So, Ramanujan, whose computing abilities were truly amazing, maybe considered the expansion of $~x\prod\limits_{k=1}^{\infty}(1-x^k)^{24}~$ as beeing worth the effort, and thus discovered that his ``$\tau$-function" was multiplicative and seemed to satisfy marvellous identities...

But maybe I'm just tasseographing ("tea-leaves reading") the mathematical past.

share|cite|improve this answer
This is a beautiful perspective. Thank you for relating it to the polynomial determinent of Dedekind. – Catherine Ray 2 days ago

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.