[論文レビュー] Fundaments of Quaternionic Clifford Analysis III: Fischer Decomposition in Symplectic Harmonic Analysis

Fred Brackx, Hennie De Schepper+3 more|arXiv (Cornell University)|Apr 14, 2014

Algebraic and Geometric Analysis参考文献 17被引用数 3

ひとこと要約

本稿は、四元数的クリフォード解析における$$\mathbb{R}^{4p}$$における複素数値多項式に対して、シンプレクティック球面調和関数を介してシンプレクティック群Sp$(p)$の不変モジュールに分解するフィッシャー分解を確立する。主な結果として、$$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})\cong\mathfrak{so}(4,\mathbb{C})$$としてのハウ双対ペアを同定し、多項式空間がヴェルマモジュールおよび有限次元的不可約モジュールに多重度なしに分解されることを示す。

ABSTRACT

In the framework of quaternionic Clifford analysis in Euclidean space $\mathbb{R}^{4p}$, which constitutes a refinement of Euclidean and Hermitian Clifford analysis, the Fischer decomposition of the space of complex valued polynomials is obtained in terms of spaces of so--called (adjoint) symplectic spherical harmonics, which are irreducible modules for the symplectic group Sp$(p)$. Its Howe dual partner is determined to be $\mathfrak{sl}(2,\mathbb{C}) \oplus \mathfrak{sl}(2,\mathbb{C}) = \mathfrak{so}(4,\mathbb{C})$.

研究の動機と目的

• 四元数的クリフォード解析の設定におけるフィッシャー分解理論を$$\mathbb{R}^{4p}$$に拡張すること。
• 複素数値多項式の空間をシンプレクティック群Sp$(p)$のモジュールとして特徴付けること。
• $$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$上での$$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})$$およびSp$(p)$の共同作用に対するハウ双対ペアを同定すること。
• シンプレクティック球面調和関数およびヴェルマモジュールを用いて、多項式空間の多重度なし分解を提供すること。

提案手法

• フィッシャー分解は、$$X = \frac{1}{2}|\underline{z}|^2$$および$$Y = -\frac{1}{2}\Delta_{4p}$$という作用素を用いて構成され、これらはSp$(p)$作用と双対な$$\mathfrak{sl}(2,\mathbb{C})$$作用を生成する。
• シンプレクティック球面調和関数$$\mathcal{H}^{S}_{a,b}$$は、最高ウェイト$$(a+b,0,\ldots,0)_s$$をもつ不可約Sp$(p)$モジュールとして定義される。
• $$\mathcal{E}^\dagger$$の作用は、有限次元$$\mathfrak{sl}(2,\mathbb{C})$$モジュール$$\mathbb{I}_{a,b}$$を生成する。一方、$$X = \frac{1}{2}|\underline{z}|^2$$はヴェルマモジュール$$\mathbb{I}^{\infty}_{a,b}$$を生成する。
• 分解はすべての$$a \geq b \geq 0$$についての直和として実現され、各成分は$$(\mathbb{I}^{\infty}_{a,b} \otimes \mathbb{I}_{a,b}) \otimes \mathbb{H}_{a,b}$$に同型であり、ここで$$\mathbb{H}_{a,b}$$は不可約Sp$(p)$モジュールである。
• ハウ双対ペアは$$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})\cong\mathfrak{so}(4,\mathbb{C})$$として同定され、生成子には$$\mathbb{E}_z + \mathbb{E}_z^\dagger + 2p$$、$$|\underline{z}|^2$$、および$$\Delta_{4p}$$が含まれる。
• 三角形図は、$$\mathcal{E}^\dagger$$の作用（水平方向）と$$|\underline{z}|^2$$の乗法（垂直方向）を反映しており、$$a < b$$の場合は向きが反転する。

実験結果

リサーチクエスチョン

• RQ1 四元数的クリフォード解析の設定におけるフィッシャー分解を$$\mathbb{R}^{4p}$$にどのように一般化できるか。
• RQ2 $$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$の多項式空間がシンプレクティック群Sp$(p)$のモジュールとしてどのように構造を持つか。
• RQ3 $$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})$$およびSp$(p)$の共同作用に対するハウ双対ペアは何か。
• RQ4 $$\mathcal{E}^\dagger$$および$$|\underline{z}|^2$$の作用が、多項式空間の不可約成分への分解をどのように生成するか。
• RQ5 $$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$の双対ペアの共同作用下での正確な多重度なし分解は何か。

主な発見

• 複素数値多項式空間$$\mathcal{P}(\mathbb{R}^{4p};\mathbb{C})$$は、$$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})$$およびSp$(p)$の共同作用に関して多重度なしに分解可能である。
• 分解は$$\bigoplus_{a\geq b=0}^{\infty} (\mathbb{I}^{\infty}_{a,b} \otimes \mathbb{I}_{a,b}) \otimes \mathbb{H}_{a,b}$$として与えられ、ここで$$\mathbb{I}^{\infty}_{a,b}$$は$$\mathfrak{sl}(2,\mathbb{C})$$の最低ウェイト$$a+b+2p$$のヴェルマモジュールである。
• 有限次元$$\mathfrak{sl}(2,\mathbb{C})$$モジュール$$\mathbb{I}_{a,b}$$は最高ウェイト$$a-b$$をもち、特異ベクトルへの$$\mathcal{E}^\dagger$$の繰り返し作用によって生成される。
• 不可約Sp$(p)$モジュール$$\mathbb{H}_{a,b}$$は、長さ$$p$$の最高ウェイト$$(a+b,0,\ldots,0)_s$$をもち、$$(a,b)$$-同次シンプレクティック調和多項式の空間として実現される。
• ハウ双対ペアは$$\mathfrak{sl}(2,\mathbb{C})\oplus\mathfrak{sl}(2,\mathbb{C})\cong\mathfrak{so}(4,\mathbb{C})$$として同定され、生成子には$$\mathbb{E}_z + \mathbb{E}_z^\dagger + 2p$$、$$|\underline{z}|^2$$、および$$\Delta_{4p}$$が含まれる。
• 分解は、水平矢印が$$\mathcal{E}^\dagger$$を、垂直矢印が$$|\underline{z}|^2$$の乗法を表す三角形図で可視化され、$$a < b$$の場合は向きが反転する。