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

Kevin Coulembier|arXiv (Cornell University)|Feb 3, 2012

Advanced Algebra and Geometry参考文献 29被引用数 7

ひとこと要約

本稿では、超空間 $\mathbb{R}^{m|2n}$ 上の調和解析における正しい対称性群として、正規超シンプレクティック群 $OSp(m|2n)$ を確立する。これは、以前の $SO(m)\times Sp(2n)$ 双対対の制限を解消するものである。超ラプラシアン作用素と超ノルム二乗が、$OSp(m|2n)$ に関して不変な $\mathfrak{sl}_2$ 代数を生成することを示し、著者らは $\mathfrak{osp}(m|2n)$ と $\mathfrak{sl}_2$ のハウ双対対 $(\mathfrak{osp}(m|2n), \mathfrak{sl}_2)$ が、$m - 2n \notin -2\mathbb{N}$ のとき、多項式と無限小球面調和関数の重複度ゼロの分解をもたらすことを証明する。さらに、超球面上に一意な正規超シンプレクティック不変積分が存在する。

ABSTRACT

The orthosymplectic supergroup OSp(m|2n) is introduced as the supergroup of isometries of flat Riemannian superspace R^{m|2n} which stabilize the origin. It also corresponds to the supergroup of isometries of the supersphere S^{m-1|2n}. 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)). This Howe dual pair solves the problems of the dual pair (SO(m)xSp(2n),sl(2)), considered in previous papers. In particular we characterize the invariant functions on flat Riemannian superspace and show that the integration over the supersphere is uniquely defined by its orthosymplectic invariance. The supersphere manifold is also introduced in a mathematically rigorous way. Finally we study the representations of osp(m|2n) on spherical harmonics. This corresponds to the decomposition of the supersymmetric tensor space of the m|2n-dimensional super vectorspace under the action of sl(2)xosp(m|2n). As a side result we obtain information about the irreducible osp(m|2n)-representations L_{(k,0,...,0)}^{m|2n}. In particular we find branching rules with respect to osp(m-1|2n).

研究の動機と目的

• 超調和解析において、$SO(m)\times Sp(2n)$ 双対対が無限小球面調和関数や重複度ゼロの分解をもたらさないという失敗を解消すること。
• 平坦な超空間 $\mathbb{R}^{m|2n}$ と超球面 $\mathbb{S}^{m-1|2n}$ の等長変換超群として、正規超シンプレクティック超群 $OSp(m|2n)$ を定義すること。
• 超調和解析の正しい枠組みとして、ハウ双対対 $(\mathfrak{osp}(m|2n), \mathfrak{sl}_2)$ を確立し、無限小性と重複度ゼロの分解を保証すること。
• 超球面多様体を厳密に構成し、その上での正規超シンプレクティック不変積分の一意性を証明すること。
• $\mathfrak{osp}(m|2n)$ の無限小表現 $L_{(k,0,\dots,0)}^{m|2n}$ を特徴づけ、$\mathfrak{osp}(m-1|2n)$ への分岐則を導出すること。

提案手法

• ベレジンとレーツの層的アプローチを用いて、リー超群と超多様体を定義し、$OSp(m|2n)$ が $\mathbb{R}^{m|2n}$ の等長変換超群であることを特定する。
• 超ラプラシアン作用素 $\nabla^2$ と超ノルム二乗 $R^2$ が、$OSp(m|2n)$ に関して不変な $\mathfrak{sl}_2$ の生成元であることを同定する。
• $\mathbb{R}^{m|2n}$ 内の超ノルム条件 $R^2 = 1$ を用いて、超球面 $\mathbb{S}^{m-1|2n}$ を部分多様体として構成する。
• 超群作用による超関数への作用を用いて、超球面積分が正規超シンプレクティック不変性によって一意に特徴づけられることを証明する。
• ハウ双対対の理論を適用し、$m - 2n \notin -2\mathbb{N}$ のとき、$\mathcal{P}(\mathbb{R}^{m|2n})$ が $\mathfrak{osp}(m|2n) \times \mathfrak{sl}_2$ に関して重複度ゼロに分解されることを示す。
• $\mathfrak{osp}(m|2n)$-加群 $L_{(k,0,\dots,0)}^{m|2n}$ の分岐則を、球面調和関数の明示的分解により $\mathfrak{osp}(m-1|2n)$ へ導出する。

実験結果

リサーチクエスチョン

• RQ1 なぜ $SO(m)\times Sp(2n)$ 双対対は、超調和解析において無限小球面調和関数を生成できないのか？
• RQ2 $\mathbb{R}^{m|2n}$ と超球面 $\mathbb{S}^{m-1|2n}$ の正しい等長変換超群は何か？
• RQ3 どのようにして、$\mathfrak{osp}(m|2n)$ と $\mathfrak{sl}_2$ のハウ双対対を構成し、$\mathbb{R}^{m|2n}$ 上の多項式の重複度ゼロの分解を保証できるか？
• RQ4 超球面上に一意な正規超シンプレクティック不変積分が存在するか？ その特徴づけは何か？
• RQ5 $\mathfrak{osp}(m|2n)$-加群 $L_{(k,0,\dots,0)}^{m|2n}$ の $\mathfrak{osp}(m-1|2n)$ への分岐則は何か？

主な発見

• ハウ双対対 $(\mathfrak{osp}(m|2n), \mathfrak{sl}_2)$ が、$\mathbb{R}^{m|2n}$ 上の超調和解析における正しい枠組みとして確立され、以前の $SO(m)\times Sp(2n)$ 対に置き換えられる。
• 球面調和関数の空間 $\mathcal{H}_k$ が、$\mathfrak{osp}(m|2n)$-加群として無限小であるための必要十分条件は $m - 2n \notin -2\mathbb{N}$ であり、これは重要な無限小性の問題を解決する。
• 超球面積分は、$\mathbb{S}^{m-1|2n}$ 上の唯一の正規超シンプレクティック不変線形関数であることが、定理9で証明されている。
• 多項式表現空間 $\mathcal{P}(\mathbb{R}^{m|2n})$ は、$m - 2n \notin -2\mathbb{N}$ のとき、$\mathfrak{osp}(m|2n) \times \mathfrak{sl}_2$-加群として重複度ゼロに分解可能である。
• $\mathfrak{osp}(m|2n)$-加群 $L_{(k,0,\dots,0)}^{m|2n}$ は、次数 $k$ の球面調和関数の空間として実現され、$\mathfrak{osp}(m-1|2n)$ への明示的分岐則が得られる。
• $\mathfrak{osp}(4n+1|2m)$ のより大きな代数は、$\mathfrak{osp}(m|2n) \times \mathfrak{sl}_2$ を互いに中心化子として含み、$\mathcal{P}$ はこの代数の最高重量表現として無限小である。