Overview of the interplay of Harmonic Analysis and Number Theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:32:55Z http://mathoverflow.net/feeds/question/60235 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/60235/overview-of-the-interplay-of-harmonic-analysis-and-number-theory Overview of the interplay of Harmonic Analysis and Number Theory Jon Bannon 2011-03-31T21:32:37Z 2012-09-04T09:40:22Z <p>I'm kind of disappointed that the question <a href="http://mathoverflow.net/questions/60072/what-connections-are-there-between-number-theory-and-partial-differential-equatio" rel="nofollow">here</a> was never sharpened. </p> <p>The Laplacian $\Delta$ on the upper half-plane is $-y^{2}(\partial^{2}/\partial x^{2}+\partial^{2}/\partial y^{2}))$. Suppose $D$ is the fundamental domain of, say, a congruence subgroup $\Gamma$ of $Sl_{2}(\mathbb{Z})$. Eigenfunctions of the discrete spectrum of $\Delta$ are real analytic solutions to $\Delta (\Psi)=\lambda \Psi$ that are $\Gamma$-equivariant functions in $L^{2}(D, dz)$, where $dz$ is the Poincare measure on the upper half-plane. These eigenfunctions evidently carry quite a bit of number theoretic information. Frankly, this point of view on number theory sounds incredibly interesting...</p> <blockquote> <p>Question: Would someone please suggest a readable introductory account that tells this story?</p> </blockquote> <p>(I imagine that answers will include the words Harish-Chandra, Langlands, etc...)</p> <p>Also, if experts are inclined to write a short overview as an answer, that would also be much appreciated.</p> http://mathoverflow.net/questions/60235/overview-of-the-interplay-of-harmonic-analysis-and-number-theory/60240#60240 Answer by David Hansen for Overview of the interplay of Harmonic Analysis and Number Theory David Hansen 2011-03-31T22:19:47Z 2012-09-04T09:40:22Z <p>I highly recommend Iwaniec's 1983 ICM lecture, which you can read <a href="http://www.mathunion.org/ICM/ICM1986.1/Main/icm1986.1.0444.0456.ocr.pdf" rel="nofollow">here</a>, and Peter Sarnak's article "Spectra of hyperbolic surfaces," which is <a href="http://www.math.princeton.edu/sarnak/baltimore.pdf" rel="nofollow">here</a>.</p> http://mathoverflow.net/questions/60235/overview-of-the-interplay-of-harmonic-analysis-and-number-theory/60254#60254 Answer by DJC for Overview of the interplay of Harmonic Analysis and Number Theory DJC 2011-04-01T04:00:48Z 2011-04-01T04:00:48Z <p><a href="http://books.google.com/books?id=9x8IamaDb4MC&amp;printsec=frontcover&amp;dq=Hugh+Montgomery+harmonic+analysis&amp;source=bl&amp;ots=QWuSBciZPZ&amp;sig=t1Ibs8KYoF2oE0FRdtHDMdFSE8Q&amp;hl=en&amp;ei=C02VTerZCIy10QGtxa3yCw&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CBcQ6AEwAA#v=onepage&amp;q&amp;f=false" rel="nofollow">Ten Lectures on the interface between analytic number theory and harmonic analysis</a>, by Hugh Montgomery is also worthwhile.</p> http://mathoverflow.net/questions/60235/overview-of-the-interplay-of-harmonic-analysis-and-number-theory/60266#60266 Answer by Marc Palm for Overview of the interplay of Harmonic Analysis and Number Theory Marc Palm 2011-04-01T08:37:01Z 2011-04-28T19:09:10Z <p>That's how I see it. Please correct me if I am wrong:</p> <ol> <li><p>Induce the trivial representation from a lattice $\Gamma$, e.g. $\mathrm{SL}_2( \mathbb{Z})$, to the group $\mathrm{SL}_2(\mathbb{R})$.</p></li> <li><p>Then consider the $\mathrm{SO}_2(\mathbb{R})$-invariant subspace.(weights are actually associated to one dimensional representations of SO_2)</p></li> </ol> <p>This representation is isomorphic to the representation $L^2(D,dz)$, you construct above.</p> <p>How does the Laplace Beltrami operator enter the picture... It is the descent of the Casimir operator to this space, which is the generator of all invariant differential operators (= center of the universal envelopping algebra of \mathfrak{sl}_2(\mathbb{R})). So intuitevely the Casimir operator captures the $G$ structure on the Hilbert space.</p> <p>Why did we became interested in such constructions? Maass discovered that the Mellin transforms of Dedekind zeta function associated to a quadratic real fields are Maass forms.</p> <p>Now, since all interesting $L$ functions (ass. to Galois repr., elliptic curves,...) are conjectured to be associated to some representation to some group, it seems worthwhile: 1. To study if and how they are associated ... (e.g., Taniyama-Shimura conjecture) 2. To study their properties on either side and conclude about the other...</p> <p>Mappings between groups and comparing their L-functions give also nice information about them (functoriality), e.g. they generalized Ramanujan conjecture would be implied by certain "functoriality" conjectures betweens general linear groups .</p> <p>Perhaps I should conclude that with the adeles $\mathbb{A}$ the better picture is $$\mathcal{L}^{2} ( \mathrm{SL}_2(\mathbb{Q}) \backslash \mathrm{SL}_2(\mathbb{A}))^{\mathrm{K}(m)\mathrm{SO}(2)} \cong \mathcal{L}^2(\Gamma(m) \backslash \mathbb{H}),$$</p> <p>where $\mathrm{K}(m)$ is the product over $\mathrm{K}_p(m)$, the group of elements in $\mathrm{SL}_2( \mathbb{Z}_p)$ which are the identy modulo $m$. This picture contains the Hecke operators more naturally...</p> http://mathoverflow.net/questions/60235/overview-of-the-interplay-of-harmonic-analysis-and-number-theory/70463#70463 Answer by paul garrett for Overview of the interplay of Harmonic Analysis and Number Theory paul garrett 2011-07-15T20:19:50Z 2011-07-15T20:55:29Z <p>I think it is also fair to say that things like hyperbolic $n$-spaces (and other symmetric spaces), and arithmetic quotients of them, are primordial, one-of-a-kind (well, not quite) objects. The opposite of "generic" mathematical objects. Partly because of the abruptly greater technical complexity in discussing the harmonic analysis on them, they are much less familiar than Euclidean spaces or their familiar quotients, circles and products thereof.</p> <p>Apart from Langlands' program and direct, intentional discussion of $L$-functions, I find it provocative that the basic harmonic analysis of $SL_2(\mathbb Z)\backslash H$ is not merely far subtler than that of $\mathbb R^2$ or $\mathbb R^2/\mathbb Z^2$, but that those subtleties are directly related to profound unsolved problems. As a well-known example, while we easily understand the sup norm of exponentials in the harmonic analysis on the real line, sharp estimates on pointwise behavior of eigenfunctions for the Laplacian on the upper half-plane give Lindelof: e.g., the value of the Eisenstein series $E_s$ at $z=i$ is the zeta of the Gaussian integers (divided by $\zeta(2s)$). </p> <p>Continuing, unlike the fact that the product of two exponentials is an exponential (that is, the tensor product of two one-dimensional irreducibles is still irreducible), decomposition of tensor products of waveforms, or of the repns they generate, is very tricky, and, again, is connected to serious outstanding problems. (Iwaniec' book mentions such examples.)</p> <p>That is, apart from "big conjectures" about automorphic forms and L-functions by themselves, even-more-primitive number-theoretic things just arise unbidden when we try to do innocent, ordinary things that would be trivial in Euclidean space.</p>