Talk:Obstruction classes and Pontrjagin classes (Ex)

Latest revision as of 13:08, 9 February 2012

[edit] 1 Answer

Let $== Desdirata for this page == Ideally this page will also include at least the following information: # A reference, probably to Baues' book, for obstructions to null-homotopy. # A precise reference to {{cite|Kervaire1959}}. # A precise reference to Bott who also proved Theorem 2.1 (perhaps even before Kervaire?) # A reference to Husemoller's Fibre Bundles for a similar result for Chern classes. This also gives an explanation of the result via the Chern character which should be included in the page. # Further discussion about the same problem for other characteristic classes and other bases spaces. [[User:Diarmuid Crowley|Diarmuid Crowley]] 16:21, 17 March 2010 (UTC)a_j = (3 - (-1)^j)/2$, let $k!$ be the integer k-factorial and recall that $x \in H^{4i}(S^{4i})$ is a generator.

Theorem 1.1 [Kervaire1959]. There is an identity

$$\displaystyle p_i(\xi^{4i}) = \pm a_i \cdot (2i-1)! \cdot x \in H^{4i}(S^{4i}).$$

Similarly, if $\eta$ denotes the complex vector bundle over $S^{2i}$ corresponding to a generator of $\pi_{2i}(BU)\cong \mathbb{Z}$, then its Chern class is given by

$$\displaystyle c_i(\eta) = \pm (i-1)! \cdot y\in H^{2i}(S^{2i}),$$

where $y\in H^{2i}(S^{2i})\cong \mathbb{Z}$ is a generator.

[edit] Justification

A way to prove the Theorem 1.1 is to use the Chern character

$$\displaystyle \tilde K_0(X)\to \tilde H^{ev}(X;\mathbb{Q})$$

from complex topological $K$-theory. It can be defined using the explicit formula

$$\displaystyle ch(\xi)= \sum_{k>0} s_k(c_1(\xi),\dots,c_k(\xi))/k!$$

for a virtual complex vector bundle $\xi$, where $s_k$ are the Newton polynomials. In the case $X=S^{2n}$ two special things occur:

1. The Chern character is injective with image $H^{2n}(S^{2n};\mathbb{Q})$. This follows from the case $n=1$ using Bott periodicity and multiplicativity:
   $$\displaystyle \tilde K_0(S^{2n}) \cong\tilde K_0(S^2)\otimes \dots \otimes\tilde K_0(S^2) \to \tilde H^{ev}(S^{2};\mathbb{Q})\otimes \dots \otimes \tilde H^{ev}(S^{2};\mathbb{Q})\cong \tilde H^{ev}(S^{2n};\mathbb{Q})$$
2. A calculation shows that the image of a (virtual) complex vector bundle $\xi$ over $S^{2n}$ is given by:

$$\displaystyle ch(\xi)= s_n(0,\dots, 0, c_n(\xi))/n! = \pm c_n(\xi)/(n-1)!$$

Hence, $c_i(\eta)$ is given by $\pm (n-1)!$ times a generator. This establishes the second part of the Theorem.

The first part follows using the definition $p_i(\xi)= (-1)^ic_{2i}(\xi\otimes_\mathbb{R} \mathbb{C})$ together with the fact that complexification induces a map

$$\displaystyle - \otimes_\mathbb{R} \mathbb{C}\colon \widetilde{KO}^0(S^{4i})\to \tilde K^0(S^{4i})$$

which is given by multiplication by $a_i$, i.e. is a isomorphism in degrees $8i$ and multiplication by 2 in degrees $8i+4$.

[edit] 2 Further discussion

The integrality condition for the Chern character (and the additional factor of 2 for complexifications of real vector bundles in dimensions $8i+4$) also follows from the Atiyah-Singer Index Theorem.

[edit] 3 Desiderata for this page

Ideally this page will also include at least the following information:

1. A reference, probably to Baues' book, for obstructions to null-homotopy.
2. A precise reference to [Kervaire1959].
3. A precise reference to Bott who also proved Theorem 2.1 (perhaps even before Kervaire?)
4. Conventions/constructions for settling the sign in Theorem 2.1.
5. A reference to Husemoller's Fibre Bundles for a similar result for Chern classes. This also gives an explanation of the result via the Chern character which should be included in the page.
6. Further discussion about the same problem for other characteristic classes and other bases spaces.

Diarmuid Crowley 16:21, 17 March 2010 (UTC)

[edit] 4 References

• [Kervaire1959] M. A. Kervaire, A note on obstructions and characteristic classes, Amer. J. Math. 81 (1959), 773–784. MR0107863 (21 #6585) Zbl 0124.16302