Endoscopy and the automorphic tensor product on the unitary group
Paul-James White
备注：
This paper has been withdrawn as its content has been replaced/improved by the Authors articles "Tempered automorphic representations of the unitary group" and "p-adic Langlands Functoriality for the definite unitary group"
We study some tempered endoscopic cases of Langlands functoriality on the $n$-variable unitary groups via the simple stable trace formula. This extends previous work of Rogawski and Clozel-Harris-Labesse. Ramakrishnan and Kim-Shahidi have proved the existence of the automorphic tensor product for $GL_2 \times GL_2$ and $GL_2 \times GL_3$. We apply our endoscopic results to, in a sense, "lift" these theorems and deduce the existence of the automorphic tensor product for the quasi-split unitary groups $U^*_2 \times U^*_2$ and $U^*_2 \times U^*_3$. We then formulate the notion of overconvergent Langlands functoriality on the definite unitary group. We apply some results of Chenevier to obtain morphisms of eigenvarieties that extend classical endoscopic Langlands functoriality. This enables us to obtain, in the \emph{small slope} setting, some classical cases of non-tempered endoscopic Langlands functoriality. To conclude, we apply the recent potential automorphy results of Barnet-Lamb-Gee-Geraghty-Taylor to obtain some cases of the potential automorphic tensor product for higher rank unitary groups.
We show the existence of some non-classical cohomological p-adic automorphic eigenforms for SL(2) using endoscopy and the geometry of eigenvarieties. These forms seem to account for some non-automorphic members of classical global L-packets.
By assuming the endoscopic classification of automorphic representations on inner forms of unitary groups, which is currently work in progress by Kaletha, Minguez, Shin, and White, we bound the growth of cohomology in congruence towers of locally symmetric spaces associated to $U(n,1)$. In the case of lattices arising from Hermitian forms, we conjecture that the growth exponents we obtain are sharp in all degrees.
We introduce a new class of symmetric space orbital integrals important for applications in certain relative trace formulas appearing in the theory of automorphic representations. We verify a fundamental lemma for $U_2\times U_2\hookrightarrow U_4$ via an explicit calculation, showing strong evidence that there is a general theory of endoscopy lurking in this situation.
In his paper "Beyond Endoscopy," Langlands tries to understand functoriality via poles of L-functions. The following paper further investigates the analytic continuation of a L-function associated to a $GL_2$ automorphic form through the trace formula. Though the usual way to obtain the analytic continuation of an L-function is through its functional equation, this paper shows that by simply assuming the trace formula, the functional equation of the L-function may be recovered. This paper is a step towards understanding the analytic continuation of the L-function at the same time as capturing …
Langlands' beyond endoscopy proposal for establishing functoriality motivates interesting and concrete problems in the representation theory of algebraic groups. We study these problems in a setting related to the Langlands $L$-functions $L(s,π,\,\otimes^3),$ where $π$ is a cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_F)$ where $F$ is a global field.
Given a number field we construct a canonical Galois gerbe over it and show that its cohomology provides a bridge between the refined local endoscopy introduced in arXiv:1304.3292 and classical global endoscopy. As particular applications, we express the canonical adelic transfer factor that governs the stabilization of the Arthur-Selberg trace formula as a product of normalized local transfer factors, we give an explicit construction of the pairing between an adelic L-packet and the corresponding S-group (based on the conjectural pairings in the local setting) that is the essential ingredient…
Following Arthur's study of the representations of the orthogonal and symplectic groups, we prove many cases of both the local and global Arthur conjectures for tempered representations of the unitary group. This completes the proof of Arthur's description of the discrete series representations of the quasi-split $p$-adic unitary group, and Arthur's description of the tempered discrete automorphic representations of the unitary group, satisfying certain technical conditions.
In this paper we explore some properties of periods attached to automorphic representations of unitary groups over CM fields and the critical values of their $L$-functions. We prove a formula expressing the critical values in the range of absolute convergence in terms of Petersson norms of holomorphic automorphic forms. On the other hand, we express the Deligne period of a related motive as a product of quadratic periods and compare the two expressions by means of Deligne's conjecture.
We first give a relative flexible process to construct torsion cohomology classes for Shimura varieties of Kottwitz-Harris-Taylor type with coefficient in a non too regular local system. We then prove that associated to each torsion cohomology class, there exists a infinity of irreducible automorphic representations in characteristic zero, which are pairwise non isomorphic and weakly congruent.
Motivated by global applications, we propose a theory of relative endoscopic data and transfer factors for the symmetric pair $(U(2n),U(n)\times U(n))$ over a local field. We then formulate the smooth transfer conjecture and fundamental lemma, establish the existence of smooth transfer for many test functions, and prove the fundamental lemma for the symmetric pair $(U(4),U(2)\times U(2))$.
I give an algorithm for computing the full space of automorphic forms for definite unitary groups over Q, and apply this to calculate the automorphic forms of level $G(Z-hat)$ and various small weights for an example of a rank 3 unitary group. This leads to some examples of various types of endoscopic lifting from automorphic forms for U_1 x U_1 x U_1 and U_1 x U_2, and to an example of a non-endoscopic form of weight (3,3) corresponding to a family of 3-dimensional irreducible l-adic Galois representations. I also compute the 2-adic slopes of some automorphic forms with level structure at 2, …
We construct some $n$-dimensional eigenvarieties for finite slope overconvergent eigenforms over some unitary Shimura varieties with signature $(1,n-1)\times(0,n)\times\cdots\times(0,n)$ by adapting Andreatta-Iovita-Pilloni's method. We also show that there are some Galois pseudo-characters over our eigenvarieties by studying analytic continuation of finite slope eigenforms over these Shimura varieties.
The goal of this paper is to study certain p-adic differential operators on automorphic forms on U(n,n). These operators are a generalization to the higher-dimensional, vector-valued situation of the p-adic differential operators constructed for Hilbert modular forms by N. Katz. They are a generalization to the p-adic case of the C^{\infty}-differential operators first studied by H. Maass and later studied extensively by M. Harris and G. Shimura. The operators should be useful in the construction of certain p-adic L-functions attached to p-adic families of automorphic forms on the unitary grou…
Constructing vector-valued automorphic forms on unitary groups
University of California, Berkeley（加州大学伯克利分校）；Michigan State University（密歇根州立大学）；University of Oregon（俄勒冈大学）；Boston College（波士顿学院）；University of Arizona（亚利桑那大学）；Stanford University（斯坦福大学）；Columbia University（哥伦比亚大学）
Following the idea of [GJS09] for orthogonal groups, we introduce a new family of period integrals for cuspidal automorphic representations $σ$ of unitary groups and investigate their relation with the occurrence of a simple global Arthur parameter $(χ,b)$ in the global Arthur parameter $ψ_σ$ associated to $σ$, by the endoscopic classification of Arthur ([Art13], [Mok13], [KMSW14]). The argument uses the theory of theta correspondence. This can be viewed as a part of the $(χ,b)$-theory outlined in [Jia14] and can be regarded as a refinement of the theory of theta correspondences and poles of c…
In this paper, we extend the endoscopic transfer of definite unitary group U(n), which sends a pair of automorphic forms of U(m),U(n) to an automorphic form of U(m+n), to finite slope p-adic automorphic forms for definite unitary groups by constructing a rigid analytic map between eigenvarieties E_m \times E_n \to E_{m+n}, which at classical points interpolates endoscopic transfer map.
In the 1970's, Serre exploited congruences between $q$-expansion coefficients of Eisenstein series to produce $p$-adic families of Eisenstein series and, in turn, $p$-adic zeta functions. Partly through integration with more recent machinery, including Katz's approach to $p$-adic differential operators, his strategy has influenced four decades of developments. Prior papers employing Katz's and Serre's ideas exploiting differential operators and congruences to produce families of automorphic forms rely crucially on $q$-expansions of automorphic forms. The overarching goal of the present paper i…
The goal of this paper is to provide a refinement of a formula proved by the first author which expresses some critical values of automorphic $L$-functions on unitary groups as Petersson norms of automorphic forms. Here we provide a Galois equivariant version of the formula. We also give some applications to special values of automorphic representations of $\GL_{n}\times\GL_{1}$. We show that our results are compatible with Deligne's conjecture.
Let Π be a cuspidal automorphic representation for GL(4) over a number field F. We obtain unconditional lower bounds on the number of places at which the Satake parameters are not "too large". In the case of self-dual Π with non-trivial central character, our results imply that the set of places at which Π is tempered has an explicit positive lower Dirichlet density. Our methods extend those of Ramakrishnan by careful analysis of the hypothetical possibilities for the structure of the Langlands conjugacy classes, as well as their behaviour under functorial lifts. We then discuss the analogous …
We prove a companion forms theorem for ordinary n-dimensional automorphic Galois representations, by use of automorphy lifting theorems developed by the second author, and a technique for deducing companion forms theorems due to the first author. We deduce results about the possible Serre weights of mod l Galois representations corresponding to automorphic representations on unitary groups. We then use functoriality to prove similar results for automorphic representations of GSp4 over totally real fields.
In this paper, we extend Ginzburg-Rallis' integral representation for the exterior cube automorphic $L$-function of ${\rm GL}_6\times {\rm GL}_1$ to that of the quasi-split unitary similitude group ${\rm GU}_6$ and establish its analytic properties to determine the poles of this $L$-function. Furthermore, we introduce the automorphic induction for automorphic representations of ${\rm GU}_n$ and then show that the weak Langlands functorial lift for the automorphic induction exists for generic cuspidal automorphic representations. By using this automorphic induction, we give a conjectural criter…
We study Whittaker--Fourier coefficients of automorphic forms on a quasi-split unitary group. We reduce the analogue of the Ichino--Ikeda conjectures to a conjectural local statement using the descent method of Ginzburg--Rallis--Soudry.
We determine the sign of the polarization of any polarized irreducible factor of a Galois representation attached to a polarized cohomological cuspidal automorphic form of Gl_n of a CM field: it is always +1, as was conjectured by Gross.
Let F be a totally real number field, n a prime integer, and G a unitary group of rank n defined over F that is compact at every infinite place. We prove an asymptotic formula for the number of cuspidal automorphic representations of G whose factors at finitely many places are prescribed up to inertia. The results and the methods used are a generalization to this setting of those used by Weinstein for GL_2.
In this paper we provide a sufficient condition for a prime to be a congruence prime for an automorphic form $f$ on the unitary group $U(n,n)(A_F)$ for a large class of totally real fields $F$ via a divisibility of a special value of the standard $L$-function associated to $f$. We also study $\ell$-adic properties of the Fourier coefficients of an Ikeda lift $I_ϕ$ (of an elliptic modular form $ϕ$) on $U(n,n)(A_{\mathbf{Q}})$ proving that they are $\ell$-adic integers which do not all vanish modulo $\ell$. Finally we combine these results to show that the condition of $\ell$ being a congruence …
We formulate and prove certain vanishing theorems for p-adic automorphic forms on unitary groups of arbitrary signature. The p-adic q-expansion principle for p-adic modular forms on the Igusa tower says that if the coefficients of (sufficiently many of) the q-expansions of a p-adic modular form f are zero, then f vanishes everywhere on the Igusa tower. There is no p-adic q-expansion principle for unitary groups of arbitrary signature in the literature. By replacing q-expansions with Serre-Tate expansions (expansions in terms of Serre-Tate deformation coordinates) and replacing modular forms wi…
In [Ar13], Arthur classifies the automorphic discrete spectrum of symplectic groups up to global Arthur packets, based on the theory of endoscopy. It is an interesting and basic question to ask: which global Arthur packets contain no cuspidal automorphic representations? The investigation on this question can be regarded as a further development of the topics originated from the classical theory of singular automorphic forms. The results obtained yield a better understanding of global Arthur packets and of the structure of local unramified components of the cuspidal spectrum, and hence are clo…
We prove three main results: all Langlands-Shahidi automorphic $L$-functions over function fields are rational; after twists by highly ramified characters our automorphic $L$-functions become polynomials; and, if $π$ is a globally generic cuspidal automorphic representation of a split classical group or a unitary group ${\bf G}_n$ and $τ$ a cuspidal (unitary) automorphic representation of a general linear group, then $L(s,π\times τ)$ is holomorphic for $\Re(s) > 1$ and has at most a simple pole at $s=1$. We also prove the holomorphy and non-vanishing of automorphic exterior square, symmetric s…
This paper has two main parts. First, we construct certain differential operators, which generalize operators studied by G. Shimura. Then, as an application of some of these differential operators, we construct certain p-adic families of automorphic forms. Building on the author's earlier work, these differential operators map automorphic forms on a unitary group of signature (n,n) to (vector-valued) automorphic forms on the product $U^φ\times U^{-φ}$ of two unitary groups, where $U^φ$ denotes the unitary group associated to a Hermitian form $φ$ of arbitrary signature on an n-dimensional vecto…
This paper examines fields of rationality in families of cuspidal automorphic representations of unitary groups. Specifically, for a fixed $A$ and a sufficiently large family $\mathcal{F}$, a small proportion of representations $π\in \mathcal{F}$ will satisfy $[\mathbb{Q}(π):\mathbb{Q}] \leq A$. Like earlier work of Shin and Templier, the result depends on a Plancherel equidistribution result for the local components of representations in families. An innovation of our work is an upper bound on the number of discrete series $GL_n(L)$ representations with small field of rationality, counted wit…
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…
In this article, we compute the Gan-Gross-Prasad period integral of Klingen Eisenstein series over the unitary group $\mathrm{U}(m+1, n+1)$ with a cuspidal automorphic form over $\mathrm{U}(m+1, n)$, and show that it is related to certain special Rankin-Selberg $L$-values. We $p$-adically interpolate these Gan-Gross-Prasad period integrals as the Klingen Eisenstein series and the cuspidal automorphic form vary in Hida families. As a byproduct, we obtain a $p$-adic $L$-function of Rankin-Selberg type over $\mathrm{U}(m,n) \times \mathrm{U}(m+1, n)$. The ultimate motivation is to show the $p$-pr…
Using Hecke triangle surfaces of finite and infinite area as examples, we present techniques for thermodynamic formalism approaches to Selberg zeta functions with unitary finite-dimensional representations $(V,χ)$ for hyperbolic surfaces (orbifolds) $Γ\backslash\mathbb{H}$ as well as transfer operator techniques to develop period-like functions for $(Γ,χ)$-automorphic cusp forms. This leads to several natural conjectures. We further show how to extend these results to the billiard flow on the underlying triangle surfaces, and study the convergence of transfer operators along sequences of Hecke…
We classify the automorphic representations (over number fields) and the irreducible admissible representations (over local fields) of unitary groups which are not quasi-split, under the assumption that the same is known for quasi-split unitary groups. The classification of automorphic representations is given in terms of automorphic representations of general linear groups. The classification of irreducible admissible representations is given in terms of Langlands parameters.
Let $π$ be an irreducible unitary cuspidal representation for $GL_m({\Bbb A}_{\Bbb Q})$, and let $L(s, π)$ be the automorphic $L$-function attached to $π$, which has a Dirichlet series expression in the half-plane $\mbox{Re} s>1$. When $π$ is self-contragredient, all the coefficients in the Dirichlet series expression are real. In this paper we give non-trivial lower bounds for the number of positive and negative coefficients, respectively.
We develop a theory of $p$-adic automorphic forms on unitary groups that allows $p$-adic interpolation in families and holds for all primes $p$ that do not ramify in the reflex field $E$ of the associated unitary Shimura variety. If the ordinary locus is nonempty (a condition only met if $p$ splits completely in $E$), we recover Hida's theory of $p$-adic automorphic forms, which is defined over the ordinary locus. More generally, we work over the $μ$-ordinary locus, which is open and dense. By eliminating the splitting condition on $p$, our framework should allow many results employing Hida's …
We give an expository account of the theory of intertwining operators for connected reductive $p$--adic groups, and their connection with automorphic $L$--functions. Our purpose is to illustrate the relation between harmonic analysis and arithmetic. In particular, we describe how the theory of Plancherel measures allows us to compute certain local Langlands $L$--functions. In order to be more self contained, we give a brief introduction to the Langlands program. The theory of $R$--groups and elliptic representations is treated here as well. Finally, we give an example which illustrates how the…
We provide Fourier expansions of vector-valued eigenfunctions of the hyperbolic Laplacian that are twist-periodic in a horocycle direction. The twist may be given by any endomorphism of a finite-dimensional vector space; no assumptions on invertibility or unitarity are made. Examples of such eigenfunctions include vector-valued twisted automorphic forms of Fuchsian groups. We further provide a detailed description of the Fourier coefficients and explicitly identify each of their constituents, which intimately depend on the eigenvalues of the twisting endomorphism and the size of its Jordan blo…
Arthur has conjectured that the unitarity of a number of representations can be shown by finding appropriate automorphic realizations. This has been verified for classical groups by Moeglin and for the exceptional Chevalley group G_2 by Kim. In this paper we extend their results on spherical representations to the remaining exceptional groups E_6, E_7, E_8, and F_4. In particular we prove Arthur's conjecture that the spherical constituent of an unramified principal series of a Chevalley group over any local field of characteristic zero is unitarizable if its Langlands parameter coincides with …
In this paper, we study the order of the pole of the triple tensor product $L$-functions $L(s,π_1\timesπ_2\timesπ_3,\otimes^3)$ for cuspidal automorphic representations $π_i$ of $\mathrm{GL}_{n_i}(\mathbb{A}_F)$ in the setting where one of the $π_i$ is a monomial representation. In the view of Brauer theory, this is a natural setting to consider. The results provided in this paper give crucial examples that can be used as a point of reference for Langlands' beyond endoscopy proposal.
This article shows that for unitary dual reductive pairs the first occurrence of theta lift of an irreducible cuspidal automorphic representation is irreducible. It also proves a refined tower property for theta lifts and the involutive property for twisted theta lifts.
Langlands' functoriality principle predicts deep relations between the local and automorphic spectra of different reductive groups. This has been generalized by the relative Langlands program to include spherical varieties, among which reductive groups are special cases. In the philosophy of Langlands' "beyond endoscopy" program, these relations should be expressed as comparisons between different trace formulas, with the insertion of appropriate $L$-functions. The insertion of $L$-functions calls for one more goal to be achieved: the study of their functional equations via trace formulas. The…
We obtain a sharp refinement of the strong multiplicity one theorem for the case of unitary non-dihedral cuspidal automorphic representations for GL(2). Given two unitary cuspidal automorphic representations for GL(2) that are not twist-equivalent, we also find sharp lower bounds for the number of places where the Hecke eigenvalues are not equal, for both the general and non-dihedral cases. We then construct examples to demonstrate that these results are sharp.
Let $π$ be an irreducible unitary cuspidal representation of $GL_m({\Bbb A}_{\Bbb Q})$ and $L(s,\,π)$ be the global $L-$function attached to $π$. If ${\rm Re}(s)>1$, $L(s,\,π)$ has a Dirichlet series expression. When $π$ is self-contragradient, all the coefficients of Dirichlet series are real. In this note, we shall give non-trivial lower bounds for the number of positive and negative coefficients respectively, which is an improvement on the recent work of Jianya Liu and Jie Wu.
In this article, we are concerned with the Langlands functoriality conjecture. Cogdell, Kim, Piatetski-Shapiro and Shahidi proved functioriality conjecture in the case of a globally generic cuspidal automorphic representation for the split classical groups, unitary groups or even quasi-split special orthogonal groups in characteristic zero. Lomelí extends this result to split classical groups and unitary groups in positive characteristic. Thus, in this article we prove the Langlands functoriality conjecture for the even quasi-split non-split special orthogonal groups in positive characteristic…
Let $π$ be an irreducible cuspidal automorphic representation of a quasi-split unitary group ${\rm U}_{\mathfrak n}$ defined over a number field $F$. Under the assumption that $π$ has a generic global Arthur parameter, we establish the non-vanishing of the central value of $L$-functions, $L(\frac{1}{2},π\timesχ)$, with a certain automorphic character $χ$ of ${\rm U}_1$, for the case of ${\mathfrak n}=2,3,4$, and for the general ${\mathfrak n}\geq 5$ by assuming a conjecture on certain refined properties of global Arthur packets. In consequence, we obtain some simultaneous non-vanishing results…
