Showing 1–35 of 35 results for author: Carqueville, N

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.

Comments: 37 pages, contribution to the Encyclopedia of Mathematical Physics, 2nd Edition; v2: references added

Orbifolds of topological quantum field theories

Authors: Nils Carqueville

Abstract: The orbifold construction via topological defects in quantum field theory can either be understood as a state sum construction internal to a given ambient theory, or as the procedure of (identifying and) gauging ordinary and "non-invertible" symmetries. Here we explain how this is rigorously understood in the case of topological QFTs. We provide various examples and outline general features, also… ▽ More The orbifold construction via topological defects in quantum field theory can either be understood as a state sum construction internal to a given ambient theory, or as the procedure of (identifying and) gauging ordinary and "non-invertible" symmetries. Here we explain how this is rigorously understood in the case of topological QFTs. We provide various examples and outline general features, also of relevance for full QFT. △ Less

Submitted 7 September, 2023; v1 submitted 31 July, 2023; originally announced July 2023.

Comments: 32 pages; v2: minor changes

Orbifold completion of 3-categories

Authors: Nils Carqueville, Lukas Müller

Abstract: We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all 1- and 2-morphisms (more precisely, a Gray category with duals), we construct the 3-category $\mathcal{T}_{\textrm{orb}}$ as a Morita category of certain $E_1$-… ▽ More We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all 1- and 2-morphisms (more precisely, a Gray category with duals), we construct the 3-category $\mathcal{T}_{\textrm{orb}}$ as a Morita category of certain $E_1$-algebras in $\mathcal{T}$ which encode triangulation invariance. We prove that in $\mathcal{T}_{\textrm{orb}}$ again all 1- and 2-morphisms have adjoints, that it contains $\mathcal{T}$ as a full subcategory, and we argue, but do not prove, that it satisfies a universal property which implies $(\mathcal{T}_{\textrm{orb}})_{\textrm{orb}} \cong \mathcal{T}_{\textrm{orb}}$. This is a categorification of the work in [CR]. Orbifold completion by design allows us to lift the orbifold construction from closed TQFT to the much richer world of defect TQFTs. We illustrate this by constructing a universal 3-dimensional state sum model with all defects from first principles, and we explain how recent work on defects between Witt equivalent Reshetikhin--Turaev theories naturally appears as a special case of orbifold completion. △ Less

Submitted 25 February, 2024; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 58 pages, many diagrams and figures, v2: references, clarifications and improvements added

Truncated affine Rozansky--Witten models as extended defect TQFTs

Authors: Ilka Brunner, Nils Carqueville, Pantelis Fragkos, Daniel Roggenkamp

Abstract: We apply the cobordism hypothesis with singularities to the case of affine Rozansky--Witten models, providing a construction of extended TQFTs that includes all line and surface defects. On a technical level, this amounts to proving that the associated homotopy 2-category is pivotal, and to systematically employing its 3-dimensional graphical calculus. This in particular allows us to explicitly ca… ▽ More We apply the cobordism hypothesis with singularities to the case of affine Rozansky--Witten models, providing a construction of extended TQFTs that includes all line and surface defects. On a technical level, this amounts to proving that the associated homotopy 2-category is pivotal, and to systematically employing its 3-dimensional graphical calculus. This in particular allows us to explicitly calculate state spaces for surfaces with arbitrary defect networks. As specific examples we discuss symmetry defects which can be used to model non-trivial background gauge fields, as well as boundary conditions. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 79 pages

Invariants of r-spin TQFTs and non-semisimplicity

Authors: Nils Carqueville, Ehud Meir, Lorant Szegedy

Abstract: For a positive integer r, an r-spin topological quantum field theory is a 2-dimensional TQFT with tangential structure given by the r-fold cover of SO_2 . In particular, such a TQFT assigns a scalar invariant to every closed r-spin surface Sigma. Given a sequence of scalars indexed by the set of diffeomorphism classes of all such Sigma, we construct a symmetric monoidal category C and a C-valued r… ▽ More For a positive integer r, an r-spin topological quantum field theory is a 2-dimensional TQFT with tangential structure given by the r-fold cover of SO_2 . In particular, such a TQFT assigns a scalar invariant to every closed r-spin surface Sigma. Given a sequence of scalars indexed by the set of diffeomorphism classes of all such Sigma, we construct a symmetric monoidal category C and a C-valued r-spin TQFT which reproduces the given sequence. We also determine when such a sequence arises from a TQFT valued in an abelian category with finite-dimensional Hom spaces. In particular, we construct TQFTs with values in super vector spaces that can distinguish all diffeomorphism classes of r-spin surfaces, and we show that the associated algebras are necessarily non-semisimple. △ Less

Submitted 14 June, 2023; originally announced June 2023.

MSC Class: 57K16; 18M05

Looking for structure in the cobordism conjecture

Authors: David Andriot, Nils Carqueville, Niccolò Cribiori

Abstract: The cobordism conjecture of the swampland program states that the bordism group of quantum gravity must be trivial. We investigate this statement in several directions, on both the mathematical and physical side. We consider the Whitehead tower construction as a possible organising principle for the topological structures entering the formulation of the conjecture. We discuss why and how to includ… ▽ More The cobordism conjecture of the swampland program states that the bordism group of quantum gravity must be trivial. We investigate this statement in several directions, on both the mathematical and physical side. We consider the Whitehead tower construction as a possible organising principle for the topological structures entering the formulation of the conjecture. We discuss why and how to include geometric structures in bordism groups, such as higher U(1)-bundles with connection. The inclusion of magnetic defects is also addressed in some detail. We further elaborate on how the conjecture could predict Kaluza--Klein monopoles, and we study the gravity decoupling limit in the cobordism conjecture, with a few observations on NSNS string backgrounds. We end with comments in relation to T-duality, as well as the finiteness conjecture. △ Less

Submitted 26 July, 2022; v1 submitted 31 March, 2022; originally announced April 2022.

Comments: 41 pages; v2: minor changes

Report number: MPP-2022-11

Journal ref: SciPost Phys. 13, 071 (2022)

Truncated affine Rozansky--Witten models as extended TQFTs

Authors: Ilka Brunner, Nils Carqueville, Daniel Roggenkamp

Abstract: We construct extended TQFTs associated to Rozansky--Witten models with target manifolds $T^*\mathbb{C}^n$. The starting point of the construction is the 3-category whose objects are such Rozansky--Witten models, and whose morphisms are defects of all codimensions. By truncation, we obtain a (non-semisimple) 2-category $\mathcal{C}$ of bulk theories, surface defects, and isomorphism classes of line… ▽ More We construct extended TQFTs associated to Rozansky--Witten models with target manifolds $T^*\mathbb{C}^n$. The starting point of the construction is the 3-category whose objects are such Rozansky--Witten models, and whose morphisms are defects of all codimensions. By truncation, we obtain a (non-semisimple) 2-category $\mathcal{C}$ of bulk theories, surface defects, and isomorphism classes of line defects. Through a systematic application of the cobordism hypothesis we construct a unique extended oriented 2-dimensional TQFT valued in $\mathcal{C}$ for every affine Rozansky--Witten model. By evaluating this TQFT on closed surfaces we obtain the infinite-dimensional state spaces (graded by flavour and R-charges) of the initial 3-dimensional theory. Furthermore, we explicitly compute the commutative Frobenius algebras that classify the restrictions of the extended theories to circles and bordisms between them. △ Less

Submitted 20 January, 2022; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: 50 pages; v2: some typos corrected

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.

Comments: 56 pages

Fully extended $\boldsymbol{r}$-spin TQFTs

Authors: Nils Carqueville, Lóránt Szegedy

Abstract: We prove the $r$-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer $r$: The 2-groupoid of 2-dimensional fully extended $r$-spin TQFTs with given target is equivalent to the homotopy fixed points of an induced $\textrm{Spin}_2^r$-action. In particular, such TQFTs are classified by fully dualisable objects together with a trivialisation of the $r$-th power of… ▽ More We prove the $r$-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer $r$: The 2-groupoid of 2-dimensional fully extended $r$-spin TQFTs with given target is equivalent to the homotopy fixed points of an induced $\textrm{Spin}_2^r$-action. In particular, such TQFTs are classified by fully dualisable objects together with a trivialisation of the $r$-th power of their Serre automorphisms. For $r=1$ we recover the oriented case (on which our proof builds), while ordinary spin structures correspond to $r=2$. To construct examples, we explicitly describe $\textrm{Spin}_2^r$-homotopy fixed points in the equivariant completion of any symmetric monoidal 2-category. We also show that every object in a 2-category of Landau--Ginzburg models gives rise to fully extended spin TQFTs, and that half of these do not factor through the oriented bordism 2-category. △ Less

Submitted 14 October, 2023; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 64 pages; v2: minor changes, Proposition 3.2 assumes a pivotal structure

Journal ref: Quantum Topol. 14 (2023), no. 3, pp. 467-532

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.

Comments: 67 pages

Extending Landau-Ginzburg models to the point

Authors: Nils Carqueville, Flavio Montiel Montoya

Abstract: We classify framed and oriented 2-1-0-extended TQFTs with values in the bicategories of Landau-Ginzburg models, whose objects and 1-morphisms are isolated singularities and (either $\mathbb{Z}_2$- or $(\mathbb{Z}_2 \times \mathbb{Q})$-graded) matrix factorisations, respectively. For this we present the relevant symmetric monoidal structures and find that every object $W \in \Bbbk[x_1,\dots,x_n]$ d… ▽ More We classify framed and oriented 2-1-0-extended TQFTs with values in the bicategories of Landau-Ginzburg models, whose objects and 1-morphisms are isolated singularities and (either $\mathbb{Z}_2$- or $(\mathbb{Z}_2 \times \mathbb{Q})$-graded) matrix factorisations, respectively. For this we present the relevant symmetric monoidal structures and find that every object $W \in \Bbbk[x_1,\dots,x_n]$ determines a framed extended TQFT. We then compute the Serre automorphisms $S_W$ to show that $W$ determines an oriented extended TQFT if the associated category of matrix factorisations is $(n-2)$-Calabi-Yau. The extended TQFTs we construct from $W$ assign the non-separable Jacobi algebra of $W$ to a circle. This illustrates how non-separable algebras can appear in 2-1-0-extended TQFTs, and more generally that the question of extendability depends on the choice of target category. As another application, we show how the construction of the extended TQFT based on $W=x^{N+1}$ given by Khovanov and Rozansky can be derived directly from the cobordism hypothesis. △ Less

Submitted 4 December, 2020; v1 submitted 28 September, 2018; originally announced September 2018.

Comments: 29 pages

Journal ref: Comm. Math. Phys. 379 (2020), 955-977

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.

Comments: 51 pages; v2: minor improvements and slightly extended exposition

Journal ref: Theory and Applications of Categories, Vol. 35, 2020, No. 15, pp 513-561

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.

Comments: 38 pages; v2: minor corrections and improvements

Journal ref: Quantum Topology 10, Issue 3, 2019, 399-439

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.

Comments: 79 pages; v2: modified definition of stratified bordism category; v3: minor corrections and modifications

Journal ref: Geom. Topol. 23 (2019) 781-864

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.

Comments: 48 pages

Journal ref: Banach Center Publications 114 (2018), 9-47

Lecture notes on 2-dimensional defect TQFT

Authors: Nils Carqueville

Abstract: 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… ▽ More 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. △ Less

Submitted 20 September, 2016; v1 submitted 19 July, 2016; originally announced July 2016.

Comments: 42 pages, prepared for the proceedings of the Advanced School on Topological Quantum Field Theory in Warsaw, December 2015; v2: references added

Journal ref: Banach Center Publications 114 (2018), 49-84

3-dimensional defect TQFTs and their tricategories

Authors: Nils Carqueville, Catherine Meusburger, Gregor Schaumann

Abstract: 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… ▽ More 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 defect TQFTs. △ Less

Submitted 1 December, 2017; v1 submitted 3 March, 2016; originally announced March 2016.

Comments: 60 pages; v2: improved exposition

Journal ref: Advances in Mathematics 364 (2020), 107024

Calabi-Yau completions and orbifold equivalences

Authors: Nils Carqueville, Alexander Quintero Velez

Abstract: Calabi-Yau algebras are particularly symmetric differential graded algebras. There is a construction called `Calabi-Yau completion' which produces a canonical Calabi-Yau algebra from any homologically smooth dg algebra. Homologically smooth dg algebras also form a 2-category to which the construction of `equivariant completion' can be applied. In this theory two objects are called `orbifold equiva… ▽ More Calabi-Yau algebras are particularly symmetric differential graded algebras. There is a construction called `Calabi-Yau completion' which produces a canonical Calabi-Yau algebra from any homologically smooth dg algebra. Homologically smooth dg algebras also form a 2-category to which the construction of `equivariant completion' can be applied. In this theory two objects are called `orbifold equivalent' if there is a 1-morphism $X$ with invertible quantum dimensions between them. Any such relation entails a whole family of equivalences between categories. We show that an orbifold equivalence between two homologically smooth and proper dg algebras lifts to an orbifold equivalence between their Calabi-Yau completions under certain conditions on $X$. △ Less

Submitted 23 August, 2019; v1 submitted 2 September, 2015; originally announced September 2015.

Comments: 47 pages; v2: added an assumption on lifting dg module structures

Discrete torsion defects

Authors: Ilka Brunner, Nils Carqueville, Daniel Plencner

Abstract: Orbifolding two-dimensional quantum field theories by a symmetry group can involve a choice of discrete torsion. We apply the general formalism of `orbifolding defects' to study and elucidate discrete torsion for topological field theories. In the case of Landau-Ginzburg models only the bulk sector had been studied previously, and we re-derive all known results. We also introduce the notion of `pr… ▽ More Orbifolding two-dimensional quantum field theories by a symmetry group can involve a choice of discrete torsion. We apply the general formalism of `orbifolding defects' to study and elucidate discrete torsion for topological field theories. In the case of Landau-Ginzburg models only the bulk sector had been studied previously, and we re-derive all known results. We also introduce the notion of `projective matrix factorisations', show how they naturally describe boundary and defect sectors, and we further illustrate the efficiency of the defect-based approach by explicitly computing RR charges. Roughly half of our results are not restricted to Landau-Ginzburg models but hold more generally, for any topological field theory. In particular we prove that for a pivotal bicategory, any two objects of its orbifold completion that have the same base are orbifold equivalent. Equivalently, from any orbifold theory (including those based on nonabelian groups) the original unorbifolded theory can be obtained by orbifolding via the `quantum symmetry defect'. △ Less

Submitted 15 September, 2014; v1 submitted 29 April, 2014; originally announced April 2014.

Comments: 29 pages; v2: minor changes and comments, in particular on quantum symmetry defects

Report number: LMU-ASC 22/14

Journal ref: Comm. Math. Phys. 337 (2015), 429-453

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.

Comments: 29 pages

Journal ref: Journal of Pure and Applied Algebra 220 (2016), 759-781

A quick guide to defect orbifolds

Authors: Ilka Brunner, Nils Carqueville, Daniel Plencner

Abstract: We provide a lightning review of the construction of (generalised) orbifolds [arXiv:0909.5013, arXiv:1210.6363] of two-dimensional quantum field theories in terms of topological defects, along the lines of [arXiv:1307.3141]. This universal perspective has many applications, some of which we sketch in the examples of 2d Yang-Mills theory, Landau-Ginzburg models, and rational CFT. We provide a lightning review of the construction of (generalised) orbifolds [arXiv:0909.5013, arXiv:1210.6363] of two-dimensional quantum field theories in terms of topological defects, along the lines of [arXiv:1307.3141]. This universal perspective has many applications, some of which we sketch in the examples of 2d Yang-Mills theory, Landau-Ginzburg models, and rational CFT. △ Less

Submitted 30 September, 2013; originally announced October 2013.

Comments: 11 pages, contribution to the String-Math 2013 proceedings

Journal ref: Proceedings of Symposia in Pure Mathematics 88 (2014), 231-241

Orbifolds and topological defects

Authors: Ilka Brunner, Nils Carqueville, Daniel Plencner

Abstract: We study orbifolds of two-dimensional topological field theories using defects. If the TFT arises as the twist of a superconformal field theory, we recover results on the Neveu-Schwarz and Ramond sectors of the orbifold theory as well as bulk-boundary correlators from a novel, universal perspective. This entails a structure somewhat weaker than ordinary TFT, which however still describes a sector… ▽ More We study orbifolds of two-dimensional topological field theories using defects. If the TFT arises as the twist of a superconformal field theory, we recover results on the Neveu-Schwarz and Ramond sectors of the orbifold theory as well as bulk-boundary correlators from a novel, universal perspective. This entails a structure somewhat weaker than ordinary TFT, which however still describes a sector of the underlying conformal theory. The case of B-twisted Landau-Ginzburg models is discussed in detail, where we compute charge vectors and superpotential terms for B-type branes. Our construction also works in the absence of supersymmetry and for generalised "orbifolds" that need not arise from symmetry groups. In general this involves a natural appearance of Hochschild (co)homology in a 2-categorical setting, in which among other things we provide simple presentations of Serre functors and a further generalisation of the Cardy condition. △ Less

Submitted 2 June, 2014; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 54 pages; v2: minor changes

Report number: LMU-ASC 49/13

Journal ref: Comm. Math. Phys. 332 (2014), 669-712

A toolkit for defect computations in Landau-Ginzburg models

Authors: Nils Carqueville, Daniel Murfet

Abstract: We review the results of arXiv:1208.1481 on orientation reversal and duality for defects in topological Landau-Ginzburg models, with the intention of providing an easily accessible toolkit for computations. As an example we include a proof of the main result on adjunctions in a special case, using Pauli matrices. We also explain how to compute arbitrary correlators of defect-decorated planar world… ▽ More We review the results of arXiv:1208.1481 on orientation reversal and duality for defects in topological Landau-Ginzburg models, with the intention of providing an easily accessible toolkit for computations. As an example we include a proof of the main result on adjunctions in a special case, using Pauli matrices. We also explain how to compute arbitrary correlators of defect-decorated planar worldsheets, and briefly discuss the relation to generalised orbifolds. △ Less

Submitted 6 March, 2013; originally announced March 2013.

Comments: 11 pages, contribution to the String-Math 2012 proceedings

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.

Comments: 62 pages; v2: minor improvements; v3: expanded discussion of adjoints in equivariant completion, minor changes; v4=journal version: improved and at times more detailed exposition, new Example 4.6 (due to anonymous referee)

Journal ref: Quantum Topology 7 (2016), 203--279

Adjunctions and defects in Landau-Ginzburg models

Authors: Nils Carqueville, Daniel Murfet

Abstract: We study the bicategory of Landau-Ginzburg models, which has potentials as objects and matrix factorisations as 1-morphisms. Our main result is the existence of adjoints in this bicategory and a description of evaluation and coevaluation maps in terms of Atiyah classes and homological perturbation. The bicategorical perspective offers a unified approach to Landau-Ginzburg models: we show how to co… ▽ More We study the bicategory of Landau-Ginzburg models, which has potentials as objects and matrix factorisations as 1-morphisms. Our main result is the existence of adjoints in this bicategory and a description of evaluation and coevaluation maps in terms of Atiyah classes and homological perturbation. The bicategorical perspective offers a unified approach to Landau-Ginzburg models: we show how to compute arbitrary correlators and recover the full structure of open/closed TFT, including the Kapustin-Li disk correlator and a simple proof of the Cardy condition, in terms of defect operators which in turn are directly computable from the adjunctions. △ Less

Submitted 3 August, 2015; v1 submitted 7 August, 2012; originally announced August 2012.

Comments: 58 pages; v2: Fixed typos and references, removed comments about graded matrix factorisations; v3: exposition improved and shortened, main result now holds over an arbitrary ring k; v4: many improvements to exposition

Journal ref: Advances in Mathematics, Volume 289 (2016), 480-566

Algorithmic deformation of matrix factorisations

Authors: Nils Carqueville, Laura Dowdy, Andreas Recknagel

Abstract: Branes and defects in topological Landau-Ginzburg models are described by matrix factorisations. We revisit the problem of deforming them and discuss various deformation methods as well as their relations. We have implemented these algorithms and apply them to several examples. Apart from explicit results in concrete cases, this leads to a novel way to generate new matrix factorisations via nilpot… ▽ More Branes and defects in topological Landau-Ginzburg models are described by matrix factorisations. We revisit the problem of deforming them and discuss various deformation methods as well as their relations. We have implemented these algorithms and apply them to several examples. Apart from explicit results in concrete cases, this leads to a novel way to generate new matrix factorisations via nilpotent substitutions, and to criteria whether boundary obstructions can be lifted by bulk deformations. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Comments: 30 pages

Journal ref: JHEP 04 (2012) 014

An invitation to algebraic topological string theory

Authors: Nils Carqueville, Michael M. Kay

Abstract: The purpose of this note is to provide a short invitation to the universal algebraic approach to topological string theory. In the first section we make an attempt to explain the origin of this approach and how it fits into the bigger picture of full string theory, while in the second half of this note we will introduce the relevant notions in more detail and discuss some of our main results on bu… ▽ More The purpose of this note is to provide a short invitation to the universal algebraic approach to topological string theory. In the first section we make an attempt to explain the origin of this approach and how it fits into the bigger picture of full string theory, while in the second half of this note we will introduce the relevant notions in more detail and discuss some of our main results on bulk-deformed open topological string amplitudes. △ Less

Submitted 7 November, 2011; originally announced November 2011.

Comments: 10 pages, contribution to the String-Math 2011 proceedings

Journal ref: Proceedings of Symposia in Pure Mathematics 85 (2012) 323-332

Computing Khovanov-Rozansky homology and defect fusion

Authors: Nils Carqueville, Daniel Murfet

Abstract: We compute the categorified sl(N) link invariants as defined by Khovanov and Rozansky, for various links and values of N. This is made tractable by an algorithm for reducing tensor products of matrix factorisations to finite rank, which we implement in the computer algebra package Singular. We compute the categorified sl(N) link invariants as defined by Khovanov and Rozansky, for various links and values of N. This is made tractable by an algorithm for reducing tensor products of matrix factorisations to finite rank, which we implement in the computer algebra package Singular. △ Less

Submitted 28 March, 2014; v1 submitted 4 August, 2011; originally announced August 2011.

Comments: 35 pages; v2: exposition shortened and reorganised; v3: typos in Section 4 corrected

Journal ref: Algebr. Geom. Topol. 14 (2014) 489-537

Bulk deformations of open topological string theory

Authors: Nils Carqueville, Michael M. Kay

Abstract: We present a general method to construct bulk-deformed open topological string theories from Landau-Ginzburg models. To this end we obtain a weak version of deformation quantisation, and we show how this together with the technique of homological perturbation allows to explicitly compute all bulk-deformed open topological string amplitudes at tree-level before tadpole-cancellation. Our approach is… ▽ More We present a general method to construct bulk-deformed open topological string theories from Landau-Ginzburg models. To this end we obtain a weak version of deformation quantisation, and we show how this together with the technique of homological perturbation allows to explicitly compute all bulk-deformed open topological string amplitudes at tree-level before tadpole-cancellation. Our approach is based on a coherent treatment of the problem in terms of the fundamental A-infinity- and L-infinity-structures involved. △ Less

Submitted 20 January, 2012; v1 submitted 28 April, 2011; originally announced April 2011.

Comments: 40 pages; v2+v3: minor changes; v4: minor improvements in exposition, version to appear in CMP

Journal ref: Comm. Math. Phys. 315, Number 3 (2012), 739-769

Rigidity and defect actions in Landau-Ginzburg models

Authors: Nils Carqueville, Ingo Runkel

Abstract: Studying two-dimensional field theories in the presence of defect lines naturally gives rise to monoidal categories: their objects are the different (topological) defect conditions, their morphisms are junction fields, and their tensor product describes the fusion of defects. These categories should be equipped with a duality operation corresponding to reversing the orientation of the defect line,… ▽ More Studying two-dimensional field theories in the presence of defect lines naturally gives rise to monoidal categories: their objects are the different (topological) defect conditions, their morphisms are junction fields, and their tensor product describes the fusion of defects. These categories should be equipped with a duality operation corresponding to reversing the orientation of the defect line, providing a rigid and pivotal structure. We make this structure explicit in topological Landau-Ginzburg models with potential x^d, where defects are described by matrix factorisations of x^d-y^d. The duality allows to compute an action of defects on bulk fields, which we compare to the corresponding N=2 conformal field theories. We find that the two actions differ by phases. △ Less

Submitted 11 January, 2012; v1 submitted 29 June, 2010; originally announced June 2010.

Comments: 53 pages; v2: clarified exposition of pivotal structures, corrected proof of theorem 2.13, added remark 3.9; version to appear in CMP

Journal ref: Comm. Math. Phys. 310 (2012) 135-179

Remarks on quiver gauge theories from open topological string theory

Authors: Nils Carqueville, Alexander Quintero Velez

Abstract: We study effective quiver gauge theories arising from a stack of D3-branes on certain Calabi-Yau singularities. Our point of view is a first principle approach via open topological string theory. This means that we construct the natural A-infinity-structure of open string amplitudes in the associated D-brane category. Then we show that it precisely reproduces the results of the method of brane til… ▽ More We study effective quiver gauge theories arising from a stack of D3-branes on certain Calabi-Yau singularities. Our point of view is a first principle approach via open topological string theory. This means that we construct the natural A-infinity-structure of open string amplitudes in the associated D-brane category. Then we show that it precisely reproduces the results of the method of brane tilings, without having to resort to any effective field theory computations. In particular, we prove a general and simple formula for effective superpotentials. △ Less

Submitted 12 March, 2012; v1 submitted 23 December, 2009; originally announced December 2009.

Comments: 26 pages; v2: references added, exposition improved, example expanded; v3: minor changes; v4: small changes, corrected a mistake in example, all results are unaffected

Report number: LMU-ASC 60/09

Journal ref: JHEP 1003:129,2010

On the monoidal structure of matrix bi-factorisations

Authors: Nils Carqueville, Ingo Runkel

Abstract: We investigate tensor products of matrix factorisations. This is most naturally done by formulating matrix factorisations in terms of bimodules instead of modules. If the underlying ring is C[x_1,...,x_N] we show that bimodule matrix factorisations form a monoidal category. This monoidal category has a physical interpretation in terms of defect lines in a two-dimensional Landau-Ginzburg model. T… ▽ More We investigate tensor products of matrix factorisations. This is most naturally done by formulating matrix factorisations in terms of bimodules instead of modules. If the underlying ring is C[x_1,...,x_N] we show that bimodule matrix factorisations form a monoidal category. This monoidal category has a physical interpretation in terms of defect lines in a two-dimensional Landau-Ginzburg model. There is a dual description via conformal field theory, which in the special case of W=x^d is an N=2 minimal model, and which also gives rise to a monoidal category describing defect lines. We carry out a comparison of these two categories in certain subsectors by explicitly computing 6j-symbols. △ Less

Submitted 12 June, 2010; v1 submitted 24 September, 2009; originally announced September 2009.

Comments: 43 pages; v2: corrected a mistake in sec. 1 and app. A.1, the results are unaffected; v3: minor changes

Report number: KCL-MTH-09-11

Journal ref: J.Phys.A43:275401,2010

Matrix factorisations and open topological string theory

Authors: Nils Carqueville

Abstract: Amplitudes in open topological string theory may be described completely by certain A-infinity-categories. We detail a general construction of all cyclic minimal models for a given A-infinity-algebra and apply this result to the case of N=2 supersymmetric Landau-Ginzburg models. This allows to solve the tree-level theory in the sense that all amplitudes and hence the effective superpotential can… ▽ More Amplitudes in open topological string theory may be described completely by certain A-infinity-categories. We detail a general construction of all cyclic minimal models for a given A-infinity-algebra and apply this result to the case of N=2 supersymmetric Landau-Ginzburg models. This allows to solve the tree-level theory in the sense that all amplitudes and hence the effective superpotential can be computed algorithmically. Furthermore, the construction provides a novel derivation of the topological metric of such models. △ Less

Submitted 2 July, 2009; v1 submitted 6 April, 2009; originally announced April 2009.

Comments: 30 pages; v2: three typos corrected

Journal ref: JHEP 0907:005,2009

Triangle-generation in topological D-brane categories

Authors: Nils Carqueville

Abstract: Tachyon condensation in topological Landau-Ginzburg models can generally be studied using methods of commutative algebra and properties of triangulated categories. The efficiency of this approach is demonstrated by explicitly proving that every D-brane system in all minimal models of type ADE can be generated from only one or two fundamental branes. Tachyon condensation in topological Landau-Ginzburg models can generally be studied using methods of commutative algebra and properties of triangulated categories. The efficiency of this approach is demonstrated by explicitly proving that every D-brane system in all minimal models of type ADE can be generated from only one or two fundamental branes. △ Less

Submitted 12 February, 2008; originally announced February 2008.

Comments: 34 pages

Journal ref: JHEP0804:031,2008

Nonmeromorphic operator product expansion and C_2-cofiniteness for a family of W-algebras

Authors: Nils Carqueville, Michael Flohr

Abstract: We prove the existence and associativity of the nonmeromorphic operator product expansion for an infinite family of vertex operator algebras, the triplet W-algebras, using results from P(z)-tensor product theory. While doing this, we also show that all these vertex operator algebras are C_2-cofinite. We prove the existence and associativity of the nonmeromorphic operator product expansion for an infinite family of vertex operator algebras, the triplet W-algebras, using results from P(z)-tensor product theory. While doing this, we also show that all these vertex operator algebras are C_2-cofinite. △ Less

Submitted 5 December, 2005; v1 submitted 8 August, 2005; originally announced August 2005.

Comments: 21 pages, to appear in J. Phys. A: Math. Gen.; the exposition is improved and one reference is added

MSC Class: 17B69; 81R10; 81T40

Journal ref: J.Phys. A39 (2006) 951-966