[论文解读] Differential symmetry breaking operators. I-Genreal theory and F-method. II-Rankin-Cohen Operators for Symmetric Pairs

Toshiyuki Kobayashi, Michael Pevzner|arXiv (Cornell University)|Jan 10, 2013

Advanced Algebra and Geometry参考文献 30被引用 12

一句话总结

本文提出F方法，一种新颖的代数方法，通过在广义Verma模上使用傅里叶变换，表征微分对称性破缺算子——即在齐性空间上的等变向量丛之间 intertwining 的微分算子。该文证明，在Hermitian对称空间中，连续对称性破缺算子必为全纯微分算子，并建立了此类算子与李代数表示同态之间的一一对应关系，其应用涵盖分支律与Rankin-Cohen算子。

ABSTRACT

Part I. We prove a one-to-one correspondence between differential symmetry breaking operators for equivariant vector bundles over two homogeneous spaces and certain homomorphisms for representations of two Lie algebras, in connection with branching problems of the restriction of representations. We develop a new method (F-method) based on the algebraic Fourier transform for generalized Verma modules, which characterizes differential symmetry breaking operators by means of certain systems of partial differential equations. In contrast to the setting of real flag varieties, continuous symmetry breaking operators of Hermitian symmetric spaces are proved to be differential operators in the holomorphic setting. In this case symmetry breaking operators are characterized by differential equations of second order via the F-method. Part II. Rankin--Cohen brackets are symmetry breaking operators for the tensor product of two holomorphic discrete series representations of SL(2,R). We address a general problem to find explicit formulae for such intertwining operatorsin the setting of multiplicity-free branching laws for reductive symmetric pairs. We discover explicit formulae of new differential symmetry breaking operators for all the six different complex geometries arising from semisimple symmetric pairs of split rank one, and reveal an intrinsic reason why the coefficients of orthogonal polynomials appear in these operators (Rankin--Cohen type) in the three geometries and why normal derivatives are symmetry breaking operators in the other three cases. Further, we analyze a new phenomenon that the multiplicities in the branching laws of Verma modules may jump up at singular parameters.

研究动机与目标

• 建立一个研究齐性空间上等变向量丛之间微分对称性破缺算子的一般框架。
• 解决在表示论分支问题背景下表征$G'$-intertwining微分算子的问题。
• 开发一种新方法——称为F方法——基于代数傅里叶变换，系统地构造并分类此类算子。
• 证明在Hermitian对称空间的全纯设定中，连续对称性破缺算子必为全纯微分算子。
• 通过二阶偏微分方程组显式构造并表征算子，尤其针对对称对与Rankin-Cohen型算子。

提出的方法

• F方法利用广义Verma模上的代数傅里叶变换，将寻找对称性破缺算子的问题转化为求解偏微分方程组的问题。
• 关键技术工具是$G'$-intertwining微分算子与诱导表示的$({rak g}', H')$-同态之间的对偶性，从而建立一一对应关系。
• 当抛物子代数具有交换幂零部分时，该方法通过二阶偏微分方程组表征算子，实现显式计算。
• 该框架适用于实半单群及其对称对，尤其适用于Hermitian对称空间的全纯设定。
• 该方法利用广义Verma模及其对偶的结构，将问题约化为表示论同态问题。
• 利用延拓定理表明，子对称空间上的局部全纯算子可延拓至整个旗流形，从而保证全局正则性。

实验结果

研究问题

• RQ1 如何从表示论角度系统地表征等变向量丛之间的微分对称性破缺算子？
• RQ2 什么是$G'$-intertwining微分算子与李代数表示同态之间的精确关系？
• RQ3 在Hermitian对称空间设定下，连续对称性破缺算子在何种条件下必为全纯微分算子？
• RQ4 F方法能否用于构造Rankin-Cohen括号等算子的显式公式？
• RQ5 广义Verma模的分支律与对称性破缺算子的存在性及结构有何关联？

主要发现

• 建立了$G'$-intertwining微分算子与诱导表示的$({rak g}', H')$-同态之间的一一对应关系，推广了经典结果。
• 在Hermitian对称空间的全纯设定中，所有从全holomorphic截面到全holomorphic截面的连续$G'$-同态均由全纯微分算子给出。
• F方法通过二阶偏微分方程组表征对称性破缺算子，即使算子本身阶数较高亦成立。
• 对于具有交换幂零部分的对称对，F方法可导出完全的PDE系统，从而完全确定算子。
• 延拓定理确保子对称空间上的局部微分算子可延拓至整个旗流形，从而保证全局正则性。
• 该方法为系统构造显式算子（包括与Rankin-Cohen括号相关的算子）提供了框架，通过将其约化为可解的PDE系统实现。