Orbifold completion of defect bicategories

From MaRDI portal



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


The paper under review provides a new perspective on the orbifolding procedure for 2-dimensional topological quantum field theories (TFTs) with defects.NEWLINENEWLINEA TFT with defects is a generalization of the usual notion of a symmetric monoidal functor out of a bordism category, where bordisms and their boundaries are decorated with phases and domain walls or defect conditions. One of the simplest examples recovers the notion of open/closed TFTs. A 2-dimensional oriented TFT with defects \(\tau\) gives rise to a certain pivotal bicategory \(\mathcal D_\tau\) of ``worldsheet phases, in terms of which the orbifolded TFT \(\tau^{\mathrm{orb}}\) is constructed.NEWLINENEWLINEThe core of the paper consists of two purely categorical constructions, called equivariant completion and orbifold completion, which apply in particular to \(\mathcal D_\tau\), but also, more generally, to any pivotal bicategory with idempotent complete 1-morphism categories; they are certain categories of separable (respectively symmetric and separable) Frobenius algebras, bimodules, and bimodule maps. Thus, these completion constructions insert the above story into a broader perspective.NEWLINENEWLINEIn the last part of the paper, the authors apply their formalism to Landau-Ginzburg models, showing how the usual notion of orbifold fits into it. This includes a proof of Knörrer periodicity.



Cites work


Cited in
(94)








This page was built for publication: Orbifold completion of defect bicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q260206)