평행화 가능 다양체

틀:위키데이터 속성 추적 미분위상수학에서 평행화 가능 다양체(平行化可能多樣體, 틀:Llang)는 그 접다발이 자명한 매끄러운 다양체이다.

정의

매끄러운 다양체 $M$에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 매끄러운 다양체를 평행화 가능 다양체라고 한다.

• 벡터 다발의 동형 사상 $\mathrm{T}M\to M\times {ℝ}^{\dim M}$이 존재한다.
• 벡터 다발의 동형 사상 ${\mathrm{T}}^{*}M\to M\times {ℝ}^{\dim M}$이 존재한다.
• 어떤 $\dim M$개의 (매끄러운) 벡터장 $X_1,\dots ,X_{\dim M}\in {\mathrm{\Gamma }}^{\mathrm{\infty }}(\mathrm{T}M)$에 대하여, 임의의 $x\in X$에 대하여 $X_1(x),\dots ,X_{\dim M}(x)$는 접공간 ${\mathrm{T}}_{x}M$의 기저를 이룬다.
• 어떤 $\dim M$개의 (매끄러운) 1차 미분 형식 ${\alpha }_1,\dots ,{\alpha }_{\dim M}\in {\mathrm{\Omega }}^1(M)$에 대하여, 임의의 $x\in X$에 대하여 ${\alpha }_1(x),\dots ,{\alpha }_{\dim M}(x)$는 공변접공간 ${\mathrm{T}}_x^{*}M$의 기저를 이룬다.

성질

평행화 가능 다양체의 경우, 항상 리만 곡률이 0인 리만 계량을 줄 수 있다. 즉, 접다발의 기저를 잡아, 이를 필바인으로 삼으면 이는 평탄한 리만 계량을 정의한다.

모든 평행화 가능 다양체는 가향 다양체이다.

연산

임의의 수의 평행화 가능 다양체의 분리합집합은 평행화 가능 다양체이다. 유한 개의 수의 평행화 가능 다양체의 곱공간은 평행화 가능 다양체이다.

평행화 가능 다양체의 열린집합 가운데 부분 다양체인 것은 평행화 가능 다양체이다. (그러나 평행화 가능 다양체의 닫힌집합은 평행화 가능 다양체가 아닐 수 있다.)

예

초구

초구 ${𝕊}^n$ 가운데, 평행화 가능 다양체인 것은

$n\in \{0,1,3,7\}$

인 것 밖에 없다. 구체적으로, $𝕂\in \{ℝ,ℂ,ℍ,𝕆\}$가 주어졌다고 하자 (실수체, 복소수체, 사원수 대수, 팔원수 대수). 이 경우,

${𝕊}^{{\dim }_{ℝ}𝕂-1}=𝕊(𝕂)=\{x\in 𝕂:|x|=1\}$

로 여길 수 있다. 이 초구의 $x=1$에서의 접공간은

${\mathrm{T}}_1𝕊(𝕂)=\mathrm{Im}𝕂=\{x\in 𝕂:\overline{x}=-x\}$

이며, 임의의 $x$에서의 접공간은

${\mathrm{T}}_x𝕊(𝕂)=x(\mathrm{Im}𝕂)=(\mathrm{Im}𝕂)\overline{x}$

의 꼴이다.

유도:

어떤 매끄러운 곡선

$\gamma :[0,1]\to 𝕂$

$\gamma (0)=x$

${\gamma }^{\prime }(0)=v$

이 주어졌다고 하자. 이 경우 $v={\gamma }^{\prime }(0)$이 단위 초구의 접벡터일 필요 충분 조건은

$0={\frac{\mathrm{d}}{\mathrm{d}t}\Vert f(t){\Vert }^2|}_{t=0}$

인 것이다. 그런데 $\Vert x{\Vert }^2=x\overline{x}=\overline{x}x$이므로

${\frac{\mathrm{d}}{\mathrm{d}t}\Vert f(t){\Vert }^2|}_{t=0}=\overline{v}x+\overline{x}v$

이다. 따라서, $\overline{x}v\in \mathrm{Im}𝕂$이며, $x$가 초구 위에 있다면 $\overline{x}=x^{-1}$이므로

$v\in x\mathrm{Im}𝕂=(\mathrm{Im}𝕂)\overline{x}$

이다.

리 군

모든 리 군은 평행화 가능 다양체이다. 구체적으로, 공변접다발의 $n$개의 단면들은 마우러-카르탕 형식에 의하여 주어진다. 특히, 원환면은 리 군 $\mathrm{U}(1{)}^n$의 구조를 가지므로, 항상 평행화 가능 다양체이다.

낮은 차원의 다양체

모든 가향 3차원 매끄러운 다양체는 평행화 가능 다양체이다.

2차원 연결 콤팩트 매끄러운 다양체 가운데 평행화 가능 다양체인 것은 원환면 ${𝕊}^1\times {𝕊}^1$ 밖에 없다.

증명:

우선, $\mathrm{\Sigma }$가 콤팩트 연결 유향 곡면의 경우를 생각하자. 이 경우, 리만 곡률이 0인 리만 계량을 줄 수 있으므로, 가우스-보네 정리에 따라서 그 종수가 1이다. 즉, 이는 원환면이다.

모든 0차원 또는 1차원 매끄러운 다양체는 평행화 가능 다양체이다.

같이 보기

• 틀다발
• 주다발

외부 링크

• 틀:Eom
• 틀:매스월드