[论文解读] Ring structures for holomorphic discrete series and Rankin-Cohen brackets

Gerrit van Dijk, Michael Pevzner|ArXiv.org|Dec 5, 2005

Advanced Algebra and Geometry参考文献 22被引用 17

一句话总结

本文通过将 Rankin-Cohen 符号与张量积分解中的互变算子联系起来，首次在 Cayley 类型的因果对称空间的全纯离散系列表示上建立了新的环结构。它表明广义 Rankin-Cohen 符号自然地源于由再生核和 Clebsch-Gordan 系数导出的 $G$-等变映射，通过协变量化和表示论将经典的 $SL(2,\mathbb{R})$ 情况推广至高秩情形。

ABSTRACT

In the present note we discuss two different ring structures on the set of holomorphic discrete series of a causal symmetric space of Cayley type $G/H$ and we suggest a new interpretation of Rankin-Cohen brackets in terms of intertwining operators arising in the decomposition of tensor products of holomorphic discrete series representations.

研究动机与目标

• 通过全息离散系列表示统一 Rankin-Cohen 符号的表示论与分析方法。
• 将经典的 Rankin-Cohen 符号构造从 $SL(2,\mathbb{R})$ 推广至 Cayley 类型的 para-Hermitian 对称空间。
• 通过符号的 $\sharp_s$ 乘积在全息离散系列上建立非交换环结构。
• 阐明互变算子在全息离散系列表示张量积分解中的作用。

提出的方法

• 利用对称空间 $G/H = SL(2,\mathbb{R})/SO(1,1)$ 上的协变符号演算，定义符号的 $\sharp_s$ 乘积。
• 通过再生核和微分形式 $\omega(z;w_1,w_2)$ 构造 $G$-等变映射 $I_{\underline{\bf m}}$，以关联双微分算子。
• 应用在管型 Hermitian 对称空间上全息离散系列的理论，谱参数满足 $\nu > 1 + d(r-1)$。
• 通过 Clebsch-Gordan 系数和 Pochhammer 符号，推导出 $\pi_{\nu_1} \otimes \pi_{\nu_2}$ 分解中的广义 Rankin-Cohen 符号的显式公式。
• 利用再生核的 $\#_s$ 乘积在 $L^2(G/H)_{\rm hol}$ 上定义环结构。
• 通过在对称空间复化中的解析延拓，建立紧致与非紧致实现之间的同构。

实验结果

研究问题

• RQ1 Rankin-Cohen 符号如何被解释为全息离散系列表示张量积分解中的互变算子？
• RQ2 在 $SL(2,\mathbb{R})$ 上的经典 Rankin-Cohen 符号构造能否推广至更高秩的 Cayley 类型 para-Hermitian 对称空间？
• RQ3 $\sharp_s$ 乘积在赋予全息离散系列空间非交换环结构中起什么作用？
• RQ4 全息离散系列上的环结构是否通过 Tannaka-Krein 对偶性与 Hopf 代数相关联？
• RQ5 该环结构能否被解释为旗流形上闭 $H$-轨道相关层的上积？

主要发现

• 在 $L^2(G/H)_{\rm hol}$ 上的 $\sharp_s$ 乘积通过再生核的 $\#_s$ 乘积在全息离散系列表示上诱导出非交换环结构。
• 广义 Rankin-Cohen 符号作为 $G$-等变映射 $I_{\underline{\bf m}}$ 的分量出现，显式表达为对 $f$ 和 $g$ 的加权导数之和。
• 双微分算子 $B_{\underline{\bf m},\nu_1,\nu_2}(f,g)$ 通过 Pochhammer 符号和对称多项式 $P_{\underline{\bf m}}$ 表达，其系数包含 $c_{\underline{\bf m},s}$。
• 当 $G = SU(1,1)$ 时，该公式退化为经典 Rankin-Cohen 符号，确认与 $SL(2,\mathbb{R})$ 情况的一致性。
• 由于协变微分算子的同构，该构造在对称空间的紧致与非紧致实现之间保持解析延拓不变性。
• 该环结构与 $\pi_{\nu_1} \otimes \pi_{\nu_2}$ 的表示论分解为不可约分量 $\pi_{\nu_1+\nu_2,\underline{\bf m}}$ 相容。