Let G be a connected, real, semisimple Lie group contained in its complexification G_C, and let K be a maximal compact subgroup of G. We construct a K_C-G double coset domain in G_C, and we show that the action of G on the K-finite vectors of any irreducible unitary representation of G has a holomorphic extension to this domain. For the resultant holomorphic extension of K-finite matrix coefficients we obtain estimates of the singularities at the boundary, as well as majorant/minorant estimates along the boundary. We obtain L^\infty bounds on holomorphically extended automorphic functions on G/K in terms of Sobolev norms, and we use these to estimate the Fourier coefficients of combinations of automorphic functions in a number of cases, e.g. of triple products of Maass forms.
In this paper, we decompose the space of nearly holomorphic Hilbert-Siegel automorphic forms as representations of the adele group under certain assumptions. We also give an application for classical holomorphic Hilbert-Siegel modular forms. In particular, we show the surjectivity of the global Siegel operator for certain congruence subgroups with large weights.
In this paper, we compute basis elements of certain spaces of weight 0 weakly holomorphic modular forms and consider the integrality of Fourier coefficients of the modular forms. We use the results to construct automorphic correction of the rank 2 hyperbolic Kac-Moody algebras H(a), a=4,5,6, through Hilbert modular forms explicitly given by Borcherds lifts of the weakly holomorphic modular forms. We also compute asymptotic of the Fourier coefficients as they are related to root multiplicities of the rank 2 hyperbolic Kac-Moody algebras. This work is a continuation of the previous paper, where …
This paper deals with the analytic continuation of holomorphic automorphic forms on a Lie group $G$. We prove that for any discrete subgroup $Γ$ of $G$ there always exists a non-trivial holomorphic automorphic form, i.e., there exists a $Γ$-spherical unitary highest weight representation of $G$. Holomorphic automorphic forms have the property that they analytically extend to holomorphic functions on a complex Ol'shanski\uı semigroup $S\subeq G_\C$. As an application we prove that the bounded holomorphic functions on $Γ\bs S\subseteq Γ\bs G_\C$ separate the points.
We consider invariant hyperfunctions associated to automorphic forms on the upper half plane. We give two interpretations of the period function of Maass forms introduced by Lewis. The first interpretation shows that the period function arises from the explicit description of a representative of the hyperfunction associated to the Maass form. Under certain conditions, automorphic forms determine cohomology classes in a cohomology group with values in the hyperfunctions with bounded support on the line. A map from hyperfunctions to holomorphic functions leads to a second, cohomological, interpr…
Let $F$ be a number field, and $\BA=\BA_F$. In this paper, first, we provide a family of global Arthur parameters confirming all parts of a general conjecture on the relation between the structure of Fourier coefficients and the structure of global Arthur parameters, given by Jiang in 2012. Then we extend a correspondence between certain automorphic forms on $Sp_{4n}(\BA)$ and $\wt{Sp}_{2n}(\BA)$, given by Ginzburg, Jiang and Soudry in 2012, to certain automorphic forms on $Sp_{4mn}(\BA)$ and $\wt{Sp}_{4mn \pm 2n}(\BA)$, using the same idea of considering compositions of automorphic descent ma…
We discuss mock automorphic forms from the point of view of representation theory, that is, obtained from weak harmonic Maass forms give rise to nontrivial $(\mathfrak{g},K)$-cohomology. We consider the possibility of replacing the `holomorphic' condition with `cohomological' when generalizing to general reductive groups. Such a candidate allows for growing Fourier coefficients, in contrast to automorphic forms under the Miatello-Wallach conjecture. In the second part, we provide an overview of the connection with BPS black hole counts as a physical motivation for studying mock automorphic for…
We prove a generalization to the totally real field case of the Waldspurger's formula relating the Fourier coefficient of a half integral weight form and the central value of the L-function of an integral weight form. Our proof is based on a new interpretation of Waldspurger's formula in terms of equality between global distributions. As applications we generalize the Kohnen-Zagier formula for holomorphic forms and prove the equivalence of the Ramanujan conjecture for half integral weight forms and a case of the Lindelof hypothesis for integral weight forms. We also study the Kohnen space in t…
Many important analytic statements about automorphic forms, such as the analytic continuation of certain L-functions, rely on the well-known rapid decay of K-finite cusp forms on Siegel sets. We extend this here to prove a more general decay statement along sets much larger than Siegel sets, and furthermore state and prove the decay for smooth but not necessarily K-finite cusp forms. We also state a general theorem about the convergence of Rankin-Selberg integrals involving unipotent periods, closing a gap in the literature on L-functions. These properties serve as the analytic basis of a new …
Ibukiyama correspondences on automorphic forms on $\operatorname{Mp}_4(\mathbb{A}_\mathbb{Q})$ and $\operatorname{SO}_5(\mathbb{A}_\mathbb{Q})$ generating large discrete series representations at the real place
We prove a sharp bound for the average value of the triple product of modular functions for the Hecke subgroup Γ_0(N). Our result is an extension of the main result in {Bernstein&Reznikov-2004} to a fixed cuspidal representation of the adele group PGL(2,A).
We define and study the subspace of cuspidal functions for $G$-bundles on a class of nilpotent extensions $C$ of curves over a finite field. We show that this subspace is preserved by the action of a certain noncommutative Hecke algebra $\mathcal{H}_{G,C}$. In the case $G=\rm{GL}_2$, we construct a commutative subalgebra in $\mathcal{H}_{G,C}$ of Hecke operators associated with simple divisors. In the case of length 2 extensions and of $G=\rm{GL}_2$, we prove that the space of cuspidal functions (for bundles with a fixed determinant) is finite-dimensional and provide bounds on its dimension. I…
We prove that the local components of an automorphic representation of an adelic semisimple group have equal rank in the sense defined earlier by the second author. Our theorem is an analogue of the results previously obtained by Howe, Li, Dvorsky--Sahi, and Kobayashi--Savin. Unlike previous works which are based on explicit matrix realizations and existence of parabolic subgroups with abelian unipotent radicals, our proof works uniformly for all of the (classical as well as exceptional) groups under consideration. Our result is an extension of the statement known for several semisimple groups…
Let F/Q be a totally real field extension of degree g and let D be a definite quaternion algebra with center F. Fix an odd prime p which is unramified in F and D. We produce weight shiftings between (mod p) automorphic forms on the multiplicative group of D having fixed level. When the starting weight does not contain any (2,...,2)-block, we obtain these shiftings via maps induced in cohomology by intertwining operators acting on F_{p}-representations of GL(2,O_{F}/pO_{F}). Shiftings by (p-1,...,p-1) for weights containing (2,...,2)-blocks are obtained following the methods of Edixhoven-Khare,…
Let $Π$ be a cuspidal automorphic representation of $\mathrm{GL}_{2n}(\mathbb{A_Q})$ and let $p$ be an odd prime at which $Π$ is unramified. In a recent work, Barrera, Dimitrov and Williams constructed possibly unbounded $p$-adic $L$-functions interpolating complex $L$-values of $Π$ in the non-ordinary case. Under certain assumptions, we construct two \textit{bounded} $p$-adic $L$-functions for $Π$, thus extending an earlier work of Rockwood by relaxing the Pollack condition. Using Langlands local-global compatibility, we define signed Selmer groups over the $p$-adic cyclotomic extension of $\…
The purpose of this semi-expository article is to give another proof of a classical theorem of Shimura on the critical values of the standard L-function attached to a Hilbert modular form. Our proof is along the lines of previous work of Harder and Hida (independently). What is different is an organizational principle based on the period relations proved by Raghuram and Shahidi for periods attached to regular algebraic cuspidal automorphic representations. The point of view taken in this article is that one need only prove an algebraicity theorem for the most interesting L-value, namely, the c…
This paper proves the existence of global rational structures on spaces of cusp forms of general reductive groups. We identify cases where the constructed rational structures are optimal, which includes the case of GL($n$). As an application, we deduce the existence of a natural set of periods attached to cuspidal automorphic representations of GL($n$). This has consequences for the arithmetic of special values of $L$-functions that we discuss in subsequent articles. In the course of proving our results, we lay the foundations for a general theory of Harish-Chandra modules over arbitrary field…
In this article, we improve our main results from \emph{Chow groups and $L$-derivatives of automorphic motives for unitary groups} in two direction: First, we allow ramified places in the CM extension $E/F$ at which we consider representations that are spherical with respect to a certain special maximal compact subgroup, by formulating and proving an analogue of the Kudla--Rapoport conjecture for exotic smooth Rapoport--Zink spaces. Second, we lift the restriction on the components at split places of the automorphic representation, by proving a more general vanishing result on certain cohomolo…
Let X be a Riemannian symmetric space of non-compact type. We prove a theorem of holomorphic extension for eigenfunctions of the Laplace-Beltrami operator on X, by techniques from the theory of partial differential equations.
The minimal representation $π$ of the indefinite orthogonal group $O(m+1,2)$ is realized on the Hilbert space of square integrable functions on $\mathbb R^m$ with respect to the measure $|x|^{-1} dx_1... dx_m$. This article gives an explicit integral formula for the holomorphic extension of $π$ to a holomorphic semigroup of $O(m+3, \mathbb C)$ by means of the Bessel function. Taking its `boundary value', we also find the integral kernel of the `inversion operator' corresponding to the inversion element on the Minkowski space $\mathbb R^{m,1}$.
