A story about chromatic homotopy can go as follows:

  • counting discretely (i.e. via ), is “easy”. This is arithmetic.
  • counting homotopically (i.e. via ) is “hard”. This is stable homotopy theory.
  • To simplify this last one, we can count homotopically up to -torsion. (then glue together with a rational part via fracture/recollement/“Hasse principle”)
  • We notice that we can iterate this: once we arrive in the -local world, we find there is more torsion to localize against. Furthermore, these localizations are now quite “easy”.

In this vault we’ll record insights around how to count “things in real life” using chromatic homotopy theory. This means counting

  • a bag of objects (chromatic entropy)
  • a collection of identical particles in quantum mechanics (-semi-additive Pauli principles)
  • Cells in a -space (Chromatic cardinality of Lurie-Yanovski)
  • Cycles in quiver varieties (Higher Frobenii + E-theoretic quantum groups of Yang-Zhao)
  • Lagrangian Manifolds (Floer homotopy of Abouzaid-Blumberg)