스핀 다양체

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

미분위상수학에서, 스핀 다양체(spin多樣體, 영어: spin manifold)는 스피너장을 정의할 수 있는 다양체다.[1][2] 즉, 직교 틀다발 을 이중 피복 공간 에 대하여 적절히 주다발 으로 확장할 수 있는 가향 () 리만 다양체다.

정의[편집]

임의의 자연수 에 대하여, 스핀 군에서 특수 직교군으로 가는 표준적인 2겹 전사 군 준동형

이 존재한다.

차원 가향 준 리만 다양체 위의 스핀 구조(spin構造, 영어: spin structure)는 다음 데이터로 구성된다.

  • Spin(n)-주다발
  • 이중 피복 공간

이 데이터는 다음 두 조건을 만족시켜야 한다.

  • 임의의 , 에 대하여 이다. (여기서 주다발 위의 군의 작용이다.) 즉, 군의 작용와 가환한다.

여기서 군 준동형이며, 직교 틀다발이다.

스핀 다양체는 스핀 구조를 지닌 가향 준 리만 다양체다.

스피너[편집]

차원의 (적절한 부호수를 지닌) 스피너복소수 벡터 공간이라고 부르자. 스핀 군은 스피너 공간에 유니터리하게 작용한다. 즉,

이다. 이에 따라, 그 인 복소수 연관 벡터 다발

을 정의할 수 있다. 이를 스피너 다발(영어: spinor bundle)이라고 한다. 스핀 다양체 위의 스피너장(spinor場, 영어: spinor field)은 스피너 다발의 매끄러운 단면이다.

성질[편집]

가향 다양체 위에 스핀 구조가 존재할 필요 충분 조건은 2차 슈티펠-휘트니 특성류

가 0인지 여부이다.[3]:115, Proposition 3.34

분류[편집]

만약 매끄러운 다양체 위에 스핀 구조가 존재한다면, 그 스핀 구조들의 집합은 코호몰로지류 의 집합과 일대일 대응한다.[3]:115, Proposition 3.34 이 대응성은 표준적(canonical)이지 않으며, 구체적으로 스핀 구조들의 집합은 에 대한 아핀 공간이다.

직관적으로 해석하면, 축약 불가능 폐곡선들을 따라 스피너평행 운송하였을 때 그 부호가 ±인지 여부가 스핀 구조를 결정짓는다. 이는 양자장론에서 페르미온의 라몽 경계 조건(영어: Ramond boundary condition, +) 및 느뵈-슈워츠 경계 조건(영어: Neveu–Schwartz boundary condition, −)의 선택에 대응한다.

[편집]

다음과 같은 다양체들은 적어도 하나의 스핀 구조를 갖는다.

다음과 같은 다양체들은 스핀 구조를 하나도 가지지 않는다.

  • 짝수 차원 복소수 사영 공간 은 스핀 구조를 갖지 않는다.

참고 문헌[편집]

  1. Lawson, H. Blaine; Marie-Louise Michelsohn (1989). 《Spin Geometry》. Princeton Mathematical Series (영어) 38. Princeton University Press. ISBN 978-0-691-08542-5. 
  2. Friedrich, Thomas (2000). 《Dirac Operators in Riemannian Geometry》. Graduate Studies in Mathematics (영어) 25. American Mathematical Society. ISBN 978-0-8218-2055-1. 
  3. Berline, N.; Getzler, E.; Vergne, M. (1992). 《Heat kernels and Dirac operators》. Grundlehren der Mathematischen Wissenschaften (영어) 298. Springer-Verlag. 

같이 보기[편집]

외부 링크[편집]