arXiv subjects

Ingo Runkel

Publications and source records attributed to Ingo Runkel.

At least 19 recordsLinked to original sources

arXiv2026

Crossed-module crossed braided categories

For a crossed module $\chi: G \to H$, we introduce the notion of $\chi$-crossed braided (resp. ribbon) categories, where the categories are graded by group $G$ and carry an $H$-action. Our definition unifies and generalises several familiar notions: taking $\chi = id: G \to G$ with the conjugation action recovers $G$-crossed braided categories; taking $\chi: G \to \{*\}$ for abelian $G$ yields $G$-graded braided categories; taking $\chi: \{*\} \to G$ leads to braided categories equipped with a $G$-action. The equivalence relation between $\chi$-crossed braided categories is typically finer than that between $G$-crossed braided ones. We classify $\chi$-crossed braided structures on the category of $G$-graded vector spaces in terms of cohomological data, and give explicit examples for cyclic groups. Given a doubly central algebra with $G$- and $H$-actions in a braided monoidal category, we define a notion of twisted-local modules and show how they give rise to $\chi$-crossed braided categories. We furthermore give sufficient conditions so that these categories are additionally $\chi$-crossed ribbon or admit an orthogonal $G$-decomposition.

math.CT↗

arXiv2026

Non-semisimple open-closed 3d TFT

Given a spherical finite tensor category C, not necessarily semisimple, and a two-sided modified trace on its projective ideal, we define an open-closed three-dimensional topological field theory with values in vector spaces. The bordism category has as morphisms three-dimensional bordisms with corners, whose boundary is partitioned into the gluing boundary, parametrised by source and target surface, and the unparametrised free boundary. The free boundary is equipped with an embedded C-coloured graph satisfying an admissibility condition. Our construction starts from a new three-manifold invariant based on the multi-handlebody invariant of [arXiv:1809.07991] and the chromatic maps of [arXiv:2302.04509]. The open-closed topological field theory is then obtained via the universal construction.

math.QA↗

arXiv2026

Defects in skein theory and TQFT

Given a 3-manifold $M$ with a network of line and point defects in its boundary, we define the skein module of this configuration, generalizing the well-studied case of 3-manifolds which only admit point defects in the boundary. We prove that when all defects are labelled by semisimple data, our skein module is isomorphic to the state space of $\partial M$ in the defect version of the Reshetikhin-Turaev TQFT constructed by Carqueville-Runkel-Schaumann. Our defect skein modules follow naturally by globalizing the graphical calculus of module categories and functors thereof, and generalize the possible defect data considered in the defect TQFT beyond the semisimple case.

math.QA↗

arXiv2025

Non-semisimple CFT/TFT correspondence I: General setup

We extend the TFT construction of CFT correlators of [arXiv:hep-th/0204148] to so-called finite logarithmic CFTs for which the algebraic input data is no longer semisimple but still finite. More specifically, starting from the data of a chiral CFT given in the form of a not necessarily semisimple modular tensor category C we use a three dimensional topological field theory with surface defects based on the surgery TFT of [arXiv:1912.02063] to construct a full CFT as a braided monoidal oplax natural transformation. We make our construction explicit in the example of the transparent surface defect, resulting in the so-called Cardy case. In particular, we consider topological line defects and their action on bulk fields in these logarithmic CFTs, providing a source of examples for non-invertible and non-semisimple topological symmetries.

math.QA↗

arXiv2025

Translation invariant defects as an extension of topological symmetries

The modern way to understand symmetries of a quantum field theory is via its topological defects in various dimensions. In this contribution to the proceedings we focus on line defects in 2d QFT and we point out that topological defects naturally embed into a larger class, namely translation invariant defects. The latter still allow for non-singular fusion and one obtains a monoidal category of translation invariant defects which contains that of topological defects as a full subcategory. We give a simple perturbative description of translation invariant defects in a perturbed conformal field theory via chiral three-dimensional topological field theory. We show in the example of the Ising CFT and the Lee-Yang CFT that even if no topological defects survive the deformation, some translation invariant defects still do.

hep-th↗

arXiv2025

Analytic results in conformal field theory

Since the 1980s, many exact results have been discovered in $2d$ CFT, from critical exponents to correlation functions to complete solutions of certain models. In $d>2$, there is a wealth of numerical results as well as promising analytic approaches, but comparably fewer exact answers. The aim of this conference was to review the most promising analytic methods and results in CFT in any dimension. In particular we tried to understand to which extent the $2d$ methods can be extended to $d>2$, and what is missing to exactly solve $d>2$ CFTs.

hep-th↗

arXiv2025

Generalised Orbifolds and G-equivariantisation

In a construction motivated by topological field theory, a so-called orbifold datum $\mathbb{A}$ in a ribbon category $C$ allows one to define a new ribbon category $C_{\mathbb{A}}$. If $C$ is the neutral component of a $G$-crossed ribbon category $B$, and $\mathbb{A}$ is an orbifold datum in $C$ defined in terms of $B$, one finds that $C_{\mathbb{A}}$ is equivalent to the equivariantisation $B^G$ of $B$ as a ribbon category. We give a constructive proof of this equivalence.

math.QA↗

arXiv2025

Non-local charges from perturbed defects via SymTFT in 2d CFT

We investigate non-local conserved charges in perturbed two-dimensional conformal field theories from the point of view of the 3d SymTFT of the unperturbed theory. In the SymTFT we state a simple commutation condition which results in a pair of compatible bulk and defect perturbations, such that the perturbed line defects are conserved in the perturbed CFT. In other words, the perturbed defects are rigidly translation invariant, and such defects form a monoidal category which extends the topological symmetries. As examples we study the A-type Virasoro minimal models $M(p,q)$. Our formalism provides one-parameter families of commuting non-local conserved charges for perturbations by a primary bulk field with Kac label $(1,2)$, $(1,3)$, or $(1,5)$, which are the standard integrable perturbations of minimal models. We find solutions to the commutation condition also for other bulk perturbations, such as $(1,7)$, and we contrast this with the existence of local conserved charges. There has been recent interest in the possibility that in certain cases perturbations by fields such as $(1,7)$ can be integrable, and our construction provides a new way in which integrability can be found without the need for local conserved charges.

hep-th↗

arXiv2024

Lattice models from CFT on surfaces with holes II: Cloaking boundary conditions and loop models

In this paper we continue to investigate the lattice models obtained from 2d CFTs via the construction introduced in [arXiv:2112.01563]. On the side of the 2d CFT we consider the cloaking boundary condition relative to a fixed fusion category F of topological line defects. The resulting lattice model realises the topological symmetry F exactly. We compute the state spaces and Boltzmann weights of these lattice model in the example of unitary Virasoro minimal models. We work directly with amplitudes, rather than with normalised correlators, and we provide a careful treatment of the Weyl anomaly factor in terms of the Liouville action. We numerically evaluate the Ising CFT on the torus with one hole and cloaking boundary condition in two channels, and illustrate in this example that the anomaly factors are essential to obtain matching results for the amplitudes. We show that lattice models obtained from Virasoro minimal models at lowest non-trivial cutoff can be exactly mapped to loop models. This provides a first non-trivial check that our lattice models can contain the 2d CFT they were constructed from in their phase diagram, and we propose a condition on the cloaking boundary condition for F under which we expect this to happen in general.

math-ph↗

arXiv2024

Excision for Spaces of Admissible Skeins

The skein module for a d-dimensional manifold is a vector space spanned by embedded framed graphs decorated by a category A with suitable extra structure depending on the dimension d, modulo local relations which hold inside d-balls. For a full subcategory S of A, an S-admissible skein module is defined analogously, except that local relations for a given ball may only be applied if outside the ball at least one edge is coloured in S. In this paper we prove that admissible skein modules in any dimension satisfy excision, namely that the skein module of a glued manifold is expressed as a coend over boundary values on the boundary components glued together. We furthermore relate skein modules for different choices of S, apply our result to cylinder categories, and recover the relation to modified traces.

math.QA↗

arXiv2024

Three-Dimensional Spin TFTs from Gauging Line Defects

From the input of an oriented three-dimensional TFT with framed line defects and a commutative $\Delta$-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].

math.GT↗

arXiv2024

Modular functors from non-semisimple 3d TFTs

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).

math.QA↗

arXiv2023

Topological defects

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.

math-ph↗

arXiv2023

All product eigenstates in Heisenberg models from a graphical construction

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 could be studied in atomic gases and quantum spin lattices.

cond-mat.str-el↗

arXiv2023

CFT correlators and mapping class group averages

Mapping 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 mapping 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.

hep-th↗

arXiv2023

Internal Levin-Wen models

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}$.

cond-mat.str-el↗

arXiv2023

Non-semisimple link and manifold invariants for symplectic fermions

We consider the link and three-manifold invariants from arXiv:1912.02063, 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.

math.QA↗

arXiv2022

Parity and Spin CFT with boundaries and defects

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.

hep-th↗