Projective objects and the modified trace in factorisable finite tensor categories

DOI10.1112/S0010437X20007034zbMATH Open1445.18011arXiv1703.00150MaRDI QIDQ5221055FDOQ5221055

Authors: Ingo Runkel, A. M. Gainutdinov 

Publication date: 27 March 2020

Published in: Compositio Mathematica (Search for Journal in Brave)

Abstract: For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective modules span a submodule for the projective SL(2,Z)-action; 3) the action of the Grothendieck ring of C on the span of internal characters of projective objects can be diagonalised; 4) the linearised Grothendieck ring of C is semisimple iff C is semisimple. Results 1-3 remain true in positive characteristic under an extra assumption. Result 1 implies that the tensor ideal of projective objects in C carries a unique-up-to-scalars modified trace function. We express the modified trace of open Hopf links coloured by projectives in terms of S-matrix elements. Furthermore, we give a Verlinde-like formula for the decomposition of tensor products of projective objects which uses only the modular S-transformation restricted to internal characters of projective objects. We compute the modified trace in the example of symplectic fermion categories, and we illustrate how the Verlinde-like formula for projective objects can be applied there.

Full work available at URL: https://arxiv.org/abs/1703.00150

Recommendations

• M-traces in (non-unimodular) pivotal categories
• Modified trace is a symmetrised integral
• Ambidextrous objects and trace functions for nonsemisimple categories
• Modified traces for quasi-Hopf algebras
• Modified trace from pivotal Hopf \(G\)-coalgebras

zbMATH Keywords

vertex operator algebrapivotal categoryprojective objectmodified tracebraided categoryGro\-then\-dieck ringVerlinde-like formula

Mathematics Subject Classification ID

Vertex operators; vertex operator algebras and related structures (17B69) Projectives and injectives (category-theoretic aspects) (18G05) Grothendieck groups (category-theoretic aspects) (18F30) Monoidal categories, symmetric monoidal categories (18M05) Braided monoidal categories and ribbon categories (18M15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Higman's criterion revisited.
• Modular transformations for tensor categories
• Invariants of 3-manifolds via link polynomials and quantum groups
• Central ideals and Cartan invariants of symmetric algebras.
• VERTEX OPERATOR ALGEBRAS AND THE VERLINDE CONJECTURE
• Title not available (Why is that?)
• Modular invariance of characters of vertex operator algebras
• From Hopf algebras to tensor categories.
• Tensor categories
• Quantum invariants of knots and 3-manifolds
• Fusion rules and modular transformations in 2D conformal field theory
• Title not available (Why is that?)
• Modular invariance of vertex operator algebras satisfying \(C_2\)-cofiniteness
• Title not available (Why is that?)
• Braided groups and quantum Fourier transform
• Some remarks on the unrolled quantum group of \(\mathfrak{sl}(2)\)
• Ambidextrous objects and trace functions for nonsemisimple categories
• Modified quantum dimensions and re-normalized link invariants
• Hopf algebras and finite tensor categories in conformal field theory
• The category of representations of the symmetric group \(S_t\) when \(t\) is not a natural number.
• Non-semisimple topological quantum field theories for 3-manifolds with corners
• Modular group representations and fusion in logarithmic conformal field theories and in the quantum group center
• A \(\mathbb{Z}_{2}\)-orbifold model of the symplectic fermionic vertex operator superalgebra
• Title not available (Why is that?)
• Non-degeneracy conditions for braided finite tensor categories
• The monoidal center and the character algebra
• Nonsemisimple fusion algebras and the Verlinde formula
• Traces on ideals in pivotal categories
• Generalized trace and modified dimension functions on ribbon categories
• Representations of finite-dimensional Hopf algebras
• The triplet vertex operator algebra \(W(p)\) and the restricted quantum group \(\overline U_q(sl_2)\) at \(q=e^{\frac{\pi i}{p}}\)
• Some remarks on pseudo-trace functions for orbifold models associated with symplectic fermions
• Indecomposable decomposition of tensor products of modules over the restricted quantum universal enveloping algebra associated to \(\mathfrak{sl}_2\)
• RIGIDITY AND MODULARITY OF VERTEX TENSOR CATEGORIES
• The tensor structure on the representation category of the \(\mathcal {W}_p\) triplet algebra
• Higman ideal, stable Hochschild homology and Auslander-Reiten conjecture.
• An equivalence between semisimple symmetric Frobenius algebras and Calabi-Yau categories
• Cofiniteness conditions, projective covers and the logarithmic tensor product theory
• The trace function and Hopf algebras
• Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity
• From non-semisimple Hopf algebras to correlation functions for logarithmic CFT
• On Unimodular Finite Tensor Categories
• Consistent systems of correlators in non-semisimple conformal field theory
• Symplectic fermions and a quasi-Hopf algebra structure on \(\overline{U}_{\operatorname{i}}s\ell(2)\)
• \(\mathbb Z/2\mathbb Z\)-extensions of Hopf algebra module categories by their base categories
• A braided monoidal category for free super-bosons
• A braided monoidal category for symplectic fermions
• Holomorphic symplectic fermions
• On the center of the small quantum group.
• Characters and a Verlinde-type formula for symmetric Hopf algebras.
• \(\mathrm{SL}(2, \mathbb{Z})\)-action for ribbon quasi-Hopf algebras
• The non-semisimple Verlinde formula and pseudo-trace functions
• Logarithmic conformal field theory, log-modular tensor categories and modular forms
• Mapping class group actions on quantum doubles
• A counterpart of the Verlinde algebra for the small quantum group.
• Title not available (Why is that?)
• On non-semisimple fusion rules and tensor categories
• The symplectic fermion ribbon quasi-Hopf algebra and the \(S L(2, \mathbb{Z})\)-action on its centre

Cited In (18)

• The symplectic fermion ribbon quasi-Hopf algebra and the \(S L(2, \mathbb{Z})\)-action on its centre
• Mapping class group representations from non-semisimple TQFTs
• The differential graded Verlinde formula and the Deligne Conjecture
• Further results on the structure of (co)ends in finite tensor categories
• Modified trace is a symmetrised integral
• On semisimplicity of module categories for finite non-zero index vertex operator subalgebras
• Extended TQFTs from non-semisimple modular categories
• Modified traces for quasi-Hopf algebras
• The trace field theory of a finite tensor category
• A quasi-Hopf algebra for the triplet vertex operator algebra
• Log-modular quantum groups at even roots of unity and the quantum Frobenius I
• M-traces in (non-unimodular) pivotal categories
• Generalized negligible morphisms and their tensor ideals
• Frobenius-Perron dimensions of integral \(\mathbb{Z}_+\)-rings and applications
• Modified traces and the Nakayama functor
• Generalized trace and modified dimension functions on ribbon categories
• 3-dimensional TQFTs from non-semisimple modular categories
• Non-semisimple extended topological quantum field theories

This page was built for publication: Projective objects and the modified trace in factorisable finite tensor categories

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