클리퍼드 가군 다발

틀:위키데이터 속성 추적 미분기하학에서 클리퍼드 가군 다발(Clifford加群다발, 틀:Llang)은 각 올이 (클리퍼드 다발의 올인) 클리퍼드 대수의 가군의 구조를 갖는 벡터 다발이다.

정의

다음 데이터가 주어졌다고 하자.

• 매끄러운 다양체 $M$
• $M$ 위의 클리퍼드 다발 $C$
• $M$ 위의 벡터 다발 $E$

만약 각 $x\in M$에서, $C_x$의 $E_x$ 위의 작용이 주어져 $E_x$가 $C_x$의 위상 왼쪽 가군이 되며, 그 작용이 모두 연속적이라면, $E$를 $C$의 클리퍼드 가군 다발(틀:Llang)이라고 한다. 물론, 마찬가지로 매끄러운 클리퍼드 가군 다발을 정의할 수 있다.

클리퍼드 가군 다발 접속

다음 데이터가 주어졌다고 하자.

• 매끄러운 다양체 $(M,g)$
• 매끄러운 클리퍼드 다발 $C$ 및 그 위의 클리퍼드 다발 접속 ${\mathrm{\nabla }}^C$
• $C$의 매끄러운 클리퍼드 왼쪽 가군 다발 $E\twoheadrightarrow M$
• $E$ 위의 코쥘 접속 ${\mathrm{\nabla }}^E$

만약 ${\mathrm{\nabla }}^E$가 다음 조건을 만족시킨다면, 클리퍼드 가군 다발 접속(틀:Llang)이라고 한다. 임의의 $a\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(C)$ 및 벡터장 $X\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(\mathrm{T}M)$ 및 매끄러운 단면 $s\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(E)$에 대하여,

$(\underset{X}{\overset{E}{\mathrm{\nabla }}})(a\bullet s)-a\bullet \underset{X}{\overset{E}{\mathrm{\nabla }}}s=(\underset{X}{\overset{C}{\mathrm{\nabla }}}a)\bullet s$

즉, 클리퍼드 접속은 클리퍼드 다발의 작용과 호환되는 코쥘 접속이다.

연산

직합

같은 클리퍼드 다발 위의 두 클리퍼드 가군 다발의 직합은 역시 클리퍼드 가군 다발이다.

텐서곱

다음 데이터가 주어졌다고 하자.

• 매끄러운 다양체 $M$
• $M$ 위의 클리퍼드 다발 $C$
• $C$ 위의 클리퍼드 가군 다발 $E$
• $M$ 위의 매끄러운 벡터 다발 $F$

그렇다면, $E\otimes F$ 위에는 표준적인 클리퍼드 가군 다발 구조가 다음과 같이 존재한다.

$c\bullet (e\otimes f)=(x\bullet e)\otimes f\mathrm{\forall }x\in M,c\in C_x,e\in E_x,f\in F_x$

특히, $F$가 (실수 또는 복소수) 선다발일 경우가 자주 사용된다.

예

스피너 다발

준 리만 다양체 $(M,g)$가 주어졌을 때, 그 접다발 $\mathrm{T}M$에 대한 클리퍼드 다발 $\mathrm{Cl}(\mathrm{T}M,g)\cong \mathrm{Cl}({\mathrm{T}}^{*}M,g^{-1})$이 존재한다. 만약 $(M,g)$에 스핀 다양체의 구조가 주어졌다면, 그 스피너 다발 $\mathrm{S}M$은 그 위의 클리퍼드 가군 다발을 이룬다. 이 경우 레비치비타 접속을 통해 $\mathrm{S}M$ 위의 클리퍼드 가군 다발 접속을 정의할 수 있다. 만약 $M$이 짝수 차원이라면, 스피너 다발은 바일 스피너 다발

$\mathrm{S}M={\mathrm{S}}^{+}M\oplus {\mathrm{S}}^{-}M$

으로 분해되며, 이 역시 각각 클리퍼드 가군 다발을 이룬다. 또한, 적절한 부호수에서 마요라나(-바일) 스피너 다발을 정의할 수 있으며, 이 역시 클리퍼드 가군 다발을 이룬다.

이 경우, 레비치비타 접속을 $\mathrm{S}M$ 위로 자연스럽게 확장할 수 있으며, 이는 클리퍼드 가군 다발 접속을 이룬다. 만약 $(M,g)$ 위에 스핀 구조가 주어졌을 때, 스피너 다발 $\mathrm{S}M$은 그 위의 클리퍼드 가군 다발을 이룬다.

보다 일반적으로, $(M,g)$ 위의 스핀C 다양체 구조가 주어졌다면, 이에 대한 스피너 다발은 역시 클리퍼드 가군 다발을 이룬다.

일반화 기하학

매끄러운 다양체 $M$ 위의 임의의 매끄러운 벡터 다발 $E$가 주어졌다면, $E\oplus E^{*}$ 위의 자연스러운 이차 형식

$Q(x,\xi )=\xi (x)$

을 통해 클리퍼드 다발 $\mathrm{Cl}(E\oplus E^{*},Q)$을 정의할 수 있다. 이 경우, $E\oplus E^{*}$의 단면은 임의의 미분 형식 $\alpha \in \mathrm{\Gamma }(\bigwedge E^{*})$ 위에 다음과 같이 작용한다.

$(x,\xi )\bullet \alpha =x⌟\alpha +\xi \wedge \alpha \in \mathrm{\Gamma }(\bigwedge E^{*})$

여기서 $⌟$는 내부곱이며 $\wedge$는 쐐기곱이다. 이 작용은

$(x,\xi )\bullet ((x,\xi )\bullet \alpha )=x⌟(\xi \wedge \alpha )-\xi \wedge (x⌟\alpha )=\xi (x)\alpha$

를 따르므로, $\bigwedge E^{*}$은 $\mathrm{Cl}(E\oplus E^{*})$ 위의 클리퍼드 가군 다발을 이룬다.

특히, $E=\mathrm{T}M$인 경우, 미분 형식은 이 클리퍼드 다발의 일종의 ‘스피너’처럼 행동하는 것을 알 수 있다.

같이 보기

• 스핀 표현

외부 링크

• 틀:Nlab