[論文レビュー] Branching laws for Verma modules and applications in parabolic geometry. I

Toshiyuki Kobayashi, Bent Ørsted+2 more|arXiv (Cornell University)|May 26, 2013

Nonlinear Waves and Solitons参考文献 33被引用数 9

ひとこと要約

本稿では、一般化Verma加群の分岐則を用いて、放物幾何における一意的な等長微分作用素を構成するための新規なフーリエ変換に基づくF法を提案する。この手法は先行研究を単純化・一般化し、共形的およびスピン作用素に対する明示的公式を提供する。これには、ジュールの共形的不変作用素およびその一般化に対する、新しい内在的証明が含まれる。

ABSTRACT

We initiate a new study of differential operators with symmetries and combine this with the study of branching laws for Verma modules of reductive Lie algebras. By the criterion for discretely decomposable and multiplicity-free restrictions of generalized Verma modules [T. Kobayashi, http://dx.doi.org/10.1007/s00031-012-9180-y {Transf. Groups (2012)}], we are brought to natural settings of parabolic geometries for which there exist unique equivariant differential operators to submanifolds. Then we apply a new method (F-method) relying on the Fourier transform to find singular vectors in generalized Verma modules, which significantly simplifies and generalizes many preceding works. In certain cases, it also determines the Jordan--Hölder series of the restriction for singular parameters. The F-method yields an explicit formula of such unique operators, for example, giving an intrinsic and new proof of Juhl's conformally invariant differential operators [Juhl, http://dx.doi.org/10.1007/978-3-7643-9900-9 {Progr. Math. 2009}] and its generalizations. This article is the first in the series, and the next ones include their extension to curved cases together with more applications of the F-method to various settings in parabolic geometries.

研究の動機と目的

• 放物幾何における同次ベクトル bundle 間の $G'$-等長微分作用素を体系的に構成するための方法を開発すること。
• 従来の手法（例えばBGG分解）が失敗するような場合に、このような作用素の明示的公式を求める長年の課題に取り組むこと。
• 表現論（特に一般化Verma加群の分岐則）と対称性を持つ幾何的微分作用素との間の関係を確立すること。
• F法を用いて、既知の共形的不変作用素の結果を任意の符号型およびスピンバンドルへと拡張すること。
• F法を用いてジュールの共形的不変微分作用素およびその一般化に対する、内在的で代数的な証明を提供すること。

提案手法

• F法は、一般化Verma加群における特異ベクトルを特定するためにフーリエ変換を用い、等長微分作用素の明示的構成を可能にする。
• 離散的分解可能で多重度1の一般化Verma加群の制限を保証する基準を用いることで、このような作用素の存在と一意性を保証する。
• 幾何的問題をBGGカテゴリー $\mathcal{O}$ 及びその放物部分カテゴリー $\mathcal{O}^\mathfrak{p}$ における代数的分岐問題に翻訳する。
• 特異ベクトルは、Gegenbauer多項式およびその正規化形に関連する微分方程式を解くことによってF法で構成される。
• Gegenbauer多項式のRodriguesの公式および微分恒等式を活用して、作用素の明示的表現を導出する。
• 本手法は、任意符号型の共形幾何および $\mathrm{Spin}_o(p,q)$ 上のディラック作用素という2つの主要なケースに適用され、非コンパクト表現における明示的公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、放物幾何における同次ベクトルバンドル間の $G'$-等長微分作用素を体系的に構成できるか？
• RQ2 一般化Verma加群における特異ベクトルは、このような作用素の存在および一意性を決定する上で果たす役割は何か？
• RQ3 F法は、古典的ケースを超えて、任意符号型においても共形的不変微分作用素の明示的公式を提供できるか？
• RQ4 特に特異パラメータの場合に、再帰的部分代数への制限におけるVerma加群の分岐則はどのように振る舞うか？
• RQ5 F法は、スピンバンドルおよび曲がった放物幾何へとジュールの共形的不変作用素をどの程度一般化できるか？

主な発見

• F法は、共形的ケース $ (G, G') = (SO_o(p,q), SO_o(p,q-1)) $ における唯一の $G'$-等長微分作用素に対して、明示的かつ内在的な公式を提供する。これは、ジュールの作用素を任意の符号型へ一般化するものである。
• $ G = G' = SO_o(p,q) $ の場合、F法は特異パラメータにおける一般化Verma加群の制限のジョルダン＝ホルダー系列を特定する。
• F法は、$ \mathrm{Spin}_o(p,q) $ 上のディラック作用素に対して明示的公式を導出し、以前の結果を高次の不変量へと拡張する。
• F法は、BGG分解および因数分解恒等式に基づく従来の構成を単純化・一般化し、特にGegenbauer多項式の文脈で顕著である。
• 正規化Gegenbauer多項式 $ \widetilde{\mathcal{C}}_l^\alpha(t) $ が、微分作用素の構造を符号化していることが示され、次数4まで明示的表現が導出された。
• F法は、作用素の核および像がGegenbauer微分方程式の解によって支配されることを確立し、$ R(l,\alpha) $ が主要な微分作用素であることが示された。