SearcharxivSearch

arXiv · 2406.01905

Computation of weighted Bergman inner products on bounded symmetric domains and restriction to subgroups II

Abstract

Let $(G,G_1)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1\subset\mathfrak{p}^+$ respectively. Then the universal covering group $\widetilde{G}$ of $G$ acts unitarily on the weighted Bergman space $\mathcal{H}_\lambda(D)\subset\mathcal{O}(D)$ on $D$. Its restriction to the subgroup $\widetilde{G}_1$ decomposes discretely and multiplicity-freely, and its branching law is given explicitly by Hua--Kostant--Schmid--Kobayashi's formula in terms of the $K_1$-decomposition of the space $\mathcal{P}(\mathfrak{p}^+_2)$ of polynomials on the orthogonal complement $\mathfrak{p}^+_2$ of $\mathfrak{p}^+_1$ in $\mathfrak{p}^+$. The object of this article is to construct explicitly $\widetilde{G}_1$-intertwining operators (symmetry breaking operators) $\mathcal{H}_\lambda(D)|_{\widetilde{G}_1}\to\mathcal{H}_{\varepsilon_1\lambda}(D_1,\mathcal{P}_{\mathbf{k}}(\mathfrak{p}^+_2))$ from holomorphic discrete series representations of $\widetilde{G}$ to those of $\widetilde{G}_1$, which are unique up to constant multiple for sufficiently large $\lambda$. These operators are given by differential operators whose symbols are computed as the inner products of polynomials on $\mathfrak{p}^+_2$. In this article, we treat the case $\mathfrak{p}^+,\mathfrak{p}^+_2$ are both simple of tube type and $\operatorname{rank}\mathfrak{p}^+=\operatorname{rank}\mathfrak{p}^+_2$. When $\operatorname{rank}\mathfrak{p}^+=3$, we treat all partitions $\mathbf{k}$, and when $\operatorname{rank}\mathfrak{p}^+$ is general, we treat partitions of the form $\mathbf{k}=(k,\ldots,k,k-l)$.

Explore related subjects

Keep this discovery

BibTeXRIS

Ryosuke Nakahama. 2024-06-04. Computation of weighted Bergman inner products on bounded symmetric domains and restriction to subgroups II. https://doi.org/10.1016/j.jfa.2025.111131

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT