We show that a quantum field theory A living on the line and having a group G of inner symmetries gives rise to a category GLoc A of twisted representations. This category is a braided crossed G-category in the sense of Turaev. Its degree zero subcategory is braided and equivalent to the usual representation category Rep A. Combining this with [29], where Rep A was proven to be modular for a nice class of rational conformal models, and with the construction of invariants of G-manifolds in [60], we obtain an equivariant version of the following chain of constructions: Rational CFT -> modular category -> 3-manifold invariant.
We then study the relation between GLoc A and the braided (in the usual sense) representation category Rep A^G of the orbifold theory A^G. We prove the equivalence Rep A^G = (GLoc A)^G, which is a rigorous implementation of the insight that one needs to take the twisted representations of A into account in order to determine Rep A^G. In the opposite direction we have GLoc A = Rep A^G \rtimes S, where S \subset Rep A^G is the full subcategory of representations of A^G contained in the vacuum representation of A, and \rtimes refers to the Galois extensions of braided tensor categories of [44,48].
If A is completely rational and G is finite we prove that A has g-twisted representations for every g in G. In the holomorphic case (where Rep A = Vect_C) this allows to classify the possible categories GLoc A and to clarify the role of the twisted quantum doubles D^ω(G) in this context, as will be done in a sequel. We conclude with some remarks on non-holomorphic orbifolds and surprising counterexamples concerning permutation orbifolds.
For a finite braided tensor category we introduce its Picard crossed module consisting of the group of invertible module categories and the group of braided tensor autoequivalences. We describe the Picard crossed module in terms of braided autoequivalences of the Drinfeld center of the braided tensor category. As an illustration, we compute the Picard crossed module of a braided pointed fusion category.
We introduce, for a symmetric fusion category $\mathcal{A}$ with Drinfeld centre $\mathcal{Z}(\mathcal{A})$, the notion of $\mathcal{Z}(\mathcal{A})$-crossed braided tensor category. These are categories that are enriched over $\mathcal{Z}(\mathcal{A})$ equipped with a symmetric tensor product, while being braided monoidal with respect to the usual tensor product on $\mathcal{Z}(\mathcal{A})$. In the Tannakian case where $\mathcal{A}=\mathbf{Rep}(G)$ for a finite group $G$, the 2-category of $\mathcal{Z}(\mathcal{A})$-crossed braided categories is shown to be equivalent to the 2-category of $G…
We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake.
We prove a coherence theorem for actions of groups on monoidal categories. As an application we prove coherence for arbitrary braided $G$-crossed categories.
For a finite group $G$, Turaev introduced the notion of a braided $G$-crossed fusion category. The classification of braided $G$-crossed extensions of braided fusion categories was studied by Etingof, Nikshych and Ostrik in terms of certain group cohomological data. In this paper we will define the notion of a $G$-crossed Frobenius $\star$-algebra and give a classification of (strict) $G$-crossed extensions of a commutative Frobenius $\star$-algebra $R$ equipped with a given action of $G$, in terms of the second group cohomology $H^2(G,R^\times)$. Now suppose that $\mathcal{B}$ is a non-degene…
This is the second part of the paper. Results of the first part about crossed modules are applied here to study of quantum groups in braided categories. Correct cross product in the class of quantum braided groups is built. Criterion when quantum braided group is cross product is otained.
Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is concrete realization of general categorical construction. For quantum braided group $(H,{\cal R})$ corresponding braided category ${\cal C}^{\cal R}_H$ of modules is identifyed with full subcategory in ${\cal C}_H^H$. Connection with crossproducts is discussed. Correct cross product in the class of quantum braided groups is built. Radford's--Majid's theorem gives…
For an abelian group $ A $, we study a close connection between braided crossed $ A $-categories with a trivialization of the $ A $-action and $ A $-graded braided tensor categories. Additionally, we prove that the obstruction to the existence of a trivialization of a categorical group action $T$ on a monoidal category $\mathcal{C}$ is given by an element $O(T)\in H^2(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$. In the case that $O(T)=0$, the set of obstructions form a torsor over $\operatorname{Hom}(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$, where $\o…
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, 2-crossed modules and braided crossed modules. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots, for which we also find a lifting by using braided crossed modules.
Hopf (bi-)modules and crossed modules over a bialgebra B in a braided monoidal category C are considered. The (braided) monoidal equivalence of both categories is proved provided B is a Hopf algebra (with invertible antipode). Bialgebra projections and Hopf bimodule bialgebras over a Hopf algebra in C are found to be isomorphic categories. As a consequence a generalization of the Radford-Majid criterion for a braided Hopf algebra to be a cross product is obtained. The results of this paper turn out to be fundamental for the construction of (bicovariant) differential calculi on braided Hopf alg…
Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of crossed modules is braided and is a concrete realization of a known general construction of a double or center of a monoidal category. For a quantum braided group $(A,\overline A,{\cal R})$ the corresponding braided category of modules ${\cal C}_{\cO{A,\overline A}}$ is identified with a full subcategory in $\DY{\cal C}_A^A$. The connection with cross products is …
Any simplicial Hopf algebra involves $2n$ different projections between the Hopf algebras $H_n,H_{n-1}$ for each $n \geq 1$. The word projection, here meaning a tuple $\partial \colon H_{n} \to H_{n-1}$ and $i \colon H_{n-1} \to H_{n}$ of Hopf algebra morphisms, such that $\partial \, i = \mathrm{id}$. Given a Hopf algebra projection $(\partial \colon I \to H,i)$ in a braided monoidal category $\mathfrak{C}$, one can obtain a new Hopf algebra structure living in the category of Yetter-Drinfeld modules over $H$, due to Radford's theorem. The underlying set of this Hopf algebra is obtained by an…
We develop a method for generating the complete set of basic data under the torsorial actions of $H^2_{[ρ]}(G,\mathcal{A})$ and $H^3(G,\text{U}(1))$ on a $G$-crossed braided tensor category $\mathcal{C}_G^\times$, where $\mathcal{A}$ is the set of invertible simple objects in the braided tensor category $\mathcal{C}$. When $\mathcal{C}$ is a modular tensor category, the $H^2_{[ρ]}(G,\mathcal{A})$ and $H^3(G,\text{U}(1))$ torsorial action gives a complete generation of possible $G$-crossed extensions, and hence provides a classification. This torsorial classification can be (partially) collapse…
A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum 2-group where we replace the above by Hopf algebras and introduce a new version of quantum groupoid. The work also suggests a natural notion of braided crossed module where A a braided-Hopf algebra in the braided category Z({}_H\CM) of crossed H-modules, although without the full groupoid picture in this more general case.
We consider Hopf bimodules and crossed modules over a Hopf algebra $H$ in a braided category. They are the key-stones for braided bicovariant differential calculi and their invariant vector fields respectively, as well as for the construction of braided Hopf algebra cross products. We show that the notions of Hopf bimodules and crossed modules are equivalent. A generalization of the Radford-Majid criterion to the braided case is given and it is seen that bialgebra cross products over the Hopf algebra $H$ are precisely described by $H$-crossed module bialgebras. We study the theory of (bicovari…
For a braided fusion category $\mathcal{V}$, a $\mathcal{V}$-fusion category is a fusion category $\mathcal{C}$ equipped with a braided monoidal functor $\mathcal{F}:\mathcal{V} \to Z(\mathcal{C})$. Given a fixed $\mathcal{V}$-fusion category $(\mathcal{C}, \mathcal{F})$ and a fixed $G$-graded extension $\mathcal{C}\subseteq \mathcal{D}$ as an ordinary fusion category, we characterize the enrichments $\widetilde{\mathcal{F}}:\mathcal{V} \to Z(\mathcal{D})$ of $\mathcal{D}$ which are compatible with the enrichment of $\mathcal{C}$. We show that G-crossed extensions of a braided fusion category …
Let k be a field. Let also (F, G) be a matched pair of groups. We give necessary and sufficient conditions on a pair (σ, τ) of 2-cocycles in order that the crossed product algebra and the crossed coproduct coalgebra k^G{}^τ#_σ kF combine into a braided Hopf algebra. We also discuss diagonal realizations of such braided Hopf algebras in the category of Yetter-Drinfeld modules over a finite group.
A braided category of C*-algebras is constructed. Its objects are C*-algebras endowed with an action of the group R, its morphisms are C*-algebras morphisms intertwining the action of R, the crossed product of its two objects essentially depends on the action of R on considered C*-algebras. Crossed products of any object with the algebra of all continuous vanishing at infinity functions on R and algebras of all continuous functions on one- and twodimensional tori are discussed.
The relation between crossed product and $H$-Galois extension in braided tensor category ${\cal C}$ with equivalisers and coequivalisers is established. That is, it is shown that if there exist an equivaliser and a coequivaliser for any two morphisms in ${\cal C}$, then $A = B #_σH$ is a crossed product algebra if and only if the extension $A/B$ is Galois, the canonical epic $q: A\otimes A \to A\otimes_B A$ is split and $A$ is isomorphic as left $B$-modules and right $H$-comodules to $B\otimes H$ in ${\cal C}$.
We propose the notion of quasi-abelian third cohomology of crossed modules, generalizing Eilenberg and MacLane's abelian cohomology and Ospel's quasi-abelian cohomology, and classify crossed pointed categories in terms of it. We apply the process of equivariantization to the latter to obtain braided fusion categories which may be viewed as generalizations of the categories of modules over twisted Drinfeld doubles of finite groups. As a consequence, we obtain a description of all braided group-theoretical categories. A criterion for these categories to be modular is given. We also describe the …
We introduce the notion of $(G, Γ)$-crossed action on a tensor category, where $(G, Γ)$ is a matched pair of finite groups. A tensor category is called a $(G, Γ)$-crossed tensor category if it is endowed with a $(G, Γ)$-crossed action. We show that every $(G, Γ)$-crossed tensor category $\mathcal C$ gives rise to a tensor category $\mathcal C^{(G, Γ)}$ that fits into an exact sequence of tensor categories $\operatorname{Rep G} \to \mathcal C^{(G, Γ)} \to \mathcal C$. We also define the notion of a $(G, Γ)$-braiding in a $(G, Γ)$-crossed tensor category, which is connected with certain set-theo…
The Yang-Baxter equation plays a fundamental role in various areas of mathematics. Its solutions, called braidings, are built, among others, from Yetter-Drinfel'd modules over a Hopf algebra, from self-distributive structures, and from crossed modules of groups. In the present paper these three sources of solutions are unified inside the framework of Yetter-Drinfe' d modules over a braided system. A systematic construction of braiding structures on such modules is provided. Some general categorical methods of obtaining such generalized Yetter-Drinfel'd (=GYD) modules are described. Among the b…
Braided non-commutative differential geometry is studied. In particular we investigate the theory of (bicovariant) differential calculi in braided abelian categories. Previous results on crossed modules and Hopf bimodules in braided categories are used to construct higher order bicovariant differential calculi over braided Hopf algebras out of first order ones. These graded objects are shown to be braided differential Hopf algebras with universal bialgebra properties. The article especially extends Woronowicz's results on (bicovariant) differential calculi to the braided non-commutative case.
This paper is the first of a pair that aims to classify a large number of the type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. In this work we classify the braided auto-equivalences of the categories of local modules for all known type $I$ quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds $\mathcal{C}( \mathfrak{sl}_{2},16)_{\operatorname{Rep}(\mathbb{Z}_2)}$, $\mathcal{C}( \mathfrak{sl}_{3},9)_{\operatorname…
We provide an analog of the Joyal-Street center construction and of the Kassel-Turaev categorical quantum double in the context of the crossed categories introduced by Turaev. Then, we focus or attention to the case of categories of representation. In particular, we introduce the notion of a Yetter-Drinfeld module over a crossed group coalgebra H and we prove that both the category of Yetter-Drinfeld modules over H and the center of the category of representations of H as well as the category of representations of the quantum double of H are isomorphic as braided crossed categories.
The orbifold construction $A\mapsto A^G$ for a finite group $G$ is fundamental in rational conformal field theory. The construction of $Rep(A^G)$ from $Rep(A)$ on the categorical level, often called gauging, is also prominent in the study of topological phases of matter. Given a non-degenerate braided fusion category $\mathcal{C}$ with a $G$-action, the key step in this construction is to find a braided $G$-crossed extension compatible with the action. The extension theory of Etingof-Nikshych-Ostrik gives two obstructions for this problem, $o_3\in H^3(G)$ and $o_4\in H^4(G)$ for certain coeffi…
Suppose $V^G$ is the fixed-point vertex operator subalgebra of a compact group $G$ acting on a simple abelian intertwining algebra $V$. We show that if all irreducible $V^G$-modules contained in $V$ live in some braided tensor category of $V^G$-modules, then they generate a tensor subcategory equivalent to the category $\mathrm{Rep}\,G$ of finite-dimensional representations of $G$, with associativity and braiding isomorphisms modified by the abelian $3$-cocycle defining the abelian intertwining algebra structure on $V$. Additionally, we show that if the fusion rules for the irreducible $V^G$-m…
In braided tensor categories we show the Maschke's theorem and give the necessary and sufficient conditions for double cross biproducts and crossbiproducts and biproducts to be bialgebras. We obtain the factorization theorem for braided Hopf algebras; In symmetric tensor categories, we show the duality theorem and construct quantum double; In ordinary vector space category with ordinary twist, we obtain the relation between the global dimension, the weak dimension, the Jacbson radical, Baer radical of algebra $R$ and its crossed product $R #_σH$. We also give the relation between the decomposi…
The main properties of the crossed product in the category of Hopf algebras are investigated. Let $A$ and $H$ be two Hopf algebras connected by two morphism of coalgebras $\triangleright : H\ot A \to A$, $f:H\ot H\to A$. The crossed product $A #_{f}^{\triangleright} H$ is a new Hopf algebra containing $A$ as a normal Hopf subalgebra. Furthermore, a Hopf algebra $E$ is isomorphic as a Hopf algebra to a crossed product of Hopf algebras $A #_{f}^{\triangleright} H$ if and only if $E$ factorizes through a normal Hopf subalgebra $A$ and a subcoalgebra $H$ such that $1_{E} \in H$. The universality o…
Using a result of Longo and Xu, we show that the anomaly arising from a cyclic permutation orbifold of order 3 of a holomorphic conformal net $\mathcal A$ with central charge $c=8k$ depends on the "gravitational anomaly" $k\pmod 3$. In particular, the conjecture that holomorphic permutation orbifolds are non-anomalous and therefore a stronger conjecture of Müger about braided crossed $S_n$-categories arising from permutation orbifolds of completely rational conformal nets are wrong. More general, we show that cyclic permutations of order $n$ are non-anomalous if and only if $3\nmid n$ or $24|c…
It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We classify their categorical algebras and describe these explicitly in terms of a finite list of functors, natural isomorphisms and coherence equations. In dimension two, the categorical algebras are braided monoidal categories with an anti-involution together with a pointed module category carrying a universal solution to the (twisted) reflection equation. Main exa…
Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within structures is presented, and the problem of constructing the universal ambient structure containing the prescribed internal structure is studied. Following the work of Lack, these universal objects must be constructed from simplicial objects arising from our monad-theoretic framework, as certain 2-categorical colimits called codescent objects. We isolate the extra structure present on these simplicial objects which enable their codescent object…
A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic conformal field theory (in which correlation functions have logarithmic singularities arising from non-semisimple modules for the chiral algebra) because of the logarithmic tensor category theory of Huang, Lepowsky, and Zhang. In this paper, we study not-necessarily-semisimple or rigid braided tensor categories $\mathcal{C}$ of modules for the fixed-point vertex op…
Let $\mathcal{B}$ be a conformal net. We give the notion of a proper action of a finite hypergroup acting by vacuum preserving unital completely positive (so-called stochastic) maps, which generalizes the proper actions of finite groups. Taking fixed points under such an action gives a finite index subnet $\mathcal{B}^K$ of $\mathcal{B}$, which generalizes the $G$-orbifold. Conversely, we show that if $\mathcal{A}\subset \mathcal{B}$ is a finite inclusion of conformal nets, then $\mathcal{A}$ is a generalized orbifold $\mathcal{A}=\mathcal{B}^K$ of the conformal net $\mathcal{B}$ by a unique f…
We define the notion of a holomorphic bundle on the noncommutative toric orbifold $T_θ/G$ associated with an action of a finite cyclic group $G$ on an irrational rotation algebra. We prove that the category of such holomorphic bundles is abelian and its derived category is equivalent to the derived category of modules over a finite-dimensional algebras $Λ$. As an application we finish the computation of $K_0$-groups of the crossed product algebras describing the above orbifolds initiated by Kumjian, Walters and Buck. Also, we describe a torsion pair in the category of $Λ$-modules, such that th…
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…
Let $V$ be a simple, rational, $C_2$-cofinite vertex operator algebra and $G$ a finite group acting faithfully on $V$ as automorphisms, which is simply called a rational vertex operator algebra with a $G$-action. It is shown that the category ${\cal E}_{V^G}$ generated by the $V^G$-submodules of $V$ is a symmetric fusion category braided equivalent to the $G$-module category ${\cal E}={\rm Rep}(G)$. If $V$ is holomorphic, then the $V^G$-module category ${\cal C}_{V^G}$ is a minimal modular extension of ${\cal E},$ and is equivalent to the Drinfeld center ${\cal Z}({\rm Vec}_G^α)$ as modular te…
Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the general case, we describe the structure of $C$ in terms of equivariantizations of group-crossed braided fusion categories.
