Gapped condensation in higher categories
Theo Johnson-Freyd (Perimeter Institute of Theoretical Physics)
Idempotent (aka Karoubi) completion is used throughout mathematics: for instance, it is a common step when building a Fukaya category. I will explain the n-category generalization of idempotent completion. We call it "condensation completion" because it answers the question of classifying the gapped phases of matter that can be reached from a given one by condensing some of the chemicals in the matter system. From the TFT side, condensation preserves full dualizability. In fact, if one starts with the n-category consisting purely of \bC in degree n, its condensation completion is equivalent both to the n-category of n-dualizable \bC-linear (n-1)-categories and to an n-category of lattice condensed matter systems with commuting projector Hamiltonians. This establishes an equivalence between large families of TFTs and of gapped topological phases. Based on joint work with D. Gaiotto.