Surface Diagrams for Frobenius Algebras and Frobenius-Schur Indicators in Grothendieck-Verdier Categories

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Demirdilek, Max, Schweigert, Christoph
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909615533326336
author Demirdilek, Max
Schweigert, Christoph
author_facet Demirdilek, Max
Schweigert, Christoph
contents Grothendieck-Verdier categories (also known as $\ast$-autonomous categories) generalize rigid monoidal categories, with notable representation-theoretic examples including categories of bimodules, modules over Hopf algebroids, and modules over vertex operator algebras. In this paper, we develop a surface-diagrammatic calculus for Grothendieck-Verdier categories, extending the string-diagrammatic calculus of Joyal and Street for rigid monoidal categories into a third dimension. This extension naturally arises from the non-invertibility of coherence data in Grothendieck-Verdier categories. We show that key properties of Frobenius algebras in rigid monoidal categories carry over to the Grothendieck-Verdier setting. Moreover, we introduce higher Frobenius-Schur indicators for suitably finite $k$-linear pivotal Grothendieck-Verdier categories and prove their invariance under pivotal Frobenius linearly distributive equivalences. The proofs are carried out using the surface-diagrammatic calculus. To facilitate the verification of some of our results, we provide auxiliary files for the graphical proof assistant homotopy$.$io.
format Preprint
id arxiv_https___arxiv_org_abs_2503_13325
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Surface Diagrams for Frobenius Algebras and Frobenius-Schur Indicators in Grothendieck-Verdier Categories
Demirdilek, Max
Schweigert, Christoph
Category Theory
Quantum Algebra
Grothendieck-Verdier categories (also known as $\ast$-autonomous categories) generalize rigid monoidal categories, with notable representation-theoretic examples including categories of bimodules, modules over Hopf algebroids, and modules over vertex operator algebras. In this paper, we develop a surface-diagrammatic calculus for Grothendieck-Verdier categories, extending the string-diagrammatic calculus of Joyal and Street for rigid monoidal categories into a third dimension. This extension naturally arises from the non-invertibility of coherence data in Grothendieck-Verdier categories. We show that key properties of Frobenius algebras in rigid monoidal categories carry over to the Grothendieck-Verdier setting. Moreover, we introduce higher Frobenius-Schur indicators for suitably finite $k$-linear pivotal Grothendieck-Verdier categories and prove their invariance under pivotal Frobenius linearly distributive equivalences. The proofs are carried out using the surface-diagrammatic calculus. To facilitate the verification of some of our results, we provide auxiliary files for the graphical proof assistant homotopy$.$io.
title Surface Diagrams for Frobenius Algebras and Frobenius-Schur Indicators in Grothendieck-Verdier Categories
topic Category Theory
Quantum Algebra
url https://arxiv.org/abs/2503.13325