Notes on semisimple tensor categories of rank two

Hua Sun,Hui-Xiang Chen,Yinhuo Zhang

2023-12-12

Abstract:In this paper, we show that there are infinitely many semisimple tensor (or monoidal) categories of rank two over an algebraically closed field $\mathbb F$.

Category Theory

What problem does this paper attempt to address?

Tensor Categories Arising from the Virasoro Algebra

Thomas Creutzig,Cuipo Jiang,Florencia Orosz Hunziker,David Ridout,Jinwei Yang

DOI: https://doi.org/10.1016/j.aim.2021.107601

IF: 1.675

2021-01-01

Advances in Mathematics

Abstract:We show that there is a braided tensor category structure on the category of C1-cofinite modules for the (universal or simple) Virasoro vertex operator algebras of arbitrary central charge. In the generic case of central charge c=13−6(t+t−1), with t∉Q, we prove semisimplicity, rigidity and non-degeneracy and also compute the fusion rules of this tensor category.
Topological semiinfinite tensor (super)modules

Francesco Esposito,Ivan Penkov

DOI: https://doi.org/10.48550/arXiv.2301.08921

2023-01-21

Abstract:We construct universal monoidal categories of topological tensor supermodules over the Lie superalgebras $\mathfrak{gl}(V\oplus \Pi V)$ and $\mathfrak{osp}(V\oplus \Pi V)$ associated with a Tate space $V$. Here $V\oplus \Pi V$ is a $\mathbb{Z}/2\mathbb{Z}$-graded topological vector space whose even and odd parts are isomorphic to $V$. We discuss the purely even case first, by introducing monoidal categories$\widehat{\mathbf{T}}_{\mathfrak{gl}(V)}$, $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$, and show that these categories are anti-equivalent to respective previously studied categories $\mathbb{T}_{\mathfrak{gl}(V)}$, $\mathbb{T}_{\mathfrak{o}(V)}$, $\mathbb{T}_{\mathfrak{sp}(V)}$. These latter categories have certain universality properties as monoidal categories, which consequently carry over to $\widehat{\mathbf{T}}_{\mathfrak{gl}(V)}$, $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$. Moreover, the categories $\mathbb{T}_{\mathfrak{o}(V)}$ and $\mathbb{T}_{\mathfrak{sp}(V)}$ are known to be equivalent, and this implies the equivalence of the categories $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$. After introducing a supersymmetric setting, we establish the equivalence of the category $\widehat{\mathbf{T}}_{\mathfrak{gl}(V)}$ with the category $\widehat{\mathbf{T}}_{\mathfrak{gl}(V\oplus \Pi V)}$, and the equivalence of both categories $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$ with $\widehat{\mathbf{T}}_{\mathfrak{osp}(V\oplus \Pi V)}$.

Representation Theory
On odd-dimensional modular tensor categories

Agustina Czenky,Julia Plavnik

2024-03-13

Abstract:We study odd-dimensional modular tensor categories and maximally non-self dual (MNSD) modular tensor categories of low rank. We give lower bounds for the ranks of modular tensor categories in terms of the rank of the adjoint subcategory and the order of the group of invertible objects. As an application of these results, we prove that MNSD modular tensor categories of ranks 13 and 15 are pointed. In addition, we show that MNSD tensor categories of ranks 17, 19, 21 and 23 are either pointed or perfect.

Quantum Algebra
Typing Tensor Calculus in 2-Categories

Fatimah Ahmadi

DOI: https://doi.org/10.48550/arXiv.1908.01212

2019-08-03

Category Theory

Abstract:We introduce semiadditive 2-categories, 2-categories with binary 2-biproducts and a zero object, as a suitable framework for typing tensor calculus. Tensors are the generalization of matrices, whose components have more than two indices.
A braided monoidal $(\infty,2)$-category of Soergel bimodules

Yu Leon Liu,Aaron Mazel-Gee,David Reutter,Catharina Stroppel,Paul Wedrich

2024-02-06

Abstract:The Hecke algebras for all symmetric groups taken together form a braided monoidal category that controls all quantum link invariants of type A and, by extension, the standard canon of topological quantum field theories in dimension 3 and 4. Here we provide the first categorification of this Hecke braided monoidal category, which takes the form of an $\mathbb{E}_2$-monoidal $(\infty,2)$-category whose hom-$(\infty,1)$-categories are $k$-linear, stable, idempotent-complete, and equipped with $\mathbb{Z}$-actions. This categorification is designed to control homotopy-coherent link homology theories and to-be-constructed topological quantum field theories in dimension 4 and 5.

Quantum Algebra,Algebraic Geometry,Algebraic Topology,Category Theory,Representation Theory
Multiplicities and Dimensions in Enveloping Tensor Categories

Friedrich Knop

DOI: https://doi.org/10.1093/imrn/rnad303

2024-01-02

International Mathematics Research Notices

Abstract:Abstract In a previous paper, semisimple tensor categories were constructed from certain regular Mal’cev categories. In this paper, we calculate the tensor product multiplicities and the categorical dimensions of the simple objects. This yields also the Grothendieck ring. The main tool is the subquotient decomposition of the generating objects.

mathematics
Semialgebraic Geometry of Nonnegative Tensor Rank

Yang Qi,Pierre Comon,Lek-Heng Lim

DOI: https://doi.org/10.48550/arXiv.1601.05351

2016-08-23

Abstract:We study the semialgebraic structure of $D_r$, the set of nonnegative tensors of nonnegative rank not more than $r$, and use the results to infer various properties of nonnegative tensor rank. We determine all nonnegative typical ranks for cubical nonnegative tensors and show that the direct sum conjecture is true for nonnegative tensor rank. We show that nonnegative, real, and complex ranks are all equal for a general nonnegative tensor of nonnegative rank strictly less than the complex generic rank. In addition, such nonnegative tensors always have unique nonnegative rank-$r$ decompositions if the real tensor space is $r$-identifiable. We determine conditions under which a best nonnegative rank-$r$ approximation has a unique nonnegative rank-$r$ decomposition: for $r \le 3$, this is always the case; for general $r$, this is the case when the best nonnegative rank-$r$ approximation does not lie on the boundary of $D_r$. Many of our general identifiability results also apply to real tensors and real symmetric tensors.

Rings and Algebras
Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Leonid Positselski

DOI: https://doi.org/10.1007/978-3-0346-0436-9

2014-05-10

Abstract:We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (and the cotensor product associative). Besides, for a number of technical reasons we mostly have to assume that the basic ring has a finite homological dimension (no such assumptions about the coring and semialgebra are made). In the final sections we construct model category structures on the categories of complexes of semi(contra)modules, and develop relative nonhomogeneous Koszul duality theory for filtered semialgebras and quasi-differential corings. Our motivating examples come from the semi-infinite cohomology theory. Comparison with the semi-infinite (co)homology of Tate Lie algebras and graded associative algebras is established in appendices, and the semi-infinite homology of a locally compact topological group relative to an open profinite subgroup is defined. An application to the correspondence between complexes of representations of an infinite-dimensional Lie algebra on the complementary central charge levels ($c$ and $26-c$ for the Virasoro) is worked out.

Category Theory,Rings and Algebras,Representation Theory
Higher-Dimensional Algebra IV: 2-Tangles

John C. Baez,Laurel Langford

DOI: https://doi.org/10.48550/arXiv.math/9811139

2000-10-15

Abstract:Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the `free semistrict braided monoidal 2-category with duals on one unframed self-dual object'. By this universal property, any unframed self-dual object in a braided monoidal 2-category with duals determines an invariant of 2-tangles in 4 dimensions.

Quantum Algebra,Algebraic Topology,Category Theory
Positivstellensatz for C*-tensor categories

Kajal Das,Mainak Ghosh,Shamindra Ghosh

2024-10-16

Abstract:We explore semi-pre-C*-algebras in the context of rigid semisimple C*-tensor categories and using techniques from annular representations, we extend Ozawa's criterion for property (T) in groups to this context

Quantum Algebra,Category Theory,Operator Algebras
Nilpotent Category of Monoidal Category and Tensor–Hom Adjunction

Yan’en Ni,Yunfei Tan,Yunfei Yi,Yuehui Zhang

DOI: https://doi.org/10.1007/s41980-023-00831-2

2023-01-01

Bulletin of the Iranian Mathematical Society

Abstract:Let 𝒞 be an abelian monoidal category. It is proved that the nilpotent category Nil(𝒞) of 𝒞 admits almost monoidal structure except the unit axiom. As an application, it is proved that Hom and Tensor functors exist over Nil(𝒞) and tensor–hom adjunction remains true over the nilpotent category of the category of finite-dimensional vector spaces, which develops some recent results on this topic.
Semisimplicity of module categories of certain affine vertex operator superalgebras

Dražen Adamović,Chunrui Ai,Xingjun Lin,Jinwei Yang

2024-09-29

Abstract:In this paper, we show Kazhdan-Lusztig categories, that is, the categories of lower bounded generalized weight modules for certain affine vertex operator superalgebras that are locally finite modules of the underlying finite dimensional Lie superalgebra, are semisimple. Those are all representation categories of affine vertex operator superalgebras at conformal but non admissible levels. As a consequence, the categories of finite length generalized modules for these affine vertex operator superalgebras have braided tensor category structures.

Quantum Algebra
ON THE STABLE EQUIVALENCES BETWEEN FINITE TENSOR CATEGORIES

Yuying Xu,Gongxiang Liu

DOI: https://doi.org/10.1090/proc/16283

IF: 0.9709

2023-01-01

Proceedings of the American Mathematical Society

Abstract: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 k-linear monoidal functor can be lifted to a tensor equivalence under some certain conditions.
The non-semisimple Kazhdan-Lusztig category for affine $\mathfrak{sl}_2$ at admissible levels

Robert McRae,Jinwei Yang

2023-12-02

Abstract:We show that Kazhdan and Lusztig's category $KL^k(\mathfrak{sl}_2)$ of modules for the affine Lie algebra $\widehat{\mathfrak{sl}}_2$ at an admissible level $k$, equivalently the category of finite-length grading-restricted generalized modules for the universal affine vertex operator algebra $V^k(\mathfrak{sl}_2)$, is a braided tensor category. Although this tensor category is not rigid, we show that the subcategory of all rigid objects in $KL^k(\mathfrak{sl}_2)$ is equal to the subcategory of all projective objects, and that every simple module in $KL^k(\mathfrak{sl}_2)$ has a projective cover. Moreover, we show that the full subcategory of projective objects in $KL^k(\mathfrak{sl}_2)$ is monoidal equivalent to the category of tilting modules for quantum $\mathfrak{sl}_2$ at the root of unity $\zeta=e^{\pi i/(k+2)}$. Using this, we establish a universal property of the tensor category $KL^k(\mathfrak{sl}_2)$, and as an application, we prove a weak Kazhdan-Lusztig correspondence, that is, we obtain an exact essentially surjective (but not full or faithful) tensor functor from $KL^k(\mathfrak{sl}_2)$ to the category of finite dimensional weight modules for the quantum group associated to $\mathfrak{sl}_2$ at the root of unity $\zeta $. We also use the universal property to classify the categories $KL^k(\mathfrak{sl}_2)$ up to (braided) tensor equivalence and to obtain a tensor-categorical version of quantum Drinfeld-Sokolov reduction, that is, we construct a braided tensor functor from $KL^k(\mathfrak{sl}_2)$ to a category of modules for the Virasoro algebra at central charge $1-\frac{6(k+1)^2}{k+2}$.

Quantum Algebra,Mathematical Physics,Representation Theory
From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Michael Mueger

DOI: https://doi.org/10.48550/arXiv.math/0111205

2001-11-20

Abstract:We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and finitely many isomorphism classes of simple objects. We assume that C is either a *-category (i.e. there is a positive *-operation on the morphisms) or semisimple and spherical over an algebraically closed field F. In the latter case we assume that dim C=sum_i d(X_i)^2 is non-zero, where the summation runs over the isomorphism classes of simple objects. We prove: (i) Z(C) is a semisimple spherical (or *-) category. (ii) Z(C) is weakly monoidally Morita equivalent (in the sense of <a class="link-https" data-arxiv-id="math.CT/0111204" href="https://arxiv.org/abs/math.CT/0111204">math.CT/0111204</a>) to C X C^op. This implies dim Z(C)=(dim C)^2. (iii) We analyze the simple objects of Z(C) in terms of certain finite dimensional algebras, of which Ocneanu's tube algebra is the smallest. We prove the conjecture of Gelfand and Kazhdan according to which the number of simple objects of Z(C) coincides with the dimension of the state space H_{S^1\times S^1} of the torus in the triangulation TQFT built from C. (iv) We prove that Z(C) is modular and we compute the Gauss sums Delta_+/-(Z(C))=sum_i theta(X_i)^{+/- 1}d(X_i)^2=dim C. (v) Finally, if C is already modular then Z(C)\simeq C X C~, where C~ is the tensor category C with the braiding c~_{X,Y}=c_{Y,X}^{-1}.

Category Theory,Operator Algebras
Quivers, Quasi-Quantum Groups and Finite Tensor Categories

Hua-Lin Huang,Gongxiang Liu,Yu Ye

DOI: https://doi.org/10.1007/s00220-011-1229-6

2011-01-01

Abstract:We study finite quasi-quantum groups in their quiver setting developed recently by the first author. We obtain a classification of finite-dimensional pointed Majid algebras of finite corepresentation type, or equivalently a classification of elementary quasi-Hopf algebras of finite representation type, over the field of complex numbers. By the Tannaka-Krein duality principle, this provides a classification of the finite tensor categories in which every simple object has Frobenius-Perron dimension 1 and there are finitely many indecomposable objects up to isomorphism. Some interesting information of these finite tensor categories is given by making use of the quiver representation theory.
On the Dualizability of Fusion 2-Categories

Thibault D. Décoppet

2024-08-19

Abstract:Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple tensor 2-categories, separable bimodule 2-categories, and their morphisms. Categorifying a result of <a class="link-https" data-arxiv-id="1312.7188" href="https://arxiv.org/abs/1312.7188">arXiv:1312.7188</a>, we prove that separable compact semisimple tensor 2-categories are fully dualizable objects therein. In particular, it then follows from the main theorem of <a class="link-https" data-arxiv-id="2211.04917" href="https://arxiv.org/abs/2211.04917">arXiv:2211.04917</a> that, over an algebraically closed field of characteristic zero, every fusion 2-category is a fully dualizable object of the above Morita 4-category. We explain how this can be extended to any field of characteristic zero. Finally, we discuss the field theoretic interpretation of our results.

Category Theory,Quantum Algebra
Asymptotics in finite monoidal categories

Abel Lacabanne,Daniel Tubbenhauer,Pedro Vaz

DOI: https://doi.org/10.1090/bproc/198

2023-11-09

Abstract:We give explicit formulas for the asymptotic growth rate of the number of summands in tensor powers in certain monoidal categories with finitely many indecomposable objects, and related structures.

Representation Theory,Category Theory,Rings and Algebras
Monoidal supercategories

Jonathan Brundan,Alexander P. Ellis

DOI: https://doi.org/10.1007/s00220-017-2850-9

2017-01-26

Abstract:In the literature, one finds several competing notions for the super (i.e., Z/2-graded) analog of a monoidal category. The goal of this paper is to clarify these definitions and the connections between them. We also discuss in detail the example of the odd Temperley-Lieb supercategory. In a forthcoming article, we will exploit the formalism developed here in order to define super analogs of the Kac-Moody 2-categories of Khovanov-Lauda and Rouquier.

Representation Theory,Category Theory
Abstract Bivariant Cuntz Semigroups II

Ramon Antoine,Francesc Perera,Hannes Thiel

DOI: https://doi.org/10.48550/arXiv.1811.08689

2018-11-21

Abstract:We previously showed that abstract Cuntz semigroups form a closed symmetric monoidal category. This automatically provides additional structure in the category, such as a composition and an external tensor product, for which we give concrete constructions in order to be used in applications. We further analyse the structure of not necessarily commutative Cu-semi-rings and we obtain, under mild conditions, a new characterization of solid Cu-semirings $R$ by the condition that $R\cong [\![ R,R ]\!]$.

Operator Algebras

Notes on semisimple tensor categories of rank two

Tensor Categories Arising from the Virasoro Algebra

Topological semiinfinite tensor (super)modules

On odd-dimensional modular tensor categories

Typing Tensor Calculus in 2-Categories

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Multiplicities and Dimensions in Enveloping Tensor Categories

Semialgebraic Geometry of Nonnegative Tensor Rank

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Higher-Dimensional Algebra IV: 2-Tangles

Positivstellensatz for C*-tensor categories

Nilpotent Category of Monoidal Category and Tensor–Hom Adjunction

Semisimplicity of module categories of certain affine vertex operator superalgebras

ON THE STABLE EQUIVALENCES BETWEEN FINITE TENSOR CATEGORIES

The non-semisimple Kazhdan-Lusztig category for affine $\mathfrak{sl}_2$ at admissible levels

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Quivers, Quasi-Quantum Groups and Finite Tensor Categories

On the Dualizability of Fusion 2-Categories

Asymptotics in finite monoidal categories

Monoidal supercategories

Abstract Bivariant Cuntz Semigroups II