Lectures onType Theory
Chapter 204
Chapter 204OptionalScaffold

Higher Groups, Spectra, and Stabilization

Prerequisites. Direct starred prerequisites: none. No later core chapter depends on this route.

Remark 204.1

Draft status. This chapter is a scaffold.

Opening obstruction

A loop space carries multiplication and coherence, but repeated delooping imposes stronger stable structure than an arbitrary higher group possesses.

Development contract

Develop finite deloopings and higher groups around the stabilization unit ηX:XΩΣX: for n-connected X, prove that ηX is 2n-connected and state the induced equivalences only below that truncation bound. Then identify coherently infinitely deloopable groups, rather than arbitrary higher groups, with connective spectra.

Search the book

Type to search the local edition.