Litcius/Paper detail

Non-semisimple extended topological quantum field theories

Marco De Renzi

2022Memoirs of the American Mathematical Society21 citationsDOIOpen Access PDF

Abstract

We develop the general theory for the construction of <italic>Extended Topological Quantum Field Theories</italic> ( <italic>ETQFTs</italic> ) associated with the Costantino-Geer-Patureau quantum invariants of closed 3-manifolds. In order to do so, we introduce <italic>relative modular categories</italic> , a class of ribbon categories which are modeled on representations of unrolled quantum groups, and which can be thought of as a non-semisimple analogue to modular categories. Our approach exploits a 2-categorical version of the universal construction introduced by Blanchet, Habegger, Masbaum, and Vogel. The 1+1+1-EQFTs thus obtained are realized by symmetric monoidal 2-functors which are defined over non-rigid 2-categories of <italic>admissible</italic> cobordisms decorated with colored ribbon graphs and cohomology classes, and which take values in 2-categories of complete graded linear categories. In particular, our construction extends the family of graded 2+1-TQFTs defined for the unrolled version of quantum <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="German s German l Subscript 2"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">s</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mn>2</mml:mn> </mml:msub> <mml:annotation encoding="application/x-tex">\mathfrak {sl}_2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> by Blanchet, Costantino, Geer, and Patureau to a new family of graded ETQFTs. The non-semisimplicity of the theory is witnessed by the presence of non-semisimple graded linear categories associated with <italic>critical</italic> 1-manifolds.

Topics & Concepts

FunctorTopological quantum field theoryField (mathematics)MathematicsCohomologyPure mathematicsAlgebra over a fieldComputer scienceHomotopy and Cohomology in Algebraic TopologyAlgebraic structures and combinatorial modelsGeometric and Algebraic Topology