Condensed Matter

The state-sum invariants of 4d manifolds obtained from spherical fusion 2-categories due to Douglas-Reutter offer an exciting entrypoint to the study of 4d TQFTs. In this talk we will argue that these invariants arise from a TQFT, obtained by filling the trivial 4d TQFT with a defect foam. Such construction is known as a generalised orbifold, the Turaev-Viro-Barrett-Westbury (i.e. 3d state-sum) models are also known to arise in this way from the defects in the trivial 3d TQFT (a result by Carqueville-Runkel-Schaumann). Advantages of this point of view offer e.g. realisations of state-spaces, examples of domain walls and commuting-projector realisations of (3+1)-dimensional topological phases. Based on a joint project with Nils Carqueville and Lukas Müller.

In this presentation, I will discuss our latest efforts to classify and characterize insulators in two spatial dimensions in the presence of interactions. I will focus on two examples, both on the square lattice. The first example is of bosonic insulators with symmetry G = p4m x K, where K is an internal symmetry group taken to be U(1), SO(3) or Z_N. The second example is of fermionic insulators with G= p4 x U(1)^f. In both scenarios, we propose a set of invariants that reproduce the classification anticipated through real space constructions and topological field theory (TFT). In doing so, we relate these invariants to coefficients appearing in the response action obtained from TFT. For the fermionic case, we propose a map from the non-interacting classification to the interacting classification.

This talk is based on work done with Naren Manjunath and Maissam Barkeshli.

---

Zoom link

We use 3d defect TQFTs and state sum models with defects to give a gauge theoretical formulation of Kitaev's quantum double model (for a finite group) and (untwisted) Dijkgraaf-Witten TQFT with defects. This leads to a simple description in terms of embedding quivers, groupoids and their representations. Defect Dijkgraaf-Witten TQFTs is then formulated in terms of spans of groupoids and their representations. This is work in progress with João Faría-Martins, University of Leeds.

I will describe models with on-site symmetry that permutes anyons with non-trivial mutual statistics, and show that the action of this symmetry on the boundary can effectively be that of a non-invertible symmetry such as Kramers-Wannier duality. I will sketch some implications of this for anomalies in non-invertible symmetries. Finally, I will introduce a construction (based on idempotent completion) that allows us to realize all possible anyon permuting symmetries of a given topological order in an on-site way.

I discuss some analogies between the Haag-Kastler approach to QFT and quantum statistical mechanics of lattice systems. As an illustrative example, I consider the interpretation of the Hall conductance of gapped 2d lattice systems as an obstruction to gauging a global symmetry of a gapped state. I argue that in order to define a proper analog of the net of algebras of observables one needs to study a category of subsets of the lattice equipped with a natural Grothendieck topology.