Categorified trace for module tensor categories over braided tensor categories

MaRDI QIDQ321896zbMATH OpenFDO

Authors André Henriques, David Penneys, James E. Tener

Publication date 14 October 2016

Published in Documenta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.02937, http://www.emis.de/journals/DMJDMV/vol-21/29.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Frobenius algebraseparable algebracategorified tracepivotal categoryseparable monoidstring diagram

Mathematics Subject Classification ID

Abstract: Given a braided pivotal category $mathcalC$ and a pivotal module tensor category $mathcalM$, we define a functor $mathrm{Tr}_{mathcalC}:mathcalMomathcalC$, called the associated categorified trace. By a result of Bezrukavnikov, Finkelberg and Ostrik, the functor $mathrm{Tr}_{mathcalC}$ comes equipped with natural isomorphisms $a{u}_{x,y}:mathrm{Tr}_{mathcalC}(xotimesy)omathrm{Tr}_{mathcalC}(yotimesx)$, which we call the traciators. This situation lends itself to a diagramatic calculus of `strings on cylinders', where the traciator corresponds to wrapping a string around the back of a cylinder. We show that $mathrm{Tr}_{mathcalC}$ in fact has a much richer graphical calculus in which the tubes are allowed to branch and braid. Given algebra objects $A$ and $B$, we prove that $mathrm{Tr}_{mathcalC}(A)$ and $mathrm{Tr}_{mathcalC}(AotimesB)$ are again algebra objects. Moreover, provided certain mild assumptions are satisfied, $mathrm{Tr}_{mathcalC}(A)$ and $mathrm{Tr}_{mathcalC}(AotimesB)$ are semisimple whenever $A$ and $B$ are semisimple.

Recommendations

• A trace for bimodule categories
• Traces on module categories over fusion categories
• Traces in braided categories
• Extending the trace of a pivotal monoidal functor
• M-traces in (non-unimodular) pivotal categories

Cited in

(37)

• The symmetric tensor product on the Drinfeld centre of a symmetric fusion category
• Quantum link homology via trace functor. I
• Category-valued traces for bimodule categories: a representation-theoretic realization
• Realizing the braided Temperley-Lieb-Jones C*-tensor categories as Hilbert C*-modules
• Non-canonical isomorphisms
• Trace decategorification of tensor product algebras
• Dichromatic state sum models for four-manifolds from pivotal functors
• Two-dimensional algebra in lattice gauge theory
• On sovereign, balanced and ribbon quasi-Hopf algebras
• scientific article; zbMATH DE number 7646808 (Why is no real title available?)
• Traces on ideals in pivotal categories
• Trivializing group actions on braided crossed tensor categories and graded braided tensor categories
• Invariants of 4-manifolds from Khovanov-Rozansky link homology
• Composing topological domain walls and anyon mobility
• The module embedding theorem via towers of algebras
• $Q$-systems and compact $W^*$-algebra objects
• The Brauer-Picard groups of fusion categories coming from the \textit{ADE} subfactors
• Operator algebras in rigid \(\mathrm{C}^\ast\)-tensor categories
• Pivotality, twisted centres, and the anti-double of a Hopf monad
• A trace for bimodule categories
• Monoidal Categories Enriched in Braided Monoidal Categories
• Monoidal Categories, 2-Traces, and Cyclic Cohomology
• Extending the trace of a pivotal monoidal functor
• Braided zesting and its applications
• Fusion categories associated with subfactors with index \(3 + \sqrt{5}\)
• An algebraic quantum field theoretic approach to toric code with gapped boundary
• Classifying module categories for generalized Temperley-Lieb-Jones \(\ast\)-2-categories
• Trace as an alternative decategorification functor
• Slightly degenerate categories and \(\mathbb{Z}\)-modular data
• Unitary braided-enriched monoidal categories
• Landau-Ginzburg/conformal field theory correspondence for \(x^d\) and module tensor categories
• Braided tensor categories of admissible modules for affine Lie algebras
• Traces on module categories over fusion categories
• Categorical extensions of conformal nets
• Planar Algebras in Braided Tensor Categories
• Unitary dual functors for unitary multitensor categories
• Some ribbon elements for the quasi-Hopf algebra \(D^{\omega} (H)\)

This page was built for publication: Categorified trace for module tensor categories over braided tensor categories

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