We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between (1+1-dimensional) unitary topological quantum field theories (TQFTs) defined on ${\cal D}$, on the one hand, and Jones' subfactor planar algebras, on the other.
In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfactors satisfy the axioms of TQFT's with Verlinde bases. Hence, in a Turaev-Viro-Ocneanu TQFT, we have a Dehn surgery formula for 3-manifolds. It turns out that this Dehn surgery formula is nothing but the formula of the Reshetikhin-Turaev invariant constructed from a tube system,…
It has been conjectured that every $(2+1)$-TQFT is a Chern-Simons-Witten (CSW) theory labelled by a pair $(G,λ)$, where $G$ is a compact Lie group, and $λ\in H^4(BG;Z)$ a cohomology class. We study two TQFTs constructed from Jones' subfactor theory which are believed to be counterexamples to this conjecture: one is the quantum double of the even sectors of the $E_6$ subfactor, and the other is the quantum double of the even sectors of the Haagerup subfactor. We cannot prove mathematically that the two TQFTs are indeed counterexamples because CSW TQFTs, while physically defined, are not yet mat…
In this paper, we establish a rigorous correspondence between the two tube algebras, that one comes from the Turaev-Viro-Ocneanu TQFT introduced by Ocneanu and another comes from the sector theory introduced by Izumi, and construct a canonical isomorphism between the centers of the two tube algebras, which is a conjugate linear isomorphism preserving the products of the two algebras and commuting with the actions of SL(2,Z). Via this correspondence and the Dehn surgery formula, we compute Turaev-Viro-Ocneanu invariants from several subfactors for basic 3-manifolds including lens spaces and Bri…
We associate Popa systems (= standard invariants of subfactors) to the finite dimensional representations of compact quantum groups. We characterise the systems arising in this way: these are the ones which can be ``represented'' on finite dimensional Hilbert spaces. This is proved by an universal construction. We explicitely compute (in terms of some free products) the operation of going from representations of compact quantum groups to Popa systems and then back via the universal construction. We prove a Kesten type result for the co-amenability of compact quantum groups, which allows us to …
In this article, we discuss a (2+1)-dimensional topological quantum field theory, for short TQFT, with a Verlinde basis. As a conclusion of this general theory, we have a Dehn surgery formula. We show that Turaev-Viro-Ocneanu TQFT has a Verlinde basis. Several applications of this theorem are exposed. Based on Izumi's data of subfactors, we list several computations of Turaev-Viro-Ocneanu invariants for some 3-manifolds.
The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will discuss the lattice of projections of 2-boxes, specifically the rank of the projections. From this point, several results about biprojections are obtained. The key break of the classification is to show the existence of a biprojection. By this method, we also classify another two families of subfactor planar algebras, subfactor planar algebras generated by 2-boxe…
A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and anyons. In their work, they have a special projection called a projector matrix product operator. We prove that the range of this projection of length k is naturally identified with the k-th higher relative commutant of the subfactor arising from the bi-unitary connection. This gives a further connection between 2-dimensional topological order and subfactor theo…
We consider commuting squares of finite dimensional von Neumann algebras having the algebra of complex numbers in the lower left corner. Examples include the vertex models, the spin models (in the sense of subfactor theory) and the commuting squares associated to finite dimensional Kac algebras. To any such commuting square we associate a compact Kac algebra and we compute the corresponding subfactor and its standard invariant in terms of it.
The notion of 2-framed three-manifolds is defined. The category of 2-framed cobordisms is described, and used to define a 2-framed three-dimensional TQFT. Using skeletonization and special features of this category, a small set of data and relations is given that suffice to construct a 2-framed three-dimensional TQFT. These data and relations are expressed in the language of surgery.
The zipper condition for $4$-tensors in two-dimensional topological order and the higher relative commutants of a subfactor arising from a commuting square
iTHEMS Research Group, RIKEN(理化学研究所 iTHEMS 研究组);Kavli IPMU (WPI), the University of Tokyo(东京大学 Kavli 宇宙物理数学统一中心(世界顶尖研究中心))
If $C$ is a spherical fusion category, the string-net construction associates to each closed oriented surface $Σ$ the vector space $Z_\text{SN}(Σ)$ of linear combinations of $C$-labelled graphs on $Σ$ modulo local relations, in a way which is functorial with respect to orientation-preserving diffeomorphisms of surfaces. We show how to extend this assignment to a 3-dimensional topological quantum field theory (TQFT), by defining how the surgery generators in Juhász' presentation of the oriented 3-dimensional bordism category act on the string-net vector spaces. We show that the resulting TQFT, …
Let C be a spherical fusion category. We prove that the Turaev-Viro-Barrett-Westbury state sum invariant of 3-manifolds derived from C is equal to the Reshetikhin-Turaev surgery invariant of 3-manifolds derived from Z(C), where Z(C) is the Drinfeld-Joyal-Street center of C.
In this lecture we explain the intimate relationship between modular invariants in conformal field theory and braided subfactors in operator algebras. Our analysis is based on an approach to modular invariants using braided sector induction ("$α$-induction") arising from the treatment of conformal field theory in the Doplicher-Haag-Roberts framework. Many properties of modular invariants which have so far been noticed empirically and considered mysterious can be rigorously derived in a very general setting in the subfactor context. For example, the connection between modular invariants and gra…
This paper explains how any nondeterministic automaton for a regular language $L$ gives rise to a one-dimensional oriented Topological Quantum Field Theory (TQFT) with inner endpoints and zero-dimensional defects labelled by letters of the alphabet for $L$. The TQFT is defined over the Boolean semiring $\mathbb{B}$. Different automata for a fixed language $L$ produce TQFTs that differ by their values on decorated circles, while the values on decorated intervals are described by the language $L$. The language $L$ and the TQFT associated to an automaton can be given a path integral interpretatio…
We introduce the notion of $n$-dimensional topological quantum field theory (TQFT) with defects as a symmetric monoidal functor on decorated stratified bordisms of dimension $n$. The familiar closed or open-closed TQFTs are special cases of defect TQFTs, and for $n=2$ and $n=3$ our general definition recovers what had previously been studied in the literature. Our main construction is that of "generalised orbifolds" for any $n$-dimensional defect TQFT: Given a defect TQFT $\mathcal{Z}$, one obtains a new TQFT $\mathcal{Z}_{\mathcal{A}}$ by decorating the Poincaré duals of triangulated bordisms…
These notes offer an introduction to the functorial and algebraic description of 2-dimensional topological quantum field theories `with defects', assuming only superficial familiarity with closed TQFTs in terms of commutative Frobenius algebras. The generalisation of this relation is a construction of pivotal 2-categories from defect TQFTs. We review this construction in detail, flanked by a range of examples. Furthermore we explain how open/closed TQFTs are equivalent to Calabi-Yau categories and the Cardy condition, and how to extract such data from pivotal 2-categories.
We study the four infinite families KA(n), KB(n), KD(n), KQ(n) of finite dimensional Hopf (in fact Kac) algebras constructed respectively by A. Masuoka and L. Vainerman: isomorphisms, automorphism groups, self-duality, lattices of coideal subalgebras. We reduce the study to KD(n) by proving that the others are isomorphic to KD(n), its dual, or an index 2 subalgebra of KD(2n). We derive many examples of lattices of intermediate subfactors of the inclusions of depth 2 associated to those Kac algebras, as well as the corresponding principal graphs, which is the original motivation. Along the way,…
The decomposition of an arbitrary axiomatic topological quantum field theory or TQFT into indecomposable theories is given. In particular, unitary TQFT's in arbitrary dimensions are shown to decompose into a sum of theories in which the Hilbert space of the sphere is one-dimensional, and indecomposable two-dimensional theories are classified.
We construct a Topological Quantum Field Theory (in the sense of Atiyah) associated to the universal finite-type invariant of 3-dimensional manifolds, as a functor from the category of 3-dimensional manifolds with parametrized boundary, satisfying some additional conditions, to an algebraic-combinatorial category. It is built together with its truncations with respect to a natural grading, and we prove that these TQFTs are non-degenerate and anomaly-free. The TQFT(s) induce(s) a (series of) representation(s) of a subgroup ${\cal L}_g$ of the Mapping Class Group that contains the Torelli group.…
We use modified traces to renormalize Lyubashenko's closed 3-manifold invariants coming from twist non-degenerate finite unimodular ribbon categories. Our construction produces new topological invariants which we upgrade to 2+1-TQFTs under the additional assumption of factorizability. The resulting functors provide monoidal extensions of Lyubashenko's mapping class group representations, as discussed in arXiv:2010.14852. This general framework encompasses important examples of non-semisimple modular categories coming from the representation theory of quasi-Hopf algebras, which were left out of…
We give a presentation of the $n$-dimensional oriented cobordism category $\text{Cob}_n$ with generators corresponding to diffeomorphisms and surgeries along framed spheres, and a complete set of relations. Hence, given a functor $F$ from the category of smooth oriented manifolds and diffeomorphisms to an arbitrary category $C$, and morphisms induced by surgeries along framed spheres, we obtain a necessary and sufficient set of relations these have to satisfy to extend to a functor from $\text{Cob}_n$ to $C$. If $C$ is symmetric and monoidal, then we also characterize when the extension is a T…
We initiate a systematic study of 3-dimensional `defect' topological quantum field theories, that we introduce as symmetric monoidal functors on stratified and decorated bordisms. For every such functor we construct a tricategory with duals, which is the natural categorification of a pivotal bicategory. This captures the algebraic essence of defect TQFTs, and it gives precise meaning to the fusion of line and surface defects as well as their duality operations. As examples, we discuss how Reshetikhin-Turaev and Turaev-Viro theories embed into our framework, and how they can be extended to defe…
We present a state sum construction of two-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, which generalizes the state sum of Fukuma--Hosono--Kawai from triangulations of conventional two-dimensional cobordisms to those of open-closed cobordisms, i.e. smooth compact oriented 2-manifolds with corners that have a particular global structure. This construction reveals the topological interpretation of the associative algebra on which the state sum is based, as the vector space that the TQFT assigns to the unit interval. Extending the notion of a two-d…
A TQFT is a functor from a cobordism category to the category of vector spaces, satisfying certain properties. An important property is that the vector spaces should be finite dimensional. For the WRT TQFT, the relevant 2+1-cobordism category is built from manifolds which are equipped with an extra structure such as a p_1-structure, or an extended manifold structure. We perform the universal construction of Blanchet, Habegger, Masbaum and Vogel on a cobordism category without this extra structure and show that the resulting quantization functor assigns an infinite dimensional vector space to t…
In this short note, we propose a generalization of Atiyah type TQFTs from pure states to mixed states in the sense that the Hilbert space of pure states associated to a space manifold is replaced by a quantum coherent space related to density matrices. Atiyah type TQFT is a symmetric monoidal functor from the Bord category of manifolds to the category Vec of finite dimensional vector spaces. In this paper, we define mixed-state TQFTs by replacing the target category Vec by QCS--the category of quantum coherent spaces, then a mixed-state TQFT is simply a symmetric monoidal functor from Bord to …
We construct a four dimensional topological Quantum Field Theory from a modular tensor category. We complete the proof in the case of SU(2)q at a root of unity. Our construction may be important in the physical interpretation of the Chern Simons state in the Ashtekar variables.
In his PhD thesis, Goosen combined the string-net and the generators-and-relations formalisms for arbitrary once-extended 3-dimensional TQFTs. In this paper we work this out in detail for the simplest non-trivial example, where the underlying spherical fusion category is the category of $\mathbb{Z}/2\mathbb{Z}$-graded vector spaces. This allows us to give an elementary string-net description of the linear maps associated to 3-dimensional bordisms. The string-net formalism also simplifies the description of the mapping class group action in the resulting TQFT. We conclude the paper by performin…
In this paper we propose a naive construction of 2-dimensional extended topological quantum field theories (TQFTs), which can be further generalized to the higher-dimension extended TQFTs.
A straightforward relationship between the two approaches to 3-dimensional topological invariants, one of them put forward by Witten in the framework of topological quantum field theory, and the second one proposed by Kohno in terms of rational conformal field theory, is established.
(Talk presented at the XVth Workshop on Geometric Methods in Physics, Quantizations, Deformations and Coherent States, in Bialowieza, Poland, July 1-7, 1996.) The aim of this article is to introduce some basic notions of Topological Quantum Field Theory (TQFT) and to consider a modification of TQFT, applicable to embedded manifolds. After an introduction based around a simple example (Section 1) the notion of a d-dimensional TQFT is defined in category-theoretical terms, as a certain type of functor from a category of d-dimensional cobordisms to the category of vector spaces (Section 2). A con…
In [arXiv:1912.02063], we constructed 3-dimensional Topological Quantum Field Theories (TQFTs) using not necessarily semisimple modular categories. Here, we study projective representations of mapping class groups of surfaces defined by these TQFTs, and we express the action of a set of generators through the algebraic data of the underlying modular category $\mathcal{C}$. This allows us to prove that the projective representations induced from the non-semisimple TQFTs of [arXiv:1912.02063] are equivalent to those obtained by Lyubashenko via generators and relations in [arXiv:hep-th/9405167]. …
We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the extended 3D TQFT given by the fully dualizable object $\mathfrak{C}$ extends the 1-2-3-dimensional Reshetikhin-Turaev TQFT associated to the modular tensor category $\mathcal{C}$ down to dimension zero.
We construct non-semisimple $2+1$-TQFTs yielding mapping class group representations in Lyubashenko's spaces. In order to do this, we first generalize Beliakova, Blanchet and Geer's logarithmic Hennings invariants based on quantum $\mathfrak{sl}_2$ to the setting of finite-dimensional non-degenerate unimodular ribbon Hopf algebras. The tools used for this construction are a Hennings-augmented Reshetikhin-Turaev functor and modified traces. When the Hopf algebra is factorizable, we further show that the universal construction of Blanchet, Habegger, Masbaum and Vogel produces a $2+1$-TQFT on a n…
Uppsala University(乌普萨拉大学);Tata Institute for Fundamental Research(塔塔基础研究所);The Abdus Salam International Centre for Theoretical Physics(阿卜杜斯·萨拉姆理论物理国际中心)
Homotopy Quantum Field Theories (HQFTs) generalize more familiar Topological Quantum Field Theories (TQFTs). In generalization of the surgery construction of 3-dimensional TQFTs from modular categories, we use surgery to derive 3-dimensional HQFTs from G-modular categories.
The two dimensional state sum models of Barrett and Tavares are extended to unoriented spacetimes. The input to the construction is an algebraic structure dubbed half twist algebras, a class of examples of which is real separable superalgebras with a continuous parameter. The construction generates pin-minus TQFTs, including the root invertible theory with partition function the Arf-Brown-Kervaire invariant. Decomposability, the stacking law, and Morita invariance of the construction are discussed.
We study a special sort of 2-dimensional extended Topological Quantum Field Theories (TQFTs) which we call open-closed TQFTs. These are defined on open-closed cobordisms by which we mean smooth compact oriented 2-manifolds with corners that have a particular global structure in order to model the smooth topology of open and closed string worldsheets. We show that the category of open-closed TQFTs is equivalent to the category of knowledgeable Frobenius algebras. A knowledgeable Frobenius algebra (A,C,i,i^*) consists of a symmetric Frobenius algebra A, a commutative Frobenius algebra C, and an …
We study boundary conditions for extended topological quantum field theories (TQFTs) and their relation to topological anomalies. We introduce the notion of TQFTs with moduli level $m$, and describe extended anomalous theories as natural transformations of invertible field theories of this type. We show how in such a framework anomalous theories give rise naturally to homotopy fixed points for $n$-characters on $\infty$-groups. By using dimensional reduction on manifolds with boundaries, we show how boundary conditions for $n+1$-dimensional TQFTs produce $n$-dimensional anomalous field theorie…
We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in (arXiv:1202.3553) including the Kashaev invariant of links. Here the modular category framework does not apply and we use the ``universal construction''. Our TQFT provides a monoidal functor from a category of surfaces and their cobordisms into the category of graded finite dimensional vector spaces and their degree 0-morphisms and depends on the choice of a roo…
The Crane-Yetter state sum is an invariant of closed 4-manifolds, defined in terms of a triangulation, based on 15-j symbols associated to the category A of representations over quantum sl2 (at a root of unity). In this thesis, we define the state sum in terms of a 'PLCW decomposition', which generalizes triangulations, and generalize A to an arbitrary premodular category. We extend the state sum to 4-manifolds with corners, making it an extended TQFT. We also develop a parallel theory based on skeins, which are essentially A-colored graphs, and we show that the two theories are equivalent. Fo…
We study the maps induced on link Floer homology by elementary decorated link cobordisms. We compute these for births, deaths, stabilizations, and destabilizations, and show that saddle cobordisms can be computed in terms of maps in a decorated skein exact triangle that extends the oriented skein exact triangle in knot Floer homology. In particular, we completely determine the Alexander and Maslov grading shifts. As a corollary, we compute the maps induced by elementary cobordisms between unlinks. We show that these give rise to a $(1+1)$-dimensional TQFT that coincides with the reduced Khovan…
We study surface defects in three-dimensional topological quantum field theories which separate different theories of Reshetikhin-Turaev type. Based on the new notion of a Frobenius algebra over two commutative Frobenius algebras, we present an explicit and computable construction of such defects. It specialises to the construction in Carqueville et al., arXiv:1710.10214 if all 3-strata are labelled by the same topological field theory. We compare the results to the model-independent analysis in Fuchs et al., arXiv:1203.4568 and find agreement.
Rozansky and Witten proposed a 3-dimensional sigma-model whose target space is a hyperkähler manifold. They conjectured that this theory has an associated TQFT, with Hilbert spaces given by certain cohomology groups of the hyperkähler manifold. On the other hand, there is a certain modified TQFT constructed by Murakami and Ohtsuki using the universal quantum invariant. We explain how the Rozansky-Witten TQFT can be obtained from the latter by applying a `hyperkähler weight system'.