Frobenius monoidal functors from (co)Hopf adjunctions
Abstract
Let be a strong monoidal functor between abelian monoidal categories admitting a right adjoint , such that is exact, faithful and the adjunction is coHopf. Building on the work of Balan, we show that is separable (resp., special) Frobenius monoidal if and only if is a separable (resp., special) Frobenius algebra in . If further, are pivotal (resp., ribbon) categories and is a pivotal (resp., braided pivotal) functor, then is a pivotal (resp., ribbon) functor if and only if is a symmetric Frobenius algebra in . As an application, we construct Frobenius monoidal functors going into the Drinfeld center , thereby producing Frobenius algebras in it.
Cite
@article{arxiv.2209.15606,
title = {Frobenius monoidal functors from (co)Hopf adjunctions},
author = {Harshit Yadav},
journal= {arXiv preprint arXiv:2209.15606},
year = {2023}
}
Comments
v2: 16 pages. Corrected the proof of Theorem 3.13. Final version, to appear in Proceedings of the AMS