Quantum Matter

here are two notions of a symmetry of a group G on a 3d topological order (TO): an "algebraic" symmetry, where G acts by automorphisms on the tensor category defining the (TO), and a "field-theoretic" symmetry, where the TFT corresponding to the TO is extended to manifolds with a principal G-bundle. The "field-theoretic" notion is stronger than the "algebraic" one, and the obstruction is sometimes referred to as the anomaly of the TO. The goal of this talk is to discuss a project joint with Weicheng Ye and Matthew Yu on computing these anomalies for fermionic TOs/spin TFTs: we develop a general framework employing Gaiotto-Kapustin's bosonic shadow construction. I will discuss both the mathematical conjectures our framework rests on as well as its use in examples. The Smith long exact sequence appears in our computations.

Motivated by the dagger category of Hilbert spaces, we explore the mathematical axiomatization of unitary topological field theory (TFT) using dagger categories. Recent advancements have elucidated the structure of higher dagger categories, paving the way for a precise definition of extended unitary TFTs. I will present an explicit formulation of once extended TFTs utilizing various versions of dagger bicategories. This framework enables a complete classification of unitary extended two-dimensional TFTs with arbitrary symmetry groups in terms of their unitary 2-representations. This is joint work in progress with Lukas Muller.

An *open-closed tqft* is a tqft with a choice of boundary condition. Example: the sigma model for a sufficiently finite space, with its Neumann boundary. Slogan: every open-closed tqft is (sigma model, Neumann boundary) for some “quantum space”. In this talk, I will construct homotopy groups for every such “quantum space” (and recover usual homotopy groups). More precisely, these “groups” are Hopf in some category. Given a “quantum fibre bundle” (a relative open-closed tqft), I will construct a Puppe long exact sequence. Retracts in 3-categories and a higher Beck-Chevalley condition will make appearances. This project is joint work in progress with David Reutter.

In this talk we explore the symmetry in 1+1d fermionic systems from a category theory perspective. We argue that It requires additional structure than a tensor category over sVect, and rather captured by a fusion category equipped with a braided central functor from a specific braided fusion category, dependent on the chiral central charge. The same data defines a 1-morphism in the 4-category of braided tensor categories, which lead us to a 4d-3d-2d picture via cobordism hypothesis. This talk is based on an ongoing work with K. Inamura.

The braiding statistics of point particles in 2-dimensional topological phases are given by representations of the braid groups. One approach to the study of generalised particles in topological phases, loop particles in 3-dimensions for example, is to generalise (some of) the several different realisations of the braid group. In this talk I will construct for each manifold M its motion groupoid $Mot_M$, whose object class is the power set of M. I will discuss several different, but equivalent, quotients on motions leading to the motion groupoid. In particular that the quotient used in the construction $Mot_M$ can be formulated entirely in terms of a level preserving isotopy relation on the trajectories of objects under flows -- worldlines (e.g. monotonic `tangles'). I will also give a construction of a mapping class groupoid $MCG_M$ associated to a manifold M with the same object class. For each manifold M I will construct a functor $F \colon Mot_M \to MCG_M$, and prove that this is an isomorphism if $\pi_0$ and $\pi_1$ of the appropriate space of self-homeomorphisms of M is trivial. In particular there is an isomorphism in the physically important case $M=[0,1]^n$ with fixed boundary, for any $n\in\mathbb{N}$. I will discuss several examples throughout.

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.