[論文レビュー] The Howe duality and polynomial solutions for the symplectic Dirac operator

Hendrik De Bie, Petr Somberg+1 more|arXiv (Cornell University)|Feb 4, 2010

Advanced Algebra and Geometry参考文献 13被引用数 4

ひとこと要約

本稿は、$\mathbb{R}^{2n}$ 上の多項式スピンルーバー値関数に対して、シンプレクティックモノジェニックがシンプレクティックディラック作用素 $D_s$ の核として特定されることを確立し、メタプレクティックハウ双対性を構築する。フィッシャー分解と射影作用素を用いて、多項式モジュールを完全に不変部分空間に分解し、$D_s$ の多項式解の空間がまさにシンプレクティックモノジェニックであることを証明する。この構造は双対ペア $(Mp(2n,\mathbb{R}), \mathfrak{sl}(2,\mathbb{R}))$ を通じて実現される。

ABSTRACT

We study various aspects of the metaplectic Howe duality realized by Fischer decomposition for the metaplectic representation space of polynomials on $\mathbb{R}^{2n}$ valued in the Segal-Shale-Weil representation. As a consequence, we determine symplectic monogenics, i.e., the space of polynomial solutions of the symplectic Dirac operator.

研究の動機と目的

• シンプレクティックスピンルーバー値多項式の文脈において、メタプレクティックハウ双対ペア $(Mp(2n,\mathbb{R}), \mathfrak{sl}(2,\mathbb{R}))$ の幾何的実現の欠如に応える。
• セガル＝シャレー＝ヴァイル表現に値をとる多項式シンプレクティックスピンルーバー空間に対する完全なフィッシャー分解を確立する。
• シンプレクティックディラック作用素 $D_s$ の核を、古典的クリフォード解析における球面調和関数に類似したシンプレクティックモノジェニックの空間として特徴付ける。
• フィッシャー分解における不変部分空間に射影する明示的な射影作用素を構成し、分解の明示的計算を可能にする。
• シンプレクティックディラック作用素を、ハウ双対性における双対パートナー $\mathfrak{sl}(2,\mathbb{R})$ の一部として実現することにより、表現論的枠組みを提供する。

提案手法

• 本稿は、$Mp(2n,\mathbb{R})$ のメタプレクティック表現を、セガル＝シャレー＝ヴァイル表現に値をとる多項式に作用させることで、双対ペア $(Mp(2n,\mathbb{R}), \mathfrak{sl}(2,\mathbb{R}))$ を構成する。
• シンプレクティックディラック作用素 $D_s$ を双対パートナー $\mathfrak{sl}(2,\mathbb{R})$ の要素として実現することで、著者たちは多項式モジュールのフィッシャー分解と関連付ける。
• 係数 $a^{i,k}_{j}$ を含む再帰的関係と階乗およびポッホハマー型項を含む組合せ恒等式から導かれる、明示的な射影作用素 $\pi^{k}_{i}$ が構成される。
• フィッシャー分解は $\mathcal{P} \otimes \mathcal{C} \cong \bigoplus_{k=0}^\infty \bigoplus_{i=0}^k X_s^i \mathcal{M}_{k-i}$ と表現され、ここで $\mathcal{M}_j$ は $Mp(2n,\mathbb{R})$ の不変部分空間である。
• $\mathfrak{sl}(2,\mathbb{R})$ のカシミール作用素を用いた代替的な射影法が提供され、分解における $i$ 番目の成分に射影する作用素 $\mathbb{P}_i^k$ が得られる。
• シンプレクティッククライフォード代数とメタプレクティック群の作用を通じて、表現空間の構造が解析され、重複度ゼロの分解が保証される。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティックディラック作用素 $D_s$ の核の幾何学的および表現論的構造は何か、$\mathbb{R}^{2n}$ 上で？
• RQ2 多項式シンプレクティックスピンルーバーの文脈において、メタプレクティックハウ双対性はどのように幾何的に実現可能か？
• RQ3 $Mp(2n,\mathbb{R}) \times \mathfrak{sl}(2,\mathbb{R})$ の作用の下での、多項式シンプレクティックスピンルーバー空間の明示的フィッシャー分解は何か？
• RQ4 フィッシャー分解における不変部分空間を分離するための射影作用素はどのように構成可能か？
• RQ5 シンプレクティックディラック作用素は、この双対性枠組みにおいて、$\mathfrak{sl}(2,\mathbb{R})$ 双対パートナーの生成子として果たす役割は何か？

主な発見

• シンプレクティックディラック作用素 $D_s$ の核は、フィッシャー分解における不変部分空間としてのシンプレクティックモノジェニックの空間に特定される。
• 明示的な射影作用素 $\pi^{k}_{i}$ が構成され、係数 $a^{i,k}_{j}$ は階乗およびポッホハマー型項を含む閉形式で与えられる。
• 多項式モジュールのフィッシャー分解は重複度ゼロであり、$\mathcal{P} \otimes \mathcal{C} \cong \bigoplus_{k=0}^\infty \bigoplus_{i=0}^k X_s^i \mathcal{M}_{k-i}$ と表現され、ここで $\mathcal{M}_j$ は $Mp(2n,\mathbb{R})$ の不変部分空間である。
• シンプレクティックディラック作用素 $D_s$ は、ハウ双対性における $\mathfrak{sl}(2,\mathbb{R})$ 双対パートナーの自然な一部として現れ、その作用は $\mathfrak{sl}(2,\mathbb{R})$ のカシミール作用素に符号化される。
• $\mathfrak{sl}(2,\mathbb{R})$ のカシミール作用素を用いた代替的な射影法が導かれ、分解における $i$ 番目の不変部分空間に射影する作用素 $\mathbb{P}_i^k$ が得られる。
• 本稿は、古典的ハウ双対ペア $(Sp(2n,\mathbb{R}), \mathfrak{so}(2,1))$ の2重被覆として、双対ペア $(Mp(2n,\mathbb{R}), \mathfrak{sl}(2,\mathbb{R}))$ の完全な幾何的実現を提供し、シンプレクティックディラック作用素の表現論的枠組みを完成させる。