[논문 리뷰] Spin spaces, Lipschitz groups, and spinor bundles

Thomas Friedrich, Andrzej Trautman|ArXiv.org|1999. 01. 29.

Advanced Operator Algebra Research참고 문헌 12인용 수 6

한 줄 요약

이 논문은 리만다이만다이만에서 복소 스피너(bundle)의 구조와 'lpin' 구조라고 불리는 특수한 구조 사이의 대응 관계를 수립한다. lpin 구조는 스피너 공간의 리프시츠 군으로의 옥시마이즈드 프레임 번들의 감소로 정의된다. 짝수 차원에서는 이 구조가 pin^c 구조로 감소함을 보이며, 홀수 차원에서는 이러한 번들의 존재가 가로지르기 가능성과 다양체의 위상적 조건과 연결되어 있음을 밝히며, 두 경우 모두에 대해 명시적인 구성과 예제를 제공한다.

ABSTRACT

It is shown that every bundle $\varSigma o M$ of complex spinor modules over the Clifford bundle $\Cl(g)$ of a Riemannian space $(M,g)$ with local model $(V,h)$ is associated with an lpin ("Lipschitz") structure on $M$, this being a reduction of the ${\Ort}(h)$-bundle of all orthonormal frames on M to the Lipschitz group $\Lpin(h)$ of all automorphisms of a suitably defined spin space. An explicit construction is given of the total space of the $\Lpin(h)$-bundle defining such a structure. If the dimension m of M is even, then the Lipschitz group coincides with the complex Clifford group and the lpin structure can be reduced to a pin$^{c}$ structure. If m=2n-1, then a spinor module $\varSigma$ on M is of the Cartan type: its fibres are 2^n-dimensional and decomposable at every point of M, but the homomorphism of bundles of algebras $\Cl(g) o\End\varSigma$ globally decomposes if, and only if, M is orientable. Examples of such bundles are given. The topological condition for the existence of an lpin structure on an odd-dimensional Riemannian manifold is derived and illustrated by the example of a manifold admitting such a structure, but no pin^c structure.

연구 동기 및 목표

• 리만다이만다이만에서 복소 스피너 번들에 대한 기하학적 대응 관계를 'lpin' 구조라 불리는 구조와 수립하는 것.
• lpin(h)에 기반한 리프시츠 군 번들의 전체 공간을 정의하고 구성하는 것.
• 짝수 차원과 홀수 차원에서 lpin 구조와 pin^c 구조 사이의 관계를 명확히 하는 것.
• 홀수 차원 다양체에서 lpin 구조의 존재를 위한 위상적 조건을 규명하는 것.
• 스피너 번들과 그들의 전역 분해 성질을 명시적으로 제공하는 것.

제안 방법

• 저자들은 스피너 공간을 클리퍼드 대수 작용이 있는 복소 벡터 공간으로 정의하고, 클리퍼드 모듈 구조를 유지하는 역행성 원소들의 군으로서 관련 리프시츠 군을 구성한다.
• 모든 복소 스피너 모듈 번들 Σ → M 이 클리퍼드 번들 Cl(g) 위에서 존재할 때, 이는 옥시마이즈드 프레임 번들의 리프시츠 군 Lpin(h)으로의 감소로부터 유도됨을 보인다.
• Lpin(h)-번들의 전체 공간은 프레임 번들과 리프시츠 군 Lpin(h)이 스피너 공간 위에 작용하는 방식을 이용해 관련 번들 구성법을 통해 명시적으로 구성된다.
• 짝수 차원에서는 리프시츠 군이 복소 클리퍼드 군과 일치하며, 이는 pin^c 구조로의 감소를 가능하게 한다.
• 홀수 차원 다양체(m = 2n−1)의 경우, 클리퍼드 대수의 호모모르피즘 Cl(g) → End(Σ)의 전역 분해를 분석하여, M가 가로지르기 가능할 때이고 그때에만 분해됨을 보인다.
• 특성 클래스를 이용해 lpin 구조의 존재에 대한 위상적 장벽을 유도하며, lpin 구조는 존재하지만 pin^c 구조는 존재하지 않는 반례를 제시한다.

실험 결과

연구 질문

• RQ1 리만다이만다이만에서 복소 스피너 번들을 프레임 번들의 기하학적 구조와 체계적으로 연관시키는 방법은 무엇인가?
• RQ2 스피너 번들에 대한 구조군으로서 리프시츠 군의 정확한 성격은 무엇이며, 옥시마이즈드 프레임 번들과의 관계는 어떠한가?
• RQ3 홀수 차원 리만다이만다이만에서 lpin 구조가 존재하는 조건은 무엇이며, pin^c 구조의 존재와는 어떻게 다를까?
• RQ4 왜 홀수 차원에서 클리퍼드 대수 호모모르피즘 Cl(g) → End(Σ)는 다양체가 가로지르기 가능할 때에만 전역적으로 분해되는가?
• RQ5 lpin 구조는 존재하지만 pin^c 구조는 존재하지 않는 다양체가 존재할 수 있는가? 만약 그렇다면 그 위상적 성질은 무엇인가?

주요 결과

• 리만다이만다이만(M,g) 위의 모든 복소 스피너 모듈 번들 Σ → M 는 옥시마이즈드 프레임 번들의 리프시츠 군 Lpin(h)으로의 감소로부터 유도되며, 이는 이러한 번들들과 lpin 구조 사이의 일대일 대응을 수립한다.
• 짝수 차원에서는 리프시츠 군이 복소 클리퍼드 군과 일치하며, lpin 구조는 pin^c 구조로 감소한다.
• 차원이 m = 2n−1인 홀수 차원 다양체의 경우, 스피너 모듈 Σ는 2^n차원이며, 다양체가 가로지르기 가능할 때에만 전역적으로 분해된다.
• 홀수 차원 리만다이만다이만에서 lpin 구조의 존재를 위한 위상적 조건이 도출되었으며, 이는 첫 번째 스티펠-브리트 클래스와 스피너 번들의 구조를 포함한다.
• 3차원 다양체의 명시적 예가 구성되었으며, 이는 lpin 구조는 존재하지만 pin^c 구조는 존재하지 않는다는 것을 보여주며, 홀수 차원에서 lpin 구조가 pin^c 구조보다 엄밀히 더 일반적임을 입증한다.
• 논문은 Lpin(h)-번들의 전체 공간을 완전히 구성하였으며, 관련 번들 이론을 통해 스피너 모듈을 분류하는 방법을 보여준다.