[論文レビュー] Rankin-Cohen brackets for orthogonal Lie algebras and bilinear conformally invariant differential operators

Petr Somberg|arXiv (Cornell University)|Jan 12, 2013

Algebraic structures and combinatorial models参考文献 7被引用数 7

ひとこと要約

この論文は、Lie理論的手法、特に $so(n+1,1,\mathbb{R})$ の一般化VermaモジュールとF法を用いて、$S^n$ 上のスカラー値双線形共形同値微分作用素を分類する。主な結果は、ラプラシアンと混合微分の線形結合として表される、Rankin-Cohen型作用素 $B_N$ の明示的公式であり、その係数は ${}_3F_2$ 超幾何関数でパラメータ化されている。

ABSTRACT

Based on the Lie theoretical methods of algebraic Fourier transformation, we classify in the case of generic values of inducing parameters the scalar singular vectors corresponding to the diagonal branching rules for scalar generalized Verma modules in the case of orthogonal Lie algebra and its conformal parabolic subalgebra with commutative nilradical, thereby realizing the diagonal branching rules in an explicit way. The complicated combinatorial structure of singular vectors is conveniently determined in terms of recursion relations for the generalized hypergeometric function ${}_3F_2$. As a geometrical application, we classify bilinear conformally equivariant differential operators acting on homogeneous line bundles on the flag manifold given by conformal sphere $S^n$.

研究の動機と目的

• 共形球面 $S^n$ 上の同調線束の切断に作用するスカラー値双線形共形同値微分作用素を分類すること。
• $so(n+1,1,\mathbb{R})$ のスカラー一般化Vermaモジュールの対角的ブランチング則を、その共形パラボリック部分代数に関して明示的に実現すること。
• ${}_3F_2$ 超幾何関数の再帰関係を用いて、一般化Vermaモジュール内の特異ベクトルを明示的に構成すること。
• F法を用いて共形同値微分作用素と一般化Vermaモジュールの準同型の間の対応関係を確立すること。

提案手法

• F法を用いて、共形同値微分作用素の分類問題を、一般化Vermaモジュール間の準同型を特徴付けるリー代数的問題に変換する。
• 正ネイルラジカルの作用に由来する4項関数方程式を解くことで、一般化Vermaモジュール内の特異ベクトルを構成する。
• 特異ベクトルの係数は、一般化超幾何関数 ${}_3F_2$ に関連する再帰関係によって決定され、明示的なパラメータ表示が可能になる。
• 逆代数的フーリエ変換を用いて、双対空間で得られた解を元の微分作用素枠組みに戻す。
• テンソル積の普遍包あらゆる代数と双対表現における $P_{\mathbb{R}}$-不変要素の特定により、分類を達成する。
• 作用素 $B_N$ の明示的公式は、係数 $A_{i,j}(-\lambda,-\mu)$ を持つ微分単項式 $\tilde{s}^i\tilde{t}^j\tilde{r}^k$ の線形結合として導出される。

実験結果

リサーチクエスチョン

• RQ1 共形球面 $S^n$ 上の同調線束の切断に作用するスカラー値双線形共形同値微分作用素の完全な集合は何か？
• RQ2 $so(n+1,1,\mathbb{R})$ のスカラー一般化Vermaモジュールの対角的ブランチング則は、特異ベクトルの観点からどのように明示的に実現できるか？
• RQ3 一般化超幾何関数 ${}_3F_2$ は、これらの特異ベクトルの係数をパラメータ化する際に果たす役割は何か？
• RQ4 作用素 $B_N$ の係数 $A_{i,j}(\lambda,\mu)$ は、誘導パラメータ $\lambda, \mu$ および次数 $N$ にどのように依存するか？
• RQ5 一般化Vermaモジュール内の特異ベクトルの構造から、全共形同値微分作用素系を再構成できるか？

主な発見

• すべてのスカラー値共形同値双線形微分作用素 $\{B_N\}_{N\in\mathbb{N}}$ の集合は、公式 $B_N = \sum_{i+j+k=N} A_{i,j}(-\lambda,-\mu) \iota^* \tilde{s}^i \tilde{t}^j \tilde{r}^k$ によって完全に決定され、ここで $\tilde{s} = \triangle_x$, $\tilde{t} = \triangle_y$, $\tilde{r} = \sum_i \partial_{x_i}\partial_{y_i}$ である。
• 係数 $A_{i,j}(\lambda,\mu)$ は式 (3.5) で明示的に与えられ、一般化超幾何関数 ${}_3F_2$ を用いて表現されており、特異ベクトルの組合せ的構造を支配している。
• 特異ベクトルの構成は、4項関数方程式を解くことに帰着され、その解は ${}_3F_2$ 関数に符号化されており、一般に許容される誘導パラメータに対して完全なパラメータ表示が得られる。
• 作用素 $B_N$ は $S^n$ 上の $L_\lambda$ および $L_\mu$ の滑らかな切断を、$L_{\lambda+\mu-2N}$ の滑らかな切断に写像し、共形共変性を保つ。
• 分類はF法と双対性を用いて達成され、逆フーリエ変換により双対空間での解から微分作用素を回復する。
• 結果は古典的なRankin-Cohenブラケットを直交群の設定に一般化し、共形球面 $S^n$ 上での幾何的実現を提供する。