Pith. sign in

REVIEW 3 major objections 2 minor 45 references

Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

T0 review · 3 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The braided cochain complex of quasi-triangular bialgebras is a braided Morita invariant under a condition that holds automatically when the bialgebras are finite-dimensional.

desk verdict The paper cleanly generalizes symmetric cohomology to the braided setting via relative morphisms but ties the Morita invariance to an unspecified condition whose scope is hard to judge from the given details. read the letter →

arxiv 2606.09107 v1 pith:E7HHGL44 submitted 2026-06-08 math.QA math.RA

Shota Inoue , Ayako Itaba This is my paper · ORCID
classification math.QAmath.RA
keywords braidedcohomologyquasi-triangularbialgebrasMoritainvariancelinearmonoidalcategoriesrelativemorphismscoalgebrascochaincomplex
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper defines a braided cochain complex and associated cohomology for braided coalgebras inside arbitrary linear monoidal categories. It replaces the usual symmetric-group actions on cochains with braidings that act only on individual objects, and it compares these complexes across different categories by means of relative morphisms. The central result shows that, for quasi-triangular bialgebras, the braided cochain complex is unchanged when the bialgebras are related by braided Morita equivalence, provided a technical condition on the morphisms holds; this condition is automatically satisfied in the finite-dimensional case.

What carries the argument

Relative morphisms between braided coalgebras in different linear monoidal categories, which are used to identify the braided cochain complexes and thereby establish braided Morita invariance.

What would settle it

An explicit pair of quasi-triangular bialgebras related by braided Morita equivalence, together with a relative morphism that violates the technical condition, such that the two braided cochain complexes differ in some degree.

Watch

Extended reading notes

Core claim

The authors construct the braided cochain complex of braided coalgebras in linear monoidal categories and prove that the braided cochain complex of quasi-triangular bialgebras is a braided Morita invariant under a certain condition, which is automatically satisfied in the finite-dimensional case. This generalizes the symmetric cohomology previously defined for groups and for cocommutative Hopf algebras by replacing symmetries with braidings defined on single objects.

Load-bearing premise

A technical condition on the relative morphisms between the braided coalgebras must hold for the braided cochain complexes to coincide.

Editorial extensions

If this is right

  • Braided cohomology groups can be transferred between different presentations of the same quasi-triangular bialgebra.
  • In the finite-dimensional setting the invariance requires no extra verification.
  • The construction applies to any linear monoidal category equipped with a braiding on the relevant objects.
  • Computations of symmetric cohomology for cocommutative Hopf algebras become special cases of the braided theory.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The framework opens the possibility of defining similar invariants for coalgebras in non-symmetric monoidal categories that arise in quantum group theory.
  • If the technical condition can be removed or weakened, the invariance would hold for a larger class of infinite-dimensional examples.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 2 minor

Summary. The manuscript introduces the braided cochain complex and braided cohomology of braided coalgebras in linear monoidal categories, generalizing the symmetric cohomology of Staic and of Shiba-Sanada. It develops a description of relative morphisms between linear monoidal categories and applies this to prove that the braided cochain complex of a quasi-triangular bialgebra is a braided Morita invariant under a certain condition on the relative morphisms, which holds automatically when the bialgebras are finite-dimensional.

Significance. If the central comparison theorem holds with a clearly stated and minimal condition, the work supplies a braided analogue of Morita invariance for a cohomology theory that incorporates braidings rather than symmetries. This extends existing results on symmetric cohomology to arbitrary linear monoidal categories and to quasi-triangular bialgebras, offering potential new invariants preserved under braided Morita equivalence. The automatic validity in the finite-dimensional case is a concrete strength that broadens applicability within quantum algebra.

major comments (3)
  1. [Abstract and §1] Abstract and §1 (Introduction): the main theorem is stated only under an unspecified 'certain condition' on relative morphisms; no numbered assumption, equation, or explicit formulation of this condition appears in the introduction, rendering the precise scope of the braided Morita invariance claim impossible to assess from the stated result.
  2. [§4] §4 (comparison via relative morphisms): the proof that the braided cochain complexes are isomorphic under the condition does not include a minimality argument or an infinite-dimensional counter-example showing that the condition cannot be removed; without this, it remains unclear whether the condition is an artifact of the chosen comparison maps rather than intrinsic to the invariance.
  3. [§5] §5 (finite-dimensional case): the claim that the condition holds automatically for finite-dimensional quasi-triangular bialgebras is asserted but the manuscript does not cite the specific property of the braiding or of the category (e.g., an equation showing that the relative morphism becomes an equivalence) that guarantees this; the step is load-bearing for the applicability statement.
minor comments (2)
  1. [§2] The notation for the braided cochain complex (degreewise actions induced by the braiding on a single object) would benefit from an explicit formula displayed already in the introduction rather than deferred to the definitions section.
  2. A short table or diagram comparing the new braided cohomology with the symmetric cohomology of Staic and Shiba-Sanada would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on the manuscript. We address each major comment below, indicating the revisions planned for the next version.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1 (Introduction): the main theorem is stated only under an unspecified 'certain condition' on relative morphisms; no numbered assumption, equation, or explicit formulation of this condition appears in the introduction, rendering the precise scope of the braided Morita invariance claim impossible to assess from the stated result.

    Authors: We agree that the condition should be stated explicitly already in the introduction. In the revised manuscript we will formulate the condition as a numbered assumption in §1, with a direct reference to its precise definition (the compatibility equation for the relative morphism with the braiding) given in §4. This will make the scope of the main invariance result immediately clear. revision: yes

  2. Referee: [§4] §4 (comparison via relative morphisms): the proof that the braided cochain complexes are isomorphic under the condition does not include a minimality argument or an infinite-dimensional counter-example showing that the condition cannot be removed; without this, it remains unclear whether the condition is an artifact of the chosen comparison maps rather than intrinsic to the invariance.

    Authors: The condition arises directly from the requirement that a relative morphism preserve the braiding on the generating object so that the induced map on cochains commutes with the differential; this is intrinsic to the construction of the braided cochain complex in an arbitrary linear monoidal category. We will add a short remark in the revised §4 explaining this origin and why the condition is required by the categorical data. A full minimality proof or explicit infinite-dimensional counter-example lies outside the scope of the present work and would require separate constructions; we therefore treat the addition of the explanatory remark as a partial revision. revision: partial

  3. Referee: [§5] §5 (finite-dimensional case): the claim that the condition holds automatically for finite-dimensional quasi-triangular bialgebras is asserted but the manuscript does not cite the specific property of the braiding or of the category (e.g., an equation showing that the relative morphism becomes an equivalence) that guarantees this; the step is load-bearing for the applicability statement.

    Authors: We will revise §5 to include an explicit reference to the relevant property: when the quasi-triangular bialgebras are finite-dimensional, the relative morphism between their module categories is an equivalence (by the finite-dimensionality of the objects and the fact that the braiding is defined on the whole category), which forces the compatibility condition to hold automatically. The revised text will point to the appropriate equation in §3 that encodes this equivalence. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: new constructions and invariance proof are self-contained

full rationale

The paper defines the braided cochain complex and braided cohomology anew in the setting of linear monoidal categories with braidings, then proves a comparison result via relative morphisms that yields Morita invariance under an explicitly introduced condition. The cited prior work on symmetric cohomology functions only as historical background for the generalization and does not supply any load-bearing step, uniqueness theorem, or fitted parameter that the new invariance result reduces to by construction. No equations or definitions in the abstract or described chain exhibit self-definition, renaming of known results, or ansatz smuggling.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Abstract-only review; no explicit free parameters or invented entities are visible. The construction relies on the standard axioms of linear monoidal categories and braidings, which are domain assumptions from prior literature.

assumptions (1)
  • domain assumption Linear monoidal categories admit a braiding on the relevant objects
    Invoked when defining the braided cochain complex

how reviews work

0 comments
Cite this review

Pith. "Pith review of Braided cohomology of quasi-triangular bialgebras and braided Morita invariance." pith.science (2026). https://pith.science/paper/E7HHGL44

@misc{pith2026260609107,
  author       = {Pith},
  title        = {Pith review of: Braided cohomology of quasi-triangular bialgebras and braided Morita invariance},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E7HHGL44}},
  note         = {Machine review of arXiv:2606.09107}
}
read the original abstract

We introduce the braided cochain complex and the braided cohomology of braided coalgebras in linear monoidal categories, and compare the braided cohomology of braided coalgebras living in different linear monoidal categories using relative morphisms. The symmetric cohomology was introduced for groups by Staic, and was generalized to cocommutative Hopf algebras by Shiba, Sanada, and the second author. This cohomology involves degreewise actions of the symmetric groups on a cochain complex, which come from the usual symmetric monoidal structure on the category of modules. We generalize this framework by dealing with arbitrary linear monoidal categories, and by replacing symmetries with braidings defined merely on an object. We first give a convenient description of relative morphisms, and apply this result to prove that the braided cochain complex of quasi-triangular bialgebras is a braided Morita invariant under a certain condition, which is automatically satisfied in the finite-dimensional case.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 2 canonical work pages

  1. [1]

    Andruskiewitsch, P

    N. Andruskiewitsch, P. Etingof, and S. Gelaki,Triangular Hopf algebras with the Chevalley property, Michigan Math. J.49(2001), no. 2, 277–298

    2001

  2. [2]

    Topological symmetric and braid homologies

    G. Angelini-Knoll, D. Chan, T. Gerhardt, M. Merling, and M. P´ eroux, Topological symmetric and braid homologies, preprint (2026).arXiv:2605.22946v1 [math.AT]

    work page Pith review arXiv 2026

  3. [3]

    Angelini-Knoll, M

    G. Angelini-Knoll, M. Merling, and M. P´ eroux,Topological∆G-homology of rings with twistedG-action, Adv. Math. 493(2026), Paper No. 110907

    2026

  4. [4]

    Ardizzoni and C

    A. Ardizzoni and C. Menini,Adjunctions and braided objects, J. Algebra Appl.13(2014), no. 6, Paper No. 1450019, 47

    2014

  5. [5]

    Artin,Theorie der Z¨ opfe, Abh

    E. Artin,Theorie der Z¨ opfe, Abh. Math. Sem. Univ. Hamburg4(1925), no. 1, 47–72

    1925

  6. [6]

    J. C. Baez,Hochschild homology in a braided tensor category, Trans. Amer. Math. Soc.344(1994), no. 2, 885–906

    1994

  7. [7]

    Banerjee,Filtration of cohomology via symmetric semisimplicial spaces, Math

    O. Banerjee,Filtration of cohomology via symmetric semisimplicial spaces, Math. Z.308(2024), no. 1, Paper No. 16, 41

    2024

  8. [8]

    V. G. Bardakov, K. Gongopadhyay, M. Singh, A. Vesnin, and J. Wu,Some problems on knots, braids, and automorphism groups, Sib. `Elektron. Mat. Izv.12(2015), 394–405

    2015

Show all 45 references
  1. [9]

    V. G. Bardakov, M. V. Neshchadim, and M. Singh,Exterior and symmetric (co)homology of groups, Internat. J. Algebra Comput.30(2020), no. 8, 1577–1607

    2020

  2. [10]

    Bichon,On the monoidal invariance of the cohomological dimension of Hopf algebras, C

    J. Bichon,On the monoidal invariance of the cohomological dimension of Hopf algebras, C. R. Math. Acad. Sci. Paris 360(2022), 561–582

    2022

  3. [11]

    B¨ ohm, Hopf algebras and their generalizations from a category theoretical point of view, Springer, Cham, 2018

    G. B¨ ohm, Hopf algebras and their generalizations from a category theoretical point of view, Springer, Cham, 2018

    2018

  4. [12]

    Bulacu, S

    D. Bulacu, S. Caenepeel, F. Panaite, and F. Van Oystaeyen, Quasi-Hopf algebras, Cambridge Univ. Press, Cambridge, 2019

    2019

  5. [13]

    Connes,Cohomologie cyclique et foncteursExt n, C

    A. Connes,Cohomologie cyclique et foncteursExt n, C. R. Acad. Sci. Paris S´ er. I Math.296(1983), no. 23, 953–958

    1983

  6. [14]

    Etingof and S

    P. Etingof and S. Gelaki,On cotriangular Hopf algebras, Amer. J. Math.123(2001), no. 4, 699–713

    2001

  7. [15]

    Etingof and S

    P. Etingof and S. Gelaki,On families of triangular Hopf algebras, Int. Math. Res. Not.14(2002), 757–768

    2002

  8. [16]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor categories, Amer. Math. Soc., Providence, RI, 2015

    2015

  9. [17]

    M. A. Farinati,On the derived invariance of cohomology theories for coalgebras, Algebr. Represent. Theory6(2003), no. 3, 303–331

    2003

  10. [18]

    Fiedorowicz and J.-L

    Z. Fiedorowicz and J.-L. Loday,Crossed simplicial groups and their associated homology, Trans. Amer. Math. Soc.326 (1991), no. 1, 57–87

    1991

  11. [19]

    Herzog,The Ziegler spectrum of a locally coherent Grothendieck category, Proc

    I. Herzog,The Ziegler spectrum of a locally coherent Grothendieck category, Proc. London Math. Soc. (3)74(1997), no. 3, 503–558

    1997

  12. [20]

    Johnson and D

    N. Johnson and D. Y. Yau, 2-dimensional categories, preprint (2020).arXiv:2002.06055v3 [math.CT]

    2020

  13. [21]

    El Kaoutit and N

    L. El Kaoutit and N. Kowalzig,Morita base change in Hopf-cyclic (co)homology, Lett. Math. Phys.103(2013), no. 6, 665–699

    2013

  14. [22]

    Kassel, Quantum groups, Springer-Verlag, New York, 1995

    C. Kassel, Quantum groups, Springer-Verlag, New York, 1995

    1995

  15. [23]

    Krasauskas,Skew-simplicial groups, Litovsk

    R. Krasauskas,Skew-simplicial groups, Litovsk. Mat. Sb.27(1987), no. 1, 89–99

    1987

  16. [24]

    Lurie, Kerodon (2018)

    J. Lurie, Kerodon (2018). Available athttps://kerodon.net

    2018

  17. [25]

    Mac Lane, Categories for the working mathematician, second edition, Springer-Verlag, New York

    S. Mac Lane, Categories for the working mathematician, second edition, Springer-Verlag, New York

  18. [26]

    M¨ uller and C

    M. M¨ uller and C. Walton,Morita invariants of quasitriangular coideal subalgebras, J. Pure Appl. Algebra230(2026), no. 3, Paper No. 108210, 17

    2026

  19. [27]

    Ng and P

    S.-H. Ng and P. Schauenburg,Central invariants and higher indicators for semisimple quasi-Hopf algebras, Trans. Amer. Math. Soc.360(2008), no. 4, 1839–1860

    2008

  20. [28]

    Nikolaus and P

    T. Nikolaus and P. Scholze,On topological cyclic homology, Acta Math.221(2018), no. 2, 203–409

    2018

  21. [29]

    Pevtsova and S

    J. Pevtsova and S. Witherspoon,Varieties for modules of quantum elementary abelian groups, Algebr. Represent. Theory 12(2009), no. 6, 567–595

    2009

  22. [30]

    Pirashvili,Symmetric cohomology of groups, J

    M. Pirashvili,Symmetric cohomology of groups, J. Algebra509(2018), 397–418

    2018

  23. [31]

    Pirashvili,Crossed modules and symmetric cohomology of groups, Homology Homotopy Appl.22(2020), no

    M. Pirashvili,Crossed modules and symmetric cohomology of groups, Homology Homotopy Appl.22(2020), no. 2, 123–134

    2020

  24. [32]

    Pirashvili and T

    M. Pirashvili and T. Pirashvili,Symmetric cohomology of groups and Poincar´ e duality, J. Algebra614(2023), 177–198

    2023

  25. [33]

    D. E. Radford,Minimal quasitriangular Hopf algebras, J. Algebra157(1993), no. 2, 285–315. 36 SHOTA INOUE AND AYAKO ITABA

    1993

  26. [34]

    Riehl, Categorical homotopy theory, Cambridge Univ

    E. Riehl, Categorical homotopy theory, Cambridge Univ. Press, Cambridge, 2014. Available at the author’s website https://emilyriehl.github.io/files/cathtpy.pdf

    2014

  27. [35]

    Schlichtkrull and M

    C. Schlichtkrull and M. Solberg,Braided injections and double loop spaces, Trans. Amer. Math. Soc.368(2016), no. 10, 7305–7338

    2016

  28. [36]

    Shiba, K

    Y. Shiba, K. Sanada, and A. Itaba,Symmetric cohomology and symmetric Hochschild cohomology of cocommutative Hopf algebras, J. Algebra Appl.23(2024), no. 13, Paper No. 2450223, 25

    2024

  29. [37]

    Shimizu,Monoidal Morita invariants for finite group algebras, J

    K. Shimizu,Monoidal Morita invariants for finite group algebras, J. Algebra323(2010), no. 2, 397–418

    2010

  30. [38]

    M. D. Staic,From3-algebras to∆-groups and symmetric cohomology, J. Algebra322(2009), no. 4, 1360–1378

    2009

  31. [39]

    M. D. Staic,Symmetric cohomology of groups in low dimension, Arch. Math. (Basel)93(2009), no. 3, 205–211

    2009

  32. [40]

    Takeuchi, Survey of braided Hopf algebras, in: N

    M. Takeuchi, Survey of braided Hopf algebras, in: N. Andruskiewitsch, W. Ferrer Santos, and H.-J. Schneider (eds.), New trends in Hopf algebra theory, Contemp. Math.267(2000), 301–323

    2000

  33. [41]

    Todea,Symmetric cohomology of groups as a Mackey functor, Bull

    C.-C. Todea,Symmetric cohomology of groups as a Mackey functor, Bull. Belg. Math. Soc. Simon Stevin22(2015), no. 1, 49–58

    2015

  34. [42]

    S. J. Witherspoon, Hochschild cohomology for algebras, Amer. Math. Soc., Providence, RI, 2019

    2019

  35. [43]

    Xu and J

    Y. Xu and J. Zheng,Hopf algebras are determined by their monoidal derived categories, Math. Z.312(2026), no. 3, Paper No. 69, 23

    2026

  36. [44]

    A. V. Zarelua,Exterior homology and cohomology of finite groups(Russian), Tr. Mat. Inst. Steklova225(1999), 202–231

    1999

  37. [45]

    Zhu,Artin-Schelter Gorenstein property of Hopf Galois extensions, J

    R. Zhu,Artin-Schelter Gorenstein property of Hopf Galois extensions, J. Pure Appl. Algebra229(2025), no. 12, Paper No. 108123, 26. Department of Mathematics, Graduate School of Science, Tokyo University of Science, 1-3 Kagurazaka, Shinjuku-ku, Tokyo, 162-8601, JAPAN Email addr...

    2025

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.