Why are modular forms interesting? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T18:11:27Z http://mathoverflow.net/feeds/question/24604 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting Why are modular forms interesting? Qfwfq 2010-05-14T10:25:10Z 2011-11-02T20:59:15Z <p>Well, I'm aware that this question may seem very naive to the several experts on this topic that populate this site: feel free to add the "soft question" tag if you want... So, knowing nothing about modular forms (except they're intrinsically sections of powers of the canonical bundle over some moduli space of elliptic curves, and transcendentally differentials on the upper half plane invariant w.r.t. some specific subgroup of $SL(2,\mathbb{Z})$), I have the curiosity -that many other non experts might have- to understand a bit why that is considered a so vast and important topic in mathematics. The wikipedia page doesn't help: on the contrary, it makes this topic appear as quite narrow and merely technical.</p> <p>I would roughly divide the question into three (though maybe not neatly distinct) parts:</p> <blockquote> <p>1) Why are modular forms <em>per se</em> interesting?</p> </blockquote> <p>That is, do they "generate" some piece of rich self-contained mathematics? To make an analogy: cohomology functors were born as applied tools for studying spaces, but have then evolved to a very rich theory in itself; can the same be said about m.f.'s?</p> <blockquote> <p>2) How are modular forms deeply <em>related</em> to other, possibly quite distant, mathematical areas?</p> </blockquote> <p>For example: I've heard about deep relations to some generalized cohomology theories (elliptic cohomology) via formal group laws coming from elliptic curves; and I've heard about the so called moonshine conjecture; there should also be some more classical relations to the theory of integral quadratic forms and diophantine equations, and of course to elliptic curves; and people here always mention Galois representations...</p> <blockquote> <p>3) Why are modular forms <em>useful</em> as "applied" technical tools?</p> </blockquote> <p>In this last question I'm ideally expecting indications of cases (or actual theorems) in which some questions that do <em>not</em> involve modular forms are asked about some mathematical objects, and an answer that does <em>not</em> involve m.f.'s is given, <em>but</em> the method used to obtain that answer/proof makes consistent <em>use</em> of m.f.'s.</p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/24615#24615 Answer by Olivier for Why are modular forms interesting? Olivier 2010-05-14T12:45:45Z 2010-05-14T16:31:27Z <p>Your questions would require an enormous amount of work to answer properly, so let me just suggest a few modest and very partial answers to your 1)2)3).</p> <p>1) Modular forms are shiny: they satisfy or explain many beautiful and surprising numerical identities (about partitions and sums of square among others). This got them noticed in the first place.</p> <p>2) Modular forms have Galois representations, and conversely Galois representations often come from modular forms. If you care at all about representations of the absolute Galois group of $\mathbb Q$, then you will first presumably be interested in class field theory, and develop the Kronecker-Weber theorem. But then you will get interested in representations of $G_{\mathbb Q}$ of rank 2. Modular forms provide many examples of such Galois representations, and conversely, only a handful of hypotheses are required for such a Galois representation to come from a modular form. This means concretely that one can identify many Galois representations simply by computing a few traces of Frobenius morphisms and then doing some computations in the complex upper half-plane.</p> <p>3) If a rational elliptic curve has a non-vanishing $L$-function at 1, it has no non-torsion rational points. The main conjecture of Iwasawa (about class groups in the cyclotomic $\mathbb Z_{p}$-extension of $\mathbb Q$) is true. Fermat's last theorem is true. Here are three extremely famous conjectures solved by an ubiquitous appeal to modular forms. All these conjectures were well-known in the 60s but I don't think it is an exaggeration to say that no one would have suspected that modular forms would come into play. </p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/24617#24617 Answer by wood for Why are modular forms interesting? wood 2010-05-14T13:06:50Z 2010-05-14T13:06:50Z <p>As for the second question, there is a conjectural relation between automorphic objects and number theory - the right keyword to search for is "Langlands philosophy".</p> <p>Since I not know understand enough to explain the general setting, let me shortly summarize the connection between elliptic curves and modular forms. In this special case the conjectures are no conjectures anymore but this is what was proved by Wiles, Taylor...</p> <p>So let $E: Y^2=X^3+aX+b$ be an elliptic curve with integral coefficients. Then for all but finitely primes, the curve is also non-singular over the field $\mathbb{F}_p$ and hence also an elliptic curve over $\mathbb{F}_p$. By work of Hasse it is known that the number of points on $E$ over $\mathbb{F}_p$ is $p+1-a_p(E)$ and $|a_p(E)|\leq 2\sqrt{p}$.</p> <p>Now the big step which was realised by Wiles et al was to connect the numbers $a_p(E)$ to modular forms:</p> <blockquote> <p>For any elliptic curve $E$ there is a modular form $f$ with the following Fourier expansion $$f(\tau)=\sum_{n=1}^\infty a_n e^{2 \pi i n \tau}$$ where $a_p$ is just the number $a_p(E)$ defined above for the elliptic curve and the coefficients $a_n$ are multiplicative, i.e. we know them all if we know $a_p$ for primes $p$.</p> </blockquote> <p>Why is this important? For example consider the $L$-function associated to the elliptic curve. This is essentially (omitting the bad primes) $$L_E(s)=\prod_{p \ \text{prime}}(1-a_p(E)p^{-s}+p^{1-2s})^{-1}$$.</p> <p>Now, for example the Birch and Swinnerton-Dyer conjecture makes a statement about this function at $s=1$. But the product representation is convergent only for $\Re s > \frac{3}{2}$, so we first need to prove analytic continuation for the BSD conjecture to make sense.</p> <p>As far as I know, the only known method to prove this, is to use the theorem above. The fact that coefficients in the $L$-function correspond to a modular form, make it possible to prove analytic continuation as was first proved by Hecke.</p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/24618#24618 Answer by Kim Hopkins for Why are modular forms interesting? Kim Hopkins 2010-05-14T13:22:40Z 2010-05-14T13:22:40Z <p>A super short answer (I haven't had enough coffee yet this morning to expand): The space of modular forms of a given weight and level form a <em>finite</em> dimensional vector space. This allows one to easilty derive interesting (e.g. combinatorial) relations between their Fourier coefficients, which often are formed from a generating series or encode otherwise meaningful information. </p> <p>A super short example of why modular forms are cool: using elliptic modular forms and Heegner points gives the (only) method for computing non-torsion rational points on elliptic curves $E/\mathbb{Q}$. </p> <p>A super great chapter on modular forms: Chapter 1-<em>Elliptic modular forms and their applications</em>- by Zagier in `The 1-2-3 of Modular forms'. It can be read in an evening and answers more of your questions very nicely.</p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/24631#24631 Answer by KConrad for Why are modular forms interesting? KConrad 2010-05-14T15:04:34Z 2010-05-14T15:04:34Z <p>This answer addresses one striking example for the second question: how modular forms relate to other mathematical topics.</p> <p>Values of zeta-functions can arise as the constant terms of nice modular forms, suitably normalized, and this lets knowledge of the higher degree Fourier coefficients impart knowledge to the user about the arithmetic nature of the constant terms that are of more direct interest. </p> <p>For example, there are modular forms whose constant term is the value of the zeta-function of a totally real number field at a negative integer. It's a mysterious number but the higher-degree coefficients of the modular form are more down-to-earth things (something like sums of powers of divisors of integers) and in particular are visibly rational numbers. Spaces of modular forms are finite-dimensional while at the same time each modular form has infinitely many Fourier coefficients, which introduces a lot of redundancy, so knowing enough coefficients in a sense determines what all the others must be. In particular, if the higher-degree Fourier coefficients are rational then the constant term is also rational. Applying this fact to the specially constructed modular forms with zeta-values as constant terms proves that the zeta-values are rational. This is how Klingen and Siegel proved zeta-functions of totally real number fields are rational at negative integers.</p> <p>Of course this leaves out the issue of <em>how</em> you find modular forms with zeta-values as their constant term in a natural way. It requires experience and cleverness. Classical examples of modular forms (Eisenstein series on ${\rm SL}_2({\mathbf Z})$) have values of the Riemann zeta-function as the constant term, even though people were not originally looking at them for that reason; it just happened to show up. Then you try to generalize that construction to get values of other zeta-functions as the constant terms. </p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/24642#24642 Answer by Dan Piponi for Why are modular forms interesting? Dan Piponi 2010-05-14T16:30:34Z 2010-05-14T16:30:34Z <p>As an answer to (2): I think the easiest to state application of modular forms to a domain not obviously connected to them is in the theory of lattices.</p> <p>A lattice is a discrete subgroup of $\mathbb{R}^n$ that is generated by a basis of $\mathbb{R}^n$. The unimodular lattices are the ones with fundamental domains of volume 1. The even lattices are the ones where the norms of the elements are all even integers (with the usual Euclidean norm on $\mathbb{R}^n$, except in this field it's conventional to use the word <em>norm</em> to refer to the length <em>squared</em>).</p> <p>Given a lattice L, write $a_n$ for the number of vectors in the lattice of norm $n$. We can form a generating function $\Theta_L(q)=\sum_n a_nq^n$.</p> <p>Now comes the surprise: if $L$ is an even unimodular lattice, then $\Theta_L(\exp(\pi i \tau))$, as a function of $\tau$, is a modular form of weight $n/2$. As mentioned in another post, spaces of modular forms of given weight are finite dimensional. So we now have a vast amount of information at our disposal on the possible norms of lattice vectors.</p> <p>This gives some beautiful relationships between well known modular forms and lattices like $E_8$ and the 24-dimensional Leech lattice. It's neat how the geometrical problem of finding pockets of space into which you can squeeze lattice elements can translate into discovering modular forms. (And of course the appearance of the Leech lattice hints at Monstrous Moonshine.)</p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/24648#24648 Answer by Qiaochu Yuan for Why are modular forms interesting? Qiaochu Yuan 2010-05-14T18:18:42Z 2010-05-14T18:24:15Z <p>Lots of good answers so far, and I hope that someone talks about Moonshine at some point. Let me just briefly mention an application which hasn't been mentioned so far to class field theory. Special values of the <a href="http://en.wikipedia.org/wiki/J-invariant" rel="nofollow">$j$-invariant</a> generate <a href="http://en.wikipedia.org/wiki/Hilbert_class_field" rel="nofollow">Hilbert class fields</a> of imaginary quadratic fields; the connection is that the $j$-invariant parameterizes elliptic curves over $\mathbb{C}$, which look like $\mathbb{C}/\Lambda$ for some lattice $\Lambda$, so one looks for lattices $\Lambda$ which are acted on by the ring of integers in an imaginary quadratic field and <a href="http://en.wikipedia.org/wiki/Complex_multiplication" rel="nofollow">magic happens</a>. </p> <p>There's also a nice list of applications in <a href="http://modular.math.washington.edu/books/modform/modform/modform.html#applications-of-modular-forms" rel="nofollow">Stein's new book</a> on the computational side of the subject. The application to constructing Ramanujan graphs is one of the wackier ones; see the <a href="http://en.wikipedia.org/wiki/Ramanujan%E2%80%93Petersson_conjecture" rel="nofollow">Ramanujan-Petersson conjecture</a>.</p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/24673#24673 Answer by Laie for Why are modular forms interesting? Laie 2010-05-14T23:28:49Z 2010-05-14T23:28:49Z <p>2),3) A further application of modular forms that relates two quite distant mathematical fields arises in string theory. There the problem of understanding spacetime geometry (more precisely Calabi-Yau varieties) as a derived mathematical object leads to an attempt to relate modular forms that appear in the context of Kac-Moody algebras to motivic modular forms. </p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/25377#25377 Answer by Charles Matthews for Why are modular forms interesting? Charles Matthews 2010-05-20T15:13:05Z 2010-05-20T15:13:05Z <p>Bryan Birch's view is that they form a bottomless area for research problems. All answers to the question fall into two types: showing examples of why this is true, and asking why it should be true. G. H. Hardy by temperament seems to have been convinced of the first part by the tau-function, while banning reference to "modular forms" in the general theory of Hecke, which was the 1930s answer to the second part. This all came round again in the 1960s, with the BS-D conjecture on the one hand and Langlands on the other. Most answers to why "special functions" are special are question-begging, because intrinsic interest in mathematics can't really be faked, and "symmetry" as an answer doesn't have a definitive formulation. It looks like the Shimura variety concept will have a big explanatory value in future mathematics, but we can't anticipate the real answers. </p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/73527#73527 Answer by David Hansen for Why are modular forms interesting? David Hansen 2011-08-23T22:11:05Z 2011-08-23T22:11:05Z <p>I quite like the following specific result, confirming a conjecture of Gross:</p> <p><strong>Theorem</strong>: For every prime $p$, there is a finite <em>non-solvable</em> Galois extension of $\mathbf{Q}$ ramified only at $p$.</p> <p>For $p\geq 11$ this is not so hard, but for smaller primes the only known examples come via the Galois representations associated with modular forms. See e.g. <a href="http://www.warwick.ac.uk/staff/L.Dembele/papers/nonsolvable.pdf" rel="nofollow">this paper</a> on the case $p=2$, which uses Hilbert modular forms!</p> http://mathoverflow.net/questions/24604/why-are-modular-forms-interesting/79866#79866 Answer by Daniel Parry for Why are modular forms interesting? Daniel Parry 2011-11-02T20:59:15Z 2011-11-02T20:59:15Z <p>I agree with the leading poster. One can't really answer this in a few paragraphs. To really get a complete answer you have to study modular forms in detail and you will see why they are so enchanting. I will give my partial answers to questions 1,2.</p> <p>(Answer to Question 1) They are interesting for two reasons. First, a modular form satisfies so many functional identities their existence almost seems unreal. There is so much structure involved with Modular forms that one can prove beautiful results. Second, modular forms are deeply connected with several number theoretic objects. </p> <p>(Answer to Question 2) The easiest application of modular forms to understand is in classic analytic number theory. Modular forms often act as <a href="http://en.wikipedia.org/wiki/Generating_function" rel="nofollow">generating functions</a> for several interesting arithmetic functions. I will give three examples: 1) the <a href="http://en.wikipedia.org/wiki/Dedekind_eta_function" rel="nofollow">eta function</a> almost generates for the number of integer partitions of $n$, 2) Powers of <a href="http://en.wikipedia.org/wiki/Theta_function" rel="nofollow">theta functions</a> generate the number of ways a number can be written as a sum of squares, 3)<a href="http://en.wikipedia.org/wiki/Eisenstein_series" rel="nofollow">Eisenstein series</a> generate weighted divisor functions. </p> <p>Knowing these generating functions are modular allows for extremely precise approximation of such generating function, and by Fourier analysis, we can obtain information about the behavior of the arithmetical function you are studying. </p>