We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [26]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [21]. Given a regular cardinal alpha, we define and construct a tensor product of homotopically alpha-cocomplete dg categories and prove that the well generated tensor product of alpha-continuous derived dg categories (in the sense of [21]) is the alpha-continuous dg derived category of the homotopically alpha-cocomplete tensor product. In particular, this shows that the tensor product of well generated dg categories preserves alpha-compactness.
In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and elementary.
We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product of locally presentable linear categories, and that the tensor product of locally coherent Grothendieck categories is locally coherent if and only if the Deligne tensor product of their abelian categories of finitely presented objects exists. We describe the tensor product of non-commutative projective schemes in terms of Z-algebras, and show that for project…
Following the analogy between algebras (monoids) and monoidal categories the construction of nucleus for non-associative algebras is simulated on the categorical level. Nuclei of categories of modules are considered as an example.
Are introduced six examples of non-braidable tensor categories which are extensions of the category Comod(H), for H a super-group algebra; and two examples of braided categories where the only possible braiding is the trivial braiding.
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are partially defined with respect to this spatial structure. We introduce a construction that turns a firm monoidal category into a restriction category and axiomatise the monoidal restriction categories that arise this way, called tensor-restriction categories.
We show that the author's notion of Galois extensions of braided tensor categories [22], see also [3], gives rise to braided crossed G-categories, recently introduced for the purposes of 3-manifold topology [31]. The Galois extensions C \rtimes S are studied in detail, and we determine for which g in G non-trivial objects of grade g exist in C \rtimes S.
If for a vector space V of dimension g over a characteristic zero field we denote by $\wedge^iV$ its alternating powers, and by $V^\vee$ its linear dual, then there are natural Poincaré isomorphisms: $\wedge^i V^\vee \cong \wedge^{g-i} V$. We describe an analogous result for objects in rigid pseudo-abelian $\mathbb{Q}$-linear ACU tensor categories.
In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category of comodules over a Hopf algebra in the target category. We will also give a description of this Hopf algebra using the notion of framed objects.
The category of small 2-categories has two monoidal structures due to John Gray: one biclosed and one closed. We propose a formalisation of the construction of the right internal and internal homs of these monoidal structures.
It was argued by Crans that it is too much to ask that the category of Gray-categories admit a well behaved monoidal biclosed structure. We make this precise by establishing undesirable properties that any such monoidal biclosed structure must have. In particular we show that there does not exist any tensor product making the model category of Gray-categories into a monoidal model category.
We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define the sheaf category. This new notion allows us to study the noetherian and subcanonical nature of topologies, to describe easily the meet of a family of topologies and to identify useful universal properties of the sheaf category. As our main application we derive in which ways one can present a tensor category and show that such presentations lead to remarkab…
Tannaka duals of Hopf algebras inside semisimple tensor categories are used to construct orbifold tensor categories, which are shown to include the Tannaka dual of the dual Hopf algebras. The second orbifolds are then canonically isomorphic to the initial tensor categories.
We study exact module categories over the representation categories of finite-dimensional quasi-Hopf algebras. As a consequence we classify exact module categories over some families of pointed tensor categories with cyclic group of invertible objets of order p, where p is a prime number.
A graded tensor category over a group $G$ will be called a strongly $G$-graded tensor category if every homogeneous component has at least one multiplicativily invertible object. Our main result is a description of the module categories over a strongly $G$-graded tensor category as induced from module categories over tensor subcategories associated with the subgroups of $G$.
We describe equivalence classes of exact indecomposable module categories over a finite graded tensor category. When applied to a pointed fusion category, our results coincide with the ones obtained in [S. Natale, On the equivalence of module categories over a group-theoretical fusion category, SIGMA, Symmetry Integrability Geom. Methods Appl. 13 Paper 042, 9 p. (2017)].
The purpose of this article is to study the existence of Deligne's tensor product of abelian categories by comparing it with the well-known ten- sor product of finitely cocomplete categories. The main result states that the former exists precisely when the latter is an abelian category, and moreover in this case both tensor products coincide. An example of two abelian categories whose Deligne tensor product does not exist is given.
Bisets can be considered as categories. This note uses this point of view to give a simple proof of a Mackey-like formula expressing the tensor product of two induced bimodules.
We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively 2, 3 and 4-dimensional framed local topological field theories. In particular, we produc…
A graded tensor category over a group $G$ will be called a crossed product tensor category if every homogeneous component has at least one multiplicatively invertible object. Our main result is a description of the crossed product tensor categories, graded monoidal functors, monoidal natural transformations, and braiding in terms of coherent outer $G$-actions over tensor categories.
In this paper, we generalize Izumi's result on uniqueness of realization of finite C$^*$-tensor categories in the endomorphism category of the injective factor of type II_1 for finitely generated strongly amenable C$^*$-tensor categories by applying Popa's classification theorem of strongly amenable subfactors of type III_1.
Free products of semisimple tesnor categories are constructed with the help of polygonal presentation. The semisimplicity criterion is obtained for the Bisch-Jones' planar algebras as a byproduct.
We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group scheme action. We introduce the notion of central exact sequence of tensor categories and use it in order to present an alternative formulation of some known characterizations of equivariantizations for fusion categories, and to extend these characterizations to equivariantizations of finite tensor categories under finite group scheme actions. In particular, we…
Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product functor is identified with the geometrical external tensor product.
For a large class of geometric objects, the passage to categories of quasi-coherent sheaves provides an embedding in the 2-category of abelian tensor categories. The notion of weakly Tannakian categories introduced by the author gives a characterization of tensor categories in the image of this embedding. However, this notion requires additional structure to be present, namely a fiber functor. For the case of classical Tannakian categories in characteristic zero, Deligne has found intrinsic properties - expressible entirely within the language of tensor categories - which are necessary and suf…
We aim to study Morita theory for tensor triangulated categories. For two finite tensor categories having no projective simple objects, we prove that their stable equivalence induced by an exact $\Bbbk$-linear monoidal functor can be lifted to a tensor equivalence under some certain conditions.
In this short note we investigate the process of constructing auto-equivalences of modular tensor categories using invertible objects. We derive conditions on the invertible object for the resulting auto-equivalence to be either monoidal, braided, or pivotal. We also discuss the composition of these auto-equivalences constructed from invertible objects. To demonstrate the practicality of this construction, we construct auto-equivalences of several real-world examples of modular tensor categories.
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 prove that the tensor category of quasi-coherent modules $\mathsf{Qcoh}(X \times_S Y)$ on a fiber product of quasi-compact quasi-separated schemes is the bicategorical pushout of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$ over $\mathsf{Qcoh}(S)$ in the $2$-category of cocomplete linear tensor categories. In particular, $\mathsf{Qcoh}(X \times Y)$ is the bicategorical coproduct of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$. For this we introduce idals, which can be seen as non-embedded ideals, and use them to study localizations of cocomplete tensor categories in general.
We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results in the theory of representations of finite tensor categories. As a new application, we present a description of the relative Serre functor for module categories in terms of a module coend, in a analogous way as a Morita invariant description of the Nakayama functor of abelian categories presented in [J. Fuchs, G. Schaumann and C. Schweigert, Eilenberg-Watts…
Given a tensor functor between tensor categories $\mathcal{C}$ and $\mathcal{D}$, we give criteria that, under certain assumptions, the Frobeniusness of $\mathcal{C}$ or $\mathcal{D}$ implies the Frobeniusness of the other one. We also give an affirmative answer to Natale's question asking if the class of Frobenius tensor categories is closed under exact sequences.
We shall discuss how the notions of multicategories and their linear representations are related with tensor categories. When one focuses on the ones arizing from planar diagrams, it particularly implies that there is a natural one-to-one correspondence between planar algebras and singly generated bicategories.
The Landau-Ginzburg/Conformal Field Theory correspondence predicts tensor equivalences between categories of matrix factorisations of certain polynomials and categories associated to the $N=2$ supersymmetric conformal field theories. We realise this correspondence for $x^d$ for any $d$, where previous results were limited to odd $d$. Our proof uses the fact that both sides of the correspondence carry the structure of module tensor categories over the category of $\mathbb{Z}_d$-graded vector spaces equipped with a non-degenerate braiding. This allows us to describe the CFT side as generated by …
In this paper we classify all semisimple tensor categories with the same fusion rules as $\operatorname{Rep}(SO(4))$, or one of the associated truncations. We show that such categories are explicitly classified by two non-zero complex numbers. Furthermore we show these tensor categories are always braided, and there exist exactly 8 braidings.
We give a characterization of finite pointed tensor categories obtained as de-equivariantizations of finite-dimensional pointed Hopf algebras over abelian groups only in terms of the (cohomology class of the) associator of the pointed part. As an application we prove that every coradically graded pointed finite braided tensor category is a de-equivariantization of a finite dimensional pointed Hopf algebras over an abelian group.
We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on symmetric categories of exponential growth, and of Drinfeld on quasitriangular quasi-Hopf algebras. In particular, we classify braided categories of exponential growth which are unipotent, i.e., those whose only simple object is the unit object. We also classify fiber functors on such categories. Finally, using the Etingof-Kazhdan quantization theory of Poisson …
We show that in an essentially small rigid tensor triangulated category with connected Balmer spectrum there are no proper non-zero thick tensor ideals admitting strong generators. This proves, for instance, that the category of perfect complexes over a commutative ring without non-trivial idempotents has no proper non-zero thick subcategories that are strongly generated.
We introduce a tensor product for symmetric monoidal categories with the following properties. Let SMC denote the 2-category with objects small symmetric monoidal categories, arrows symmetric monoidal functors and 2-cells monoidal natural transformations. Our tensor product together with a suitable unit is part of a structure on SMC that is a 2-categorical version of the symmetric monoidal closed categories. This structure is surprisingly simple. In particular the arrows involved in the associativity and symmetry laws for the tensor and in the unit cancellation laws are 2-natural and satisfy c…
The deformation cohomology of a tensor category controls deformations of its monoidal structure. Here we describe the deformation cohomology of tensor categories generated by one object (the so-called Schur-Weyl categories). Using this description we compute the deformation cohomology of free symmetric tensor categories generated by one object with an algebra of endomorphism free of zero-divisors. We compare the answers with the exterior invariants of the general linear Lie algebra.
We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field.
We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular, we generalize to the categorical setting the Hopf and quasi-Hopf algebra freeness theorems due to Nichols-Zoeller and Schauenburg, respectively. We also give categorical versions of the theory of distinguished group-like elements in a finite dimensional Hopf algebra, of Lorenz's result on degeneracy of the Cartan matrix, and of the absence of primitive eleme…
Modular tensor categories are generalizations of the representation categories of quantum groups at roots of unity axiomatizing the properties necessary to produce 3-dimensional TQFTs. Although other constructions have since been found, quantum groups remain the most prolific source. Recently proposed applications to quantum computing have provided an impetus to understand and describe these examples as explicitly as possible, especially those that are "physically feasible." We survey the current status of the problem of producing unitary modular tensor categories from quantum groups, emphasiz…
We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to braided monoidal $2$-functors from $A$ to the braided $2$-categorical Picard group of $\cal B$ (consisting of invertible central $\cal B$-module categories). Such functors can be expressed in terms of the Eilnberg-Mac~Lane cohomology. We describe in detail braided $2$-categorical Picard groups of symmetric fusion categories and of pointed braided fusion categorie…
