Search arXivSearch

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}_λ(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}_λ(D)|_{\widetilde{G}_1}\to\mathcal{H}_{\varepsilon_1λ}(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 $λ$. 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

Explore connections, maps & timelines

BibTeXRIS

Ryosuke Nakahama. 2025-09-05. 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

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT