K-theory and the Hopf invariant
click here for the german versionread by Dr. Ulrich Pennig (office hours: by appointment, room 513)
Content
A (not necessarily associative) ℝ-Algebra A with unit element is called real division algebra if every element a ≠ 0 in A is invertible. Examples of real division algebras are ℝ itself, the complex numbers ℂ, the quaternions ℍ and the Cayley numbers 𝕆. In this lecture we will prove the following theorem: If ℝn has the structure of a real division algebra, then n ∈ {1,2,4,8}. This implies that the above examples are actually the only division algebra structures on ℝn.
Despite the purely algebraic nature of the statement, the proof, that was found by John Frank Adams in 1960, is based on results from algebraic topology. In particular it makes use of topological K-theory. This is a generalized cohomology theory, whose classes are represented by (formal differences of) vector bundles over topological spaces. Over the years this theory was generalized for example to algebraic K-theory of rings and of operator algebras. By now it plays a fundamental role in algebraic topology. In the first part of the lecture, we will therefore recall some basics about vector bundles and discuss topological K-theory in detail.
In the second - slightly shorter - part of the lecture we will learn about the Hopf invariant. This is a homotopy invariant that associates an integer to any continuous map f : S2n-1 → Sn. It was used in 1931 by Heinz Hopf to show that there are continuous maps S3 → S2, which are not null-homotopic. It plays a central role in Adams' proof. At the end of the lecture we will put both parts together and discuss the proof of the result alluded to in the beginning.
This lecture is based on the material covered in the lecture Topology 1.
Script (in german -- final version)
Lecture notes written by Jannes BantjeExercises and solutions (in german)
- List of exercises -- updated on 03.06.
- Local Triviality of TSn (solution to ex. 1)
- Stable Trivializability (solution to ex. 6 / Lemma 3.8)
- Gluing of Vector Bundles (solution to ex. 7 / Lemma 3.7)
- GLn(ℂ) is path connected (solution to ex. 8)
- Product in K-Theory is graded commutative
Literature
- Bratzler, C.; Lück, W.: Topologische K-Theorie, seminar notes in german
- Atiyah, M.: K-Theory, W.A. Benjamin Inc., 1967
- Bott, R.: Lectures on K(X), W.A. Benjamin Inc., 1962
- Hatcher, A.: Vector Bundles and K-Theory, book, Preprint, 2009
- Hatcher, A.: Algebraic Topology, Cambridge University Press, 2002
