-
Three-Dimensional Spin TFTs from Gauging Line Defects
Authors:
Jannik Gröne,
Ingo Runkel
Abstract:
From the input of an oriented three-dimensional TFT with framed line defects and a commutative $Δ$-separable Frobenius algebra $A$ in the ribbon category of these line defects, we construct a three-dimensional spin TFT. The framed line defects of the spin TFT are labelled by certain equivariant modules over $A$, and the spin structure may or may not extend to a given line defect. Physically the sp…
▽ More
From the input of an oriented three-dimensional TFT with framed line defects and a commutative $Δ$-separable Frobenius algebra $A$ in the ribbon category of these line defects, we construct a three-dimensional spin TFT. The framed line defects of the spin TFT are labelled by certain equivariant modules over $A$, and the spin structure may or may not extend to a given line defect. Physically the spin TFT can be interpreted as the result of gauging a one-form symmetry in the original oriented TFT. This spin TFT extends earlier constructions in Blanchet-Masbaum (1996) and Blanchet (2005) [arXiv:math/0303240], and it reproduces the classification of abelian spin Chern-Simons theories in Belov-Moore (2005) [arXiv:hep-th/0505235].
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Modular functors from non-semisimple 3d TFTs
Authors:
Aaron Hofer,
Ingo Runkel
Abstract:
Given a not necessarily semisimple modular tensor category C, we use the corresponding 3d TFT defined in [arXiv:1912.02063] to explicitly describe a modular functor as a symmetric monoidal 2-functor from a 2-category of oriented bordisms to a 2-category of finite linear categories. This recovers a result by Lyubashenko [arXiv:hep-th/9405168] obtained via generators and relations. Pulling back the…
▽ More
Given a not necessarily semisimple modular tensor category C, we use the corresponding 3d TFT defined in [arXiv:1912.02063] to explicitly describe a modular functor as a symmetric monoidal 2-functor from a 2-category of oriented bordisms to a 2-category of finite linear categories. This recovers a result by Lyubashenko [arXiv:hep-th/9405168] obtained via generators and relations. Pulling back the modular functor for C to a 2-category of bordisms with orientation reversing involution cancels the gluing anomaly, and further pulling back to the original bordism category along a doubling functor leads to the modular functor for the Drinfeld centre Z(C).
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Topological defects
Authors:
Nils Carqueville,
Michele Del Zotto,
Ingo Runkel
Abstract:
This is a survey article for the Encyclopedia of Mathematical Physics, 2nd Edition. Topological defects are described in the context of the 2-dimensional Ising model on the lattice, in 2-dimensional quantum field theory, in topological quantum field theory in arbitrary dimension, and in higher-dimensional quantum field theory with a focus on 4-dimensional quantum electrodynamics.
This is a survey article for the Encyclopedia of Mathematical Physics, 2nd Edition. Topological defects are described in the context of the 2-dimensional Ising model on the lattice, in 2-dimensional quantum field theory, in topological quantum field theory in arbitrary dimension, and in higher-dimensional quantum field theory with a focus on 4-dimensional quantum electrodynamics.
△ Less
Submitted 18 November, 2023; v1 submitted 4 November, 2023;
originally announced November 2023.
-
All product eigenstates in Heisenberg models from a graphical construction
Authors:
Felix Gerken,
Ingo Runkel,
Christoph Schweigert,
Thore Posske
Abstract:
Recently, large degeneracy based on product eigenstates has been found in spin ladders, Kagome-like lattices, and motif magnetism, connected to spin liquids, anyonic phases, and quantum scars. We unify these systems by a complete classification of product eigenstates of Heisenberg XXZ Hamiltonians with Dzyaloshinskii-Moriya interaction on general graphs in the form of Kirchhoff rules for spin supe…
▽ More
Recently, large degeneracy based on product eigenstates has been found in spin ladders, Kagome-like lattices, and motif magnetism, connected to spin liquids, anyonic phases, and quantum scars. We unify these systems by a complete classification of product eigenstates of Heisenberg XXZ Hamiltonians with Dzyaloshinskii-Moriya interaction on general graphs in the form of Kirchhoff rules for spin supercurrent. By this, we construct spin systems with extensive degree of degeneracy linked to exotic condensates which can be studied in atomic gases and quantum spin lattices.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
CFT correlators and map** class group averages
Authors:
Iordanis Romaidis,
Ingo Runkel
Abstract:
Map** class group averages appear in the study of 3D gravity partition functions. In this paper, we work with 3D topological field theories to establish a bulk-boundary correspondence between such averages and correlators of 2D rational CFTs whose chiral map** class group representations are irreducible and satisfy a finiteness property. We show that Ising-type modular fusion categories satisf…
▽ More
Map** class group averages appear in the study of 3D gravity partition functions. In this paper, we work with 3D topological field theories to establish a bulk-boundary correspondence between such averages and correlators of 2D rational CFTs whose chiral map** class group representations are irreducible and satisfy a finiteness property. We show that Ising-type modular fusion categories satisfy these properties on surfaces with or without field insertions, extending results in [Jian et al., JHEP 10 (2020) 129], and we comment on the absence of invertible global symmetries in the examples we consider.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Internal Levin-Wen models
Authors:
Vincentas Mulevicius,
Ingo Runkel,
Thomas Voß
Abstract:
Levin-Wen models are a class of two-dimensional lattice spin models with a Hamiltonian that is a sum of commuting projectors, which describe topological phases of matter related to Drinfeld centres. We generalise this construction to lattice systems internal to a topological phase described by an arbitrary modular fusion category $\mathcal{C}$. The lattice system is defined in terms of an orbifold…
▽ More
Levin-Wen models are a class of two-dimensional lattice spin models with a Hamiltonian that is a sum of commuting projectors, which describe topological phases of matter related to Drinfeld centres. We generalise this construction to lattice systems internal to a topological phase described by an arbitrary modular fusion category $\mathcal{C}$. The lattice system is defined in terms of an orbifold datum $\mathbb{A}$ in $\mathcal{C}$, from which we construct a state space and a commuting-projector Hamiltonian $H_{\mathbb{A}}$ acting on it. The topological phase of the degenerate ground states of $H_{\mathbb{A}}$ is characterised by a modular fusion category $\mathcal{C}_{\mathbb{A}}$ defined directly in terms of $\mathbb{A}$. By choosing different $\mathbb{A}$'s for a fixed $\mathcal{C}$, one obtains precisely all phases which are Witt-equivalent to $\mathcal{C}$.
As special cases we recover the Kitaev and the Levin-Wen lattice models from instances of orbifold data in the trivial modular fusion category of vector spaces, as well as phases obtained by anyon condensation in a given phase $\mathcal{C}$.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Non-semisimple link and manifold invariants for symplectic fermions
Authors:
Johannes Berger,
Azat M. Gainutdinov,
Ingo Runkel
Abstract:
We consider the link and three-manifold invariants in [DGGPR], which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the l…
▽ More
We consider the link and three-manifold invariants in [DGGPR], which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the link only through their simple composition factors, so that in order to detect non-trivial extensions one needs to pass to proper ideals. We compute examples of link and three-manifold invariants for $\mathcal{C}$ being the category of $N$ pairs of symplectic fermions. Using a quasi-Hopf algebra realisation of $\mathcal{C}$, we find that the Lyubashenko-invariant of a lens space is equal to the order of its first homology group to the power $N$, a relation we conjecture to hold for all rational homology spheres. For $N \ge 2$, $\mathcal{C}$ allows for tensor ideals $\mathcal{I}$ with a modified trace which are different from all of $\mathcal{C}$ and from the projective ideal. Using the theory of pull-back traces and symmetrised cointegrals, we show that the link invariant obtained from $\mathcal{I}$ can distinguish a continuum of indecomposable but reducible objects which all have the same composition series.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Parity and Spin CFT with boundaries and defects
Authors:
Ingo Runkel,
Lóránt Szegedy,
Gérard M. T. Watts
Abstract:
This paper is a follow-up to [arXiv:2001.05055] in which two-dimensional conformal field theories in the presence of spin structures are studied. In the present paper we define four types of CFTs, distinguished by whether they need a spin structure or not in order to be well-defined, and whether their fields have parity or not. The cases of spin dependence without parity, and of parity without the…
▽ More
This paper is a follow-up to [arXiv:2001.05055] in which two-dimensional conformal field theories in the presence of spin structures are studied. In the present paper we define four types of CFTs, distinguished by whether they need a spin structure or not in order to be well-defined, and whether their fields have parity or not. The cases of spin dependence without parity, and of parity without the need of a spin structure, have not, to our knowledge, been investigated in detail so far.
We analyse these theories by extending the description of CFT correlators via three-dimensional topological field theory developed in [arXiv:hep-th/0204148] to include parity and spin. In each of the four cases, the defining data are a special Frobenius algebra $F$ in a suitable ribbon fusion category, such that the Nakayama automorphism of $F$ is the identity (oriented case) or squares to the identity (spin case). We use the TFT to define correlators in terms of $F$ and we show that these satisfy the relevant factorisation and single-valuedness conditions.
We allow for world sheets with boundaries and topological line defects, and we specify the categories of boundary labels and the fusion categories of line defect labels for each of the four types.
The construction can be understood in terms of topological line defects as gauging a possibly non-invertible symmetry. We analyse the case of a $\mathbb{Z}_2$-symmetry in some detail and provide examples of all four types of CFT, with Bershadsky-Polyakov models illustrating the two new types.
△ Less
Submitted 17 July, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
Lattice models from CFT on surfaces with holes I: Torus partition function via two lattice cells
Authors:
Enrico M. Brehm,
Ingo Runkel
Abstract:
We construct a one-parameter family of lattice models starting from a two-dimensional rational conformal field theory on a torus with a regular lattice of holes, each of which is equipped with a conformal boundary condition. The lattice model is obtained by cutting the surface into triangles with clipped-off edges using open channel factorisation. The parameter is given by the hole radius. At fini…
▽ More
We construct a one-parameter family of lattice models starting from a two-dimensional rational conformal field theory on a torus with a regular lattice of holes, each of which is equipped with a conformal boundary condition. The lattice model is obtained by cutting the surface into triangles with clipped-off edges using open channel factorisation. The parameter is given by the hole radius. At finite radius, high energy states are suppressed and the model is effectively finite. In the zero-radius limit, it recovers the CFT amplitude exactly. In the touching hole limit, one obtains a topological field theory.
If one chooses a special conformal boundary condition which we call "cloaking boundary condition", then for each value of the radius the fusion category of topological line defects of the CFT is contained in the lattice model. The fact that the full topological symmetry of the initial CFT is realised exactly is a key feature of our lattice models.
We provide an explicit recursive procedure to evaluate the interaction vertex on arbitrary states. As an example, we study the lattice model obtained from the Ising CFT on a torus with one hole, decomposed into two lattice cells. We numerically compare the truncated lattice model to the CFT expression obtained from expanding the boundary state in terms of the hole radius and we find good agreement at intermediate values of the radius.
△ Less
Submitted 28 April, 2022; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Reshetikhin-Turaev TQFTs close under generalised orbifolds
Authors:
Nils Carqueville,
Vincentas Mulevicius,
Ingo Runkel,
Gregor Schaumann,
Daniel Scherl
Abstract:
We specialise the construction of orbifold graph TQFTs introduced in Carqueville et al., arXiv:2101.02482 to Reshetikhin-Turaev defect TQFTs. We explain that the modular fusion category ${\mathcal{C}}_{\mathcal{A}}$ constructed in Mulevičius-Runkel, arXiv:2002.00663 from an orbifold datum $\mathcal{A}$ in a given modular fusion category $\mathcal{C}$ is a special case of the Wilson line ribbon cat…
▽ More
We specialise the construction of orbifold graph TQFTs introduced in Carqueville et al., arXiv:2101.02482 to Reshetikhin-Turaev defect TQFTs. We explain that the modular fusion category ${\mathcal{C}}_{\mathcal{A}}$ constructed in Mulevičius-Runkel, arXiv:2002.00663 from an orbifold datum $\mathcal{A}$ in a given modular fusion category $\mathcal{C}$ is a special case of the Wilson line ribbon categories introduced as part of the general theory of orbifold graph TQFTs. Using this, we prove that the Reshetikhin-Turaev TQFT obtained from ${\mathcal{C}}_{\mathcal{A}}$ is equivalent to the orbifold of the TQFT for $\mathcal{C}$ with respect to the orbifold datum $\mathcal{A}$.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Map** class group representations and Morita classes of algebras
Authors:
Iordanis Romaidis,
Ingo Runkel
Abstract:
A modular fusion category C allows one to define projective representations of the map** class groups of closed surfaces of any genus. We show that if all these representations are irreducible, then C has a unique Morita-class of simple non-degenerate algebras, namely that of the tensor unit. This improves on a result by Andersen and Fjelstad, albeit under stronger assumptions. One motivation to…
▽ More
A modular fusion category C allows one to define projective representations of the map** class groups of closed surfaces of any genus. We show that if all these representations are irreducible, then C has a unique Morita-class of simple non-degenerate algebras, namely that of the tensor unit. This improves on a result by Andersen and Fjelstad, albeit under stronger assumptions. One motivation to look at this problem comes from questions in three-dimensional quantum gravity.
△ Less
Submitted 7 June, 2021; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Domain walls between 3d phases of Reshetikhin-Turaev TQFTs
Authors:
Vincent Koppen,
Vincentas Mulevicius,
Ingo Runkel,
Christoph Schweigert
Abstract:
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 labell…
▽ More
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.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Orbifold graph TQFTs
Authors:
Nils Carqueville,
Vincentas Mulevicius,
Ingo Runkel,
Gregor Schaumann,
Daniel Scherl
Abstract:
A generalised orbifold of a defect TQFT $\mathcal{Z}$ is another TQFT $\mathcal{Z}_{\mathcal{A}}$ obtained by performing a state sum construction internal to $\mathcal{Z}$. As an input it needs a so-called orbifold datum $\mathcal{A}$ which is used to label stratifications coming from duals of triangulations and is subject to conditions encoding the invariance under Pachner moves. In this paper we…
▽ More
A generalised orbifold of a defect TQFT $\mathcal{Z}$ is another TQFT $\mathcal{Z}_{\mathcal{A}}$ obtained by performing a state sum construction internal to $\mathcal{Z}$. As an input it needs a so-called orbifold datum $\mathcal{A}$ which is used to label stratifications coming from duals of triangulations and is subject to conditions encoding the invariance under Pachner moves. In this paper we extend the construction of generalised orbifolds of $3$-dimensional TQFTs to include line defects. The result is a TQFT acting on 3-bordisms with embedded ribbon graphs labelled by a ribbon category $\mathcal{W}_{\mathcal{A}}$ that we canonically associate to $\mathcal{Z}$ and $\mathcal{A}$. We also show that for special orbifold data, the internal state sum construction can be performed on more general skeletons than those dual to triangulations. This makes computations with $\mathcal{Z}_{\mathcal{A}}$ easier to handle in specific examples.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Map** Class Group Representations From Non-Semisimple TQFTs
Authors:
Marco De Renzi,
Azat M. Gainutdinov,
Nathan Geer,
Bertrand Patureau-Mirand,
Ingo Runkel
Abstract:
In [ar** 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…
▽ More
In [ar** 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]. Finally, we show that, when $\mathcal{C}$ is the category of finite-dimensional representations of the small quantum group of $\mathfrak{sl}_2$, the action of all Dehn twists for surfaces without marked points has infinite order.
△ Less
Submitted 23 February, 2021; v1 submitted 28 October, 2020;
originally announced October 2020.
-
Fibonacci-type orbifold data in Ising modular categories
Authors:
Vincentas Mulevicius,
Ingo Runkel
Abstract:
An orbifold datum is a collection $\mathbb{A}$ of algebraic data in a modular fusion category $\mathcal{C}$. It allows one to define a new modular fusion category $\mathcal{C}_{\mathbb{A}}$ in a construction that is a generalisation of taking the Drinfeld centre of a fusion category. Under certain simplifying assumptions we characterise orbifold data $\mathbb{A}$ in terms of scalars satisfying pol…
▽ More
An orbifold datum is a collection $\mathbb{A}$ of algebraic data in a modular fusion category $\mathcal{C}$. It allows one to define a new modular fusion category $\mathcal{C}_{\mathbb{A}}$ in a construction that is a generalisation of taking the Drinfeld centre of a fusion category. Under certain simplifying assumptions we characterise orbifold data $\mathbb{A}$ in terms of scalars satisfying polynomial equations and give an explicit expression which computes the number of isomorphism classes of simple objects in $\mathcal{C}_{\mathbb{A}}$.
In Ising-type modular categories we find new examples of orbifold data which - in an appropriate sense - exhibit Fibonacci fusion rules. The corresponding orbifold modular categories have 11 simple objects, and for a certain choice of parameters one obtains the modular category for $sl(2)$ at level 10. This construction inverts the extension of the latter category by the $E_6$ commutative algebra.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
Monadic cointegrals and applications to quasi-Hopf algebras
Authors:
Johannes Berger,
Azat M. Gainutdinov,
Ingo Runkel
Abstract:
For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are isomorphic as Hopf monads. We define a monadic cointegral for $A_i$ to be an $A_i$-module morphism $\mathbf{1} \to A_i(D)$, where $D$ is the distinguished inver…
▽ More
For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are isomorphic as Hopf monads. We define a monadic cointegral for $A_i$ to be an $A_i$-module morphism $\mathbf{1} \to A_i(D)$, where $D$ is the distinguished invertible object of $\mathcal{C}$. We relate monadic cointegrals to the categorical cointegral introduced by Shimizu (2019), and, in case $\mathcal{C}$ is braided, to an integral for the braided Hopf algebra $\mathcal{L} = \int^X X^\vee \otimes X$ in $\mathcal{C}$ studied by Lyubashenko (1995). Our main motivation stems from the application to finite dimensional quasi-Hopf algebras $H$. For the category of finite-dimensional $H$-modules, we relate the four monadic cointegrals (two of which require $H$ to be pivotal) to four existing notions of cointegrals for quasi-Hopf algebras: the usual left/right cointegrals of Hausser and Nill (1994), as well as so-called $γ$-symmetrised cointegrals in the pivotal case, for $γ$ the modulus of $H$. For (not necessarily semisimple) modular tensor categories $\mathcal{C}$, Lyubashenko gave actions of surface map** class groups on certain Hom-spaces of $\mathcal{C}$, in particular of $SL(2,\mathbb{Z})$ on $\mathcal{C}(\mathcal{L},\mathbf{1})$. In the case of a factorisable ribbon quasi-Hopf algebra, we give a simple expression for the action of $S$ and $T$ which uses the monadic cointegral.
△ Less
Submitted 1 February, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Constructing modular categories from orbifold data
Authors:
Vincentas Mulevicius,
Ingo Runkel
Abstract:
In Carqueville et al., arXiv:1809.01483, the notion of an orbifold datum $\mathbb{A}$ in a modular fusion category $\mathcal{C}$ was introduced as part of a generalised orbifold construction for Reshetikhin-Turaev TQFTs. In this paper, given a simple orbifold datum $\mathbb{A}$ in $\mathcal{C}$, we introduce a ribbon category $\mathcal{C}_{\mathbb{A}}$ and show that it is again a modular fusion ca…
▽ More
In Carqueville et al., arXiv:1809.01483, the notion of an orbifold datum $\mathbb{A}$ in a modular fusion category $\mathcal{C}$ was introduced as part of a generalised orbifold construction for Reshetikhin-Turaev TQFTs. In this paper, given a simple orbifold datum $\mathbb{A}$ in $\mathcal{C}$, we introduce a ribbon category $\mathcal{C}_{\mathbb{A}}$ and show that it is again a modular fusion category. The definition of $\mathcal{C}_{\mathbb{A}}$ is motivated by properties of Wilson lines in the generalised orbifold. We analyse two examples in detail: (i) when $\mathbb{A}$ is given by a simple commutative $Δ$-separable Frobenius algebra $A$ in $\mathcal{C}$; (ii) when $\mathbb{A}$ is an orbifold datum in $\mathcal{C} = \operatorname{Vect}$, built from a spherical fusion category $\mathcal{S}$. We show that in case (i), $\mathcal{C}_{\mathbb{A}}$ is ribbon-equivalent to the category of local modules of $A$, and in case (ii), to the Drinfeld centre of $\mathcal{S}$. The category $\mathcal{C}_{\mathbb{A}}$ thus unifies these two constructions into a single algebraic setting.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Fermionic CFTs and classifying algebras
Authors:
Ingo Runkel,
Gerard M. T. Watts
Abstract:
We study fermionic conformal field theories on surfaces with spin structure in the presence of boundaries, defects, and interfaces. We obtain the relevant crossing relations, taking particular care with parity signs and signs arising from the change of spin structure in different limits. We define fermionic classifying algebras for boundaries, defects, and interfaces, which allow one to read off t…
▽ More
We study fermionic conformal field theories on surfaces with spin structure in the presence of boundaries, defects, and interfaces. We obtain the relevant crossing relations, taking particular care with parity signs and signs arising from the change of spin structure in different limits. We define fermionic classifying algebras for boundaries, defects, and interfaces, which allow one to read off the elementary boundary conditions, etc.
As examples, we define fermionic extensions of Virasoro minimal models and give explicit solutions for the spectrum and bulk structure constants. We show how the $A$- and $D$-type fermionic Virasoro minimal models are related by a parity-shift operation which we define in general. We study the boundaries, defects, and interfaces in several examples, in particular in the fermionic Ising model, i.e. the free fermion, in the fermionic tri-critical Ising model, i.e. the first unitary $N=1$ superconformal minimal model, and in the supersymmetric Lee-Yang model, of which there are two distinct versions that are related by parity-shift.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
3-Dimensional TQFTs From Non-Semisimple Modular Categories
Authors:
Marco De Renzi,
Azat M. Gainutdinov,
Nathan Geer,
Bertrand Patureau-Mirand,
Ingo Runkel
Abstract:
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 map** class group representations, as discus…
▽ More
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 map** 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 previous non-semisimple TQFT constructions.
△ Less
Submitted 12 November, 2021; v1 submitted 4 December, 2019;
originally announced December 2019.
-
String-net models for non-spherical pivotal fusion categories
Authors:
Ingo Runkel
Abstract:
A string-net model associates a vector space to a surface in terms of graphs decorated by objects and morphisms of a pivotal fusion category modulo local relations. String-net models are usually considered for spherical fusion categories, and in this case the vector spaces agree with the state spaces of the corresponding Turaev-Viro topological quantum field theory.
In the present work some effe…
▽ More
A string-net model associates a vector space to a surface in terms of graphs decorated by objects and morphisms of a pivotal fusion category modulo local relations. String-net models are usually considered for spherical fusion categories, and in this case the vector spaces agree with the state spaces of the corresponding Turaev-Viro topological quantum field theory.
In the present work some effects of drop** the sphericality condition are investigated. In one example of non-spherical pivotal fusion categories, the string-net space counts the number of r-spin structures on a surface and carries an isomorphic representation of the map** class group. Another example concerns the string-net space of a sphere with one marked point labelled by a simple object Z of the Drinfeld centre. This space is found to be non-zero iff Z is isomorphic to a non-unit simple object determined by the non-spherical pivotal structure.
The last example mirrors the effect of deforming the stress tensor of a two-dimensional conformal field theory, such as in the topological twist of a supersymmetric theory.
△ Less
Submitted 29 July, 2019;
originally announced July 2019.
-
Modified traces for quasi-Hopf algebras
Authors:
Johannes Berger,
Azat M. Gainutdinov,
Ingo Runkel
Abstract:
Let H be a finite-dimensional unimodular pivotal quasi-Hopf algebra over a field k, and let H-mod be the pivotal tensor category of finite-dimensional H-modules. We give a bijection between left (resp. right) modified traces on the tensor ideal H-pmod of projective modules and left (resp. right) cointegrals for H. The non-zero left/right modified traces are non-degenerate, and we show that non-deg…
▽ More
Let H be a finite-dimensional unimodular pivotal quasi-Hopf algebra over a field k, and let H-mod be the pivotal tensor category of finite-dimensional H-modules. We give a bijection between left (resp. right) modified traces on the tensor ideal H-pmod of projective modules and left (resp. right) cointegrals for H. The non-zero left/right modified traces are non-degenerate, and we show that non-degenerate left/right modified traces can only exist for unimodular H. This generalises results of Beliakova, Blanchet, and Gainutdinov from Hopf algebras to quasi-Hopf algebras. As an example we compute cointegrals and modified traces for the family of symplectic fermion quasi-Hopf algebras.
△ Less
Submitted 11 December, 2019; v1 submitted 26 December, 2018;
originally announced December 2018.
-
Orbifolds of Reshetikhin-Turaev TQFTs
Authors:
Nils Carqueville,
Ingo Runkel,
Gregor Schaumann
Abstract:
We construct three classes of generalised orbifolds of Reshetikhin-Turaev theory for a modular tensor category $\mathcal{C}$, using the language of defect TQFT from [arXiv:1705.06085]: (i) spherical fusion categories give orbifolds for the "trivial" defect TQFT associated to vect, (ii) $G$-crossed extensions of $\mathcal{C}$ give group orbifolds for any finite group $G$, and (iii) we construct orb…
▽ More
We construct three classes of generalised orbifolds of Reshetikhin-Turaev theory for a modular tensor category $\mathcal{C}$, using the language of defect TQFT from [arXiv:1705.06085]: (i) spherical fusion categories give orbifolds for the "trivial" defect TQFT associated to vect, (ii) $G$-crossed extensions of $\mathcal{C}$ give group orbifolds for any finite group $G$, and (iii) we construct orbifolds from commutative $Δ$-separable symmetric Frobenius algebras in $\mathcal{C}$. We also explain how the Turaev-Viro state sum construction fits into our framework by proving that it is isomorphic to the orbifold of case (i). Moreover, we treat the cases (ii) and (iii) in the more general setting of ribbon tensor categories. For case (ii) we show how Morita equivalence leads to isomorphic orbifolds, and we discuss Tambara-Yamagami categories as particular examples.
△ Less
Submitted 27 April, 2020; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Area-dependent quantum field theory with defects
Authors:
Ingo Runkel,
Lóránt Szegedy
Abstract:
Area-dependent quantum field theory is a modification of two-dimensional topological quantum field theory, where one equips each connected component of a bordism with a positive real number - interpreted as area - which behaves additively under glueing. As opposed to topological theories, in area-dependent theories the state spaces can be infinite-dimensional.
We introduce the notion of regulari…
▽ More
Area-dependent quantum field theory is a modification of two-dimensional topological quantum field theory, where one equips each connected component of a bordism with a positive real number - interpreted as area - which behaves additively under glueing. As opposed to topological theories, in area-dependent theories the state spaces can be infinite-dimensional.
We introduce the notion of regularised Frobenius algebras and show that area-dependent theories are in one-to-one correspondence to commutative regularised Frobenius algebras. We provide a state-sum construction for area-dependent theories, which includes theories with defects. Defect lines are labeled by dualisable bimodules over regularised algebras. We show that the tensor product of such bimodules agrees with the fusion of defect lines, which is defined as the limit where the area separating two defect lines is taken to zero.
All these constructions are exemplified by two-dimensional Yang-Mills theory with compact gauge group and with Wilson lines as defects, which we treat in detail.
△ Less
Submitted 21 July, 2018;
originally announced July 2018.
-
Topological field theory on r-spin surfaces and the Arf invariant
Authors:
Ingo Runkel,
Lóránt Szegedy
Abstract:
We give a combinatorial model for r-spin surfaces with parametrised boundary based on Novak (2015). The r-spin structure is encoded in terms of $\mathbb{Z}_r$-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topolo…
▽ More
We give a combinatorial model for r-spin surfaces with parametrised boundary based on Novak (2015). The r-spin structure is encoded in terms of $\mathbb{Z}_r$-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topological field theory computes the Arf-invariant of an r-spin surface as introduced in Geiges, Gonzalo (2012) and Randal-Williams (2014). This implies in particular that the r-spin Arf-invariant is constant on orbits of the map** class group, providing an alternative proof of that fact.
△ Less
Submitted 1 October, 2021; v1 submitted 27 February, 2018;
originally announced February 2018.
-
A quasi-Hopf algebra for the triplet vertex operator algebra
Authors:
Thomas Creutzig,
Azat M. Gainutdinov,
Ingo Runkel
Abstract:
We give a new factorisable ribbon quasi-Hopf algebra U, whose underlying algebra is that of the restricted quantum group for sl(2) at a 2p'th root of unity. The representation category of U is conjecturally ribbon-equivalent to that of the triplet vertex operator algebra W(p). We obtain U via a simple current extension from the unrolled restricted quantum group at the same root of unity. The repre…
▽ More
We give a new factorisable ribbon quasi-Hopf algebra U, whose underlying algebra is that of the restricted quantum group for sl(2) at a 2p'th root of unity. The representation category of U is conjecturally ribbon-equivalent to that of the triplet vertex operator algebra W(p). We obtain U via a simple current extension from the unrolled restricted quantum group at the same root of unity. The representation category of the unrolled quantum group is conjecturally equivalent to that of the singlet vertex operator algebra M(p), and our construction is parallel to extending M(p) to W(p). We illustrate the procedure in the simpler example of passing from the Hopf algebra for the group algebra CZ to a quasi-Hopf algebra for CZ_{2p}, which corresponds to passing from the Heisenberg vertex operator algebra to a lattice extension.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
Line and surface defects in Reshetikhin-Turaev TQFT
Authors:
Nils Carqueville,
Ingo Runkel,
Gregor Schaumann
Abstract:
A modular tensor category $\mathcal{C}$ gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded $\mathcal{C}$-coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. The surface defects are labelled by $Δ$-separable symmetric Frobenius algebras a…
▽ More
A modular tensor category $\mathcal{C}$ gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded $\mathcal{C}$-coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. The surface defects are labelled by $Δ$-separable symmetric Frobenius algebras and the line defects by "multi-modules" which are equivariant with respect to a cyclic group action. Our invariant cannot distinguish non-isotopic embeddings of 2-spheres, but we give an example where it distinguishes non-isotopic embeddings of 2-tori.
△ Less
Submitted 3 December, 2018; v1 submitted 27 October, 2017;
originally announced October 2017.
-
Existence and uniqueness of solutions to Y-systems and TBA equations
Authors:
Lorenz Hilfiker,
Ingo Runkel
Abstract:
We consider Y-system functional equations of the form $$ Y_n(x+i)Y_n(x-i)=\prod_{m=1}^N (1+Y_m(x))^{G_{nm}}$$ and the corresponding nonlinear integral equations of the Thermodynamic Bethe Ansatz. We prove an existence and uniqueness result for solutions of these equations, subject to appropriate conditions on the analytical properties of the $Y_n$, in particular the absence of zeros in a strip aro…
▽ More
We consider Y-system functional equations of the form $$ Y_n(x+i)Y_n(x-i)=\prod_{m=1}^N (1+Y_m(x))^{G_{nm}}$$ and the corresponding nonlinear integral equations of the Thermodynamic Bethe Ansatz. We prove an existence and uniqueness result for solutions of these equations, subject to appropriate conditions on the analytical properties of the $Y_n$, in particular the absence of zeros in a strip around the real axis. The matrix $G_{nm}$ must have non-negative real entries, and be irreducible and diagonalisable over $\mathbb{R}$ with spectral radius less than 2. This includes the adjacency matrices of finite Dynkin diagrams, but covers much more as we do not require $G_{nm}$ to be integers. Our results specialise to the constant Y-system, proving existence and uniqueness of a strictly positive solution in that case.
△ Less
Submitted 28 August, 2017; v1 submitted 29 July, 2017;
originally announced August 2017.
-
The symplectic fermion ribbon quasi-Hopf algebra and the SL(2,Z)-action on its centre
Authors:
Vanda Farsad,
Azat M. Gainutdinov,
Ingo Runkel
Abstract:
We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Grassmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal block…
▽ More
We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Grassmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal blocks of the corresponding logarithmic conformal field theory. The latter category in turn is conjecturally ribbon equivalent to representations of $V_{ev}$, the even part of the symplectic fermion vertex operator super algebra.
Using the formalism developed in our previous paper we compute the projective $SL(2,\mathbb{Z})$-action on the centre of $Q(N)$ as obtained from Lyubashenko's general theory of map** class group actions for factorisable finite ribbon categories. This allows us to test a conjectural non-semisimple version of the modular Verlinde formula: we verify that the $SL(2,\mathbb{Z})$-action computed from $Q(N)$ agrees projectively with that on pseudo trace functions of $V_{ev}$.
△ Less
Submitted 28 January, 2022; v1 submitted 25 June, 2017;
originally announced June 2017.
-
Orbifolds of n-dimensional defect TQFTs
Authors:
Nils Carqueville,
Ingo Runkel,
Gregor Schaumann
Abstract:
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 "g…
▽ More
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 with certain algebraic data $\mathcal{A}$ and then evaluating with $\mathcal{Z}$. The orbifold datum $\mathcal{A}$ is constrained by demanding invariance under $n$-dimensional Pachner moves. This procedure generalises both state sum models and gauging of finite symmetry groups, for any $n$. After develo** the general theory, we focus on the case $n=3$.
△ Less
Submitted 16 October, 2018; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Introductory lectures on topological quantum field theory
Authors:
Nils Carqueville,
Ingo Runkel
Abstract:
These notes offer a lightening introduction to topological quantum field theory in its functorial axiomatisation, assuming no or little prior exposure. We lay some emphasis on the connection between the path integral motivation and the definition in terms symmetric monoidal categories, and we highlight the algebraic formulation emerging from a formal generators-and-relations description. This allo…
▽ More
These notes offer a lightening introduction to topological quantum field theory in its functorial axiomatisation, assuming no or little prior exposure. We lay some emphasis on the connection between the path integral motivation and the definition in terms symmetric monoidal categories, and we highlight the algebraic formulation emerging from a formal generators-and-relations description. This allows one to understand (oriented, closed) 1- and 2-dimensional TQFTs in terms of a finite amount of algebraic data, while already the 3-dimensional case needs an infinite amount of data. We evade these complications by instead discussing some aspects of 3-dimensional extended TQFTs, and their relation to braided monoidal categories.
△ Less
Submitted 16 May, 2017;
originally announced May 2017.
-
Projective objects and the modified trace in factorisable finite tensor categories
Authors:
Azat M. Gainutdinov,
Ingo Runkel
Abstract:
For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective modules span a submodule for the projective SL(2,Z)-action; 3) the action of the Grothendieck ring of C on the span of internal characters of projective object…
▽ More
For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective modules span a submodule for the projective SL(2,Z)-action; 3) the action of the Grothendieck ring of C on the span of internal characters of projective objects can be diagonalised; 4) the linearised Grothendieck ring of C is semisimple iff C is semisimple.
Results 1-3 remain true in positive characteristic under an extra assumption. Result 1 implies that the tensor ideal of projective objects in C carries a unique-up-to-scalars modified trace function. We express the modified trace of open Hopf links coloured by projectives in terms of S-matrix elements. Furthermore, we give a Verlinde-like formula for the decomposition of tensor products of projective objects which uses only the modular S-transformation restricted to internal characters of projective objects.
We compute the modified trace in the example of symplectic fermion categories, and we illustrate how the Verlinde-like formula for projective objects can be applied there.
△ Less
Submitted 16 November, 2019; v1 submitted 1 March, 2017;
originally announced March 2017.
-
SL(2,Z)-action for ribbon quasi-Hopf algebras
Authors:
Vanda Farsad,
Azat M. Gainutdinov,
Ingo Runkel
Abstract:
We study the universal Hopf algebra L of Majid and Lyubashenko in the case that the underlying ribbon category is the category of representations of a finite dimensional ribbon quasi-Hopf algebra A. We show that L=A* with coadjoint action and compute the Hopf algebra structure morphisms of L in terms of the defining data of A. We give explicitly the condition on A which makes Rep(A) factorisable a…
▽ More
We study the universal Hopf algebra L of Majid and Lyubashenko in the case that the underlying ribbon category is the category of representations of a finite dimensional ribbon quasi-Hopf algebra A. We show that L=A* with coadjoint action and compute the Hopf algebra structure morphisms of L in terms of the defining data of A. We give explicitly the condition on A which makes Rep(A) factorisable and compute Lyubashenko's projective SL(2,Z)-action on the centre of A in this case.
The point of this exercise is to provide the groundwork for the applications to ribbon categories arising in logarithmic conformal field theories - in particular symplectic fermions and W_p-models - and to test a conjectural non-semisimple Verlinde formula.
△ Less
Submitted 10 April, 2018; v1 submitted 3 February, 2017;
originally announced February 2017.
-
The non-semisimple Verlinde formula and pseudo-trace functions
Authors:
A. M. Gainutdinov,
I. Runkel
Abstract:
We point out that results of Shimizu on internal characters imply a useful non-semisimple variant of the categorical Verlinde formula for factorisable finite tensor categories. When combined with results on pseudo-trace functions by Miyamoto and Arike-Nagatomo, one can make a precise conjecture for a non-semisimple modular Verlinde formula which relates modular properties of pseudo-trace functions…
▽ More
We point out that results of Shimizu on internal characters imply a useful non-semisimple variant of the categorical Verlinde formula for factorisable finite tensor categories. When combined with results on pseudo-trace functions by Miyamoto and Arike-Nagatomo, one can make a precise conjecture for a non-semisimple modular Verlinde formula which relates modular properties of pseudo-trace functions and the product in the Grothendieck ring of the corresponding vertex operator algebra.
△ Less
Submitted 2 July, 2017; v1 submitted 14 May, 2016;
originally announced May 2016.
-
Holomorphic Symplectic Fermions
Authors:
Alexei Davydov,
Ingo Runkel
Abstract:
Let V be the even part of the vertex operator super-algebra of r pairs of symplectic fermions. Up to two conjectures, we show that V admits a unique holomorphic extension if r is a multiple of 8, and no holomorphic extension otherwise.
This is implied by two results obtained in this paper: 1) If r is a multiple of 8, one possible holomorphic extension is given by the lattice vertex operator alge…
▽ More
Let V be the even part of the vertex operator super-algebra of r pairs of symplectic fermions. Up to two conjectures, we show that V admits a unique holomorphic extension if r is a multiple of 8, and no holomorphic extension otherwise.
This is implied by two results obtained in this paper: 1) If r is a multiple of 8, one possible holomorphic extension is given by the lattice vertex operator algebra for the even self dual lattice $D_r^+$ with shifted stress tensor. 2) We classify Lagrangian algebras in SF(h), a ribbon category associated to symplectic fermions.
The classification of holomorphic extensions of V follows from 1) and 2) if one assumes that SF(h) is ribbon equivalent to Rep(V), and that simple modules of extensions of V are in one-to-one relation with simple local modules of the corresponding commutative algebra in SF(h).
△ Less
Submitted 24 January, 2016;
originally announced January 2016.
-
Spin from defects in two-dimensional quantum field theory
Authors:
Sebastian Novak,
Ingo Runkel
Abstract:
We build two-dimensional quantum field theories on spin surfaces starting from theories on oriented surfaces with networks of topological defect lines and junctions. The construction uses a combinatorial description of the spin structure in terms of a triangulation equipped with extra data. The amplitude for the spin surfaces is defined to be the amplitude for the underlying oriented surface toget…
▽ More
We build two-dimensional quantum field theories on spin surfaces starting from theories on oriented surfaces with networks of topological defect lines and junctions. The construction uses a combinatorial description of the spin structure in terms of a triangulation equipped with extra data. The amplitude for the spin surfaces is defined to be the amplitude for the underlying oriented surface together with a defect network dual to the triangulation. Independence of the triangulation and of the other choices follows if the line defect and junctions are obtained from a Delta-separable Frobenius algebra with involutive Nakayama automorphism in the monoidal category of topological defects. For rational conformal field theory we can give a more explicit description of the defect category, and we work out two examples related to free fermions in detail: the Ising model and the so(n) WZW model at level 1.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Symplectic fermions and a quasi-Hopf algebra structure on $\bar{U}_i sl(2)$
Authors:
A. M. Gainutdinov,
I. Runkel
Abstract:
We consider the (finite-dimensional) small quantum group $\bar{U}_q sl(2)$ at $q=i$. We show that $\bar{U}_i sl(2)$ does not allow for an R-matrix, even though $U \otimes V \cong V \otimes U$ holds for all finite-dimensional representations $U,V$ of $\bar{U}_i sl(2)$. We then give an explicit coassociator $Φ$ and an R-matrix $R$ such that $\bar{U}_i sl(2)$ becomes a quasi-triangular quasi-Hopf alg…
▽ More
We consider the (finite-dimensional) small quantum group $\bar{U}_q sl(2)$ at $q=i$. We show that $\bar{U}_i sl(2)$ does not allow for an R-matrix, even though $U \otimes V \cong V \otimes U$ holds for all finite-dimensional representations $U,V$ of $\bar{U}_i sl(2)$. We then give an explicit coassociator $Φ$ and an R-matrix $R$ such that $\bar{U}_i sl(2)$ becomes a quasi-triangular quasi-Hopf algebra.
Our construction is motivated by the two-dimensional chiral conformal field theory of symplectic fermions with central charge $c=-2$. There, a braided monoidal category, $\mathcal{SF}$, has been computed from the factorisation and monodromy properties of conformal blocks, and we prove that $\mathrm{Rep}\,(\bar{U}_i sl(2),Φ,R)$ is braided monoidally equivalent to $\mathcal{SF}$.
△ Less
Submitted 18 January, 2017; v1 submitted 26 March, 2015;
originally announced March 2015.
-
N=2 minimal conformal field theories and matrix bifactorisations of x^d
Authors:
Alexei Davydov,
Ana Ros Camacho,
Ingo Runkel
Abstract:
We prove a tensor equivalence between full subcategories of a) graded matrix factorisations of the potential x^d-y^d and b) representations of the N=2 minimal super vertex operator algebra at central charge 3-6/d, where d is odd. The subcategories are given by a) permutation-type matrix factorisations with consecutive index sets, and b) Neveu-Schwarz-type representations. The physical motivation f…
▽ More
We prove a tensor equivalence between full subcategories of a) graded matrix factorisations of the potential x^d-y^d and b) representations of the N=2 minimal super vertex operator algebra at central charge 3-6/d, where d is odd. The subcategories are given by a) permutation-type matrix factorisations with consecutive index sets, and b) Neveu-Schwarz-type representations. The physical motivation for this result is the Landau-Ginzburg / conformal field theory correspondence, where it amounts to the equivalence of a subset of defects on both sides of the correspondence. Our work builds on results by Brunner and Roggenkamp [arXiv:0707.0922], where an isomorphism of fusion rules was established.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
State sum construction of two-dimensional topological quantum field theories on spin surfaces
Authors:
Sebastian Novak,
Ingo Runkel
Abstract:
We provide a combinatorial model for spin surfaces. Given a triangulation of an oriented surface, a spin structure is encoded by assigning to each triangle a preferred edge, and to each edge an orientation and a sign, subject to certain admissibility conditions. The behaviour of this data under Pachner moves is then used to define a state sum topological field theory on spin surfaces. The algebrai…
▽ More
We provide a combinatorial model for spin surfaces. Given a triangulation of an oriented surface, a spin structure is encoded by assigning to each triangle a preferred edge, and to each edge an orientation and a sign, subject to certain admissibility conditions. The behaviour of this data under Pachner moves is then used to define a state sum topological field theory on spin surfaces. The algebraic data is a Delta-separable Frobenius algebra whose Nakayama automorphism is an involution. We find that a simple extra condition on the algebra guarantees that the amplitude is zero unless the combinatorial data satisfies the admissibility condition required for the reconstruction of the spin structure.
△ Less
Submitted 14 April, 2015; v1 submitted 12 February, 2014;
originally announced February 2014.
-
Orbifold equivalent potentials
Authors:
Nils Carqueville,
Ana Ros Camacho,
Ingo Runkel
Abstract:
To a graded finite-rank matrix factorisation of the difference of two homogeneous potentials one can assign two numbers, the left and right quantum dimension. The existence of such a matrix factorisation with non-zero quantum dimensions defines an equivalence relation between potentials, giving rise to non-obvious equivalences of categories.
Restricted to ADE singularities, the resulting equival…
▽ More
To a graded finite-rank matrix factorisation of the difference of two homogeneous potentials one can assign two numbers, the left and right quantum dimension. The existence of such a matrix factorisation with non-zero quantum dimensions defines an equivalence relation between potentials, giving rise to non-obvious equivalences of categories.
Restricted to ADE singularities, the resulting equivalence classes of potentials are those of type {A_{d-1}} for d odd, {A_{d-1},D_{d/2+1}} for d even but not in {12,18,30}, and {A_{11}, D_7, E_6}, {A_{17}, D_{10}, E_7} and {A_{29}, D_{16}, E_8}. This is the result expected from two-dimensional rational conformal field theory, and it directly leads to new descriptions of and relations between the associated (derived) categories of matrix factorisations and Dynkin quiver representations.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
Cardy algebras and sewing constraints, II
Authors:
Liang Kong,
Qin Li,
Ingo Runkel
Abstract:
This is the part II of a two-part work started in arXiv:0807.3356 [math.QA]. In part I, Cardy algebras were studied, a notion which arises from the classification of genus-0,1 open-closed rational conformal field theories. In this part, we prove that a Cardy algebra also satisfies the higher genus factorisation and modular-invariance properties formulated in arXiv:hep-th/0612306 in terms of the no…
▽ More
This is the part II of a two-part work started in arXiv:0807.3356 [math.QA]. In part I, Cardy algebras were studied, a notion which arises from the classification of genus-0,1 open-closed rational conformal field theories. In this part, we prove that a Cardy algebra also satisfies the higher genus factorisation and modular-invariance properties formulated in arXiv:hep-th/0612306 in terms of the notion of a solution to the sewing constraints. We present the proof by showing that the latter notion, which is defined as a monoidal natural transformation, can be expressed in terms of generators and relations, which correspond exactly to the defining data and axioms of a Cardy algebra.
△ Less
Submitted 7 October, 2013;
originally announced October 2013.
-
An alternative description of braided monoidal categories
Authors:
Alexei Davydov,
Ingo Runkel
Abstract:
We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to be equivalent to the usual associativity, unit and braiding axioms. We also discuss the next dimensional version, that is, b-structures on bicategories. As an ap…
▽ More
We give an alternative presentation of braided monoidal categories. Instead of the usual associativity and braiding we have just one constraint (the b-structure). In the unital case, the coherence conditions for a b-structure are shown to be equivalent to the usual associativity, unit and braiding axioms. We also discuss the next dimensional version, that is, b-structures on bicategories. As an application, we show how special b-categories result in the Yang-Baxter equation, and how special b-bicategories produce Zamolodchikov's tetrahedron equation. Finally, we define a cohomology theory (the b-cohomology) which plays a role analogous to the one abelian group cohomology has for braided monoidal categories.
△ Less
Submitted 23 July, 2013;
originally announced July 2013.
-
Functoriality of the center of an algebra
Authors:
Alexei Davydov,
Liang Kong,
Ingo Runkel
Abstract:
The notion of the center of an algebra over a field k has a far reaching generalization to algebras in monoidal categories. The center then lives in the monoidal center of the original category. This generalization plays an important role in the study of bulk-boundary duality of rational conformal field theories. In this paper, we study functorial properties of the center. We show that it gives ri…
▽ More
The notion of the center of an algebra over a field k has a far reaching generalization to algebras in monoidal categories. The center then lives in the monoidal center of the original category. This generalization plays an important role in the study of bulk-boundary duality of rational conformal field theories. In this paper, we study functorial properties of the center. We show that it gives rise to a 2-functor from the bicategory of semisimple indecomposable module categories over a fusion category to the bicategory of commutative algebras in the monoidal center of this fusion category. Morphism spaces of the latter bicategory are extended from algebra homomorphisms to certain categories of cospans. We conjecture that the above 2-functor arises from a lax 3-functor between tricategories, and that in this setting one can relax the conditions from fusion categories to finite tensor categories. We briefly outline how one is naturally lead to the above 2-functor when studying rational conformal field theory with defects of all codimensions. For example, the cospans of the target bicategory correspond to spaces of defect fields and to the bulk-defect operator product expansions.
△ Less
Submitted 23 July, 2013;
originally announced July 2013.
-
A braided monoidal category for symplectic fermions
Authors:
Alexei Davydov,
Ingo Runkel
Abstract:
We describe a class of examples of braided monoidal categories which are built from Hopf algebras in symmetric categories. The construction is motivated by a calculation in two-dimensional conformal field theory and is tailored to contain the braided monoidal categories occurring in the study of the Ising model, their generalisation to Tamabara-Yamagami categories, and categories occurring for sym…
▽ More
We describe a class of examples of braided monoidal categories which are built from Hopf algebras in symmetric categories. The construction is motivated by a calculation in two-dimensional conformal field theory and is tailored to contain the braided monoidal categories occurring in the study of the Ising model, their generalisation to Tamabara-Yamagami categories, and categories occurring for symplectic fermions.
△ Less
Submitted 9 January, 2013;
originally announced January 2013.
-
Integrable perturbations of conformal field theories and Yetter-Drinfeld modules
Authors:
David Buecher,
Ingo Runkel
Abstract:
In this paper we relate a problem in representation theory - the study of Yetter-Drinfeld modules over certain braided Hopf algebras - to a problem in two-dimensional quantum field theory, namely the identification of integrable perturbations of a conformal field theory. A prescription that parallels Lusztig's construction allows one to read off the quantum group governing the integrable symmetry.…
▽ More
In this paper we relate a problem in representation theory - the study of Yetter-Drinfeld modules over certain braided Hopf algebras - to a problem in two-dimensional quantum field theory, namely the identification of integrable perturbations of a conformal field theory. A prescription that parallels Lusztig's construction allows one to read off the quantum group governing the integrable symmetry. As an example, we illustrate how the quantum group for the loop algebra of sl(2) appears in the integrable structure of the perturbed uncompactified and compactified free boson.
△ Less
Submitted 30 December, 2014; v1 submitted 20 November, 2012;
originally announced November 2012.
-
Orbifold completion of defect bicategories
Authors:
Nils Carqueville,
Ingo Runkel
Abstract:
Orbifolds of two-dimensional quantum field theories have a natural formulation in terms of defects or domain walls. This perspective allows for a rich generalisation of the orbifolding procedure, which we study in detail for the case of topological field theories. Namely, a TFT with defects gives rise to a pivotal bicategory of "worldsheet phases" and defects between them. We develop a general fra…
▽ More
Orbifolds of two-dimensional quantum field theories have a natural formulation in terms of defects or domain walls. This perspective allows for a rich generalisation of the orbifolding procedure, which we study in detail for the case of topological field theories. Namely, a TFT with defects gives rise to a pivotal bicategory of "worldsheet phases" and defects between them. We develop a general framework which takes such a bicategory B as input and returns its "orbifold completion" B_orb. The completion satisfies the natural properties B \subset B_orb and (B_orb)_orb = B_orb, and it gives rise to various new equivalences and nondegeneracy results. When applied to TFTs, the objects in B_orb correspond to generalised orbifolds of the theories in B. In the example of Landau-Ginzburg models we recover and unify conventional equivariant matrix factorisations, prove when and how (generalised) orbifolds again produce open/closed TFTs, and give nontrivial examples of new orbifold equivalences.
△ Less
Submitted 13 June, 2014; v1 submitted 23 October, 2012;
originally announced October 2012.
-
A braided monoidal category for free super-bosons
Authors:
Ingo Runkel
Abstract:
The chiral conformal field theory of free super-bosons is generated by weight one currents whose mode algebra is the affinisation of an abelian Lie super-algebra h with non-degenerate super-symmetric pairing. The mode algebras of a single free boson and of a single pair of symplectic fermions arise for even|odd dimension 1|0 and 0|2 of h, respectively.
In this paper, the representations of the u…
▽ More
The chiral conformal field theory of free super-bosons is generated by weight one currents whose mode algebra is the affinisation of an abelian Lie super-algebra h with non-degenerate super-symmetric pairing. The mode algebras of a single free boson and of a single pair of symplectic fermions arise for even|odd dimension 1|0 and 0|2 of h, respectively.
In this paper, the representations of the untwisted mode algebra of free super-bosons are equipped with a tensor product, a braiding, and an associator. In the symplectic fermion case, i.e. if h is purely odd, the braided monoidal structure is extended to representations of the Z/2Z-twisted mode algebra. The tensor product is obtained by computing spaces of vertex operators. The braiding and associator are determined by explicit calculations from three- and four-point conformal blocks.
△ Less
Submitted 21 February, 2014; v1 submitted 25 September, 2012;
originally announced September 2012.
-
Z/2Z-extensions of Hopf algebra module categories by their base categories
Authors:
Alexei Davydov,
Ingo Runkel
Abstract:
Starting with a self-dual Hopf algebra H in a braided monoidal category S we construct a Z/2Z-graded monoidal category C = C_0 + C_1. The degree zero component is the category Rep_S(H) of representations of H and the degree one component is the category S. The extra structure on H needed to define the associativity isomorphisms is a choice of self-duality map and cointegral, subject to certain con…
▽ More
Starting with a self-dual Hopf algebra H in a braided monoidal category S we construct a Z/2Z-graded monoidal category C = C_0 + C_1. The degree zero component is the category Rep_S(H) of representations of H and the degree one component is the category S. The extra structure on H needed to define the associativity isomorphisms is a choice of self-duality map and cointegral, subject to certain conditions. We also describe rigid, braided and ribbon structures on C in Hopf algebraic terms. Our construction permits a uniform treatment of Tambara-Yamagami categories and categories related to symplectic fermions in conformal field theory.
△ Less
Submitted 22 August, 2013; v1 submitted 16 July, 2012;
originally announced July 2012.
-
Logarithmic bulk and boundary conformal field theory and the full centre construction
Authors:
Ingo Runkel,
Matthias R. Gaberdiel,
Simon Wood
Abstract:
We review the definition of bulk and boundary conformal field theory in a way suited for logarithmic conformal field theory. The notion of a maximal bulk theory which can be non-degenerately joined to a boundary theory is defined. The purpose of this construction is to obtain the more complicated bulk theories from simpler boundary theories. We then describe the algebraic counterpart of the maxima…
▽ More
We review the definition of bulk and boundary conformal field theory in a way suited for logarithmic conformal field theory. The notion of a maximal bulk theory which can be non-degenerately joined to a boundary theory is defined. The purpose of this construction is to obtain the more complicated bulk theories from simpler boundary theories. We then describe the algebraic counterpart of the maximal bulk theory, namely the so-called full centre of an algebra in an abelian braided monoidal category. Finally, we illustrate the previous discussion in the example of the W(2,3)-model with central charge 0.
△ Less
Submitted 30 January, 2012;
originally announced January 2012.
-
Field theories with defects and the centre functor
Authors:
Alexei Davydov,
Liang Kong,
Ingo Runkel
Abstract:
This note is intended as an introduction to the functorial formulation of quantum field theories with defects. After some remarks about models in general dimension, we restrict ourselves to two dimensions - the lowest dimension in which interesting field theories with defects exist. We study in some detail the simplest example of such a model, namely a topological field theory with defects which w…
▽ More
This note is intended as an introduction to the functorial formulation of quantum field theories with defects. After some remarks about models in general dimension, we restrict ourselves to two dimensions - the lowest dimension in which interesting field theories with defects exist. We study in some detail the simplest example of such a model, namely a topological field theory with defects which we describe via lattice TFT. Finally, we give an application in algebra, where the defect TFT provides us with a functorial definition of the centre of an algebra. This involves changing the target category of commutative algebras into a bicategory. Throughout this paper, we emphasise the role of higher categories - in our case bicategories - in the description of field theories with defects.
△ Less
Submitted 3 July, 2011;
originally announced July 2011.
-
A modular invariant bulk theory for the c=0 triplet model
Authors:
Matthias R. Gaberdiel,
Ingo Runkel,
Simon Wood
Abstract:
A proposal for the bulk space of the logarithmic W(2,3)-triplet model at central charge zero is made. The construction is based on the idea that one may reconstruct the bulk theory of a rational conformal field theory from its boundary theory. The resulting bulk space is a quotient of the direct sum of projective representations, which is isomorphic, as a vector space, to the direct sum of tensor…
▽ More
A proposal for the bulk space of the logarithmic W(2,3)-triplet model at central charge zero is made. The construction is based on the idea that one may reconstruct the bulk theory of a rational conformal field theory from its boundary theory. The resulting bulk space is a quotient of the direct sum of projective representations, which is isomorphic, as a vector space, to the direct sum of tensor products of the irreducible representations with their projective covers. As a consistency check of our analysis we show that the partition function of the bulk theory is modular invariant, and that the boundary state analysis is compatible with the proposed annulus partition functions of this model.
△ Less
Submitted 24 January, 2011; v1 submitted 31 July, 2010;
originally announced August 2010.
