[論文レビュー] Fischer decomposition for spinor valued polynomials in several variables

Roman Lávička, Vladimı́r Souček|arXiv (Cornell University)|Aug 4, 2017

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

ひとこと要約

この論文は、$m \geq 2k$ の安定範囲条件下で、$\mathbb{R}^m$ の $k$ 個のベクトル変数をもつスピンルール値多項式に対してフィッシャー分解を確立し、その空間が、$r_{ij}^2$ と $\underline{x}_J$ によって生成される不変量とモノジェニック多項式のテンソル積に一意に分解されることを証明する。主な結果は、表現論とハウ双対性を用いて、複数変数のクリフォード解析における古典的フィッシャー分解を一般化するものである。

ABSTRACT

It is well-known that polynomials decompose into spherical harmonics. This result is called separation of variables or the Fischer decomposition. In the paper we prove the Fischer decomposition for spinor valued polynomials in $k$ vector variables of ${\mathbb R}^m$ under the stable range condition $m\geq 2k$. Here the role of spherical harmonics is played by monogenic polynomials, that is, polynomial solutions of the Dirac equation in $k$ vector variables.

研究の動機と目的

• スピンルール値多項式の $k$ 個のベクトル変数をもつ $\mathbb{R}^m$ における古典的フィッシャー分解を一般化すること。
• 安定範囲 $m \geq 2k$ における、このような多項式の構造に関して長年の予想を解決すること。
• 空間 $\mathcal{P}((\mathbb{R}^m)^k) \otimes \mathbb{S}$ が不変量とモノジェニック多項式のテンソル積として分解されることを確立すること。
• 表現論とハウ双対性を用いて分解を証明し、$\mathrm{Spin}(m) \times \mathfrak{gl}(k)$ における同型成分を分析すること。

提案手法

• 安定範囲 $m \geq 2k$ の下で、スカラー値多項式のフィッシャー分解を活用する。
• ハウ双対性理論を適用し、$\mathrm{SO}(m) \times \mathfrak{sp}(2k)$ の双対対による $\mathcal{P}((\mathbb{R}^m)^k) \otimes \mathbb{S}$ の分解を、重複度1の分解として得る。
• ディラック作用素 $\partial_{\underline{x}_j}$ とベクトル変数 $\underline{x}_j$ の作用を、スピンルール値多項式空間上の $\mathrm{Spin}(m)$-不変作用素として用いる。
• GL(k) 模組におけるピエリの法則を用いて、2つの同型な表現における無限小 $\mathrm{Spin}(m)$-模組の重複度を一致させる。
• $r_{ij}^2 = \sum_{i=1}^m x_{ij}x_{ij}$ と積 $\underline{x}_J = \underline{x}_{j_1} \cdots \underline{x}_{j_r}$ を含む成分への射影を用いて分解を構成する。
• $\mathrm{Spin}(m) \times \mathfrak{gl}(k)$-模組として、$\mathcal{H} \otimes \mathbb{S}$ と $\bigwedge(\underline{x}_1, \dots, \underline{x}_k) \otimes \mathcal{M}$ の間に同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 安定範囲 $m \geq 2k$ の下で、$\mathbb{R}^m$ の $k$ 個のベクトル変数をもつスピンルール値多項式に対してフィッシャー分解が成り立つか。
• RQ2 スピンルール値多項式の空間が、安定範囲において不変量とモノジェニック多項式のテンソル積に分解可能か。
• RQ3 $\mathrm{Spin}(m)$ の同型成分は、複数変数のスピンルール値多項式の空間上でどのように作用するか。
• RQ4 ハウ双対性とピエリの法則は、分解の証明および無限小表現の重複度の一致にどのような役割を果たすか。

主な発見

• 安定範囲 $m \geq 2k$ の下で、$\mathbb{R}^m$ の $k$ 個のベクトル変数をもつスピンルール値多項式に対してフィッシャー分解が成り立つ。これは古典的スカラーの場合の一般化である。
• 空間 $\mathcal{P}((\mathbb{R}^m)^k) \otimes \mathbb{S}$ は、$\bigoplus_{J, \{n_{ij}\}} \left( \prod_{1 \leq i \leq j \leq k} r_{ij}^{2n_{ij}} \right) \underline{x}_J \mathcal{M}$ として分解され、ここで $\mathcal{M}$ はモノジェニック多項式の空間である。
• 分解は重複度1であり、共形スピン群の作用を尊重する。不変量は $r_{ij}^2$ と $\underline{x}_J$ によって生成される。
• スピンルール値多項式空間における $\mathrm{Spin}(m)$ の同型成分は、$\mathcal{M}^S_a \otimes V_{a + \frac{m}{2}1_k}$ に同型であり、ここで $V_{a + \frac{m}{2}1_k}$ は $\mathfrak{osp}(1|2k)$ の一般化ヴェルマ模組である。
• 証明は、GL(k) 模組におけるピエリの法則を用いて、2つの表現における無限小 $\mathrm{Spin}(m)$-模組の重複度を一致させることに依拠している。
• $\mathrm{Spin}(m) \times \mathfrak{gl}(k)$-模組として、同型 $\mathcal{H} \otimes \mathbb{S} \simeq \bigwedge(\underline{x}_1, \dots, \underline{x}_k) \otimes \mathcal{M}$ が成り立ち、外積代数およびスピンルール空間には自明な作用が働く。