epsilon

落書き

J-homomorphism

http://pi.math.cornell.edu/~hatcher/VBKT/VB.pdf

 

\pi_i(O(n))と\pi_{n+i}(S^n)がn>i+1で一定であることから、stable J-homomorphism

J:\pi_i(O) \to \pi_i^Sが定義される。

 

次にK-theoryを使ってe:\pi^S_i \to Q/Zを定義する。

Chern characterを直線束L \to Xに対しch(L) = \exp(c_1(L)) \in H^*(X, Q)で定義する。

するとch(L_1 \otimes L_2) = ch(L_1)ch(L_2)を満たす。

一般のベクトル束に対しては、splitting principleを用いて定義する。