arXiv Science⌕ Search

arXiv subjects

Binyong Sun

Publications and source records attributed to Binyong Sun.

At least 19 recordsLinked to original sources
arXiv2026

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↗
arXiv2026

Lie pairs and formal Lie groups

In a previous paper, we introduce and study formal manifolds, which generalize smooth manifolds. In this paper, we establish the basic theory of formal Lie groups, which are group objects in the category of formal manifolds. In particular, extending the classical formal Lie theory theorem, we prove that the category of formal Lie groups is equivalent to the category of Lie pairs.

math.RT↗
arXiv2026

Vector-valued Gelfand-Kazhdan criterion

The Gelfand-Kazhdan criterion is a fundamental tool for studying multiplicity-one properties of local periods of representations. However, it does not apply to many cases arising in the relative Langlands program. Generalizing the usual Gelfand-Kazhdan criterion, we formulate and prove a vector-valued Gelfand-Kazhdan criterion that fits into the general framework of the relative Langlands program. As an illustration of its effectiveness, we establish the multiplicity-one property for the local Asai Rankin-Selberg periods.

math.RT↗
arXiv2025

Hausdorffness of certain nilpotent cohomology spaces

Let $(π,V)$ be a smooth representation of a compact Lie group $G$ on a quasi-complete locally convex complex topological vector space. We show that the Lie algebra cohomology space $\mathrm{H} ^\bullet(\mathfrak{u}, V)$ and the Lie algebra homology space $\mathrm{H}_\bullet(\mathfrak{u}, V)$ are both Hausdorff, where $\mathfrak{u}$ is the nilpotent radical of a parabolic subalgebra of the complexified Lie algebra $\mathfrak{g}$ of $G$.

math.RT↗
arXiv2025

Relative completed cohomologies and modular symbols

Generalizing Emerton's completed cohomologies, we define relative completed cohomologies of arithmetic manifolds. We also define modular symbols for them, and show that the relative completed cohomology spaces interpolate the ``nearly ordinary part" of the classical automorphic cohomologies, and the modular symbols defined for them interpolate the classical modular symbols. As applications, we use these modular symbols to construct three families of nearly ordinary $p$-adic L-functions: (i) Rankin-Selberg $p$-adic L-functions for $\mathrm{GL}_n\times \mathrm{GL}_{n-1}$, (ii) Rankin-Selberg $p$-adic L-functions for $\mathrm{U}_n\times \mathrm{U}_{n-1}$, and (iii) Standard $p$-adic L-functions of symplectic type for $\mathrm{GL}_{2n}$. We define and calculate explicitly the modifying factors at $\infty$ and at $p$, and determine the exceptional zeros of the $p$-adic L-functions for these examples. The modifying factors at $\infty$ are consistent with the conjectures given by Deligne and Blasius, and the modifying factors at $p$ are consistent with the conjecture given by Coates and Perrin-Riou.

math.NT↗
arXiv2025

Special unipotent representations of real classical groups: construction and unitarity

Let $G$ be a real classical group (including the real metaplectic group). We consider a nilpotent adjoint orbit $\check{\mathcal O}$ of $\check G$, the Langlands dual of $G$ (or the metaplectic dual of $G$ when $G$ is a real metaplectic group). We classify all special unipotent representations of $G$ attached to $\check{\mathcal O}$, in the sense of Arthur and Barbasch-Vogan. When $\check{\mathcal O}$ has good parity in the sense of Moeglin, we construct all such representations of $G$ via the method of theta lifting. As a consequence of the construction and the classification, we conclude that all special unipotent representations of $G$ are unitarizable, as predicted by the Arthur-Barbasch-Vogan conjecture. We also determine precise structure of the associated cycles of special unipotent representations of $G$. The paper is the second in a series of two papers on the classification of special unipotent representations of real classical groups.

math.RT↗
arXiv2025

Formal manifolds: local structure of morphisms, and formal submanifolds

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In three previous papers, we introduce the notion of formal manifolds and study their basic theory, focusing on function spaces and Poincare's lemma. In this paper, we further explore the foundational framework of formal manifolds, including the local structure of constant rank morphisms (such as inverse function theorem and constant rank theorems) as well as the theory of formal submanifolds.

math.DG↗
arXiv2025

Special unipotent representations of real classical groups: counting and reduction

Let $G$ be a real reductive group in Harish-Chandra's class. We derive some consequences of theory of coherent continuation representations to the counting of irreducible representations of $G$ with a given infinitesimal character and a given bound of the complex associated variety. When $G$ is a real classical group (including the real metaplectic group), we investigate the set of special unipotent representations of $G$ attached to $\check{\mathcal O}$, in the sense of Arthur and Barbasch-Vogan. Here $\check{\mathcal O}$ is a nilpotent adjoint orbit in the Langlands dual of $G$ (or the metaplectic dual of $G$ when $G$ is a real metaplectic group). We give a precise count for the number of special unipotent representations of $G$ attached to $\check{ \mathcal O}$. We also reduce the problem of constructing special unipotent representations attached to $\check{\mathcal O}$ to the case when $\check{\mathcal O}$ is analytically even (equivalently for a real classical group, has good parity in the sense of Mœglin). The paper is the first in a series of two papers on the classification of special unipotent representations of real classical groups.

math.RT↗
arXiv2024

Archimedean period relations for Rankin-Selberg convolutions

We formulate and prove the archimedean period relations for Rankin-Selberg convolutions of $\text{GL}(n)\times \text{GL}(n)$ and $\text{GL}(n)\times \text{GL}(n-1)$, for all generic cohomological representations. As a consequence, we prove the non-vanishing of the archimedean modular symbols. This extends the earlier results in [LLS24] for essentially tempered representations of $\text{GL}(n)\times\text{GL}(n-1)$.

math.RT↗
arXiv2024

Poincaré's lemma for formal manifolds

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In two previous papers, we develop the basic theory of formal manifolds, including generalizations of vector-valued distributions and generalized functions on smooth manifolds to the setting of formal manifolds. In this paper, we establish Poincaré's lemma for de Rham complexes with coefficients in formal functions, formal generalized functions, compactly supported formal densities, or compactly supported formal distributions.

math.FA↗
arXiv2024

Formal manifolds: foundations

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the notion of formal manifolds in the context of differential geometry, inspired by the notion of formal schemes in algebraic geometry. We develop the basic theory for formal manifolds, and establish a fully faithful contravariant functor from the category of formal manifolds to the category of topological $\mathbb{C}$-algebras. We also prove the existence of finite products in the category of formal manifolds by studying vector-valued formal functions.

math.DG↗
arXiv2024

Function spaces on formal manifolds

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In a previous paper, we introduce the notion of formal manifolds and develop the foundational framework of formal manifolds. In this paper, we study various function spaces on formal manifolds, including generalizations of vector-valued generalized functions and vector-valued distributions on smooth manifolds to the setting of formal manifolds.

math.FA↗
arXiv2024

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↗