Talk:Obstruction classes and Pontrjagin classes (Ex)

From Manifold Atlas
Revision as of 12:08, 9 February 2012 by Diarmuid Crowley (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Contents

[edit] 1 Answer

Let 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

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox