[논문 리뷰] Howe type duality for metaplectic group acting on symplectic spinor valued forms

Svatopluk Krýsl|arXiv (Cornell University)|2008. 05. 19.

Advanced Algebra and Geometry참고 문헌 22인용 수 8

한 줄 요약

이 논문은 심플렉틱 스핀어 값 외부 형식 $\bigwedge^{\bullet}\mathbb{V}^* \otimes \mathbf{S}$ 위에서 작용하는 메타플레틱 군 $Mp(\mathbb{V},\omega)$에 대해 하우 유형의 이중성을 수립한다. 이는 이 작용의 중심화대수(algebra)가 $\mathfrak{osp}(1|2)$ 초대칭 리대수와 두 개의 특수한 연산자들에 의해 생성됨을 증명하며, $Mp(\mathbb{V},\omega)$와 $\mathfrak{osp}(1|2)$의 공동 작용 하에서의 다중도 없는 분해를 이끌어내며, 고전적 이중성 이론을 심플렉틱적이고 초대칭 대수기반의 설정으로 확장한다.

ABSTRACT

Let $λ: ilde{G} o G$ be the non-trivial double covering of the symplectic group $G=Sp(V,ω)$ of the symplectic vector space $(V,ω)$ by the metaplectic group $ ilde{G}=Mp(V,ω).$ In this case, $λ$ is also a representation of $ ilde{G}$ on the vector space $V$ and thus, it gives rise to the representation of $ ilde{G}$ on the space of exterior forms $\bigwedge^{\bullet}V^*$ by taking wedge products. Let $S$ be the minimal globalization of the Harish-Chandra module of the complex Segal-Shale-Weil representation of the metaplectic group $ ilde{G}.$ We prove that the associative commutant algebra $\hbox{End}_{ ilde{G}}(\bigwedge^{\bullet}V^*\otimes S)$ of the metaplectic group $ ilde{G}$ acting on the $S$-valued exterior forms is generated by certain representation of the super ortho-symplectic Lie algebra $osp(1|2)$ and two distinguished operators. This establishes a Howe type duality between the metaplectic group and the super Lie algebra $\mathfrak{osp}(1|2).$ Also the space $\bigwedge^{\bullet}V^*\otimes S$ is decomposed wr. to the joint action of $Mp(V,ω)$ and $osp(1|2).$

연구 동기 및 목표

• 메타플레틱 군이 심플렉틱 스핀어 값 외부 형식 위에서 작용할 때 하우 유형의 이중성을 확장한다.
• 심플렉틱 스핀어 값 형식 위에서 메타플레틱 군 작용의 중심화대수를 특정한다. 여기서 $\mathbf{S}$는 세갈-샤일-바일 표현의 최소 전역화이다.
• 이 중심화대수가 $\mathfrak{osp}(1|2)$와 두 개의 특정 연산자들에 의해 생성됨을 증명함으로써 초대칭 이중성을 수립한다.
• $\bigwedge^{\bullet}\mathbb{V}^* \otimes \mathbf{S}$ 공간을 $Mp(\mathbb{V},\omega)$와 $\mathfrak{osp}(1|2)$의 공동 작용 하에서 기약 표현으로 분해한다.
• 이 이중성을 심플렉틱 디랙 및 라리타-슈윙거 연산자에 적용하여, 그 스펙트럼과 고유공간 간의 관계를 규명한다.

제안 방법

• 연구는 세갈-샤일-바일 표현의 하리시-찬드라 모듈을 전역 표현 $\mathbf{S}$로 확장하기 위해 최소 전역화 함자(minimal globalization functor)를 사용한다.
• 메타플레틱 군 $Mp(\mathbb{V},\omega)$의 작용은 외적 곱과 메타플레틱 표현을 통해 $\bigwedge^{\bullet}\mathbb{V}^* \otimes \mathbf{S}$ 위에서 분석된다.
• 중심화대수 $\mathrm{End}_{\widetilde{G}}(\bigwedge^{\bullet}\mathbb{V}^* \otimes \mathbf{S})$는 표현론적 기법과 $\mathfrak{osp}(1|2)$-모듈 구조를 이용해 계산된다.
• 증명은 특정 연산자 $F^{\pm}$, $H$, $E^{\pm}$의 $\mathfrak{osp}(1|2)$-등변성과 그 선형 조합의 닫힘 성질에 기반한다.
• 공간 $\bigwedge^{\bullet}(\mathbb{V}^*)^{\mathbb{C}} \otimes \mathbf{S}$가 기약 $(\mathfrak{g} \times \mathfrak{g}')$-모듈의 직합으로 분해됨을 보여줌으로써 분해를 확립한다.
• 그로텐디크 텐서곱 위상과 최소 전역화 함자의 호환성에 의해 전역적 구조가 도출된다.

실험 결과

연구 질문

• RQ1 메타플레틱 군이 심플렉틱 스핀어 값 외부 형식 위에서 작용할 때 중심화대수의 구조는 무엇인가?
• RQ2 이 설정에서 초대칭 리대수 $\mathfrak{osp}(1|2)$는 어떻게 메타플레틱 군 작용의 중심화대수로 나타나는가?
• RQ3 $Mp(\mathbb{V},\omega)$와 $\mathfrak{osp}(1|2)$의 공동 작용이 $\bigwedge^{\bullet}\mathbb{V}^* \otimes \mathbf{S}$ 위에서 기약 성분으로 분해될 수 있는가?
• RQ4 세갈-샤일-바일 표현의 최소 전역화가 이 이중성을 실현하는 데 어떤 역할을 하는가?
• RQ5 이 이중성은 메타플레틱 구조를 가진 다양체 위에서 심플렉틱 디랙 및 라리타-슈윙거 연산자의 스펙트럼과 어떻게 관련이 있는가?

주요 결과

• 메타플레틱 군 $Mp(\mathbb{V},\omega)$가 $\bigwedge^{\bullet}\mathbb{V}^* \otimes \mathbf{S}$ 위에서 작용할 때 중심화대수는 초대칭 리대수 $\mathfrak{osp}(1|2)$와 두 개의 특정 연산자들에 의해 생성된다.
• $\bigwedge^{\bullet}\mathbb{V}^* \otimes \mathbf{S}$ 공간은 $Mp(\mathbb{V},\omega)$와 $\mathfrak{osp}(1|2)$의 공동 작용 하에서 기약 표현의 직합으로 분해되며, 이는 다중도 없는 분해를 보여준다.
• 이 분해는 $(\mathfrak{g} \times \tilde{K}) \times \mathfrak{g}'$-모듈로서 $\bigoplus_{j=0}^{l}[(E_{jj}^{+} \otimes \mathbb{G}^{j}) \oplus (E_{jj}^{-} \otimes \mathbb{G}^{j})]$로 표현된다.
• $\mathfrak{osp}(1|2)$-작용은 연산자 $F^{\pm}$, $H$, $E^{\pm}$를 통해 실현되며, 이들이 $\mathfrak{g}'$-등변임이 증명되고 선형 조합에 대해 닫혀 있음을 보였다.
• 이 이중성 덕분에 심플렉틱 디랙 및 라리타-슈윙거 연산자의 좌표 불변 분석이 가능해지며, 특히 심플렉틱 투르비스터 연산자 $T_1$를 통해 그 스펙트럼 간의 관계를 규명할 수 있다.
• 결과적으로, $\lambda \in \mathrm{Spec}(\mathfrak{D}) \setminus -i l(\mathrm{Kill})$ 이면 $\lambda - \frac{1}{l}\lambda \in \mathrm{Spec}(\mathfrak{R})$ 임을 보였으며, $\psi \in \mathrm{Eigen}(\mathfrak{D}) \setminus \mathrm{Kill}$ 이면 $T_1\psi \in \mathrm{Eigen}(\mathfrak{R})$ 임을 보였다.