-
Condensation inversion and Witt equivalence via generalised orbifolds
Authors:
Vincentas Mulevicius
Abstract:
In Mulevičius-Runkel, arXiv:2002.00663, it was shown how a so-called orbifold datum $\mathbb{A}$ in a given modular fusion category (MFC) $\mathcal{C}$ produces a new MFC $\mathcal{C}_{\mathbb{A}}$. Examples of these associated MFCs include condensations, i.e. the categories $\mathcal{C}_B^\circ$ of local modules of a separable commutative algebra $B\in\mathcal{C}$. In this paper we prove that the…
▽ More
In Mulevičius-Runkel, arXiv:2002.00663, it was shown how a so-called orbifold datum $\mathbb{A}$ in a given modular fusion category (MFC) $\mathcal{C}$ produces a new MFC $\mathcal{C}_{\mathbb{A}}$. Examples of these associated MFCs include condensations, i.e. the categories $\mathcal{C}_B^\circ$ of local modules of a separable commutative algebra $B\in\mathcal{C}$. In this paper we prove that the relation $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ on MFCs is the same as Witt equivalence. This is achieved in part by providing one with an explicit construction for inverting condensations, i.e. finding an orbifold datum $\mathbb{A}$ in $\mathcal{C}_B^\circ$ whose associated MFC is equivalent to $\mathcal{C}$. As a tool used in this construction we also explore what kinds of functors $F\colon\mathcal{C}\rightarrow\mathcal{D}$ between MFCs preserve orbifold data. It turns out that $F$ need not necessarily be strong monoidal, but rather a `ribbon Frobenius' functor, which has weak monoidal and weak comonoidal structures, related by a Frobenius-like property.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
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.
-
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.
-
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.
-
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.
