Deeper Kummer theory
A tower is an infinite sequence of deloopings of symmetric monoidal ever-higher categories. Towers are places where extended functorial field theories take values. Towers are a "deeper" version of commutative rings (as opposed to "higher rings" aka E∞-spectra). Notably, towers have their own opinions about Galois theory, and think that usual Galois groups are merely shallow approximations of deeper homotopical objects. In this talk, I will describe some steps in the construction and calculation of the deeper Galois group of a characteristic-zero field. In particular, I'll explain a homotopical version of the Kummer description of abelian extensions. This is joint work in progress with David Reutter.