[論文レビュー] The orthosymplectic superalgebra in harmonic analysis

Kevin Coulembier|arXiv (Cornell University)|Aug 19, 2012

Numerical methods for differential equations被引用数 29

ひとこと要約

本稿は、$\mathbb{R}^{m|2n}$ 上の超調和解析において、$(\ mathfrak{osp}(m|2n), \mathfrak{sl}_2)$ のハウ双対を確立し、$m - 2n \not\in -2\mathbb{N}$ のとき球面調和関数が $\ mathfrak{osp}(m|2n)$-モジュールとして既約であることを示し、$\ mathfrak{sl}_2$-実現を用いて超対称テンソル冪の完全分解を提供する。主な貢献は、$\ mathfrak{sl}_2 \times \mathfrak{osp}(m|2n)$ 作用下での多項式代数の重複度ゼロの分解であり、$m - 2n$ の値に応じて $\ mathfrak{osp}(m-1|2n)$ における $L_{(k,0,\dots,0)}^{m|2n}$ の明示的分岐則が得られる。

ABSTRACT

We introduce the orthosymplectic superalgebra osp(m|2n) as the algebra of Killing vector fields on Riemannian superspace R^{m|2n} which stabilize the origin. The Laplace operator and norm squared on R^{m|2n}, which generate sl(2), are orthosymplectically invariant, therefore we obtain the Howe dual pair (osp(m|2n),sl(2)). We study the osp(m|2n)-representation structure of the kernel of the Laplace operator. This also yields the decomposition of the supersymmetric tensor powers of the fundamental osp(m|2n)-representation under the action of sl(2) x osp(m|2n). As a side result we obtain information about the irreducible osp(m|2n)-representations L_(k,0,...,0). In particular we find branching rules with respect to osp(m-1|2n) and an interesting formula for the Cartan product inside the tensor powers of the natural representation of osp(m|2n). We also prove that integration over the supersphere is uniquely defined by its orthosymplectic invariance.

研究の動機と目的

• 古典的双対対 $(\mathfrak{so}(m) \oplus \mathfrak{sp}(2n), \mathfrak{sl}_2)$ が $\ mathbb{R}^{m|2n}$ 上で真のハウ双対対でない理由（球面調和関数の非既約性および重複度非ゼロの分解）を解消するため。
• 原点を固定する $\mathbb{R}^{m|2n}$ 上のキリングベクトル場のリー超代数として $\mathfrak{osp}(m|2n)$ を正しく特定し、ラプラシアンとノルム平方の直交超シンプレクティック不変性を保証するため。
• 空間 $\mathcal{H}_k = \mathcal{P}_k \cap \ker \Delta$ の球面調和関数が $m - 2n \not\in -2\mathbb{N}$ のとき $\mathfrak{osp}(m|2n)$-モジュールとして既約であることを証明し、ハウ双対対に必要な重複度ゼロの分解を回復するため。
• $\mathfrak{osp}(m|2n)$-表現 $L_{(k,0,\dots,0)}^{m|2n}$ の $\mathfrak{osp}(m-1|2n)$ への制限における明示的分岐則を導出し、$m - 2n$ の値に応じて場合分けするため。
• 直交超シンプレクティック不変性に基づく、超球面 $\mathbb{S}^{m-1|2n}$ 上の積分の一意性を証明し、超幾何学および超多様体上の場の理論における標準的不変関数の特徴づけを提供するため。

提案手法

• 超多様体の等長変換の形式的枠組み [17] を用い、$\mathbb{R}^{m|2n}$ 上で原点を固定するキリングベクトル場のリー超代数として $\mathfrak{osp}(m|2n)$ を同定する。
• 超ラプラシアン $\nabla^2$ と超ノルム平方 $R^2$ を $\mathbb{R}^{m|2n}$ 上に導入し、これらが $\mathfrak{sl}_2$ を生成し、$\mathfrak{osp}(m|2n)$ に関して不変であることを示し、これにより $(\mathfrak{osp}(m|2n), \mathfrak{sl}_2)$ のハウ双対を構成する。
• $\mathfrak{sl}_2$-実現を用い、多項式代数 $\mathcal{P} \cong \bigoplus_{k=0}^\infty \odot^k V$（$V = L_{(1,0,\dots,0)}^{m|2n}$）を、$\mathfrak{osp}(m|2n) \times \mathfrak{sl}_2$-不変な既約モジュールに分解する。
• ラプラシアン $\Delta$ の核を分析し、球面調和関数 $\mathcal{H}_k$ を特定し、これがトレースレスな超対称テンソルに対応し、$m - 2n \not\in -2\mathbb{N}$ のとき $\mathfrak{osp}(m|2n)$-モジュールとして既約であることを示す。
• $\mathcal{P}_k / (R^2 \mathcal{P}_{k-2})$ を分解し、$\mathfrak{so}(m-1) \oplus \mathfrak{sp}(2n)$-合成系列を解析することで、$L_{(k,0,\dots,0)}^{m|2n}$ の $\mathfrak{osp}(m-1|2n)$ への分岐則を導出する。
• 直交超シンプレクティック不変性に基づき、超球面積分の一意性を証明し、任意のこのような不変汎関数が標準的超球面積分に比例することを示す（定理 4.1 で形式化）。

実験結果

リサーチクエスチョン

• RQ1 球面調和関数 $\mathcal{H}_k$ が $\mathbb{R}^{m|2n}$ 上で $\mathfrak{osp}(m|2n)$-モジュールとして既約であるための条件は何か？
• RQ2 超対称テンソル冪 $\odot^k V$ は $\mathfrak{osp}(m|2n) \times \mathfrak{sl}_2$-モジュールとしてどのように完全に分解されるか？また、ハウ双対対構造とどのように関係するか？
• RQ3 表現 $L_{(k,0,\dots,0)}^{m|2n}$ は $\mathfrak{osp}(m-1|2n)$ に制限してどのように分解されるか？この分解は $m - 2n$ の値にどのように依存するか？
• RQ4 超球面 $\mathbb{S}^{m-1|2n}$ 上の積分は、その直交超シンプレクティック不変性によって一意に定まるか？その明示的特徴づけは何か？
• RQ5 $\mathfrak{osp}(m|2n)$-表現 $L_{(k,0,\dots,0)}^{m|2n}$ が $\mathfrak{osp}(m-1|2n)$-表現として完全可約となる条件は何か？$k$、$m$、$n$ の条件は何か？

主な発見

• 球面調和関数 $\mathcal{H}_k$ は、$m - 2n \not\in -2\mathbb{N}$ のときかつそのときに限り、$\mathfrak{osp}(m|2n)$-モジュールとして既約である。これは古典的 $\mathfrak{so}(m) \oplus \mathfrak{sp}(2n)$-に基づく手法における非既約性の問題を解決する。
• $\mathbb{R}^{m|2n}$ 上の多項式代数 $\mathcal{P}$ は、$\mathfrak{sl}_2 \times \mathfrak{osp}(m|2n)$ 作用下で重複度ゼロの分解をもつ。各 $\mathfrak{sl}_2$-表現は、ちょうど一つの $\mathfrak{osp}(m|2n)$-表現とペアをなす。
• $m - 2n \not\in -2\mathbb{N}$ のとき、$L_{(k,0,\dots,0)}^{m|2n}$ の $\mathfrak{osp}(m-1|2n)$ への分岐則は $\bigoplus_{l=0}^k L_{(l,0,\dots,0)}^{m-1|2n}$ であり、すべての $k$ に対して成り立つ。
• $m - 2n \in -2\mathbb{N}$ で $2 - \frac{m}{2} + n \leq k \leq 2 - m + 2n$ のとき、分岐則は $\bigoplus_{l=3-m+2n-k}^k L_{(l,0,\dots,0)}^{m-1|2n}$ に変化し、成分の範囲が制限される。
• $m - 2n \in 1 - 2\mathbb{N}$ で $k \geq 2 + \frac{1 - m}{2} + n$ のとき、表現 $L_{(k,0,\dots,0)}^{m|2n}$ は $\mathfrak{osp}(m-1|2n)$-モジュールとして完全可約でない。
• 超球面 $\mathbb{S}^{m-1|2n}$ 上の積分は、$\mathfrak{osp}(m|2n)$-不変性によって一意に特徴づけられる。定理 4.1 で証明されたように、任意のこのような不変汎関数は標準的超球面積分に比例する。これは、超幾何学および超多様体上の場の理論における標準的不変関数の確立を意味する。