[논문 리뷰] Revisiting pinors, spinors and orientability

L. Bonora, Fabio Ferrari Ruffino외 1명|arXiv (Cornell University)|2009. 07. 24.

Geometric and Algebraic Topology참고 문헌 12인용 수 7

한 줄 요약

이 논문은 비유도 가능한 짝수 차원 다양체 위의 핀 구조와 그 유도 가능한 이중 덮개 위의 $\tau$-불변 핀 구조 사이의 대응관계를 조사하며, 자연스러운 역상 매핑이 단사 또는 전사가 아님을 보여준다. 이 매핑의 전사성을 복원하기 위해, 특히 시트 교환 동형사상의 제곱이 항등사상이 되는 조건을 요구하는 조건을 설정하고, 핀스피너를 명시적으로 참조해야만 이중 덮개 위의 스피너가 기저 다양체 위의 핀 구조를 묘사할 수 있음을 보여준다.

ABSTRACT

We study the relations between pin structures on a non-orientable even-dimensional manifold, with or without boundary, and pin structures on its orientable double cover, requiring the latter to be invariant under sheet-exchange. We show that there is not a simple bijection, but that the natural map induced by pull-back is neither injective nor surjective: we thus find the conditions to recover a full correspondence. We also show how to describe such a correspondence using spinors instead of pinors on the double cover: this is in a certain sense possible, but in a way that contains anyhow an explicit reference to pinors. We then consider the example of surfaces, with detailed computations for the real projective plane, the Klein bottle and the Moebius strip.

연구 동기 및 목표

• 비유도 가능한 다양체 $X$ 위의 핀 구조와 그 유도 가능한 이중 덮개 $\tilde{X}$ 위의 $\tau$-불변 핀 구조 사이의 관계를 명확히 하기 위해.
• 다양체 $X$ 위의 핀 구조에서 $\tau$-불변 핀 구조로의 자연스러운 역상 매핑 $\Phi$ 가 전단사가 아니라는 문제를 해결하기 위해.
• 스피너가 이중 덮개 $\tilde{X}$ 위에 있을 때, 핀스피너를 명시적으로 참조해야만 기저 다양체 위의 핀 구조를 묘사할 수 있음을 보여주기 위해.
• 경계를 가진 다양체에 대한 분석을 확장하여, 특히 모비우스 띠에서의 상세한 계산을 통해 수행하기 위해.
• 군 작용의 기하적 실현을 다루며, [1]과 [10]의 결과를 핀 기하학의 맥락에서 일반화하기 위해.

제안 방법

• 다양체 $X$ 위의 핀 구조에서 그 유도 가능한 이중 덮개 $\tilde{X}$ 위의 $\tau$-불변 핀 구조로의 역상 매핑 $\Phi$ 를 사용한다.
• 비단사성은 $H^1(X, \mathbb{Z}_2)$ 에 속하는 $w_1(X)$ 의 작용으로 인해 발생하며, 이는 닫히지 않은 경로를 따라 끌려온 핀 구조의 휠링 차이를 나타낸다.
• 역상 매핑 $\Phi$ 의 전사성을 복원하기 위해, $\widetilde{d\tau}^2 = \text{id}$ 라는 조건(시트 교환은 아님)을 도입한다.
• 스피너 섹션을 $\tilde{X}$ 에서 분석하여 $X$ 위의 핀 구조를 묘사하지만, 이는 $\text{Pin}^\pm$ 의 구분을 명시적으로 참조해야만 가능하다는 것을 보여준다.
• 표면들(실수 사영 평면, 클라인 병, 모비우스 띠)에 이 프레임워크를 적용하여, 휠링과 구조 클래스를 명시적으로 계산한다.
• 경계를 가진 다양체를 고려하기 위해, 경계를 토러스에 매립하고 $\tau$ 작용에 따른 스피너 구조의 끌림을 분석한다.

실험 결과

연구 질문

• RQ1 왜 비유도 가능한 다양체 $X$ 위의 핀 구조에서 그 이중 덮개 $\tilde{X}$ 위의 $\tau$-불변 핀 구조로의 자연스러운 역상 매핑 $\Phi$ 는 단사 또는 전사가 아닐까?
• RQ2 역상 매핑 $\Phi$ 의 전사성을 복원하기 위해 추가로 어떤 조건이 필요한가?
• RQ3 유도 가능한 이중 덮개 $\tilde{X}$ 위의 스피너는 어떻게 기저 다양체 $X$ 위의 핀 구조를 묘사할 수 있으며, $\text{Pin}^\pm$ 구조는 이 묘사에서 어떤 역할을 하는가?
• RQ4 경계를 가진 다양체, 특히 모비우스 띠의 경우 핀 구조와 스피너 구조는 어떻게 행동하는가?
• RQ5 닫히지 않은 경로를 따라 휠링이 발생하는 것은, $X$ 위의 서로 다른 핀 구조가 $\tilde{X}$ 에서는 동치로 보일 때 이를 구별하는 데 어떤 역할을 하는가?

주요 결과

• 역상 매핑 $\Phi$ 는 $\widetilde{d\tau}^2 = \text{id}$ 라는 조건(시트 교환은 아님)이 $\tilde{\xi}$ 와 $\tau^*\tilde{\xi}$ 사이의 동형사상 $\widetilde{d\tau}$ 에 대해 도입되지 않으면 전사가 아니다.
• $\Phi$ 의 비단사성은, $X$ 위의 두 핀 구조가 $w_1(X)$ 에 의해 다를 경우, 그 끌림 차이가 끌려온 경로에서 사라지므로 $\tilde{X}$ 에서 동치로 보이기 때문에 발생한다.
• 실수 사영 평면과 클라인 병의 경우, 두 개의 서로 다른 $\text{Pin}^\pm$ 구조가 존재하며, 이중 덮개인 구면 위의 $\tau$-불변 구조는 비자명한 단일 회귀성(모노드로미)을 가진 특정한 끌림에 대응한다.
• 모비우스 띠의 경우, 경계에서의 스피너 구조를 토러스에 매립하여 분석하였으며, $\theta=0$ 과 $\theta=\pi$ 에서의 끌림이 부호와 기준 기저의 방향에 따라 다름을 보여주었고, 이는 $\pm e_1$ 또는 $\pm e_1e_2$ 를 포함하는 서로 다른 스피너 끌림을 유도한다.
• 토러스 위의 스피너 구조의 두 동치류는 각각 $\tilde{\xi}_0 \cup_{\text{id}} \tau^*\tilde{\xi}_0 \simeq \tilde{\xi}_1 \cup_{\text{id}} \tilde{\xi}_1$ 과 $\tilde{\xi}_1 \cup_{\widetilde{d\tau}} \tilde{\xi}_1$ 로 표현되며, 이는 동형사상 $\widetilde{d\tau}$ 가 구조를 분류하는 데서 중요한 역할을 한다는 것을 보여준다.
• 스피너를 사용하여 $\tilde{X}$ 위에서 $X$ 위의 핀 구조를 묘사하는 구성은, $\text{Pin}^+$ 와 $\text{Pin}^-$ 의 구분을 명시적으로 참조해야만 가능하며, 이는 원래의 핀 접속의 전역 기하학적 구조를 유지한다.