pith. sign in

arxiv: 2606.02046 · v1 · pith:WQNNO4CWnew · submitted 2026-06-01 · 🧮 math.QA · math.CT

Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories

Hao Xu This is my paper

Pith reviewed 2026-06-28 12:05 UTC · model grok-4.3

classification 🧮 math.QA math.CT
keywords Frobenius algebrasdual bimodulesmonoidal 2-categoriesrigid algebras2VectCasimir objectsemistrict categoriesseparable algebras
0
0 comments X

The pith

Frobenius algebra structure on a bimodule promotes a coherent dual of the underlying object to a coherent dual of the bimodule in semistrict monoidal 2-categories.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper constructs dual bimodules explicitly in semistrict monoidal 2-categories by leveraging Frobenius algebra structure. It shows that if an underlying object has a coherent dual, that dual can be promoted to the bimodule level when the bimodule is equipped with Frobenius data. Special Frobenius structures are needed for the zigzag 2-isomorphisms to work. It further proves that every special Frobenius algebra in the 2-category of 2-vector spaces is rigid using a categorified Casimir object. The work also maps out the hierarchy among Frobenius, rigid, special Frobenius, and separable algebras.

Core claim

The central claim is that a coherent dual of the underlying object can be promoted to a coherent dual of the bimodule using Frobenius algebra structure, and that zigzag 2-isomorphisms require special Frobenius structures. Additionally, every special Frobenius algebra in 2Vect is rigid via a categorified Casimir object argument.

What carries the argument

Promotion of coherent duals from objects to bimodules using Frobenius algebra data in semistrict monoidal 2-categories, together with the categorified Casimir object for rigidity proofs.

Load-bearing premise

The ambient structure is a semistrict monoidal 2-category and the bimodule carries the required Frobenius algebra data.

What would settle it

A counterexample of a special Frobenius algebra in 2Vect that is not rigid would disprove the rigidity claim.

read the original abstract

We explicitly construct dual bimodules in a semistrict monoidal 2-category, using Frobenius algebra structure. The main result shows that a coherent dual of the underlying object can be promoted to a coherent dual of the bimodule, with zigzag 2-isomorphisms additionally require special Frobenius structures. We also prove that every special Frobenius algebra in $\mathbf{2Vect}$ is rigid, via a categorified Casimir object argument, and discuss the relationship between the Frobenius, rigid, special Frobenius, and separable algebra hierarchies.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript explicitly constructs dual bimodules in semistrict monoidal 2-categories by using Frobenius algebra structure on the bimodule. The main result states that a coherent dual of the underlying object can be promoted to a coherent dual of the bimodule, with the zigzag 2-isomorphisms holding when the Frobenius structure is special. A separate result proves that every special Frobenius algebra in 2Vect is rigid via a categorified Casimir object argument, and the paper discusses the hierarchy relating Frobenius, rigid, special Frobenius, and separable algebras.

Significance. If the constructions hold, the work supplies concrete tools for producing duals of bimodules in monoidal 2-categories, which are relevant to 2-dimensional TQFTs and categorified representation theory. The categorified Casimir argument provides an explicit rigidity proof in 2Vect, and the explicit promotion of duals under Frobenius data is a useful technical contribution.

minor comments (3)
  1. [Abstract] Abstract: the phrasing 'with zigzag 2-isomorphisms additionally require special Frobenius structures' is grammatically awkward and should be revised for clarity.
  2. [Introduction or §2] The manuscript would benefit from an explicit statement of the ambient semistrict monoidal 2-category axioms used in the promotion construction, even if they are standard.
  3. [§3] Notation for the bimodule actions and the Frobenius multiplication/comultiplication should be introduced with a single diagram or table to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its relevance to 2-dimensional TQFTs and categorified representation theory, and recommendation of minor revision. No specific major comments or requested changes were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents explicit constructions promoting coherent duals of objects to dual bimodules in semistrict monoidal 2-categories when equipped with Frobenius algebra data, with an additional result establishing rigidity of special Frobenius algebras in 2Vect via a categorified Casimir argument. Both results are scoped directly to the ambient semistrict structure plus the given Frobenius data, with no equations or steps that reduce by definition to their own inputs, no load-bearing self-citations, and no renaming or smuggling of ansatzes. The derivation chain consists of direct constructions under the stated hypotheses and is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the work rests on standard domain assumptions of monoidal 2-category theory and the definition of Frobenius algebras; no free parameters or new entities are mentioned.

axioms (2)
  • domain assumption Semistrict monoidal 2-category axioms
    The constructions are performed inside semistrict monoidal 2-categories.
  • domain assumption Frobenius algebra structure on the bimodule
    The dual construction uses the given Frobenius data.

pith-pipeline@v0.9.1-grok · 5610 in / 1324 out tokens · 35216 ms · 2026-06-28T12:05:39.591636+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 6 linked inside Pith

  1. [1]

    D \'e coppet

    Thibault D. D \'e coppet. The M orita theory of fusion 2-categories. Higher Structures , 7(1):234--292, 2023. arXiv:2208.08722 https://arxiv.org/pdf/2208.08722.pdf

    arXiv 2023

  2. [2]

    Rigid and separable algebras in fusion 2-categories

    Thibault D D \'e coppet. Rigid and separable algebras in fusion 2-categories. Advances in Mathematics , 419:108967, 2023. arXiv:2205.06453 https://arxiv.org/pdf/2205.06453.pdf

    arXiv 2023

  3. [3]

    D \'e coppet

    Thibault D. D \'e coppet. Drinfeld centers and M orita equivalence classes of fusion 2-categories. Compositio Mathematica , 161(2):305--340, 2025. arXiv:2211.04917 https://arxiv.org/pdf/2211.04917.pdf

    arXiv 2025

  4. [4]

    Finite semisimple module 2-categories

    Thibault D D \'e coppet. Finite semisimple module 2-categories. Selecta Mathematica (New Series) , 31(1):5, 2025. arXiv:2107.11037 https://arxiv.org/pdf/2107.11037.pdf

    arXiv 2025

  5. [5]

    Douglas, Christopher Schommer-Pries, and Noah Snyder

    Christopher L. Douglas, Christopher Schommer-Pries, and Noah Snyder. The balanced tensor product of module categories. Kyoto J. Math. , 59:167--179, 2019. arXiv:1406.4204 https://arxiv.org/pdf/1406.4204.pdf

    Pith/arXiv arXiv 2019

  6. [6]

    Douglas, Christopher Schommer-Pries, and Noah Snyder

    Christopher L. Douglas, Christopher Schommer-Pries, and Noah Snyder. Dualizable tensor categories . Mem. Amer. Math. Soc. AMS, 2021. arXiv:1312.7188 https://arxiv.org/pdf/1312.7188.pdf

    Pith/arXiv arXiv 2021

  7. [7]

    D \'e coppet and Hao Xu

    Thibault D. D \'e coppet and Hao Xu. Local modules in braided monoidal 2-categories. Journal of Mathematical Physics , 65(6), 2024. arXiv:2307.02843 https://arxiv.org/pdf/2307.02843.pdf

    arXiv 2024

  8. [8]

    Fusion categories and homotopy theory

    Pavel Etingof, Dmitri Nikshych, and Victor Ostrik. Fusion categories and homotopy theory. Quantum topology , 1(3):209--273, 2010. arXiv:0909.3140 https://arxiv.org/pdf/0909.3140.pdf

    Pith/arXiv arXiv 2010

  9. [9]

    Condensations in higher categories, 2019

    Davide Gaiotto and Theo Johnson-Freyd. Condensations in higher categories, 2019. arXiv:1905.09566 https://arxiv.org/pdf/1905.09566.pdf

    arXiv 2019

  10. [10]

    Frobenius Algebras and 2 D Topological Quantum Field Theories , volume 59 of London Mathematical Society Student Texts

    Joachim Kock. Frobenius Algebras and 2 D Topological Quantum Field Theories , volume 59 of London Mathematical Society Student Texts . Cambridge University Press, 2003

    2003

  11. [11]

    From subfactors to categories and topology I : F robenius algebras in and M orita equivalence of tensor categories

    Michael M \"u ger. From subfactors to categories and topology I : F robenius algebras in and M orita equivalence of tensor categories. Journal of Pure and Applied Algebra , 180(1-2):81--157, 2003. arXiv:math/0111204 https://arxiv.org/pdf/math/0111204.pdf

    Pith/arXiv arXiv 2003

  12. [12]

    From subfactors to categories and topology II : The quantum double of tensor categories and subfactors

    Michael M \"u ger. From subfactors to categories and topology II : The quantum double of tensor categories and subfactors. Journal of Pure and Applied Algebra , 180(1-2):159--219, 2003. arXiv:math/0111205 https://arxiv.org/pdf/math/0111205.pdf

    Pith/arXiv arXiv 2003

  13. [13]

    Module categories, weak H opf algebras and modular invariants

    Victor Ostrik. Module categories, weak H opf algebras and modular invariants. Transformation groups , 8:177--206, 2003. arXiv:math/0111139 https://arxiv.org/pdf/math/0111139.pdf

    Pith/arXiv arXiv 2003