Since the foundational work of Freedman, Kitaev, Larsen, and Wang, it has been understood that 3-dimensional topological quantum field theories (TQFTs), described via modular tensor categories, provide a universal model for fault-tolerant topological quantum computation. These TQFTs, derived from quantum groups at roots of unity, achieve modularity by semisimplifying their representation categories—discarding objects with quantum trace zero. The resulting semisimple categories describe anyons whose braiding enables robust quantum computation.

This talk explores recent advances in low-dimensional topology, focusing on the use of nonsemisimple categories that retain quantum trace zero objects to construct new TQFTs. These nonsemisimple TQFTs surpass their semisimple counterparts, distinguishing topological features inaccessible to the latter. For physical applications, unitarity is essential, ensuring Hom spaces form Hilbert spaces. We present joint work with Nathan Geer, Bertrand Patureau-Mirand, and Joshua Sussan, where nonsemisimple TQFTs are equipped with a Hermitian structure. This framework introduces Hilbert spaces with possibly indefinite metrics, presenting new challenges.

We further discuss collaborative work with Sung Kim, Filippo Iulianelli, and Sussan, demonstrating that nonsemisimple TQFTs enable universal quantum computation at roots of unity where semisimple theories fail. Specifically, we show how Ising anyons within this framework achieve universality through braiding alone. The resulting braiding operations are deeply connected to the Lawrence–Krammer–Bigelow representations, with the Hermitian structure providing a nondegenerate inner product grounded in quantum algebra.

Fusion 2-categories are a higher categorical analog of fusion categories that have gained a lot of attention in the last years because of their importance in many fields of math and physics, such as TQFTs, condensed matter physics and high energy physics. The classifiction of fusion (1-) categories is a very active research area and has provided new examples and led to the development of new invariants and tools to understand these categories.

In this talk, we will present a parametrization of multifusion 2-categories in terms of lower categorical data, involving braided fusion categories, group theory, and cohomological data. If time allows, we will also show some applications of this result. This is a joint work in with T. Décoppet, T. Johnson-Freyd, P. Huston, D. Nikshych, D. Penneys, D. Reutter, and M. Yu.