특성류

틀:위키데이터 속성 추적 대수적 위상수학에서 특성류(特性類, 틀:Llang)는 주다발의 위상수학적인 성질을 나타내는 코호몰로지 류이다.

정의

$G$가 위상군이라고 하자. 위상 공간의 범주를 $𝐓𝐨𝐩$, 집합의 범주를 $𝐒𝐞𝐭$라고 하자. 함자 $b_G:𝐓𝐨𝐩\to {𝐒𝐞𝐭}^{\text{op}}$를 위상 공간 $X$를 그 위에 존재하는 $G$-주다발들(의 동형류들)의 집합으로 대응시키는 함자로 정의하자. 이는 반변함자를 이룬다. 또한, 코호몰로지 $H^{\bullet }$ 또한 함자 $H^{\bullet }:𝐓𝐨𝐩\to {𝐒𝐞𝐭}^{\text{op}}$로 생각할 수 있다. (코호몰로지는 환의 구조를 가지지만, 여기서는 그 구조를 잊는다.)

특성류 $c$는 자연변환 $c:b_G⟹H^{\bullet }$이다. 즉, 각 주다발 $P$에 코호몰로지류 $c(P)$를 대응시키고, 이는 연속함수 $f:X\to Y$에 대해 $c(f^{*}P)=f^{*}c(P)$를 만족시킨다.

분할 원리

특성류들은 분할 원리(틀:Llang)를 사용하여, 일종의 다항식으로 나타낼 수 있다. 공간 $X$ 위에 $n$차원 복소 벡터다발 $E$가 주어지면, 여기에 임의의 코쥘 접속 $A$를 주어 그 곡률

$F=dA+A\wedge A\in {\mathrm{\Omega }}^2(X){\otimes }_{ℝ}𝔲(n)$

를 계산할 수 있다. 이는 리 대수 $𝔲(n)$값을 갖는 2차 미분형식들이다. (짝수차 미분형식들은 가환환을 이루므로 행렬을 정의할 수 있다.) $𝔲(n)$은 $n\times n$ 반에르미트 행렬들로 이루어져 있으므로, 이 행렬의 고윳값들을 정의하자.

$iF=g\mathrm{diag}(x_1,x_2,\dots ,x_n)g^{-1}$

여기서 $g$는 접속에 따라 달라지는 유니터리 행렬이다. 그러나 고윳값 $\{x_1,\dots ,x_n\}\in {\mathrm{\Omega }}^2(X)$들의 코호몰로지 류들은 접속에 상관없이 불변임을 보일 수 있다 (천-베유 정리). 복소 벡터다발의 모든 특성류들은 이 $\{x_1,\dots ,x_n\}$들의 다항식으로 나타낼 수 있다 (분할 원리). 예를 들어, 천 지표는

$\mathrm{ch}(E)=\sum _{i=1}^n\exp (x_i)$

천 특성류는

$c(E)=\sum _{i=1}^n{c}_i(E)=\prod _{i=1}^n(1+x_i)$

오일러 특성류는

$e(E)=\prod _{i=1}^n{x}_i$

토드 특성류는

$\mathrm{Td}(E)=\prod _{i=1}^n\frac{x_i}{1-\exp (-x_i)}$

이다.

실수 벡터 다발의 특성류의 경우, 일부는 그 복소화의 특성류로 정의할 수 있다. 예를 들어, 폰트랴긴 특성류나 디랙 종수(Dirac genus)는 이렇게 정의할 수 있다. 그렇지만 일반적으로 슈티펠-휘트니 특성류(Stiefel–Whitney class)는 그렇지 않다.

예

• 천 특성류
• 폰트랴긴 특성류
• 슈티펠-휘트니 특성류 (Stiefel–Whitney class)
• 오일러 특성류 (Euler class)
• 토드 특성류
• 디랙 종수 (Dirac genus) (또는 Â-종수라고도 불림)

같이 보기

• 오일러 지표
• 천 특성류

참고 문헌

• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용