SearcharxivSearch

arXiv subjects

Dihua Jiang

Publications and source records attributed to Dihua Jiang.

At least 19 recordsLinked to original sources

Local Jacquet-Shalika integrals and modifying factors

Over any local field of characteristic zero, we develop a local theory of Jacquet-Shalika integrals that were originally introduced by Jacquet and Shalika to study exterior square local $L$-factors for $GL_m$. In particular, at least in the archimedean case, we establish a complete functional equation matching Artin local $\varepsilon$-factors. Central to the argument is a novel comparison strategy between Jacquet-Shalika integrals and open-orbit integrals associated to the Shalika subgroup.

math.NT

On the complementary Arthur representations and unitary dual for p-adic classical groups

In [HJLLZ24], we proposed a new conjecture on the structure of the unitary dual of connected reductive groups over non-Archimedean local fields of characteristic zero based on their Arthur representations and verified it for all the known cases on the unitary dual problem. One step towards this conjecture involves the question whether certain complementary Arthur representations are unitary. In this paper, we give an explicit characterization of the complementary Arthur representations for symplectic and split odd special orthogonal groups. As applications, we obtain interesting constraints on local components of irreducible self-dual cuspidal automorphic representations of $\mathrm{GL}_N$, especially when $N=2,3$.

math.RT

Arithmetic Wavefront Set and Microlocal Structure of Harish-Chandra Character

In this paper, we establish in Theorem 1.2 the reciprocity of wavefront sets for irreducible admissible representations $π$ of classical groups $G$ over any local field $F$ of characteristic zero if $π$ has a generic local $L$-parameter. Over archimedean local fields, based on the progress made in our previous work (arXiv:2207.04700), we prove in Theorem 1.5 that for an irreducible Casselman--Wallach representation $π$ with a generic local $L$-parameter, the Wavefront Set Conjecture (arXiv:2207.04700, Conjecture 1.2) and its refinement (Conjecture 1.1) hold for the arithmetic wavefront set ${\mathrm{WF}}_{\mathrm{ari}}(π)$ as defined by the associated enhanced local $L$-parameter of $π$ and the wavefront set ${\mathrm{WF}}_{\mathrm{tr}}(π)$ defined by the Harish--Chandra distribution character $Θ_π$ of $π$. Hence the microlocal structure of $Θ_π$ is completely determined by the arithmetic information carried by the enhanced local $L$-parameter of $π$. The relations with the algebraic wavefront set ${\mathrm{WF}}_{\mathrm{wm}}(π)$ defined by the degenerate Whittaker models are extensively discussed by means of the composition law (Theorem 3.4) over all local fields of characteristic zero. Under Conjecture 1.3, the Wavefront Set Conjecture is fully established over archimedean local fields. As a consequence, we prove a refinement of Vogan's maximal-orbit principle (Theorem 1.7).

math.RT

On Arthur representations and the unitary dual

In this paper, we propose a new conjecture describing the structure of the unitary dual in terms of Arthur representations for connected reductive algebraic groups defined over any non-Archimedean local field of characteristic zero. This conjecture provides a candidate set for the unitary dual, constructed from Arthur representations. For classical groups, we develop an explicit algorithm to generate this candidate set. Evidence for its exhaustiveness includes compatibility with the known generic unitary dual, unramified unitary dual, and low-corank representations. As further support, we verify the conjecture for the unitary dual of the exceptional group of type $G_2$.

math.RT

The FPP Conjecture for p-adic Groups

The FPP conjecture, proposed by J. Adams, S. Miller, and D. Vogan and proved by D. Davis and L. Mason-Brown in arXiv:2411.01372, imposes a strong upper bound on the infinitesimal character of a unitary representation of a real reductive group. In this paper, we formulate an analogous conjecture for $p$-adic groups. We prove our conjecture for pure rational forms assuming a version of the Local Langlands Correspondence.

math.RT

Arithmetic Wavefront Sets and Generic $L$-packets

Let $G$ be a classical group defined over a local field $F$ of characteristic zero. Let $π$ be an irreducible admissible representation $π$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean. If $π$ has a generic local $L$-parameter, we define the arithmetic wavefront set ${\rm WF_{ari}}(π)$ of $π$, which is a subset of $F$-rational nilpotent orbits of the Lie algebra $\mathfrak{g}(F)$ of $G(F)$, by means of the arithmetic structures of the enhanced $L$-parameter $(φ,χ)$ of $π$. Those arithmetic structures are discovered by using our method of consecutive descents of enhanced $L$-parameters, based on the rationality of the local Langlands correspondence and the local Gan-Gross-Prasad conjecture. We study the basic structure of ${\rm WF_{ari}(π)}$ and prove that it is an invariant of $π$ (Theorem 5.10). Furthermore, those basic structures ${\rm WF_{ari}(π)^{max}}$ are expected to yield the precise $F$-rational structure of ${\rm WF_{ari}(π)^{max}}$, which has been realized, when $F$ is archimedean, in Theorems 1.3 and 1.4 (Theorems 7.10, 7.14, and 9.2). Based on the local Langlands reciprocity, the Wavefront Set Conjecture (Conjecture 1.2 and Conjecture 5.14) asserts that the wavefront sets on the L-parameter side should be closed related to those on the representation side, namely, \[ {\rm WF_{wm}(π)^{max}}={\rm WF_{ari}(π)^{max}}={\rm WF_{tr}(π)^{max}} \] when $π$ has a generic local $L$-parameter, where the algebraic wavefront set ${\rm WF_{wm}}(π)$ is defined by Moeglin and Waldspurger in [MW87], using generalized Whittaker models and the analytic wavefront set ${\rm WF_{tr}}(π)$ is defined by Howe [H81, Hd85] using distribution characters, and also by [H74, HC78, BV80]. Conjecture 1.2 is verified for families of interesting cases.

math.RT

On the Braverman-Kazhdan-Ngo Triples

In the Braverman-Kazhdan proposal and certain refinement of Ngo for automorphic $L$-functions, the reductive group $G$ and the representations $ρ$ of the Langlands dual group $G^\vee$ are taken with certain assumptions. We introduce the notion of the Braverman-Kazhdan-Ngo triples $(G,G^\vee,ρ)$ and show that for general automorphic $L$-functions, it is enough to consider the Braverman-Kazhdan-Ngo triples. We also verify that for a given Braverman-Kazhdan-Ngo triple, the reductive monoid constructed from the Vinberg method and that constructed from the Putcha-Renner method are isomorphic.

math.NT

Period Relations for Standard $L$-functions of Symplectic Type

This article is to understand the critical values of $L$-functions $L(s,Π\otimes χ)$ and to establish the relation of the relevant global periods at the critical places. Here $Π$ is an irreducible regular algebraic cuspidal automorphic representation of $\mathrm{GL}_{2n}(\mathbb A)$ of symplectic type and $χ$ is a finite order automorphic character of $\mathrm{GL}_1(\mathbb A)$, with $\mathbb A$ is the ring of adeles of a number field $\mathrm k$.

math.NT

The Voronoi Summation Formula for $\mathrm{GL}_n$ and the Godement-Jacquet Kernels

Let $\mathbb{A}$ be the ring of adeles of a number field $k$ and $π$ be an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A})$. In the previous work of the first author with Zhilin Luo, they introduced $π$-Schwartz space $\mathcal{S}_π(\mathbb{A}^\times)$ and $π$-Fourier transform $\mathcal{F}_{π,ψ}$ with a non-trivial additive character $ψ$ of $k\backslash\mathbb{A}$, proved the associated Poisson summation formula over $\mathbb{A}^\times$, based on the Godement-Jacquet theory for the standard $L$-functions $L(s,π)$, and provided interesting applications. In this paper, in addition to the further development of the local theory, we found two global applications. First, we find a Poisson summation formula proof of the Voronoi summation formula for $\mathrm{GL}_n$ over a number field, which was first proved by A. Ichino and N. Templier. Then we introduce the notion of the Godement-Jacquet kernels $H_{π,s}$ and their dual kernels $K_{π,s}$ for any irreducible cuspidal automorphic representation $π$ of $\mathrm{GL}_n(\mathbb{A})$ and show that $H_{π,s}$ and $K_{π,1-s}$ are related by the nonlinear $π_\infty$-Fourier transform if and only if $s\in\mathbb{C}$ is a zero of $L_f(s,π_f)=0$, the finite part of the standard automorphic $L$-function $L(s,π)$, which are the $(\mathrm{GL}_n,π)$-versions of a Clozel's Theorem, where the Tate kernel with $n=1$ and $π$ the trivial character are considered.

math.NT

Arithmetic Branching Law and generic $L$-packets

Let $G$ be a classical group defined over a local field $F$ of characteristic zero. For any irreducible admissible representation $π$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean, we extend the study of spectral decomposition of local descents in [JZ18] for special orthogonal groups over non-archimedean local fields to more general classical groups over any local field $F$. In particular, if $π$ has a generic local $L$-parameter, we introduce the spectral first occurrence index $\mathfrak{f}_{\mathfrak{s}}(π)$ and the arithmetic first occurrence index $\mathfrak{f}_{\mathfrak{a}}(π)$ of $π$ and prove in Theorem 1.4 that $\mathfrak{f}_{\mathfrak{s}}(π) = \mathfrak{f}_{\mathfrak{a}}(π)$. Based on the theory of consecutive descents of enhanced $L$-parameters developed in [JLZ22], we are able to show in Theorem 1.5 that the first descent spectrum consists of all discrete series representations, which determines explicitly the branching decomposition problem by means of the relevant arithmetic data and extends the main result ([JZ18, Theorem 1.7]) to the great generality.

math.RT

The Uniqueness of the Ginzburg-Rallis Model: the Non-Archimedean Case

We prove the uniqueness of the Ginzburg-Rallis models over $p$-adic local fields of characteristic zero, which completes the local uniqueness problem for the Ginzburg-Rallis models starting from the work of C.-F. Nien in \cite{MR2709083} that proves the non-split case, and the work of D. Jiang, B. Sun and C. Zhu in \cite{MR2763736} that proves the general case over Archimedean local fields. Our proof extends the strategy of \cite{MR2763736} to the $p$-adic case with the help of the refined structure of the wavefront sets of $\mathfrak {z}$-finite distributions as developed by A. Aizenbud, D. Gourevitch and E. Sayag in \cite{MR3406530}.

math.RT

Certain Fourier Operators on $\mathrm{GL}_1$ and Local Langlands Gamma functions

For a split reductive group $G$ over a number field $k$, let $ρ$ be an $n$-dimensional complex representation of its complex dual group $G^\vee(\mathbb{C})$. For any irreducible cuspidal automorphic representation $σ$ of $G(\mathbb{A})$, where $\mathbb{A}$ is the ring of adeles of $k$, in \cite{JL21}, the authors introduce the $(σ,ρ)$-Schwartz space $\mathcal{S}_{σ,ρ}(\mathbb{A}^\times)$ and $(σ,ρ)$-Fourier operator $\mathcal{F}_{σ,ρ}$, and study the $(σ,ρ,ψ)$-Poisson summation formula on $\mathrm{GL}_1$, under the assumption that the local Langlands functoriality holds for the pair $(G,ρ)$ at all local places of $k$, where $ψ$ is a non-trivial additive character of $k\backslash\mathbb{A}$. Such general formulae on $\mathrm{GL}_1$, as a vast generalization of the classical Poisson summation formula, are expected to be responsible for the Langlands conjecture (\cite{L70}) on global functional equation for the automorphic $L$-functions $L(s,σ,ρ)$. In order to understand such Poisson summation formulae, we continue with \cite{JL21} and develop a further local theory related to the $(σ,ρ)$-Schwartz space $\mathcal{S}_{σ,ρ}(\mathbb{A}^\times)$ and $(σ,ρ)$-Fourier operator $\mathcal{F}_{σ,ρ}$. More precisely, over any local field $k_ν$ of $k$, we define distribution kernel functions $k_{σ_ν,ρ,ψ_ν}(x)$ on $\mathrm{GL}_1$ that represent the $(σ_ν,ρ)$-Fourier operators $\mathcal{F}_{σ_ν,ρ,ψ_ν}$ as convolution integral operators, i.e. generalized Hankel transforms, and the local Langlands $γ$-functions $γ(s,σ_ν,ρ,ψ_ν)$ as Mellin transform of the kernel function. As consequence, we show that any local Langlands $γ$-functions are the gamma functions in the sense of Gelfand, Graev, and Piatetski-Shapiro in \cite{GGPS}.

math.RT

On Wave Front Sets of Global Arthur Packets of Classical Groups: Upper Bound

We prove a conjecture of the first-named author ([J14]) on the upper bound Fourier coefficients of automorphic forms in Arthur packets of all classical groups over any number field. This conjecture generalizes the global version of the local tempered $L$-packet conjecture of F. Shahidi ([Sh90] and [Sh10]).

math.NT

Certain Fourier Operators and their Associated Poisson Summation Formulae on $\mathrm{GL}_1$

In this paper, we explore a possibility to utilize harmonic analysis on $\GL_1$ to understand Langlands automorphic $L$-functions in general, as a vast generalization of the pioneering work of J. Tate. For a split reductive group $G$ over a number field $k$, let $G^\vee(\BC)$ be its complex dual group and $ρ$ be an $n$-dimensional complex representation of $G^\vee(\BC)$. For any irreducible cuspidal automorphic representation $\sig$ of $G(\BA)$, where $\BA$ is the ring of adeles of $k$, we introduce the space $\CS_{\sig,ρ}(\BA^\times)$ of $(\sig,ρ)$-Schwartz functions on $\BA^\times$ and $(\sig,ρ)$-Fourier operator $\CF_{\sig,ρ,ψ}$ that takes $\CS_{\sig,ρ}(\BA^\times)$ to $\CS_{\wt{\sig},ρ}(\BA^\times)$, where $\wt{\sig}$ is the contragredient of $\sig$. By assuming the local Langlands functoriality for the pair $(G,ρ)$, we show that the $(\sig,ρ)$-theta functions \[ Θ_{\sig,ρ}(x,ϕ):=\sum_{\alp\in k^\times}ϕ(\alp x) \] converges absolutely for all $ϕ\in\CS_{\sig,ρ}(\BA^\times)$, and state conjectures on $(σ,ρ)$-Poisson summation formula on $\GL_1$. Then we prove conjectures when $G=\GL_n$ and $ρ$ is the standard representation of $\GL_n(\BC)$ . The proof uses substantially the local theory of Godement-Jacquet for the standard $L$-functions of $\GL_n$ and the Poisson summation formula for the classical Fourier transform on affine spaces. As an application, we provide a spectral interpretation of the critical zeros of the standard $L$-functions $L(s,π\timesχ)$ for any irreducible cuspidal automorphic representation $π$ of $\GL_n(\BA)$ and idele class character $χ$ of $k$, which is a reformulation in the adelic framework of the work of A. Connes and is an extension from the Hecke $L$-functions $L(s,χ)$ to the automorphic $L$-functions $L(s,π\timesχ)$.

math.RT

Harmonic Analysis and Gamma Functions on Symplectic Groups

Over a $p$-adic local field $F$ of characteristic zero, we develop a new type of harmonic analysis on an extended symplectic group $G={\mathbb G}_m\times{\mathrm Sp}_{2n}$. It is associated to the Langlands $γ$-functions attached to any irreducible admissible representations $χ\otimesπ$ of $G(F)$ and the standard representation $ρ$ of the dual group $G^\vee({\mathbb C})$, and confirms a series of the conjectures in the local theory of the Braverman-Kazhdan proposal for the case under consideration. Meanwhile, we develop a new type of harmonic analysis on ${\rm GL}_1(F)$, which is associated to a $γ$-function $β_ψ(χ_s)$ (a product of $n+1$ certain abelian $γ$-functions). Our work on ${\rm GL}_1(F)$ plays an indispensable role in the development of our work on $G(F)$. These two types of harmonic analyses both specialize to the well-known local theory developed in Tate's thesis when $n=0$. The approach is to use the compactification of ${\rm Sp}_{2n}$ in the Grassmannian variety of ${\rm Sp}_{4n}$, with which we are able to utilize the well developed local theory of Piatetski-Shapiro and Rallis and many other works) on the doubling local zeta integrals for the standard $L$-functions of ${\rm Sp}_{2n}$. The method can be viewed as an extension of the work of Godement-Jacquet for the standard $L$-function of ${\rm GL}_n$ and is expected to work for all classical groups. We will consider the archimedean local theory and the global theory in our future work.

math.NT

Arthur Parameters and Cuspidal Automorphic Modules of Classical Groups

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks: How to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well-expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.

math.NT

Archimedean Non-vanishing, Cohomological Test Vectors, and Standard $L$-functions of $\mathrm{GL}_{2n}$: Real Case

The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of uniform cohomological test vectors. Problem (1) is also called the non-vanishing hypothesis at infinity, which was proved by Binyong Sun, by establishing the existence of certain cohomological test vectors. In this paper, we explicitly construct an archimedean local integral that produces a new type of a twisted linear functional $Λ_{s,χ}$, which, when evaluated with our explicitly constructed cohomological vector, is equal to the local twisted standard $L$-function $L(s,π\otimesχ)$ as a meromorphic function of $s\in \mathbb{C}$. With the relations between linear models and Shalika models, we establish (1) with an explicitly constructed cohomological vector, and hence recovers a non-vanishing result of Binyong Sun via a completely different method. Our main result indicates a complete solution to (2), which will be presented in a paper of Dihua Jiang, Binyong Sun and Fangyang Tian with full details and with applications to the global period relations for the twisted standard $L$-functions at critical places.

math.RT