17
$\begingroup$

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.

$\endgroup$
5
  • 5
    $\begingroup$ 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. $\endgroup$
    – S. Carnahan
    Mar 23, 2014 at 15:26
  • $\begingroup$ @S.Carnahan Are you sure Jacobi found the product for $\Delta(\tau)$? Mumford, in Lectures on Theta I, pp. 64-73 (see dam.brown.edu/people/mumford/alg_geom/papers/Tata1.pdf) presents Jacobi's derivative formula on p. 64 and gets the product for $\Delta$ on p. 72, but he doesn't say Jacobi did that. In Chandrasekhar's Elliptic Functions, Jacobi's derivative formula is (5.1) on p. 67 and the product for $\Delta$ is on p. 71 (in terms of $q^2$ where $q = e^{\pi i\tau}$). The notes to Chapter V say much there is from Jacobi, but the $\Delta$-product is conspicuously not singled out. $\endgroup$
    – KConrad
    Mar 12, 2023 at 2:50
  • $\begingroup$ @S.Carnahan Several years ago on the history of science and math stackexchange site I asked where Jacobi had proved the product formula for $\Delta(\tau)$: hsm.stackexchange.com/questions/5045/…. It never received an answer. If you can offer one, please write it there and I'd be grateful. Serre, in his Course in Arithmetic (p. 95), attributes the product formula to Jacobi, so perhaps the product formula can be found in his Fundamenta Nova or one of his other works. $\endgroup$
    – KConrad
    Mar 12, 2023 at 15:31
  • $\begingroup$ @S.Carnahan I was able to figure out from some references where the product for $\Delta$ came from: Weierstrass and then Klein and then Hurwitz by different methods, but not directly from Jacobi. See the answer I posted to my question linked above at hsm.stackexchange. $\endgroup$
    – KConrad
    Mar 15, 2023 at 4:11
  • $\begingroup$ @KConrad This is quite interesting - thank you for digging into this. I had taken the attribution from Serre's Course in Arithmetic without considering it further. $\endgroup$
    – S. Carnahan
    Mar 17, 2023 at 14:32

3 Answers 3

14
$\begingroup$

All questions of the form 'Why was such a mathematician interested in such a subject?' are difficult, and have a tendency to become 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 are 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.

$\endgroup$
6
  • 9
    $\begingroup$ 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. $\endgroup$
    – Lucia
    Mar 23, 2014 at 17:53
  • $\begingroup$ I have no idea what the last sentence of the third paragraph means, but somehow I really want to. $\endgroup$
    – Ramsey
    Mar 23, 2014 at 18:30
  • $\begingroup$ 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." $\endgroup$
    – KConrad
    Mar 23, 2014 at 18:59
  • $\begingroup$ 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? $\endgroup$
    – Ramsey
    Mar 24, 2014 at 1:11
  • $\begingroup$ 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. $\endgroup$ Apr 6, 2014 at 11:32
12
$\begingroup$

Why not simply looking at the original source?

Ramanujan made his famous conjectures in On certain arithmetical functions Transactions of the Cambridge Philosophical Society XXII (1916), a source which is easily available (here for instance). In this paper, he intends to study the sum \begin{equation} \sum_{r,s}(n)=\sum_{i=0}^{n}\sigma_{r}(i)\sigma_{s}(n-i)=\sigma_{r}(0)\sigma_{s}(n)+\cdots+\sigma_{r}(n)\sigma_{s}(0) \end{equation} where as usual $\sigma_{s}(u)$ is the sum of the $s$-th power of the divisors of $u$ if $u\neq 0$ and $\sigma_{s}(0)$ is normalized to be $\zeta(-s)/2$. His main theorem is to relate $\sum_{r,s}(n)$ to a close formula in terms of the $\Gamma$ and $\zeta$ functions as well as $\sigma_{r+s\pm 1}$. If $r+s=2,4,6,8$ or $12$, this close formula exactly calculates $\sum_{r,s}(n)$ but otherwise there is in addition an error term he denotes by $E_{r,s}(n)$.

He then goes on to observe that if $r+s=10,14,16,18,20$ or $24$, then $E_{r,s}(n)$ involves, as a function of $n$, only the constant $E_{r,s}(1)$, possibly $\sigma_{r+s-11}(n)$ and the function $\tau(n)$ defined by the $q$-expansion \begin{equation} \sum_{n=1}^{\infty}\tau(n)=q\prod_{n=1}^{\infty}(1-q^n)^{24}. \end{equation} When $r+s=10$, the simple formula $E_{r,s}(n)=E_{r,s}(1)\tau(n)$ obtains. Hence $\tau(n)$ appears in this original paper as a measure of the size of an error term. In particular, Ramanujan is extremely interested in bounding its size. He shows that $\tau(n)$ (and thus the error term) is not a $o(n^5)$, that it is a $O(n^7)$ and then conjectures (famously) that $\sum_{n=1}^{\infty}\tau(n)n^{-s}$ admits an Eulerian product and that $|\tau(n)|\leq n^{11/2}d(n)$ for all $n$. He goes on to note that this entails that $\tau(n)$ is not a $o(n^{11/2})$.

So there you have it: Ramanujan was interested in $\tau(n)$, in its arithmetical properties and in its size because it occurs as an error term in a formula he established to compute "convolutions" of the $\sigma$ functions. The two (or depending on the presentation three, but the original paper has two) statements called the Ramanujan conjecture directly bears on this question of estimating the error term; his central concern. From a modern perspective, we would probably follow the converse path, that is to say, we would note that logarithmically differentiating the $\Delta$ function yields many identities relating $\tau(n)$ and $\sigma(n)$, though that of course also originates from his computations. The paper is worth reading, but following Ramanujan's computations can prove a rough ride.

$\endgroup$
5
$\begingroup$

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.

$\endgroup$
1
  • $\begingroup$ This is a beautiful perspective. Thank you for relating it to the polynomial determinent of Dedekind. $\endgroup$ Oct 10, 2015 at 19:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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