[论文解读] The orthosymplectic supergroup in harmonic analysis

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

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

一句话总结

本文確立了正交辛超群 $OSp(m|2n)$ 為超空間 $\mathbb{R}^{m|2n}$ 上調和分析的正確對稱群，解決了先前 $SO(m)\times Sp(2n)$ 雙對的局限性。透過證明超拉普拉斯算子與超范數平方生成在 $OSp(m|2n)$ 下不變的 $\mathfrak{sl}_2$ 代數，作者證明當 $m - 2n \notin -2\mathbb{N}$ 時， Howe 雙對 $(\mathfrak{osp}(m|2n), \mathfrak{sl}_2)$ 對多項式與不可約球面調和函數產生無重複分解，且在超球面上存在唯一的正交辛不變積分。

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)$ 雙對在超調和分析中無法產生不可約球面調和函數與無重複分解的失敗問題。
• 定義正交辛超群 $OSp(m|2n)$ 為平坦超空間 $\mathbb{R}^{m|2n}$ 與超球面 $\mathbb{S}^{m-1|2n}$ 的等距超群。
• 確立 Howe 雙對 $(\mathfrak{osp}(m|2n), \mathfrak{sl}_2)$ 為超調和分析的正確框架，確保不可約性與無重複分解。
• 嚴謹構造超球面流形並證明其上正交辛不變積分的唯一性。
• 特徵化 $\mathfrak{osp}(m|2n)$ 的不可約表示 $L_{(k,0,\dots,0)}^{m|2n}$，並推導其至 $\mathfrak{osp}(m-1|2n)$ 的分支規則。

提出的方法

• 使用 Berezin 和 Leites 的層理論方法定義李超群與超流形，識別 $OSp(m|2n)$ 為 $\mathbb{R}^{m|2n}$ 的等距超群。
• 識別超拉普拉斯算子 $\nabla^2$ 與超范數平方 $R^2$ 為 $\mathfrak{sl}_2$ 的生成元，且在 $OSp(m|2n)$ 下不變。
• 透過超范數條件 $R^2 = 1$ 將超球面 $\mathbb{S}^{m-1|2n}$ 構造為 $\mathbb{R}^{m|2n}$ 的子流形。
• 證明超球面積分化為唯一由正交辛不變性所決定的線性泛函，利用超群作用於超函數。
• 應用 Howe 雙對理論，證明當 $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 如何構造 Howe 雙對 $(\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)$ 的分支規則為何？

主要发现

• Howe 雙對 $(\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}$，解決了一項關鍵不可約性問題。
• 超球面積分化為唯一在正交辛不變性下定義的線性泛函，如定理 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}$ 為此代數的不可約最高權表示。