Automorphic forms on GL(3) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T19:55:30Z http://mathoverflow.net/feeds/question/43377 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/43377/automorphic-forms-on-gl3 Automorphic forms on GL(3) Alex 2010-10-24T12:55:42Z 2011-06-25T19:34:32Z <p>We know that the classical Maass forms on GL(3) are depicted, for instance, in D.Goldfeld's book. I wonder that if there exists "holomorphic" automorphic forms on GL(3) as an analogue of GL(2) case. If those forms exist, where can I find the materials which concretely tell the story of them?</p> <p>Thanks in advance.</p> http://mathoverflow.net/questions/43377/automorphic-forms-on-gl3/43670#43670 Answer by David Farmer for Automorphic forms on GL(3) David Farmer 2010-10-26T14:28:18Z 2010-10-26T14:28:18Z <p>You can see that there are no holomorphic analogues to the Maass forms in Goldfeld's book because those functions depend on 5 real variables: \$y_1, y_2, x_1, x_2, x_3\$. Any function of (one or more) complex variables must be a function of an even number of real variables.</p> <p>This is just a lowbrow version of David Hansen's assertion that the symmetric space is not a complex manifold.</p> http://mathoverflow.net/questions/43377/automorphic-forms-on-gl3/68805#68805 Answer by paul garrett for Automorphic forms on GL(3) paul garrett 2011-06-25T19:34:32Z 2011-06-25T19:34:32Z <p>As in the comments and earlier answer: in short, there is nothing comparably elementary or accessible for GL(3), as holomorphic things for GL(2).</p> <p>Even the explication of this apparent fact is not, and perhaps could not be, as immediate as the direct exhibiting of holomorphic things for GL(2): to demonstrate the <em>absence</em> of things is harder than showing <em>presence</em>.</p> <p>The most "elementary" GL(3) forms might be the Gelbart-Jacquet lifts from GL(2), although what is readily describable is not the automorphic form(s) but the L-functions. In any case, this is a "global" description which, therefore, is inevitably more complicated.</p> <p>A "local" description of (unitary?) repns of the GL(3,R) versus GL(2,R) is much easier than global comparisons. GL(2,R) basically has holomorphic discrete series and principal series, the former (globally) giving holomorphic automorphic forms, the latter giving waveforms. The repn theory of GL(3,R) includes <em>no</em> discrete series (this is not obvious). It does include both (irreducible) principal series and repns <em>induced</em> from the holomorphic discrete series on the copy of GL(2) in the 2,1-block or 1,2-block parabolic subgroup(s). In the last few decades, the "cohomological" repns have been distinguished, although this is less easy to describe than principal series or induced repns generally.</p> <p>In practice, none of these repn types are as accessible as the holomorphic things for GL(2) on the upper half-plane. </p> <p>The older thread in which <em>holomorphic</em> automorphic forms were the exclusive topic was Siegel modular forms, indeed. To compare the repn theory, this was possible because Sp(n,R) (or "2n"...) <em>does</em> have holomorphic discrete series repns, for all n. Siegel and H. Braun did <em>not</em> address things in such terms, and Harish-Chandra's early work on repn theory seems to have overlooked the implicit appearance of holomorphic discrete series in Siegel's work!</p> <p>Sp(n,R) (2n-by-2n matrices) in fact has \$n\$ different discrete series. For example, the 4-by-4 case has the holomorphic ones, <em>and</em> what are called the "big" discrete series. The repn theory also includes all induced repns from Levi components of parabolics. Thus, in fact, the relative poverty of unitary repns of GL(n,R)'s gives them a greater simplicity than the Sp(n,R)'s, despite the fact that the story is not elementary.</p> <p>Certainly holomorphic discrete series are among cohomological ones, and I believe (Clozel more-or-less confirmed this a few years ago) that at least case-by-case Vogan and his students have shown that <em>all</em> discrete series are cohomological.</p> <p>It is also considerably surprising that the old (1960s) results of Matsushima and Murakami on which automorphic forms <em>can</em> appear in cohomology really does show that it depends only on the <em>archimedean</em> representation type. </p> <p>So we probably must reconcile ourselves to "cohomological" being the "right" generalization of "holomorphic".</p>