|
SIGMA 19 (2023), 049, 74 pages arXiv:2207.11663
https://doi.org/10.3842/SIGMA.2023.049
Computation of Weighted Bergman Inner Products on Bounded Symmetric Domains and Parseval-Plancherel-Type Formulas under Subgroups
Ryosuke Nakahama ab
a) Institute of Mathematics for Industry, Kyushu University, 744 Motooka, Nishi-ku Fukuoka 819-0395, Japan
b) NTT Institute for Fundamental Mathematics, NTT Communication Science Laboratories, Nippon Telegraph and Telephone Corporation, 3-9-11 Midori-cho, Musashino-shi, Tokyo 180-8585, Japan
Received September 21, 2022, in final form June 26, 2023; Published online July 21, 2023
Abstract
Let $(G,G_1)=(G,(G^\sigma)_0)$ 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:=({\mathfrak p}^+)^\sigma\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)={\mathcal O}_\lambda(D)$ on $D$ for sufficiently large $\lambda$.
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 $\widetilde{K}_1$-decomposition of the space ${\mathcal P}\bigl({\mathfrak p}^+_2\bigr)$ of polynomials on ${\mathfrak p}^+_2:=({\mathfrak p}^+)^{-\sigma}\subset{\mathfrak p}^+$. The object of this article is to understand the decomposition of the restriction ${\mathcal H}_\lambda(D)|_{\widetilde{G}_1}$ by studying the weighted Bergman inner product on each $\widetilde{K}_1$-type in ${\mathcal P}\bigl({\mathfrak p}^+_2\bigr)\subset{\mathcal H}_\lambda(D)$. For example, by computing explicitly the norm $\Vert f\Vert_\lambda$ for $f=f(x_2)\in{\mathcal P}\bigl({\mathfrak p}^+_2\bigr)$, we can determine the Parseval-Plancherel-type formula for the decomposition of ${\mathcal H}_\lambda(D)|_{\widetilde{G}_1}$. Also, by computing the poles of $\bigl\langle f(x_2),{\rm e}^{(x|\overline{z})_{{\mathfrak p}^+}}\bigr\rangle_{\lambda,x}$ for
$f(x_2)\in{\mathcal P}\bigl({\mathfrak p}^+_2\bigr)$, $x=(x_1,x_2)$, $z\in{\mathfrak p}^+={\mathfrak p}^+_1\oplus{\mathfrak p}^+_2$, we can get some information on branching of
${\mathcal O}_\lambda(D)|_{\widetilde{G}_1}$ also for $\lambda$ in non-unitary range. In this article we consider these problems for all $\widetilde{K}_1$-types
in ${\mathcal P}\bigl({\mathfrak p}^+_2\bigr)$.
Key words: weighted Bergman spaces; holomorphic discrete series representations; branching laws; Parseval-Plancherel-type formulas; highest weight modules.
pdf (995 kb)
tex (70 kb)
References
- Adams J., The theta correspondence over $\mathbb{R}$, in Harmonic Analysis, Group Representations, Automorphic Forms and Invariant Theory, Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., Vol. 12, World Sci. Publ., Hackensack, NJ, 2007, 1-39.
- Arazy J., A survey of invariant Hilbert spaces of analytic functions on bounded symmetric domains, in Multivariable Operator Theory (Seattle, WA, 1993), Contemp. Math., Vol. 185, Amer. Math. Soc., Providence, RI, 1995, 7-65.
- Ben Saïd S., Espaces de Bergman pondérés et série discrète holomorphe de $\widetilde{{\rm U}(p,q)}$, J. Funct. Anal. 173 (2000), 154-181.
- Ben Saïd S., Connection between the Plancherel formula and the Howe dual pair $({\rm Sp}(2n,\mathbb R),{\rm O}(k))$, Math. Z. 241 (2002), 743-760.
- Ben Saïd S., Weighted Bergman spaces on bounded symmetric domains, Pacific J. Math. 206 (2002), 39-68.
- Ben Saïd S., Clerc J.-L., Koufany K., Conformally covariant bi-differential operators on a simple real Jordan algebra, Int. Math. Res. Not. 2020 (2020), 2287-2351, arXiv:1809.06290.
- Clerc J.-L., Symmetry breaking differential operators, the source operator and Rodrigues formulae, Pacific J. Math. 307 (2020), 79-107, arXiv:1902.06073.
- Cohen H., Sums involving the values at negative integers of $L$-functions of quadratic characters, Math. Ann. 217 (1975), 271-285.
- Dib H., Fonctions de Bessel sur une algèbre de Jordan, J. Math. Pures Appl. 69 (1990), 403-448.
- Enright T., Howe R., Wallach N., A classification of unitary highest weight modules, in Representation Theory of Reductive Groups (Park City, Utah, 1982), Progr. Math., Vol. 40, Birkhäuser, Boston, MA, 1983, 97-143.
- Faraut J., Kaneyuki S., Korányi A., Lu Q.-K., Roos G., Analysis and geometry on complex homogeneous domains, Progr. Math., Vol. 185, Birkhäuser, Boston, MA, 2000.
- Faraut J., Korányi A., Function spaces and reproducing kernels on bounded symmetric domains, J. Funct. Anal. 88 (1990), 64-89.
- Faraut J., Korányi A., Analysis on symmetric cones, Oxford Math. Monogr., The Clarendon Press, Oxford University Press, New York, 1994.
- Frajria P.M., Derived functors of unitary highest weight modules at reduction points, Trans. Amer. Math. Soc. 327 (1991), 703-738.
- Goodman R., Wallach N.R., Symmetry, representations, and invariants, Grad. Texts in Math., Vol. 255, Springer, Dordrecht, 2009.
- Hilgert J., Krötz B., Weighted Bergman spaces associated with causal symmetric spaces, Manuscripta Math. 99 (1999), 151-180.
- Hilgert J., Krötz B., The Plancherel theorem for invariant Hilbert spaces, Math. Z. 237 (2001), 61-83.
- Howe R., Tan E.-C., Willenbring J.F., Stable branching rules for classical symmetric pairs, Trans. Amer. Math. Soc. 357 (2005), 1601-1626, arXiv:math.RT/0311159.
- Ibukiyama T., Kuzumaki T., Ochiai H., Holonomic systems of Gegenbauer type polynomials of matrix arguments related with Siegel modular forms, J. Math. Soc. Japan 64 (2012), 273-316.
- Jakobsen H.P., Intertwining differential operators for ${\rm Mp}(n,{\bf R})$ and ${\rm SU}(n,n)$, Trans. Amer. Math. Soc. 246 (1978), 311-337.
- Jakobsen H.P., Hermitian symmetric spaces and their unitary highest weight modules, J. Funct. Anal. 52 (1983), 385-412.
- Jakobsen H.P., Vergne M., Restrictions and expansions of holomorphic representations, J. Funct. Anal. 34 (1979), 29-53.
- Juhl A., Families of conformally covariant differential operators, $Q$-curvature and holography, Progr. Math., Vol. 275, Birkhäuser, Basel, 2009.
- Kashiwara M., Vergne M., On the Segal-Shale-Weil representations and harmonic polynomials, Invent. Math. 44 (1978), 1-47.
- Kobayashi T., Multiplicity-free representations and visible actions on complex manifolds, Publ. Res. Inst. Math. Sci. 41 (2005), 497-549.
- Kobayashi T., Multiplicity-free theorems of the restrictions of unitary highest weight modules with respect to reductive symmetric pairs, in Representation Theory and Automorphic Forms, Progr. Math., Vol. 255, Birkhäuser, Boston, MA, 2008, 45-109, arXiv:math.RT/0607002.
- Kobayashi T., $F$-method for constructing equivariant differential operators, in Geometric Analysis and Integral Geometry, Contemp. Math., Vol. 598, Amer. Math. Soc., Providence, RI, 2013, 139-146, arXiv:1212.6862.
- Kobayashi T., A program for branching problems in the representation theory of real reductive groups, in Representations of Reductive Groups, Progr. Math., Vol. 312, Birkhäuser, Cham, 2015, 277-322, arXiv:1509.08861.
- Kobayashi T., Kubo T., Pevzner M., Conformal symmetry breaking operators for differential forms on spheres, Lecture Notes in Math., Vol. 2170, Springer, Singapore, 2016.
- Kobayashi T., Ørsted B., Analysis on the minimal representation of ${\rm O}(p,q)$. II. Branching laws, Adv. Math. 180 (2003), 513-550, arXiv:math.RT/0111085.
- Kobayashi T., Ørsted B., Somberg P., Souček V., Branching laws for Verma modules and applications in parabolic geometry. I, Adv. Math. 285 (2015), 1796-1852, arXiv:1305.6040.
- Kobayashi T., Pevzner M., Differential symmetry breaking operators: I. General theory and F-method, Selecta Math. (N.S.) 22 (2016), 801-845, arXiv:1301.2111.
- Kobayashi T., Pevzner M., Differential symmetry breaking operators: II. Rankin-Cohen operators for symmetric pairs, Selecta Math. (N.S.) 22 (2016), 847-911, arXiv:1301.2111.
- Kobayashi T., Pevzner M., Inversion of Rankin-Cohen operators via holographic transform, Ann. Inst. Fourier (Grenoble) 70 (2020), 2131-2190, arXiv:1812.09733.
- Kobayashi T., Speh B., Symmetry breaking for representations of rank one orthogonal groups, Mem. Amer. Math. Soc. 238 (2015), v+110 pages, arXiv:1310.3213.
- Kobayashi T., Speh B., Symmetry breaking for representations of rank one orthogonal groups II, Lecture Notes in Math., Vol. 2234, Springer, Singapore, 2018, arXiv:1801.00158.
- Kudla S.S., Seesaw dual reductive pairs, in Automorphic Forms of Several Variables (Katata, 1983), Progr. Math., Vol. 46, Birkhäuser, Boston, MA, 1984, 244-268.
- Loos O., Bounded symmetric domains and Jordan pairs, Math. Lectures, Department of Mathematics, University of California, Irvine, 1977.
- Martens S., The characters of the holomorphic discrete series, Proc. Nat. Acad. Sci. USA 72 (1975), 3275-3276.
- Merigon S., Seppänen H., Branching laws for discrete Wallach points, J. Funct. Anal. 258 (2010), 3241-3265, arXiv:0906.5580.
- Möllers J., Oshima Y., Discrete branching laws for minimal holomorphic representations, J. Lie Theory 25 (2015), 949-983, arXiv:1402.3351.
- Möllers J., Oshima Y., Restriction of most degenerate representations of $O(1,N)$ with respect to symmetric pairs, J. Math. Sci. Univ. Tokyo 22 (2015), 279-338.
- Nakahama R., Construction of intertwining operators between holomorphic discrete series representations, SIGMA 15 (2019), 036, 101 pages, arXiv:1804.07100.
- Nakahama R., Computation of weighted Bergman inner products on bounded symmetric domains and restriction to subgroups, SIGMA 18 (2022), 033, 105 pages, arXiv:2105.13976.
- Neretin Yu.A., Matrix analogues of the $B$-function, and the Plancherel formula for Berezin kernel representations, Sb. Math. 191 (2000), 67-100.
- Neretin Yu.A., On the separation of spectra in the analysis of Berezin kernels, Funct. Anal. Appl. 34 (2000), 197-207, arXiv:math.RT/9906075.
- Neretin Yu.A., Plancherel formula for Berezin deformation of $L^2$ on Riemannian symmetric space, J. Funct. Anal. 189 (2002), 336-408, arXiv:math.RT/9911020.
- Ørsted B., Zhang G., Tensor products of analytic continuations of holomorphic discrete series, Canad. J. Math. 49 (1997), 1224-1241.
- Ovsienko V., Redou P., Generalized transvectants-Rankin-Cohen brackets, Lett. Math. Phys. 63 (2003), 19-28.
- Peetre J., Hankel forms of arbitrary weight over a symmetric domain via the transvectant, Rocky Mountain J. Math. 24 (1994), 1065-1085.
- Peng L., Zhang G., Tensor products of holomorphic representations and bilinear differential operators, J. Funct. Anal. 210 (2004), 171-192.
- Przebinda T., The duality correspondence of infinitesimal characters, Colloq. Math. 70 (1996), 93-102.
- Rankin R.A., The construction of automorphic forms from the derivatives of a given form, J. Indian Math. Soc. (N.S.) 20 (1956), 103-116.
- Satake I., Algebraic structures of symmetric domains, Princet. Leg. Libr., Princeton University Press, 1981.
- Sekiguchi H., Branching rules of singular unitary representations with respect to symmetric pairs $(A_{2n-1},D_n)$, Internat. J. Math. 24 (2013), 1350011, 25 pages.
- Seppänen H., Branching laws for minimal holomorphic representations, J. Funct. Anal. 251 (2007), 174-209, arXiv:math.RT/0703795.
- Seppänen H., Branching of some holomorphic representations of ${\rm SO}(2,n)$, J. Lie Theory 17 (2007), 191-227, arXiv:0907.0128.
- Seppänen H., Tube domains and restrictions of minimal representations, Internat. J. Math. 19 (2008), 1247-1268, arXiv:math.RT/0703796.
- Shimura G., Arithmetic of differential operators on symmetric domains, Duke Math. J. 48 (1981), 813-843.
- van Dijk G., Pevzner M., Berezin kernels of tube domains, J. Funct. Anal. 181 (2001), 189-208.
- van Dijk G., Pevzner M., Matrix-valued Berezin kernels, in Geometry and Analysis on Finite- and Infinite-dimensional Lie groups (Będlewo, 2000), Banach Center Publ., Vol. 55, Polish Acad. Sci. Inst. Math., Warsaw, 2002, 269-288.
- Zhang G., Berezin transform on line bundles over bounded symmetric domains, J. Lie Theory 10 (2000), 111-126.
- Zhang G., Berezin transform on real bounded symmetric domains, Trans. Amer. Math. Soc. 353 (2001), 3769-3787.
|
|