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.
[Recording] [Notes]
  • Motivation, vector bundles, maps, sections, deconstruction
  • Day 2.
    [Recording] [Notes] [Problem Set 1]
  • Trivializing open covers, restrictions, transition functions, cocycle condition, direct sums, tensor products, homs
  • Day 3.
    [Recording] [Notes]
  • Subbundles, inner products (and existence), complements, isomorphism classes
  • Day 4.
    [Recording] [Notes]
  • More isomorphism classes, (associated) fiber bundles, pullback bundles, invariance under homotopy
  • Day 5.
    [Recording] [Notes] [Problem Set 2]
  • Complex vector bundles, stably isomorphic, (reduced) K-groups, ring structure, clutching functions
  • Day 6.
    [Recording] [Notes]
  • More on clutching functions, homotopy invariance (complex case), examples, canonical line bundle $H \to \mathbb{C}\mathrm{P}^1$, statement of the fundamental product theorem
  • Day 7.
    [Recording] [Notes] [Problem Set 3]
  • Computing a pullback, $\mathrm{GL}(\mathbb{C}^n)$ is path-connected, $\mathbb{C}\mathrm{P}^1 \cong S^2$, more clutching function calculations: $H \oplus H \cong (H \otimes H) \oplus \varepsilon_1$, the problem with infinite dimensional bundles, realification and complexification
  • Day 8.
    [Recording] [Notes]
  • External tensor products of vector bundles, bundles over a quotient, cones and suspensions, long exact sequence of a closed subspace
  • Day 9.
    [Recording] [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.
    [Recording] [Notes]
  • K-groups of $\mathbb{R}\mathrm{P}^2$ and $\mathbb{R}\mathrm{P}^4$, reduced K-ring structure, unreduced analogues, proof of the fundamental product theorem (part one)
  • Day 11.
    [Recording] [Notes]
  • Proof of the fundamental product theorem (part two)
  • Day 12.
    [Recording] [Notes]
  • Division algebras and parallelizability, H-spaces, the K-ring of a product of spheres, nonexistence of H-space structures on $S^{2 n}$, the Hopf invariant
  • Day 13.
    [Recording] [Notes]
  • Hopf invariant one maps from H-spaces, Adams operations, the splitting principle, Hopf invariant one theorem
  • Day 14.
    [Recording] [Notes]
  • Final paper ideas, finite cell/CW complexes, $\mathbb{C}\mathrm{P}^n$ is a CW complex, $K^*(\mathbb{C}\mathrm{P}^n)$ as a group, $K^*(\mathbb{C}\mathrm{P}^n)$ as a ring
  • Day 15.
    [Recording] [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 $X$ is equivalent to the category of finitely generated projective modules over the ring $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^*$-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 $J$-homomorphism (see e.g. Adams' ON THE GROUPS $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, $K_0(X)$ is an abelian group, $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 \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 $H$-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 $J$)
  • Though realistically I expect overflow here from previous weeks depending on student background/other interested topics