The geometry behind the ICM 2010 Logo - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T16:06:00Z http://mathoverflow.net/feeds/question/21665 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/21665/the-geometry-behind-the-icm-2010-logo The geometry behind the ICM 2010 Logo John Mangual 2010-04-17T14:21:14Z 2010-04-21T03:02:59Z <p>The logo for this year's ICM show the inequality $|\tau(n)| \leq n^{11/2} d(n)$ where $\sum \tau(n)q^n = q \prod_{n \neq 1} (1 - q^n)^{24}$ is the <a href="http://en.wikipedia.org/wiki/Tau-function" rel="nofollow">tau function</a>. Wikipedia says this bound was conjectured by Ramanujan (appropriate for a conference in Hyderabad) and proven by <a href="http://www.numdam.org/item?id=PMIHES_1974__43__273_0" rel="nofollow">Deligne</a> in '74 <del>in the process of proving</del> <em>as a corollary of</em> the <a href="http://en.wikipedia.org/wiki/Weil_conjectures" rel="nofollow">Weil Conjectures</a> (which I also don't get). The background of the ICM logo looks like <a href="http://en.wikipedia.org/wiki/Ford_circle" rel="nofollow">Ford circles</a> (or sun rays). What is the hyperbolic geometry behind the Tau Conjecture and its proof? </p> <p>EDIT: It would also be nice to see the proof of this bound, but the Weil conjectures and l-adic cohomology are a topic in themselves.</p> http://mathoverflow.net/questions/21665/the-geometry-behind-the-icm-2010-logo/21671#21671 Answer by S. Carnahan for The geometry behind the ICM 2010 Logo S. Carnahan 2010-04-17T15:59:41Z 2010-04-17T16:51:20Z <p>The <a href="http://www.icm2010.org.in/wp-content/icmfiles/otherimages/icm_top_logo.jpg" rel="nofollow">logo</a> has a piece of the complex upper half plane divided into fundamental domains for the action of <code>$SL_2(\mathbb{Z})$</code> by Möbius transformations (which are hyperbolic isometries - see the appropriate entry in <a href="http://www.math.harvard.edu/~ctm/gallery/index.html" rel="nofollow">McMullen's gallery</a> or <a href="http://en.wikipedia.org/wiki/Modular_group#Tessellation_of_the_hyperbolic_plane" rel="nofollow">Wikipedia</a>). There are no Ford circles in sight, but you may have been confused by the semicircular regions on the bottom. Those regions are unions of fundamental domains, and are cut out by geodesics in the <code>$SL_2(\mathbb{Z})$</code> orbit of $1/2 \leftrightarrow \infty$ (which forms part of the boundary of a few fundamental domains). Ford circles come from the <code>$SL_2(\mathbb{Z})$</code> orbit of the horocycle $\operatorname{Im}(\tau) = 1$, and horocycles have constant nonzero geodesic curvature (imagine driving with your steering wheel turned a bit to the right, but never returning to where you started).</p> <p>The generating function for $\tau$ is the 24th power of Dedekind's $\eta$ function (often written as the discriminant form $\Delta$), and it is a function on the upper half plane that is invariant under the weight 12 action of <code>$SL_2(\mathbb{Z})$</code>. Up to normalization, it is the unique lowest weight nonzero level 1 cusp form, and this makes it automatically a Hecke eigenform. Both Mordell's proof of the earlier Ramanujan conjectures and Deligne's proof of the growth conjecture use this fact in an essential way. I should note that Deligne proved the Ramanujan conjecture as a corollary of the Weil conjectures, not "in the process".</p> <p>The connection between hyperbolic geometry and the Ramanujan conjecture is not particularly strong, as far as I know (but I would be happy to be shown the errors of my ways).</p> http://mathoverflow.net/questions/21665/the-geometry-behind-the-icm-2010-logo/21999#21999 Answer by Emerton for The geometry behind the ICM 2010 Logo Emerton 2010-04-20T23:16:05Z 2010-04-21T03:02:59Z <p>One way to answer this question is as follows: Ramanujan's conjecture is a special case of a much more general conjecture that any cuspdial automorphic representation of $GL_n$ over a number field is <em>tempered</em>. This is a technical but fundamental notion, which in the special case of the automorphic representation of $GL_2$ attached to the $\Delta$ function, reduces to Ramanujan's original conjecture. In fact, many people working in the theory of automorphic representations refer to this very general conjecture simply as the Ramanujan conjecture.</p> <p>When applied to other cuspforms on $GL_2$ (namely Maass forms) it includes Selberg's conjecture that on congruence quotients of the upper half-plane, the spectrum of the hyperbolic Laplacian is bounded below by $1/4$.</p> <p>The appearance of hyperbolic geometry can be understood in the following way: the quotient of $SL_n(\mathbb R)$ by $SO(n)$ is a non-compact symmetric space, which in the particular case of $SL_2$ is the hyperbolic plane. So, while the particular appearance of hyperbolic geometry may be a bit of a red herring, the appearence of highly symmetric geometry is a reflection of the group representation theory that is underlying the picture.</p> <p>As of the current moment, no purely representation-theoretic approach to the (general form of) Ramanujan's conjecture is known. (Or rather, a proof strategy involving what is called symmetric power functoriality is known, but the requisite results on symmmetric power functoriality seem very much out of reach at the moment). The only cases that are proved at the moment are cases when one can relate the group theoretic picture of automorphic forms to algebraic geometry (first over $\mathbb C$, then over a number field, and then ultimately over finite fields, so that the Weil conjecture apply). This is how Deligne's proof proceeds. This connection between the geometry of symmetric spaces and arithmetic and geometry over finite fields is one of the profound points of investigation of modern number theory, but despite many positive results related to it, it remains essentially mysterious, even to experts.</p>