[논문 리뷰] The spinor bundle of Riemannian products

Frank Klinker|ArXiv.org|2002. 12. 04.

Advanced Differential Geometry Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 리만 곱다양체 $M = M_1 \times \cdots \times M_N$의 스피너(bundle)과 그 인자들의 스피너(bundle)의 텐서곱 사이에 표준적 동형사상이 존재함을 보이며, 리만 곱형이 아닌 일반적인 계량에서 성립한다. 이 구성은 클리포드 곱셈과 $\mathbb{Z}_2$-중요도를 사용하여 인자들의 스피너(bundle)를 텐서곱으로 조합하여 $M$ 위의 스피너(bundle)를 정의하며, 스핀 다양체임을 증명하고, 스핀 스피너(bundle)가 텐서곱 스피너(bundle)의 부분다양체임을 보인다. 이는 호로노미나 국소 곱형 조건을 가정하지 않아도 성립한다.

ABSTRACT

In this note we compare the spinor bundle of a Riemannian manifold $(M=M_1 imes... imes M_N,g)$ with the spinor bundles of the Riemannian factors $(M_i,g_i)$. We show, that - without any holonomy conditions - the spinor bundle of $(M,g)$ for a special class of metrics is isomorphic to a bundle obtained by tensoring the spinor bundles of $(M_i,g_i)$ in an appropriate way.

연구 동기 및 목표

• 리만 곱다양체 $M = M_1 \times \cdots \times M_N$ 위의 스피너(bundle)를 그 인자들의 스피너(bundle)로부터 엄밀한 구성법을 제시하는 것.
• 스피너(bundle)의 동형사상이 $M$의 스피너(bundle)와 인자들의 스피너(bundle)의 텐서곱 사이에 성립한다는 일반적인 증명이 부족한 문제를 해결하는 것. 이는 물리학에서 널리 사용되지만 이전까지 증명되지 않았다.
• 특정 계량 분해(2)를 만족하는, 반드시 리만 곱형이 아닌 계량에서도 동형사상이 성립하는 조건을 명확히 하는 것.
• 1차원 인자와 $N=2$인 경우에 알려진 결과(Baum, 1989a)를 임의의 차원과 일반적인 형식(2)의 계량으로 확장하는 것.

제안 방법

• 논문은 각 인자 $M_i$의 스피너(bundle) $S_i$로부터 $W = \bigotimes_{i=1}^N (S_i^+ \oplus S_i^-)$라는 다발을 구성하며, 이는 $\mathbb{Z}_2$-중요도를 지닌다.
• 선형 사상 $\delta_k$를 사용한 수정된 작용을 통해 $W$ 위에 클리포드 곱셈을 정의한다. 이는 $k$-번째 인자에 연산자를 삽입할 때의 중복 부호를 추적한다.
• 계량 $g$는 $g_{ab}|_{TM_i} = A_i^c_a g_i^{cd} A_i^d_b$ 형식을 가지며, 이는 접선다발이 직교적으로 분해되고 프레임다발이 $SO(D_1) \times \cdots \times SO(D_N)$로 축소됨을 보장한다.
• 스핀 구조는 $Spin(D)$-주다발을 $Spin(D_1) \times \cdots \times Spin(D_N)$로 축소함으로써 구성되며, 이는 $P_G \times P_{\widetilde{H}}$의 피보트를 $P_H$로 나누는 방법을 사용한다.
• 스핀 스피너(bundle) $S$는 등급 $S \simeq (P_G \times P_{\widetilde{H}})/P_H \times_{\widetilde{G}} \hat{S}$를 통해 $W$의 부분다양체로 식별된다. 여기서 $\hat{S}$는 표준 스피너 표현이다.
• 핵심 기술적 단계는 모든 $X,Y \in TM$ 및 $\Xi \in W$에 대해 클리포드 관계 $(XY + YX)\Xi = -2g(X,Y)\Xi$ 가 $W$ 위에서 성립함을 증명하는 것으로, 이는 다발이 타당한 클리포드 모듈러 구조를 지닌다는 것을 확인한다.

실험 결과

연구 질문

• RQ1 리만 곱다양체 $M = M_1 \times \cdots \times M_N$의 스피너(bundle)가 그 인자들의 스피너(bundle)의 텐서곱과 동형임이 성립하는 조건은 무엇인가?
• RQ2 계량이 리만 곱형이거나 호로노미가 분해된다는 가정 없이도, $M$의 스피너(bundle)와 인자 스피너(bundle)의 텐서곱 사이의 동형사상이 어떻게 확립될 수 있는가?
• RQ3 전체 스피너(bundle) $W$ 위의 클리포드 곱셈이 각 인자 $M_i$에서의 곱셈으로부터 곱다양체 $M$으로 어떻게 확장되는가?
• RQ4 $\mathbb{Z}_2$-중요도는 클리포드 곱셈에 의한 $M$ 위에서의 스핀어림의 적절한 변환 성질을 보장하는 데 어떤 역할을 하는가?
• RQ5 주어진 계량 조건(2) 하에서, $M$의 스핀 구조가 인자 $M_i$의 스핀 구조로부터 유일하게 결정되는가? 이는 다발 축소에 어떻게 반영되는가?

주요 결과

• 계량 $g$가 리만 곱형이 아니더라도 조건 (2)를 만족하면, 리만 곱다양체 $M = M_1 \times \cdots \times M_N$의 스피너(bundle)는 텐서곱 다발 $W = \bigotimes_{i=1}^N (S_i^+ \oplus S_i^-)$의 부분다양체 $S$와 동형임을 보였다.
• 모든 $X,Y \in TM$ 및 $\Xi \in W$에 대해 클리포드 관계 $(XY + YX)\Xi = -2g(X,Y)\Xi$ 가 $W$ 위에서 성립함을 확인하여, $W$ 가 타당한 클리포드 모듈러 구조를 지닌다는 것을 증명하였다.
• 다양체 $M$의 스핀 구조는 인자 $M_i$의 스핀 구조의 곱으로부터 유도되며, $M$ 위의 $Spin(D)$-주다발은 $Spin(D_1) \times \cdots \times Spin(D_N)$로 축소되어 $M$이 스핀 다양체임을 보장한다.
• $A_i = \text{id}$ 인 특수한 경우에 이 구성은 표준 결과를 복원한다. 즉, 리만 곱다양체의 스피너(bundle)는 인자들의 스피너(bundle)의 텐서곱과 동형이다.
• 이 구성은 기존의 $N=2$이면서 1차원 인자를 가진 경우(Baum, 1989a)의 결과를 임의의 $N$과 일반적인 형식(2)의 계량으로 일반화하여, 수학 문헌의 빈자리 메워줌을 보였다.
• 결과는 리만 기하학을 초월하여 의사-리만 기하학 설정에서도 성립함을 비고 6(1)에서 언급한 바 있어, 적용 범위가 넓어진다.