No Arabic abstract
We investigate Fourier coefficients of automorphic forms on split simply-laced Lie groups G. We show that for automorphic representations of small Gelfand-Kirillov dimension the Fourier coefficients are completely determined by certain degenerate Whittaker vectors on G. Although we expect our results to hold for arbitrary simply-laced groups, we give complete proofs only for G=SL(3) and G=SL(4). This is based on a method of Ginzburg that associates Fourier coefficients of automorphic forms with nilpotent orbits of G. Our results complement and extend recent results of Miller and Sahi. We also use our formalism to calculate various local (real and p-adic) spherical vectors of minimal representations of the exceptional groups E_6, E_7, E_8 using global (adelic) degenerate Whittaker vectors, correctly reproducing existing results for such spherical vectors obtained by very different methods.
We provide an introduction to the theory of Eisenstein series and automorphic forms on real simple Lie groups G, emphasising the role of representation theory. It is useful to take a slightly wider view and define all objects over the (rational) adeles A, thereby also paving the way for connections to number theory, representation theory and the Langlands program. Most of the results we present are already scattered throughout the mathematics literature but our exposition collects them together and is driven by examples. Many interesting aspects of these functions are hidden in their Fourier coefficients with respect to unipotent subgroups and a large part of our focus is to explain and derive general theorems on these Fourier expansions. Specifically, we give complete proofs of the Langlands constant term formula for Eisenstein series on adelic groups G(A) as well as the Casselman--Shalika formula for the p-adic spherical Whittaker function associated to unramified automorphic representations of G(Q_p). In addition, we explain how the classical theory of Hecke operators fits into the modern theory of automorphic representations of adelic groups, thereby providing a connection with some key elements in the Langlands program, such as the Langlands dual group LG and automorphic L-functions. Somewhat surprisingly, all these results have natural interpretations as encoding physical effects in string theory. We therefore also introduce some basic concepts of string theory, aimed toward mathematicians, emphasising the role of automorphic forms. In particular, we provide a detailed treatment of supersymmetry constraints on string amplitudes which enforce differential equations of the same type that are satisfied by automorphic forms. Our treatise concludes with a detailed list of interesting open questions and pointers to additional topics which go beyond the scope of this book.
In this paper we analyze Fourier coefficients of automorphic forms on a finite cover $G$ of an adelic split simply-laced group. Let $pi$ be a minimal or next-to-minimal automorphic representation of $G$. We prove that any $etain pi$ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to the Piatetski-Shapiro--Shalika formula for cusp forms on $GL_n$. We also derive explicit formulas expressing the form, as well as all its maximal parabolic Fourier coefficient in terms of these Whittaker coefficients. A consequence of our results is the non-existence of cusp forms in the minimal and next-to-minimal automorphic spectrum. We provide detailed examples for $G$ of type $D_5$ and $E_8$ with a view towards applications to scattering amplitudes in string theory.
We study the question of Eulerianity (factorizability) for Fourier coefficients of automorphic forms, and we prove a general transfer theorem that allows one to deduce the Eulerianity of certain coefficients from that of another coefficient. We also establish a `hidden invariance property of Fourier coefficients. We apply these results to minimal and next-to-minimal automorphic representations, and deduce Eulerianity for a large class of Fourier and Fourier-Jacobi coefficients. In particular, we prove Eulerianity for parabolic Fourier coefficients with characters of maximal rank for a class of Eisenstein series in minimal and next-to-minimal representations of groups of ADE-type that are of interest in string theory.
We consider a general class of Fourier coefficients for an automorphic form on a finite cover of a reductive adelic group ${bf G}(mathbb{A}_{mathbb{K}})$, associated to the data of a `Whittaker pair. We describe a quasi-order on Fourier coefficients, and an algorithm that gives an explicit formula for any coefficient in terms of integrals and sums involving higher coefficients. The maximal elements for the quasi-order are `Levi-distinguished Fourier coefficients, which correspond to taking the constant term along the unipotent radical of a parabolic subgroup, and then further taking a Fourier coefficient with respect to a $mathbb{K}$-distinguished nilpotent orbit in the Levi quotient. Thus one can express any Fourier coefficient, including the form itself, in terms of higher Levi-distinguished coefficients. In follow-up papers we use this result to determine explicit Fourier expansions of minimal and next-to-minimal automorphic forms on split simply-laced reductive groups, and to obtain Euler product decompositions of their top Fourier coefficients.
Conjecturally, the Galois representations that are attached to essentially selfdual regular algebraic cuspidal automorphic representations are Zariski-dense in a polarized Galois deformation ring. We prove new results in this direction in the context of automorphic forms on definite unitary groups over totally real fields. This generalizes the infinite fern argument of Gouvea-Mazur and Chenevier, and relies on the construction of non-classical $p$-adic automorphic forms, and the computation of the tangent space of the space of trianguline Galois representations. This boils down to a surprising statement about the linear envelope of intersections of Borel subalgebras.