Monoidal Categories, 2-Traces, and Cyclic Cohomology

Hassanzadeh, Mohammad ; Khalkhali, Masoud ; Shapiro, Ilya

Canadian mathematical bulletin, Tome 62 (2019) no. 2, pp. 293-312

Résumé

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category ($\mathscr{C},\otimes$) endowed with a symmetric 2-trace, i.e., an $F\in \text{Fun}(\mathscr{C},\text{Vec})$ satisfying some natural trace-like conditions, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the (co)cyclic homology of the (co)algebra “with coefficients in $F$”. Furthermore, we observe that if $\mathscr{M}$ is a $\mathscr{C}$-bimodule category and $(F,M)$ is a stable central pair, i.e., $F\in \text{Fun}(\mathscr{M},\text{Vec})$ and $M\in \mathscr{M}$ satisfy certain conditions, then $\mathscr{C}$ acquires a symmetric 2-trace. The dual notions of symmetric 2-contratraces and stable central contrapairs are derived as well. As an application we can recover all Hopf cyclic type (co)homology theories.

Détail

DOI : 10.4153/CMB-2018-016-4

Mots-clés : monoidal category, abelian and additive category, cyclic homology, Hopf algebra

Bibliographie

[BFO] Bezrukavnikov, R., Finkelberg, M., and Ostrik, V., On tensor categories attached to cells in affine Weyl groups. III . Israel J. Math. 170(2009), 207–234. . Google Scholar | DOI

[BS] Bohm, G. and Stefan, D., A categorical approach to cyclic duality . J. Noncommut. Geom. 6(2012), no. 3, 481–538. . Google Scholar | DOI

[Co] Connes, A., Cohomologie cyclique et foncteurs Ext n . C. R. Acad. Sci. Paris Sér. I Math. 296(1983), no. 23, 953–958. Google Scholar

[CM1] Connes, A. and Moscovici, H., Hopf algebras, cyclic cohomology and the transverse index theorem . Commun. Math. Phys. 198(1998), 199–246. . Google Scholar | DOI

[CM2] Connes, A. and Moscovici, H., Cyclic cohomology and Hopf algebras . Lett. Math. Phys. 48(1999), 97–108. . Google Scholar | DOI

[DP] Dold, A. and Puppe, D., Duality, trace, and transfer . Proceedings of the Steklov Institute of Mathematics, 154(1984), 85–103. Google Scholar

[DSPS] Douglas, C. L., Schommer-Pries, C., and Snyder, N., Dualizable tensor categories. 2018. arxiv:1312.7188. Google Scholar

[EGNO] Etingof, P., Gelaki, S., Nikshych, D., and Ostrik, V., Tensor categories. Mathematical Surveys and Monographs, 205, American Mathematical Society, Providence, RI, 2015. . Google Scholar | DOI

[FSS] Fuchs, J., Schaumann, G., and Schweigert, C., A trace for bimodule categories . Appl. Categ. Structures 25(2017), no. 2, 227–268. . Google Scholar | DOI

[HKRS1] Hajac, P. M., Khalkhali, M., Rangipour, B., and Sommerhauser, Y., Hopf-cyclic homology and cohomology with coefficients . C. R. Math. Acad. Sci. Paris 338(2004), no. 9, 667–672. . Google Scholar | DOI

[HKRS2] Hajac, P. M., Khalkhali, M., Rangipour, B., and Sommerhauser, Y., Stable anti-Yetter–Drinfeld modules . C. R. Acad. Sci. Paris Ser. I 338(2004), 587–590. . Google Scholar | DOI

[HPT] Henriques, A., Penneys, D., and Tener, J., Categorified trace for module tensor categories over braided tensor categories . Doc. Math. 21(2016), 1089–1149. Google Scholar

[JSV] Joyal, A., Street, R., and Verity, D., Traced monoidal categories . Math. Proc. Cambridge Philos. Soc. 119(1996), 447–468. . Google Scholar | DOI

[K1] Kaledin, D., Cyclic homology with coefficients . In: Algebra, arithmetic, and geometry: in honor of Yu. I. Manin. Vol. II, Progr. Math., 270, Birkhäuser Boston, Inc., Boston, MA, 2009, pp. 23–47. . Google Scholar | DOI

[K2] Kaledin, D., Trace theories and localization . In: Stacks and categories in geometry, topology, and algebra, Contemp. Math., 643, American Mathematical Society, Providence, RI, 2015, pp. 227–262. . Google Scholar | DOI

[Kassel] Kassel, C., Quantum groups. Graduate Texts in Mathematics, 155, Springer-Verlag, New York, 1995. . Google Scholar | DOI

[KP] Khalkhali, M. and Pourkia, A., Hopf cyclic cohomology in braided monoidal categories . Homology Homotopy Appl. 12(2010), no. 1, 111–155. . Google Scholar | DOI

[KS1] Kobyzev, I. and Shapiro, I., A categorical approach to cyclic cohomology of quasi-Hopf algebras and Hopf algebroids. 2018. arxiv:1803.09194. Google Scholar

[KS2] Kobyzev, I. and Shapiro, I., Anti-Yetter–Drinfeld modules for quasi-Hopf algebras. arxiv:1804.02031. 2018. Google Scholar

[Lo] Loday, J. L., Cyclic homology. Grundlehren der Mathematischen Wissenschaften, 301, Springer-Verlag, Berlin, 1992. . Google Scholar | DOI

[M1] Majid, S., Foundations of quantum group theory. Cambridge University Press, Cambridge, 1995. . Google Scholar | DOI

[M2] Majid, S., Quantum double for quasi-Hopf algebras . Lett. Math. Phys. 45(1998), no. 1, 1–9. . Google Scholar | DOI

[P] Ponto, K., Relative fixed point theory . Algebr. Geom. Topol. 11(2011), 839–886. . Google Scholar | DOI

[PS] Ponto, K. and Shulman, M., Shadows and traces in bicategories . J. Homotopy Relat. Struct. 8(2013), 151–200. . Google Scholar | DOI

[Sch] Schauenburg, P., Hopf modules and Yetter–Drinfel’d modules . J. Algebra 169(1994), 874–890. . Google Scholar | DOI

[Sh1] Shapiro, I., Some invariance properties of cyclic cohomology with coefficients. 2016. arxiv:1611.01425. Google Scholar

[Sh2] Shapiro, I., On the anti-Yetter–Drinfeld module-contramodule correspondence. 2017. arxiv:1704.06552. Google Scholar

[Y] Yetter, D., Quantum groups and representations of monoidal categories . Math. Proc. Cambridge Philos. Soc. 108(1990), no. 2, 261–290. . Google Scholar | DOI