스핀C 다양체는 미분기하학 및 위상수학에서 사용되는 개념으로, 스핀 구조의 복소수화된 형태인 Spinⁿᶜ 구조를 갖는 매끄러운 다양체를 의미한다. 여기서 “C”는 복소수를 나타내는 기호이며, 영어 표기인 Spinⁿᶜ manifold을 한국어로 번역한 것이다.
정의
$M$을 차원 $n$의 매끄러운, 방향이 지정된 다양체라고 하자.
$SO(n)$의 두 배표현군인 Spin$^c$(n) 은
$$
\operatorname{Spin}^{c}(n)=\frac{\operatorname{Spin}(n)\times U(1)}{{\pm(1,1)}}
$$
으로 정의된다.
$M$의 프레임 번들 $P_{SO}\rightarrow M$가 주어지면, Spin$^c$ 구조는
$$
\widetilde{P}\xrightarrow{\ \pi\ } P_{SO}
$$
와 같이 $\operatorname{Spin}^{c}(n)$ 주다발 $\widetilde{P}$가 존재하여 $\pi$가 $\operatorname{Spin}^{c}(n)\to SO(n)$ 사상에 의해 유도되는 경우를 말한다.
이때 $\widetilde{P}$를 $M$의 Spin$^c$ 다발이라 하고, $M$을 Spin$^c$ 다양체 혹은 스핀C 다양체라 부른다.
존재 조건
Spin$^c$ 구조의 존재 여부는 위상적 장애인 두 번째 스틸베르그–와이트니 클래스 $w_{2}(M)\in H^{2}(M;\mathbb{Z}{2})$와 복소선다발의 첫 번째 체르 클래스 $c{1}(L)\in H^{2}(M;\mathbb{Z})$ 사이의 관계로 판단된다.
$$ \text{Spin}^{c}\text{ 구조 존재} \iff \exists; L\ \text{(복소선다발)}\ \text{s.t.}\ w_{2}(M)=c_{1}(L)\ \bmod 2. $$
즉, $w_{2}(M)$가 어떤 정수계(cohomology) 클래스의 2모듈레이션이라면 해당 클래스를 가진 복소선다발 $L$을 택함으로써 Spin$^c$ 구조를 정의할 수 있다.
특히, 방향이 지정된 모든 매끄러운 다양체는 적절한 복소선다발을 선택하면 Spin$^c$ 구조를 가질 수 있다는 것이 알려져 있다. 따라서 방향이 지정된 다양체는 언제든지 스핀C 구조를 도입할 수 있다.
주요 성질
| 성질 | 설명 |
|---|---|
| 복소화 | Spin$^c$ 구조는 Spin 구조에 복소수 위상 $U(1)$을 결합한 것이므로, Spin 구조가 존재하면 자연스럽게 Spin$^c$ 구조도 존재한다. |
| 양자화 | Spin$^c$ 구조는 복소벡터다발과 결합하여 Spin$^c$ Dirac 연산자를 정의할 수 있다. 이는 인덱스 정리와 연결되어 다양한 위상불변량을 계산하는 데 이용된다. |
| 코호몰로지 | Spin$^c$ 구조는 첫 번째 체르 클래스 $c_{1}(L)$를 통해 $H^{2}(M;\mathbb{Z})$와 연관된다. 따라서 $c_{1}(L)$는 구조의 동형사상 클래스들을 구분하는 불변량이다. |
| 대수기하학과의 관계 | 거의 복소구조를 갖는 다양체(예: 거의 복소다양체, 켈러 다양체)는 자연스럽게 전형적인 복소선다발을 통해 Spin$^c$ 구조를 가질 수 있다. |
예시
-
복소다양체
켈러 다양체와 같은 복소다양체는 복소 접합 구조에 의해 자동적으로 전통적인 Spin$^c$ 구조를 갖는다. 여기서 복소선다발 $L$은 접합(또는 반접합) 다발의 결정선다발이 된다. -
2차원 표면
모든 방향이 지정된 2차원 매끄러운 표면은 $w_{2}=0$이므로 스핀 구조가 존재하고, 따라서 스핀C 구조도 존재한다. -
3차원 리히만 다양체
3차원에서는 모든 방향이 지정된 리히만 다양체가 Spin$^c$ 구조를 가진다. 이는 Seiberg–Witten 이론 등에서 중요한 역할을 한다. -
스핀 구조가 없는 경우
실예시로 $\mathbb{C}P^{2}$는 스핀 구조가 없지만, 복소선다발 $\mathcal{O}(1)$의 첫 번째 체르 클래스를 이용해 Spin$^c$ 구조를 정의할 수 있다.
응용
- Spin$^c$ Dirac 연산자와 인덱스 정리: Atiyah–Singer 인덱스 정리의 복소화된 형태를 다룰 때 핵심 도구가 된다.
- Seiberg–Witten 이론: 4차원 위상수학에서 스핀C 구조는 Seiberg–Witten 방정식의 정의에 필수적이며, 이를 통해 다양체의 미분동형학적 불변량을 구한다.
- 양자장론: 전자와 같은 스핀-½ 입자를 복소벡터다발 위에 정의할 때 스핀C 구조가 사용된다.
- K-이론: 스핀C 구조는 복소 K-이론과 연결되어, 특히 스핀C 다발 위에 정의된 클라스가 K-동형사상으로 해석된다.
관련 항목
- Spin 다양체
- Spin$^c$ 구조
- Dirac 연산자
- Seiberg–Witten 불변량
- Atiyah–Singer 인덱스 정리
참고문헌
- M. F. Atiyah, I. M. Singer, “The Index of Elliptic Operators I”, Annals of Mathematics, 1963.
- H. B. Lawson, M.-L. Michelsohn, Spin Geometry, Princeton University Press, 1989.
- D. S. Freed, “Dirac charge quantization and generalized differential cohomology”, Surveys in Differential Geometry, 2000.
- J. W. Morgan, “The Seiberg–Witten Equations and Applications to the Topology of Smooth Four-Manifolds”, Mathematical Notes, 1996.
(위 참고문헌은 일반적인 교과서·논문을 예시로 든 것이며, 구체적인 페이지 번호 등 상세 내용은 해당 자료를 직접 확인하시기 바랍니다.)