Pith. sign in

REVIEW 3 major objections 3 minor 21 references

Generalized Yetter-Drinfeld modules, the center of bi-actegories and groupoid-crossed braided bicategories

T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Generalized Yetter-Drinfeld modules over a YD datum are shown to be exactly the half-braidings in the lax E-center of a biactegory of modules, yielding an E-braided biactegory and a double groupoid-crossed braided bicategory.

desk verdict The E-center equivalence with generalized Yetter-Drinfeld modules is a solid, largely self-contained result; the braided and groupoid-crossed extensions need the companion paper to be judged. read the letter →

arxiv 2507.08722 v1 pith:VM4FJBCD submitted 2025-07-11 math.RA math.CTmath.QAmath.RT

Ryan Aziz , Joost Vercruysse This is my paper · ORCID
classification math.RAmath.CTmath.QAmath.RT MSC 16T0518M05
keywords Yetter-Drinfeldmodulesbiactegoriesrelativecenterop-monoidalfunctorsbi-Galoisco-objectsgroupoid-crossedbraidedbicategoriesHopfalgebrasmonoidalcategories
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 introduces the $E$-center $\mathcal{Z}^w_E(\mathcal{M})$ of a $(\mathcal{C},\mathcal{D})$-biactegory $\mathcal{M}$ relative to an op-monoidal functor $E : \mathcal{C} \to \mathcal{D}$, and applies it to module categories over bialgebras. Its main theorem says that for a Yetter-Drinfeld datum $(H,K,A,C)$, the lax $E$-center of the biactegory ${}_A\mathrm{Mod}$, with $E \simeq C \otimes_H -$, is isomorphic to the category of generalized Yetter-Drinfeld modules ${}_A\mathcal{YD}^C(H,K)$. This gives a categorical explanation of generalized YD modules as half-braidings in a relative center, rather than an ad hoc pair of action and coaction conditions. When $C$ is a bi-Galois co-object, the same structures yield an $E$-braided biactegory over the usual YD modules, and the paper organizes all of these categories into a double groupoid-crossed braided bicategory, a two-dimensional analogue of group-crossed braided monoidal categories.

What carries the argument

The load-bearing object is the lax $E$-center $\mathcal{Z}^w_E(\mathcal{M})$ of a $(\mathcal{C},\mathcal{D})$-biactegory $\mathcal{M}$ with respect to an op-monoidal functor $E: \mathcal{C} \to \mathcal{D}$. Its objects are pairs $(M, \beta^M_V)$ with $\beta^M_V : V\triangleright M \to M\triangleleft E(V)$ natural in $V$ and satisfying a heptagon condition; when $E$ is strong these are half-braidings. The paper specializes this to module categories, where a center datum corresponds bijectively to a Yetter-Drinfeld datum, and the half-braidings are explicitly determined by the regular module component. The bi-Galois co-object condition then supplies the inverses of the half-braidings, the lifting of $E$ to Yetter-Drinfeld modules, and the groupoid gradings by Galois objects and co-objects that underlie the double groupoid-crossed braided bicategory.

What would settle it

Compute the two categories in Theorem 4.3 explicitly for a small Yetter-Drinfeld datum, for instance $H=K$ the group algebra of a cyclic group, $A=k$ with trivial coactions, and $C=k[G]$ as a bimodule coalgebra, and compare their objects and morphisms. If they differ, or if the identity $\sigma(c_{(2)})\wedge c_{(1)} = \epsilon(c)1_H$ fails for a noncommutative bi-Galois co-object, the central claim is refuted.

Watch

Extended reading notes

Core claim

The paper's central claim is that generalized Yetter-Drinfeld modules arise naturally from a relative center construction. For any YD datum $(H,K,A,C)$, the category ${}_A\mathcal{YD}^C(H,K)$ is isomorphic to the lax $E$-center $\mathcal{Z}^w_{C\otimes_H -}({}_A\mathrm{Mod})$ of the $(H\mathrm{Mod}, K\mathrm{Mod})$-biactegory of left $A$-modules, where $E$ is the op-monoidal functor given by tensoring with the $(K,H)$-bimodule coalgebra $C$. The proof is explicit: a half-braiding $\beta^M_V : V\otimes M \to M\otimes (C\otimes_H V)$ is determined by its component at $V=H$, and that component is exactly the right $C$-coaction of a generalized YD module, with the heptagon condition becoming the YD compatibility condition. Conversely, every generalized YD module defines a half-braiding by $v\otimes m \mapsto m_{[0]}\otimes m_{[1]}\otimes_H v$. When $C$ is a bi-Galois co-object, the functor $C\otimes_H -$ lifts to Yetter-Drinfeld modules, so the paper obtains an $E$-braided biactegory structure on ${}_A\mathcal{YD}^C(H,K)$ and a dual version for comodule categories. The final step packages all such categories into a double groupoid-crossed braided bicategory, a two-dimensional analogue of group-crossed braided monoidal categories.

Load-bearing premise

The load-bearing premise is that the companion paper's theory of bi-Galois co-objects is available and correct: the canonical maps are bijective and the maps $\wedge$, $\vee$, and $\sigma$ satisfy the identities (15)--(20) used to invert half-braidings, so if any of these facts fails the braided and bicategorical conclusions collapse.

Editorial extensions

If this is right

  • Generalized Yetter-Drinfeld modules inherit a braided biactegory structure: whenever $C$ is a bi-Galois co-object, ${}_A\mathcal{YD}^C(H,K)$ becomes a $C\otimes_H -$-braided $(H\mathcal{YD}^H, K\mathcal{YD}^K)$-biactegory with explicit braiding maps given by the YD coaction.
  • The relative-center viewpoint unifies earlier constructions: usual Yetter-Drinfeld modules are the weak center of $H\mathrm{Mod}$, and anti- and higher Yetter-Drinfeld modules appear as special YD data, so their actegory and braiding properties follow from general center theorems.
  • There is a dual description: under projectivity assumptions, the lax $E$-center of the comodule biactegory $\mathrm{Mod}^C$ with $E = -\square_H A$ is again ${}_A\mathcal{YD}^C(H,K)$, so the same category is a center in both module and comodule pictures.
  • The bicategory whose 1-cells are all generalized YD modules over arbitrary YD data is $(BA, BC^{\mathrm{op}})$-double graded and $(\mathrm{Gal}, \mathrm{coGal}^{\mathrm{op}})$-double crossed braided; in particular, restricting to bi-Galois data yields a double groupoid-crossed braided bicategory over the groupoids of Galois objects and co-objects.
  • For any fixed bialgebra $H$, the endohom category of this bicategory is a groupoid-crossed braided monoidal category extending the known group-crossed structure on $(\alpha,\beta)$-Yetter-Drinfeld modules.

Reading between the lines

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

  • Beyond the paper, one can test whether the center equivalence in Theorem 4.3 is itself monoidal or braided as an equivalence of categories, not merely an isomorphism; the paper does not state such a comparison, so identifying the transported monoidal structure is a natural next step.
  • The paper notes that the bi-Galois condition is sufficient but not necessary, and that a weaker 'YD-entwining map' would suffice. If such maps are constructed for examples where the Galois condition fails, the braided biactegory conclusion should still hold.
  • The double groupoid-crossed braided bicategory is positioned as a candidate input for three-dimensional homotopy quantum field theories of the type usually built from group-crossed braided categories; making that link precise is an explicit open direction suggested by the comparison with crossed-module graded categories.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper introduces the E-center Z_E(M) of a (C,D)-biactegory M relative to an op-monoidal functor E, and specializes it to the module-category setting where C=_H Mod, D=_K Mod, M=_A Mod and E ≅ C ⊗_H −. The main theorem, Theorem 4.3, asserts an isomorphism between the lax E-center and the category AYDC(H,K) of generalized Yetter-Drinfeld modules introduced by Caenepeel, Militaru and Zhu. The paper then uses bi-Galois co-objects to promote this to an E-braided biactegory structure (Theorem 4.15), and in Section 5 it defines groupoid-crossed and double groupoid-crossed braided bicategories, proving that the bicategory of generalized Yetter-Drinfeld modules carries such structures (Theorems 5.16 and 5.18).

Significance. If the results hold, the paper gives a conceptually valuable identification: generalized Yetter-Drinfeld modules are exactly half-braidings in a relative center of a biactegory. This explains the otherwise mysterious compatibility condition (1) and links the classical YD-module story to a general center construction. The proof of Theorem 4.3 is explicit and largely checkable, and the paper is honest about several steps that are left as computations. The proposed groupoid-crossed bicategorical framework is also a natural extension of Turaev's crossed categories. These strengths are, however, concentrated in the self-contained part; the braided and bicategorical claims are substantially conditional on the unpublished companion paper [1], and Theorem 4.9(2) contains an internal hypothesis gap. The paper does not include machine-checked proofs or data; its value lies in the categorical constructions and the explicit formulas for coactions and half-braidings.

major comments (3)
  1. [§4.2, Eqs. (13)–(20); Theorems 4.9, 4.15, 5.16] The manuscript's later central claims are not self-contained. The inverse of the half-braiding in Theorem 4.9(1) uses the Morita maps ∧ and ∨ together with identities (15) and (16), while Corollary 4.13 and Theorem 4.15 use the map σ from (18) and its properties (19)–(20); Proposition 4.7 and the whole bi-Galois co-object machinery are also cited to the unpublished companion paper [1]. No proofs of these identities are included in the present manuscript, and the text explicitly refers the reader to [1] 'for more details'. Since Theorem 4.15 and Theorem 5.16 rest directly on these ingredients, the braided and bicategorical results are conditional on an unavailable source. This must be repaired, either by proving the cited identities in this paper or by explicitly marking those theorems as conditional and removing them from the abstract's claims.
  2. [Theorem 4.3, proof after Eq. (9) and Eq. (12)] The proof of the central equivalence constructs assignments in both directions but does not verify that they are mutually inverse. More precisely, starting from an arbitrary half-braiding β, the paper defines a coaction ρ_r by (9), and then for an object of AYDC(H,K) it defines β^M_V by (12); it is not shown that applying the first construction to this new β^M recovers the original coaction, nor that applying the second construction to the coaction of an arbitrary β recovers the original half-braiding. In addition, the claimed left A-linearity of Φ is asserted rather than proved, although it is exactly what makes expressions (10) and (11) comparable. These are likely routine computations, but they are load-bearing for the isomorphism stated in Theorem 4.3 and should be written out.
  3. [Theorem 4.9(2)] The converse direction of Theorem 4.9 uses an A-module structure on A⊗C defined by a'·(a⊗c) = a'_[0]a ⊗ a'_[1]▷c◁S^{-1}(a'_{[-1]}). This expression involves the antipode inverse S^{-1} of the bialgebra H, but the theorem is stated for arbitrary bialgebras H and K. As written, the formula is undefined in the stated generality. The statement needs an additional hypothesis (for example, that H is a Hopf algebra with bijective antipode) or a replacement for S^{-1} consistent with the paper's standing assumptions.
minor comments (3)
  1. [Theorem 4.5] The statement describes ModC as 'the category of left A-modules'; in the dual setting of the theorem this should presumably be the category of right C-comodules (with the A-module structure inside the center datum). Please correct the wording.
  2. [Theorem 4.9(2)] The notation coKA ∼= k is used without defining the K-coinvariant functor or specifying the isomorphism; please add a brief definition so that the flatness argument can be checked.
  3. [Throughout] There are several typographical issues, e.g. 'Consequentlly' in Lemma 2.2 and 'trough' in the Acknowledgment; the text also contains a number of long lines and unformatted displayed equations that would benefit from copy-editing.

Circularity Check

3 steps flagged · score 4.0 of 10

The lax E-center theorem is self-contained, but the braided and groupoid-crossed results depend on unproved identities and a bi-Galois equivalence imported from the authors' unpublished companion paper [1].

  1. self citation load bearing [Section 4.2, Proposition 4.7]
    "Recall the following result (see e.g. [1], or [18] for the dual case). Proposition 4.7. Let H and K be bialgebras and C be a (K, H)-bimodule coalgebra. Then the associated op-monoidal functor C ⊗H − : HMod → KMod is a monoidal equivalence if and only if C is an (K, H)-bi-Galois co-object."

    Later results do not derive this equivalence internally. Corollary 4.13 explicitly uses it to conclude that C⊗H− lifts to a functor HYDH → KYDC⊗H D⊗H C, and Theorem 4.15 then declares AYDC braided using that lift; Theorem 5.16 obtains the double groupoid-crossed structure from Theorem 4.16(2) and Corollary 4.13. The cited source [1] is an in-preparation companion by the same two authors, so the manuscript's own later chain is carried by an unverified self-citation rather than by a proof in this paper.

  2. self citation load bearing [Section 4.2, equations (18)-(20), before Corollary 4.13]
    "From these identity, it follows that the map σ : C → C, σ(c) = S−1H (u(1) ∧ c)▶u(2) (18) is a coalgebra map that mimics some properties of the inverse antipode of H. In particular, we have the following identity σ(c(2)) ∧ c(1) = ϵC(c)1H (19) Furthermore, σ respects the actions in the following way. σ(k▷c◁h) = S−1H (h)▶σ(c)◀S−1K (k) (20) For more details about the above constructions we refer to [1]."

    The identities (15)-(16) are used in Theorem 4.9 to compute the inverse of βM, and (19)-(20) are used in Corollary 4.13 to verify the coaction (29) and in Theorem 4.15 to prove the braiding. In the text these identities are asserted, with no derivation, and then deferred to [1]. Since [1] is the authors' own unpublished companion paper, the invertibility and braiding results are not established independently of the same authors' unpublished claims.

1 more flagged steps
  1. self citation load bearing [Section 4.3, Remark 4.14]
    "However, the Galois condition is sufficient but not necessary for such a lifting to exist. The sufficient and necessary condition, is the existence of a “YD-entwining map” α : C ⊗ H → K ⊗ C, satifsying suitable conditions which can be found in [1]."

    This remark explicitly narrows the paper's main braided result to the case C bi-Galois by saying that the exact YD-entwining condition can be found in [1]. Thus the theorem's scope is not self-contained: the 'sufficient and necessary' condition, and hence the boundary of when Theorem 4.15 and Theorem 5.16 apply, is deferred to the companion self-citation.

full rationale

The core equivalence Theorem 4.3 is self-contained: the proof constructs the YD coaction from the H-component of a half-braiding and verifies coassociativity and compatibility, and conversely builds the half-braiding from a YD coaction; no fitted parameter or externally assumed identity enters. The circularity concern is confined to the passage from this lax-center result to the advertised braided and groupoid-crossed structure. Proposition 4.7 (bi-Galois iff monoidal equivalence) is imported from the authors' unpublished companion [1]; identities (15)-(16) and (19)-(20), needed for the inverse half-braidings of Theorem 4.9 and for the coaction (29) in Corollary 4.13, are stated and deferred to [1]. Theorem 4.15 and Theorem 5.16 inherit this dependence. This is load-bearing self-citation rather than an independently verified step, so the overall score is 4 rather than 0. No step reduces to its own definition, and Theorem 4.3 itself is not circular.

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

The central new object is a construction, not a postulated entity: the E-center is defined from known data, a biactegory and an op-monoidal functor. No free parameters are fitted to data. The heaviest input is the bi-Galois co-object machinery, imported from the authors' unpublished companion paper [1].

assumptions (5)
  • standard math Mac Lane coherence for monoidal categories and (bi)actegories justifies assuming strict structures.
    Invoked in Section 3.1: 'we will assume our (bi)actegories to be strict'.
  • standard math Eilenberg-Watts theorem: any cocontinuous functor HMod → KMod is isomorphic to C ⊗_H − for a (K,H)-bimodule C.
    Used in Section 4.1 to pass from center data to YD data (Proposition 4.2).
  • ad hoc to paper Existence and properties of bi-Galois co-objects: canonical maps can and can0 are bijective; Morita maps ∧ and ∨ satisfy (15)-(16); element u ∈ C with the dual basis property; map σ satisfies (19)-(20).
    Stated in Section 4.2 and attributed to [1], an unpublished paper by the same authors; these properties underpin Theorem 4.9, Corollary 4.13, and Theorem 4.15.
  • domain assumption Totally faithful module condition or flatness/coinvariants condition in Theorem 4.9(2).
    Used to conclude invertibility of can from invertibility of id_A ⊗ can (Section 4.2, Theorem 4.9).
  • domain assumption All modules over k-algebras and comodules over k-coalgebras are projective as k-modules in the dual setting (Theorem 4.5).
    Stated in Section 4.2: 'we will make an additional restriction and only consider projective k-modules'.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generalized Yetter-Drinfeld modules, the center of bi-actegories and groupoid-crossed braided bicategories." pith.science (2026). https://pith.science/paper/VM4FJBCD

@misc{pith2026250708722,
  author       = {Pith},
  title        = {Pith review of: Generalized Yetter-Drinfeld modules, the center of bi-actegories and groupoid-crossed braided bicategories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VM4FJBCD}},
  note         = {Machine review of arXiv:2507.08722}
}
abstract

We study the notion of the $E$-center $\mathcal{Z}_E(\mathcal{M})$ of a $(\mathcal{C}, \mathcal{D})$-biactegory (or bimodule category) $\mathcal{M}$, relative to an op-monoidal functor $E: \mathcal{C} \to \mathcal{D}$. Specializing this notion to the case $\mathcal{M} = {}_A\mathrm{Mod}$, $\mathcal{C}={}_H\mathrm{Mod}$, $\mathcal{D} = {}_K\mathrm{Mod}$, and $E \simeq C\otimes_H - : {}_H\mathrm{Mod} \to {}_K\mathrm{Mod}$, where $H$ and $K$ are bialgebras, $A$ is an $(H,K)$-bicomodule algebra and $C$ is a $(K,H)$-bimodule coalgebra, we show that this $E$-center is equivalent to the category of generalized Yetter-Drinfeld modules as introduced by Caenepeel, Militaru, and Zhu. We introduce the notion of a double groupoid-crossed braided bicategory, generalizing Turaev's group-crossed braided monoidal categories, and show that generalized Yetter-Drinfeld modules can be organized in a double groupoid-crossed braided bicategory over the groupoids of Galois objects and co-objects.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Aziz and J

    R. Aziz and J. Vercruysse, Bi-Galois co-objects and Hopf categories , in preparation. 10, 14, 19, 21, 23

    work page

  2. [2]

    Brzezi´ nski,Hopf-cyclic homology with contramodule coefficients, in Quantum groups and noncommutative spaces, 1–8, 2008

    T. Brzezi´ nski,Hopf-cyclic homology with contramodule coefficients, in Quantum groups and noncommutative spaces, 1–8, 2008. 3

    work page 2008

  3. [3]

    Caenepeel, E

    S. Caenepeel, E. De Groot, and J. Vercruysse, Galois theory for Comatrix Corings: Descent theory, Morita theory, Frobenius and separability properties, Trans. Amer. Math. Soc. 359 (2007), 185–226. 15

    work page 2007

  4. [4]

    Caenepeel, G

    S. Caenepeel, G. Militaru, and S. Zhu, Frobenius and separable functors for generalized module categories and nonlinear equations , Springer, 2004. 1, 2, 13

    work page 2004

  5. [5]

    Caenepeel, F

    S. Caenepeel, F. Van Oystaeyen, and Y. Zhang, The Brauer group of Yetter-Drinfeld module algebras, Trans. Amer. Math. Soc. 349 (1997), 3737–3771. 3

    work page 1997

  6. [6]

    Drinfeld, Quantum groups, in A

    V. Drinfeld, Quantum groups, in A. Gleason (ed.), Proc. Int. Congr. Math. 1986 , Vol. 1, 798–820 1987 1

    work page 1986

  7. [7]

    Femi´ c,Turaev bicategories and generalized Yetter-Drinfeld modules in 2-categories, Israel J

    B. Femi´ c,Turaev bicategories and generalized Yetter-Drinfeld modules in 2-categories, Israel J. Math. 241 (2021), 395–432. 23

    work page 2021

  8. [8]

    Gelaki, D

    S. Gelaki, D. Naidu, and D. Nikshych, Centers of graded fusion categories, Algebra & Number Theory , 3 (2009), 959–990. 6

    work page 2009

Show all 21 references
  1. [9]

    Großkopf, 2D HQFTs and Frobenius (G, V)-categories, preprint, 2025, arXiv:2501.10113

    P. Großkopf, 2D HQFTs and Frobenius (G, V)-categories, preprint, 2025, arXiv:2501.10113. 30

    2025 arXiv

  2. [10]

    P. M. Hajac, M. Khalkhali, B. Rangipour, and Y. Sommerh¨ auser, Stable Anti-Yetter-Drinfeld Modules, C. R. Acad. Sci. Paris , Ser. I 336 (2003). 1, 3

    2003

  3. [11]

    Hassanzadeh, M

    M. Hassanzadeh, M. Khalkhali, and I. Shapiro, Monoidal categories, 2-traces, and cyclic cohomology, Cana- dian Mathematical Bulletin , 62 (2019), 293–312. 1, 3, 13

    2019

  4. [12]

    Laugwitz, Robert, C

    R. Laugwitz, Robert, C. Walton, M. Yakimov, Reflective centers of module categories and quantum K- matrices, Forum Math. Sigma 13 (2025), Paper No. e95. 6, 13

    2025

  5. [13]

    Mac Lane

    S. Mac Lane. Categories for the working mathematicians , Springer-Verlag, 1971. 4

    1971

  6. [14]

    Geometry and Physics

    S. Majid, Representations, duals and quantum doubles of monoidal categories in Proceedings of the Winter School “Geometry and Physics” , 197 – 206. Circolo Matematico di Palermo, 1991. 1, 6

    1991

  7. [15]

    S. Majid. Foundations of quantum group theory , Cambridge University Press, 2000. 10

    2000

  8. [16]

    Mesablishvili, Monads of effective descent type and comonadicity, Theory Appl

    B. Mesablishvili, Monads of effective descent type and comonadicity, Theory Appl. Categ. 16 (2006), 1–45. 15

    2006

  9. [17]

    Panaite and M

    F. Panaite and M. D. Staic, Generalized (anti) Yetter-Drinfeld modules as components of a braided T- category, Israel Journal of Mathematics , 158 (2007), 349–365. 1, 2, 3, 22

    2007

  10. [18]

    Schauenburg, Hopf-Galois and bi-Galois extensions, Fields Inst

    P. Schauenburg, Hopf-Galois and bi-Galois extensions, Fields Inst. Commun. , 43, American Mathematical Society, Providence, RI, 2004, 469–515. 14

    2004

  11. [19]

    S¨ ozer and A

    K. S¨ ozer and A. Virelizier, Monoidal categories graded by crossed modules and 3-dimensional HQFTs, Advances in Math. , 428 (2023) , 109155. 23, 30

    2023

  12. [20]

    V. G. Turaev, Homotopy field theory in dimension 3 and crossed group-categories , preprint, 2000, arXiv:math.GT/0005291. 21, 23

    2000

  13. [21]

    V. G. Turaev, Homotopy quantum field theory , with appendices by Michael M¨ uger and Alexis Virelizier, EMS Tracts in Mathematics 10, European Mathematical Society, Z¨ urich, 2010. 21 Email address : ryan.kasyfil@sci.ui.ac.id Departement of Mathematics, Universitas Indonesia, ...

    2010

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.