KO-Characteristic classes

Latest revision as of 18:11, 10 December 2010

[edit] 1 KO-Pontryagin classes

The KO-Pontryagin classes $== KO-Pontryagin classes == <wikitex>; The KO-Pontryagin classes $\pi^j$ are defined by setting $\pi^0(L) = 1, \pi^1(L)=L-2, \pi^j(L) = 0$ for $j \ge 2$ for complex line bundles L and then requiring naturality and $\pi_s(\xi + \eta) = \pi_s(\xi)\pi_s(\eta)$ where $\pi_s =\sum_j \pi^j s^j$ . Here $\xi$ and $\eta$ are oriented bundles. In fact, these properties determine $\pi^j$ because the group $KO(BSO(m))$ injects into $K(BT^{[m/2]})$ under the complexification of the map which is induced by the restriction to the maximal torus $T^{[m/2]}$ (compare {{cite|Anderson&Brown&Peterson1966}}). For $J=(j_1,\dots, j_n)$ we set $\pi^J=\pi^{j_1}\dots \pi^{j_n}$ and $n(J)=\sum_i j_i$. Such a class gives a map $MSpin\to ko \langle m\rangle$. == References == {{#RefList:}} <!-- Please modify these headings or choose other headings according to your needs. --> [[Category:Manifolds]] {{Stub}}\pi^j$ for oriented vector bundles, i.e. in $KO(BSO)$ are defined by setting $\pi^0(L) = 1, \pi^1(L)=L-2, \pi^j(L) = 0$ for $j \ge 2$ for complex line bundles L and then requiring naturality and $\pi_s(\xi + \eta) = \pi_s(\xi)\pi_s(\eta)$ where $\pi_s =\sum_j \pi^j s^j$ . Here $\xi$ and $\eta$ are oriented bundles.

In fact, these properties determine $\pi^j$ because the group $KO(BSO(m))$ injects into $K(BT^{[m/2]})$ under the complexification of the map which is induced by the restriction to the maximal torus $T^{[m/2]}$ (compare [Anderson&Brown&Peterson1966a]).

[edit] 2 References

• [Anderson&Brown&Peterson1966a] D. W. Anderson, E. H. Brown and F. P. Peterson, $\SU$-cobordism, $KO$-characteristic numbers, and the Kervaire invariant, Ann. of Math. (2) 83 (1966), 54–67. MR0189043 (32 #6470) Zbl 0137.42802