skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Fourier coefficients of minimal and next-to-minimal automorphic representations of simply-laced groups
Abstract 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 $$\eta \in \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 $$\operatorname {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 nonexistence 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 toward applications to scattering amplitudes in string theory.  more » « less
Award ID(s):
2001537
PAR ID:
10332040
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
Canadian Journal of Mathematics
Volume:
74
Issue:
1
ISSN:
0008-414X
Page Range / eLocation ID:
122 to 169
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We consider a special class of unipotent periods for automorphic forms on a finite cover of a reductive adelic group $$\mathbf {G}(\mathbb {A}_\mathbb {K})$$ G ( A K ) , which we refer to as Fourier coefficients 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}$$ 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 companion 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 certain Fourier coefficients. 
    more » « less
  2. 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. 
    more » « less
  3. We report on the work with E. Lapid about a conjecture relating Whittaker- Fourier coefficients of cusp forms to special values of L−functions. 
    more » « less
  4. It is well-known that there are automorphic eigenfunctions on SL(2,Z)∖SL(2,R)/SO(2,R)—such as the classical j-function—that have exponential growth and have exponentially growing Fourier coefficients (e.g., negative powers of q=e2πiz, or an I-Bessel function). We show that this phenomenon does not occur on the quotient SL(3,Z)∖SL(3,R)/SO(3,R) and eigenvalues in general position (a removable technical assumption). More precisely, if such an automorphic eigenfunction has at most exponential growth, it cannot have non-decaying Whittaker functions in its Fourier expansion. This confirms part of a conjecture of Miatello and Wallach, who assert all automorphic eigenfunctions on this quotient (among other rank ≥2 examples) always have moderate growth. We additionally confirm their conjecture under certain natural hypotheses, such as the absolute convergence of the eigenfunction’s Fourier expansion. 
    more » « less
  5. In [2], J. Arthur classifies the automorphic discrete spectrum of symplectic groups up to global Arthur packets. We continue with our investigation of Fourier coefficients and their im- plication to the structure of the cuspidal spectrum for symplectic groups ([16] and [20]). As result, we obtain certain characteri- zation and construction of small cuspidal automorphic represen- tations and gain a better understanding of global Arthur packets and of the structure of local unramified components of the cusp- idal spectrum, which has impacts to the generalized Ramanujan problem as posted by P. Sarnak in [43]. 
    more » « less