[論文レビュー] 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法を導入し、同変ベクトル束の間の微分的対称性破壊作用素（等変ベクトル束の間の不変微分作用素）を特徴付ける。ヒルベルト対称空間において、連続的対称性破壊作用素は正則微分作用素であることを証明し、このような作用素とリー代数表現の準同型の間の一対一対応を確立。これにより、分岐則やランキン＝コーエン作用素への応用が可能となる。

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'$-不変微分作用素の特徴付け問題に取り組むこと。
• 代数的フーリエ変換に基づく新手法、いわゆるF法を考案し、このような作用素を体系的に構成・分類すること。
• ヒルベルト対称空間の正則的設定において、連続的対称性破壊作用素が必ず正則微分作用素であることを証明すること。
• 特に対称対およびランキン＝コーエン型作用素に対して、2階偏微分方程式系による明示的構成と特徴付けを行うこと。

提案手法

• F法は、一般化されたヴェルマ加群上の代数的フーリエ変換を用い、対称性破壊作用素の特定問題を偏微分方程式系の解法問題に変換する。
• 鍵となる技術的道具は、$G'$-不変微分作用素と誘導表現の$({rak g}', H')$-準同型の間の双対性であり、これにより一対一対応を確立する。
• 放物型部分代数の可換なノルム部分代数を持つ場合、作用素は2階偏微分方程式系により特徴付けられ、明示的計算が可能となる。
• この枠組みは、実再帰的群およびその対称対に適用可能であり、特にヒルベルト対称空間の正則的設定に適している。
• 一般化されたヴェルマ加群およびその双対の構造を活用し、問題を表現論的準同型に還元する。
• 拡張定理を用いて、部分対称空間上の局所的正則作用素が全旗多様体に一意に拡張されることを示し、グローバルな正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 同変ベクトル束の間の微分的対称性破壊作用素は、表現論の観点からどのように体系的に特徴付けられるか？
• RQ2 $G'$-不変微分作用素とリー代数表現の準同型の間の正確な関係は何か？
• RQ3 ヒルベルト対称空間の設定において、連続的対称性破壊作用素がなぜ正則微分作用素に限られるのか、どのような条件下か？
• RQ4 F法を用いて、ランキン＝コーエンブラケットのような作用素の明示的公式を構成できるか？
• RQ5 一般化されたヴェルマ加群の分岐則は、対称性破壊作用素の存在および構造とどのように関係するか？

主な発見

• $G'$-不変微分作用素と誘導表現の$({rak g}', H')$-準同型の間の一対一対応が確立され、古典的結果を一般化する。
• ヒルベルト対称空間の正則的設定において、正則セクションから正則セクションへのすべての連続的$G'$-準同型は、正則微分作用素によって与えられる。
• F法は、作用素自身が高次のものであっても、2階偏微分方程式系による特徴付けを可能にする。
• 可換なノルム部分代数を持つ対称対では、F法により作用素を完全に決定する偏微分方程式系が得られる。
• 拡張定理により、部分対称空間上の局所的微分作用素が全旗多様体に一意に拡張され、グローバルな正則性が保証される。
• F法は、正則微分作用素の明示的構成を体系的に行う枠組みを提供し、特にランキン＝コーエンブラケットに関連する作用素を解ける偏微分方程式系に還元する。