A gapped quantum system is well-approximated at low energy by a projective topological field theory. Therefore questions concerning the classification, symmetries, and anomalies of gapped quantum systems can be reinterpreted via the homotopy theory of the moduli space of such theories. I will describe a moduli space of 3-dimensional TQFTs, and the sense in which its homotopy theory informs us about the low energy behavior of gapped systems in 2+1 dimensions. This moduli space depends on the fixed target category: Explicitly, it is built from the classifying spaces of higher groups of automorphisms of ribbon categories. The emphasis will be on target categories which have convenient algebraic features, yet are analytically robust enough to allow for boundary/relative theories defined in terms of unitary representations on topological vector spaces.
Links:
[1] http://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/de/node/3444
[3] http://www.mpim-bonn.mpg.de/de/qft25