Conference

Zesting is a construction that takes a (2+1)D topological order and produces a new one by changing the fusion rules of its anyons. We'll discuss properties of zesting from a physical and computational point of view and explain how the theory produces some closely related families of topological orders, like Kitaev's 16-fold way and modular isotopes. Time permitting we'll cover a generalization of zesting to symmetry-enriched topological order and comment on connections to fusion 2-categories.

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.

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.