미분 기하학 및 수학적 물리학에서 스핀 연결은 스피너 번들에 대한 연결이다.그것은 표준적인 방법으로 아핀 연결에서 유도된다.국소 로렌츠 변환에 의해 생성되는 게이지장으로도 간주할 수 있다.일반 상대성 이론의 일부 표준적 공식에서 스핀 연결은 공간 슬라이스에서 정의되며 국소 회전으로 생성된 게이지장으로도 간주할 수 있다.
스핀 연결은 레비-시비타 스핀 연결에서 파생될 때 레비-시비타 스핀 연결과 아핀 연결에서 얻을 때 아핀 스핀 연결의 두 가지 일반적인 형태로 발생한다.이들 둘 사이의 차이점은 리바이-시비타 연결은 정의상 고유한 비틀림 없는 연결인 반면, 아핀 연결부는 비틀림을 포함할 수 있다는 것이다.)는 비틀림을 포함할 수 있다는 것이다.
정의
a 을(를) 로컬 로렌츠 프레임 필드 또는 비어베인(테트라드라고도 함)으로
두십시오. 이 필드는 메트릭 텐서를 대각선으로 하는 직교 공간 시간 벡터 필드 집합입니다.

여기서 은
시간 측정 기준이고, 은 b 은
민코스키 측정 기준이다.여기서 라틴 문자는 국부 로렌츠 프레임 지수를 나타내고, 그리스 지수는 일반 좌표 지수를 나타낸다.은 단순히 e μ a {\ nu
을
를) 국부적으로 평탄하다는 것을 나타낸다.그리스 바이에르베인 지수는 미터법으로 올리거나 내릴 수 있다. 즉, 또는
라틴어 또는 "로렌츠어" 비어베인 지수는 각각
또는
에 의해 또는 하강할 수 있다.예를 들어 = g a a}=g}^{\ 및 e = a = η a _a}{\}e}e_{}e}e_{\nu }e}e}{\}^{\nu}^{\b.
비틀림 없는 스핀 연결은 다음에 의해 제공된다.

여기서 μ은
크리스토펠 기호다.이 정의는 비틀림 없는 스핀 연결을 정의하는 것으로 간주해야 하는데, 관습에 의해 크리스토펠 기호는 리바-시비타 연결에서 파생되며, 리만 다지관의 비틀림 없는 고유한 미터법 호환성이 있는 비틀림 없는 연결은 리바-시비타 연결에서 파생된다.일반적으로 제한은 없다: 스핀 연결에도 비틀림이 포함될 수 있다.
Note that
using the gravitational covariant derivative ; \ \ b e
스핀 연결은 순수한 바이얼빈 필드 측면에서 다음과[1] 같이 작성될 수 있다.

정의에 따르면 내부 a {\ a에서 반제곱이다
스핀 연결 a ^{\은(는) 일반화된 텐더에
공변량 파생 μ을
정의한다.예를 들어, a 에 대한 동작은

카르탄의 구조 방정식
카르탄 형식주의에서 회전 연결은 비틀림과 곡률 모두를 정의하는데 사용된다.이것들은 차등형식으로 작업하면 가장 읽기 쉬운데, 이것은 많은 인덱스를 감추기 때문이다.여기에 제시된 방정식은 연결 형태와 곡률 형태에 관한 글에서 찾을 수 있는 방정식의 재작성이다.주요한 차이점은 이것들이 바이얼빈에 있는 지수를 완전히 숨기는 대신 유지한다는 것이다.보다 좁게, 카르탄 형식주의는 그것의 역사적 배경에서 해석될 것이다. 동질적 공간에 대한 아핀 연결의 개념을 일반화한 것이다.; 그것은 섬유 묶음에 대한 주요한 연결의 개념만큼 아직 일반적이지 않다.리만 기하학의 좁은 설정과 완전히 추상적인 섬유다발 설정 사이의 적절한 중간점 역할을 하므로 게이지 이론과의 유사성을 강조한다.여기서 표현된 바와 같이 카르탄의 구조 방정식에는 직접적인 아날로그가 있다는 점에 유의하십시오: 리 그룹에 대한 마우르-카탄 방정식(즉, 그것들은 같은 방정식이지만 다른 설정과 표기법).
바이얼빈을 차등 폼으로 쓰기

코탄젠트 번들의 정형 좌표에 대해, 어핀 스핀 연결 원폼은

비틀림 2 형식은 다음과 같다.

곡률 2-폼이

이 두 방정식을 합쳐서 카르탄의 구조 방정식이라고 한다.[2]일관성을 위해서는 비안치족의 정체성이 지켜져야 한다.첫 번째 비앙치 아이덴티티는 비틀림의 외부 파생물을 취함으로써 얻는다.

곡면성을 구분하여 두 번째 항목:

p의 일반
차등 형태 에 대한 공변량 파생상품은 다음과 같이 정의된다.

그러자 비안치의 두 번째 정체가 된다.

비틀림과의 연결부와 비틀림 없는 고유한 비틀림 연결부 사이의 차이는 비틀림 텐서(tension tensor)에 의해 주어진다.비틀림과의 연관성은 흔히 원격병행론, 아인슈타인-카르탄 이론, 게이지 이론 중력, 초중력 이론에서 발견된다.
파생
미터법
It is easy to deduce by raising and lowering indices as needed that the frame fields defined by
will also satisfy
and
. We expect that
will also annihilate the Minkowski metric
,

이는 연결부가 내부 지수에서 a= - _omega mu }}}}{\ }^{\mu
This is also deduced by taking the gravitational covariant derivative
which implies that
thus ultimately,
.이것을 미터법 조건이라고 부르기도 한다.[2] ; 이 조건은 일반적으로 부속 회전 연결부가 아닌 Levi-Civita 스핀 연결에만 유지된다는 점에 유의한다
.
By substituting the formula for the Christoffel symbols
written
의 관점에서 스핀 연결부는 완전히 
![{\displaystyle {\omega _{\mu }}^{ab}=e^{\nu [a}({{e_{\nu }}^{b]}}_{,\mu }-{{e_{\mu }}^{b]}}_{,\nu }+e^{\sigma |b]}{e_{\mu }}^{c}e_{\nu c,\sigma })}](https://wikimedia.org/api/rest_v1/media/math/render/svg/877b04265d4589a40897188a45f00c78fd16d287)
여기서 지수의 대칭성이 1/2의 암묵적 인자를 갖는 경우.
메트릭 호환성 기준
이 공식은 다른 방법으로 도출될 수 있다.To directly solve the compatibility condition for the spin connection
, one can use the same trick that was used to solve
for the Christoffel symbols
}}} 호환성 조건을 계약해 주어
.
그런 다음 자유 지수 , ,
및
의 주기적 순열을 수행하고 다음과 같은 세 가지 결과 방정식을 더하고 빼십시오.

서 b [ a b}{
a}}}}.스핀 연결을 위한 해결책은
- c = e ( + - ) 2}{alpha }}}}}^{{bca{ab

이것으로부터 우리는 전과 같은 공식을 얻는다.
적용들
회전 연결은 곡면 스페이스타임 언어로 표현될 때 Dirac 방정식에서 발생한다.특히 중력을 스피너 장과 결합시키는 문제가 있다: 일반 공분산 그룹의 유한 차원 스피너 표현은 없다.그러나 로렌츠 그룹의 스핀오럴적 표현은 물론 있다.이 사실은 스페이스타임의 모든 시점에서 평평한 접선 공간을 설명하는 테트라드 장을 채택함으로써 활용된다.Dirac 행렬 은
(는) 비어바이엔스에 계약되어 있다.
- ()= ( ) \ \ \ \ \^{\mu }}}}x)=\}

우리는 일반적으로 공변량 Dirac 방정식을 만들고 싶다.평평한 접선 공간 아래에서 로렌츠 변환기는 다음과 같이 변환한다.

b {\ab
s에 의해 생성된 평평한 접선 공간에 로컬 로렌츠 변환을 도입하여, {\은 시공간 함수를 의미한다
.이것은 스피너의 부분적 파생상품이 더 이상 진정한 텐서가 아니라는 것을 의미한다.여느 때처럼 로렌츠 그룹을 가늠할 수 있는
연결장 a 를 소개한다.스핀 연결로 정의된 공변량 파생상품은,
,
그리고 진정한 텐서(tensor)이며 디락의 방정식은 다음과 같이 다시 쓰여진다.
- μ μ - m) =
.
일반적으로 공변성 페르미온 작용은 첫 번째 순서인 테트라디 팔라티니 작용에 페르미온을 중력에 결합시킨다.
![{\displaystyle {\mathcal {L}}=-{1 \over 2\kappa ^{2}}e\,{e^{\mu }}_{a}{e^{\nu }}_{b}{\Omega _{\mu \nu }}^{ab}[\omega ]+e{\overline {\psi }}(i\gamma ^{\mu }\nabla _{\mu }-m)\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0f0c0f62309bfe57a118bd475376537b997842e)
여기서
a=- g e Oomega 는 스핀 연결의
곡률이다.
아인슈타인의 첫 번째 순서 공식인 일반 상대성 이론의 테트라딕 팔라티니 공식테트라드와 스핀 연결이 기본 독립 변수인 힐버트 작용.팔라티니 공식의 3+1 버전에서 공간적 메트릭에 정보인 ( x)
는 triad
3차원, 테트라드의 공간 버전)로 인코딩된다.Here we extend the metric compatibility condition
to
, that is,
and we obtain a formula similar to the one given above but for the spatial spin connection 
공간 스핀 연결은 3+1 일반 상대성이론을 특수 의 U( )}양-밀스
게이지 이론으로 다시 쓸 수 있는 Ashtekar-Barbero 변수의 정의에 나타난다.하나는 ai = j a k ^{를 정의한다
The Ashtekar-Barbero connection variable is then defined as
where
and
is the extrinsic curvature and 은
(는) Imirzi 매개 변수다.With
as the configuration variable, the conjugate momentum is the densitized triad
. With 3+1 general relativity rewritten as a special type of
Yang–Mills게이지 이론은 양자 색역학에서 표준 양자 일반 상대성 이론에 사용되는 비침습적 기법의 수입을 허용한다.
참고 항목
참조
- ^ M.B. 그린, J.H. 슈바르츠, E. 위튼, "수퍼스트링 이론", 제2권.
- ^ a b 토후루 에구치, 피터 B.Gilkey와 Andrew J. Hanson, "중력, 게이지 이론 및 미분 기하학", 물리학 보고서 66 (1980) 페이지 213-393.
- F.W. Hal, F.W.; 폰 데르 헤이드, P.; G.D. Kerlick; J.M. (1976), "돌림과 비틀림을 가진 일반 상대성: "기초와 전망", Mod.체육관 48번, 393번.
- 키블, T.W.B.(1961), "로렌츠 불변성과 중력장", J. 수학.체육관 2,212호
- Poplawski, N.J.(2009), "스팩타임 및 필드", arXiv:0911.0334
- 시카마, D.W. (1964년), "일반 상대성 이론의 물리적 구조" 모드 목사.체육관 36, 463호