K-Theory and Hopf invariant one

Summer 2022

Welcome to the course page for our Summer 2022 tutorial on K-Theory! This page hosts the recordings, notes, and administrative information for the class.

The class will run 9pm-11pm Monday/Wednesday/Friday from June 20 to July 29. Final papers will be due before the start of the Fall semester.

Notes

Before the tutorial starts, have a read through the warm-up notes entitled
Crash course: constructions in point-set topology and linear algebra.
Have a go at the exercises, and raise any questions/discussion points on Discord.

Day 1.

 [Notes]
Motivation, vector bundles, maps, sections, deconstruction

Day 2.

 [Notes] [Problem Set 1]
Trivializing open covers, restrictions, transition functions, cocycle condition, direct sums, tensor products, homs

Day 3.

 [Notes]
Subbundles, inner products (and existence), complements, isomorphism classes

Day 4.

 [Notes]
More isomorphism classes, (associated) fiber bundles, pullback bundles, invariance under homotopy

Day 5.

 [Notes] [Problem Set 2]
Complex vector bundles, stably isomorphic, (reduced) K-groups, ring structure, clutching functions

Day 6.

 [Notes]
More on clutching functions, homotopy invariance (complex case), examples, canonical line bundle H→CP1H \to \mathbb{C}\mathrm{P}^1, statement of the fundamental product theorem

Day 7.

 [Notes] [Problem Set 3]
Computing a pullback, GL(Cn)\mathrm{GL}(\mathbb{C}^n) is path-connected, CP1≅S2\mathbb{C}\mathrm{P}^1 \cong S^2, more clutching function calculations: H⊕H≅(H⊗H)⊕ε1H \oplus H \cong (H \otimes H) \oplus \varepsilon_1, the problem with infinite dimensional bundles, realification and complexification

Day 8.

 [Notes]
External tensor products of vector bundles, bundles over a quotient, cones and suspensions, long exact sequence of a closed subspace

Day 9.

 [Notes]
Quotient by a contractible subspace, operations on pointed spaces, consequences of the LES of a closed subspace, reduced external product, Bott periodicity, the six-term exact sequence

Day 10.

 [Notes]
K-groups of RP2\mathbb{R}\mathrm{P}^2 and RP4\mathbb{R}\mathrm{P}^4, reduced K-ring structure, unreduced analogues, proof of the fundamental product theorem (part one)

Day 11.

 [Notes]
Proof of the fundamental product theorem (part two)

Day 12.

 [Notes]
Division algebras and parallelizability, H-spaces, the K-ring of a product of spheres, nonexistence of H-space structures on S2nS^{2 n}, the Hopf invariant

Day 13.

 [Notes]
Hopf invariant one maps from H-spaces, Adams operations, the splitting principle, Hopf invariant one theorem

Day 14.

 [Notes]
Final paper ideas, finite cell/CW complexes, CPn\mathbb{C}\mathrm{P}^n is a CW complex, K∗(CPn)K^*(\mathbb{C}\mathrm{P}^n) as a group, K∗(CPn)K^*(\mathbb{C}\mathrm{P}^n) as a ring

Day 15.

 [Notes]
Leray–Hirsch theorem for K-theory, proof of the splitting principle, projectivization/flag bundles, proof of the Leray–Hirsch theorem

*   *   *

Format

There will be 3 classes each week for 6 weeks, each 2 hours long. The third class of each week will typically be a problem session where we work on and discuss exercises coming from the week's content. When times get tough I might reserve (part of) the final day to put a finer point on some more complicated pieces, e.g. when we get to Bott periodicity.

References

We will try to closely follow Allen Hatcher's Vector Bundles and K-Theory, freely available online. It (especially the introductory chapters) are very accessible. Hatcher's Algebraic Topology could be a useful reference, but we will try hard not to rely on basically any algebraic topology for as long as possible. There are also many other references, including Atiyah's K-theory.

Prerequisites

Surprisingly little background is required for the most part: if you know about groups, rings, ideals, and kernels and images of homomorphisms, then you know enough algebra. If you have seen a definition of a compact metric space (or especially of a general topological space) and of continuous maps between them, then you should know enough topology. If you have seen inner products, duals, and direct sums (and maybe tensor products) of vector spaces, then you definitely know enough linear algebra. A further course in algebraic topology would open the door to more final paper ideas, but is definitely not necessary.

Final paper

Sample ideas for the final paper include:
  • Bott periodicity: we'll see Hatcher's proof, but there are many other proofs of Bott periodicity. You could compare two different proofs.
  • The Serre–Swan theorem: in particular Swan's (1962) topological version, which asserts that the category of finite rank vector bundles over a compact Hausdorff space XX is equivalent to the category of finitely generated projective modules over the ring C(X)C(X).
  • Clifford algebras exhibit a 2-fold and 8-fold periodicity in the complex and real cases, respectively. You could discuss the relation to Bott periodicity in K-theory.
  • Formal group laws, the correspondence between complex K-theory and the multiplicative formal group law (and similarly for ordinary cohomology?).
  • Real K-theory (not the same as real K-theory!) from Atiyah's K-theory and reality.
  • Spectra and the relation to K-theory.
  • The noncommutative analogue: the K-theory of C∗C^*-algebras.
  • Λ\Lambda-rings.
  • For people who know about characteristic classes: Schubert calculus.
  • For people who know about algebraic topology and stable homotopy groups: the complex and/or real JJ-homomorphism (see e.g. Adams' ON THE GROUPS J(X)J(X)—IV).
  • Some other topic that came up in class, or your own idea! (Talk to me.)

*   *   *

Plan

Week 1.

Vector bundles 		Sections of a vector bundles and basic operations: direct sums, duals, tensor products Inner products, general fiber bundles Examples of associated bundles: sphere/disk, projective, flag, Grassmann

Week 2.

Classifying maps 		Pullback bundles, clutching functions The universal bundle, (optional depending on student background) CW structure on Grassmannians

Week 3.

K-theory 		The Grothendieck group, K0(X)K_0(X) is an abelian group, K0(X)K_0(X) is a ring Fundamental product theorem (following Hatcher's VBKT Section 2.2)

Week 4.

Complex Bott periodicity 		The long exact sequence of K-groups for a closed A⊂XA \subset X Deducing complex Bott periodicity as a consequence of the fundamental product theorem K-theory is an extraordinary cohomology theory

Week 5.

Hopf invariant one 		Reduction to the case of HH-spaces, splitting principle Adams operations, Adams' theorem on Hopf invariant one

Week 6.

Extras 		Optimistically time to talk about characteristic classes or other topics (such as the image of JJ); though realistically I expect overflow here from previous weeks depending on student background/other interested topics