[논문 리뷰] The orthosymplectic supergroup in harmonic analysis

Kevin Coulembier|arXiv (Cornell University)|2012. 02. 03.

Advanced Algebra and Geometry참고 문헌 29인용 수 7

한 줄 요약

이 논문은 초공간 $\mathbb{R}^{m|2n}$ 위에서의 조화해석학에 대해 $OSp(m|2n)$를 적절한 대칭군으로 규명하며, 이전의 $SO(m)\times Sp(2n)$ 쌍대 쌍의 한계를 해결한다. 초라플라스 연산자와 노름 제곱이 $OSp(m|2n)$에 대해 불변인 $\mathfrak{sl}_2$ 대수를 생성함을 보여, 저자들은 $m - 2n \notin -2\mathbb{N}$일 때 $\mathfrak{osp}(m|2n)$와 $\mathfrak{sl}_2$의 Howe 쌍대 쌍이 다항식과 기저 초구면 조화함수에 대해 다중도 없이 분해됨을 증명한다. 또한 초구면 위에 유일한 초등차 대칭 불변 적분이 존재함을 보인다.

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).

연구 동기 및 목표

• 초공간 $\mathbb{R}^{m|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$의 Howe 쌍대 쌍을 확립하여 기저성과 다중도 없이 분해되는 것을 보장하기 위해.
• 초구면 다양체를 엄밀히 구성하고, 그 위에 존재하는 초등차 대칭 불변 적분의 유일성을 증명하기 위해.
• $\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$가 $OSp(m|2n)$에 대해 불변인 $\mathfrak{sl}_2$의 생성자로 식별된다.
• 초노름 조건 $R^2 = 1$을 통해 $\mathbb{R}^{m|2n}$의 부분다양체로 초구면 $\mathbb{S}^{m-1|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$는 $m - 2n \notin -2\mathbb{N}$일 때에만 $\mathfrak{osp}(m|2n)$-기저 모듈이 되며, 이는 핵심적인 기저성 문제를 해결한다.
• 초구면 적분은 $\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}$는 이 대수의 최고가중치 표현으로서 기저이다.