주다발

틀:위키데이터 속성 추적 위상수학에서 주다발(主-, 틀:Llang)은 올이 위상군인 올다발이다. 이 경우, 위상군의 군론적 및 위상학적 성질이 다발의 위상학적 성질과 서로 호환되어야 한다. 즉 밑이 위상 공간 $X$이고 올이 위상군 $G$인 주다발은 국소적으로 $X\times G$와 같으나, 대역적으로 다를 수 있다.

정의

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

• 위상 공간 $X$
• 위상군 $G$

그렇다면, 올이 $G$이고 밑이 $X$인 주다발은 다음과 같은 데이터로 주어진다.

• 올이 $G$인 올다발 $\pi :P\twoheadrightarrow X$
• 연속 오른쪽 작용 $P\times G\to P$

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

• 모든 $g\in G$, $p\in P$에 대하여, $\pi (p\cdot g)=\pi (p)$. 즉, 각 $x\in X$에 대하여, $G$는 올 $P_x$ 위에 작용한다.
• 임의의 $p,p^{\prime }\in G$에 대하여, 만약 $\pi (p)=\pi (p^{\prime })$이라면, $p\cdot g=p^{\prime }$인 $g\in G$가 유일하게 존재한다. 즉, 임의의 $x\in X$에 대하여, 오른쪽 작용 $P_x\times G\to P_x$는 정추이적 작용이다. 여기서 $P_x={\pi }^{-1}(\{x\})$는 $x$ 위의 $P$의 올이다.

두 조건 가운데 첫째 조건은 다음과 같은 가환 그림으로 표현된다.

$\begin{array}{ccc}P\times G& \stackrel{\cdot }{\to }& P\\ {\mathrm{proj}}_1\downarrow {\mathrm{proj}}_1& & \pi \downarrow \pi \\ P& \to \pi & X\end{array}$

두 조건 가운데 둘째 조건은 다음과 같은 가환 그림으로 표현된다.

$\begin{array}{ccc}& & P\times G\\ & {}^{{\mathrm{proj}}_1}\swarrow {\mathrm{\backslash color}}^{{\mathrm{proj}}_1}& \mathrm{\exists }!\uparrow \mathrm{\exists }!& {\mathrm{\backslash color}}^{\cdot }{\searrow }^{\cdot }\\ P& \stackrel{p}{\leftarrow }& \bullet & \stackrel{p^{\prime }}{\to }& P\\ & {}_{\pi }\searrow {\mathrm{\backslash color}}_{\pi }& & {\mathrm{\backslash color}}_{\pi }\swarrow {}_{\pi }\\ & & X\end{array}$

만약

• $G$가 리 군이며,
• $P$와 $X$가 매끄러운 다양체이며,
• $\pi :P\to X$가 매끄러운 함수이며,
• $G$의 작용 $P\times G\to P$ 역시 매끄러운 함수라면

$(X,G,P,\pi )$를 매끄러운 주다발(-主-, 틀:Llang)이라고 한다.

주다발 사상

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

• 두 위상 공간 $X$, $Y$
• 위상군 $G$와 $H$
• $G$-주다발 ${\pi }_P:P\twoheadrightarrow X$, ${\pi }_Q:Q\twoheadrightarrow Y$

이 두 주다발 사이의 주다발 사상(틀:Llang) $(f,\varphi )$는 다음과 같은 데이터로 구성된다.틀:Rp

• 연속 함수 $f:X\to Y$
• 연속 함수 $\mathrm{\Phi }:P\to Q$
• 연속 군 준동형 $\varphi :G\to H$

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

$\mathrm{\Phi }(p\cdot g)=\mathrm{\Phi }(p)\cdot \varphi (g)\mathrm{\forall }(p,g)\in P\times G$

$f\circ {\pi }_P={\pi }_Q\circ \mathrm{\Phi }$

즉, 다음 가환 그림이 성립해야 한다.

$\begin{array}{ccc}P\times G& \stackrel{(\mathrm{\Phi },\varphi )}{\to }& Q\times H\\ \cdot \downarrow \cdot & & \cdot \downarrow \cdot \\ P& \stackrel{\mathrm{\Phi }}{\to }& Q\\ {\pi }_P\downarrow {\pi }_P& & {\pi }_Q\downarrow {\pi }_Q\\ X& \underset{f}{\overset{}{\to }}& Y\end{array}$

주다발 사상 $(f,\mathrm{\Phi },\varphi )$에서, 만약 $X=Y$이며, $f={\mathrm{id}}_X$가 항등 함수이며, $\varphi$가 단사 함수라면 (즉, 부분군의 포함 사상이라면) $(\mathrm{\Phi },\varphi )$를 구조군 축소(構造群縮小, 틀:Llang)라고 한다.

주연장

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

• $n$차원 매끄러운 다양체 $M$
• 리 군 $G$
• $X$ 위의 매끄러운 $G$-주다발 $\pi :P\twoheadrightarrow X$
• 자연수 (음이 아닌 정수) $0\le q\le p$

그렇다면, 다음과 같은, $M$ 위의 올다발을 정의할 수 있다.

${\mathrm{W}}^{p,q}P={\mathrm{F}}^{p}M{\times }_M{\mathrm{J}}^{q}P$

여기서

• ${\mathrm{F}}^{p}M$은 $M$ 위의 $p$차 틀다발이다. 이는 $M$ 위의 주다발이며, 그 올군은 $p$차 $n$차원 제트 군 $\mathrm{Jet}(p,n)$이다.
• ${\mathrm{J}}^{q}P$는 $P$ 위의 $q$차 제트 다발이다. 이는 $P$ 위의 벡터 다발이다.
• ${\times }_M$은 $M$ 위의 두 올다발의 곱이다.

즉, 국소적으로 ${\mathrm{W}}^{p,q}P$의 점은 다음과 같은 꼴이다.

$({\mathrm{j}}_0^{p}f,{\mathrm{j}}_x^{h}g)$

여기서

• $f:U\to V$은 단사 매끄러운 함수이며, $0\in U\subseteq {ℝ}^n$은 열린집합이며, $x\in V\subseteq M$ 역시 열린집합이다.
• ${\mathrm{j}}_0^{p}f$는 $f$의, $0\in U$에서의 $p$차 제트이다.
• $s:V\to P$는 $P\upharpoonright V$의 단면이다.

이는 $P$ 위의 주다발을 이룬다. 그 올군은

$\mathrm{Jet}(n,p)⋊{\mathrm{T}}^{q}G$

이다. 여기서

${\mathrm{T}}^{q}G=\{{\mathrm{j}}_0^{q}g:g:{ℝ}^n\to G\}$

이며, 그 군 연산은 다음과 같다.

$({\mathrm{j}}_0^{p}f,{\mathrm{j}}_0^{q}g)({\mathrm{j}}_0^p{f}^{\prime },{\mathrm{j}}_0^q{g}^{\prime })=({\mathrm{j}}_0^p(f\circ f^{\prime }),{\mathrm{j}}_0^q\left((\mathrm{g}\circ f^{\prime })g^{\prime }\right))$

이 군은 ${\mathrm{W}}^{p,q}P$ 위에 다음과 같이 오른쪽에서 작용한다.

$({\mathrm{j}}_0^{p}f,{\mathrm{j}}_x^{q}s)({\mathrm{j}}_0^p{f}^{\prime },{\mathrm{j}}_x^{q}g)=({\mathrm{j}}_0^p(f\circ f^{\prime }),{\mathrm{j}}_0^q(\sigma \cdot (g\cdot f{\text{'}}^{-1}\cdot f^{-1})))$

이를 $P$의 $(p,q)$차 주연장(主延長, 틀:Llang)이라고 한다.틀:Rp틀:Rp

성질

대역적 자명화의 존재

위상 공간 $X$ 위의 주다발 $P$에 대하여, 대역적 자명화(=주다발의 동형 $P\cong X\times G$)가 존재할 필요 충분 조건은 대역적 단면 $s\in \mathrm{\Gamma }(P)$가 존재하는 것이다. (이는 $s:x\mapsto (x,1_G)$로 여길 수 있다.)

분류

틀:본문 위상군 $G$에 대하여, 분류 공간 $\mathrm{E}G\twoheadrightarrow \mathrm{B}G$을 구성할 수 있다. 그렇다면, ($X$에 대한 적절한 조건 아래) $X$ 위의 $G$-주다발들의 동형류들은 연속 함수 $X\to \mathrm{B}G$들의 호모토피류들과 표준적으로 일대일 대응한다. 구체적으로, 연속 함수 $f:X\to \mathrm{B}G$에 대응하는 $G$주다발은 $f^{*}\mathrm{E}G$이다.

예

자명 주다발

임의의 위상 공간 $X$와 위상군 $G$에 대하여, $X\times G$는 군 작용

$(x,h)\cdot g=(x,h\cdot g)$

과 사영 사상

$(x,h)\mapsto x$

을 주면 주다발을 이룬다. 이를 자명 주다발(自明主-, 틀:Llang)이라고 한다.

틀다발

틀:본문 위상 공간 $X$ 위의 $k$차원 벡터 다발 $E$가 주어졌을 때, 어떤 표준적인 $\mathrm{GL}(k;ℝ)$-주다발을 정의할 수 있으며, 이를 틀다발이라고 한다.

응용

주다발의 개념은 위상수학 및 미분기하학에서 쓰이고, 물리학에서도 일반 상대성 이론 및 게이지 이론을 다룰 때 쓰인다. 예를 들어, 필바인의 국소적 로런츠 대칭은 올이 SO(1,3)인 주다발로 나타내어진다.

각주

• 틀:저널 인용
• 틀:저널 인용

외부 링크

• 틀:Eom
• 틀:매스월드
• 틀:Nlab

같이 보기

• 게이지 이론
• 벡터 다발
• 연관 다발