Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Generalised Orbifolds and G-equivariantisation

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

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

Pith's one-line read This paper proves that the equivariantisation of a G-crossed ribbon category is the category of line defects of an explicitly constructed orbifold datum, via an explicit ribbon equivalence.

desk verdict Constructive proof of the generalised-orbifold/equivariantisation equivalence in additive idempotent-complete categories; the one real load-bearing caveat is the cited, unreproduced extension of the ribbon structure on the target category. read the letter →

arxiv 2506.08154 v1 pith:2R5DWFNF submitted 2025-06-09 math.QA hep-thmath.CT

Sebastian Heinrich , Julia Plavnik , Ingo Runkel , Abigail Watkins This is my paper
classification math.QAhep-thmath.CT MSC 18M1518M2081T45
keywords orbifolddataG-crossedribboncategoriesequivariantisationcategoryoflinedefectsequivalenceidempotent-completeadditivestringdiagramcalculustopologicalfieldtheory
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

This paper proves that two constructions of new ribbon categories from a finite group action are one and the same. Given a G-crossed ribbon category—a category whose objects carry grades in a finite group G, together with a compatible action and a braiding twisted by that action—one can form its equivariantisation, the category of objects equipped with a coherent family of G-action isomorphisms. From the same data one can also build an orbifold datum A in the neutral component, and then form the category of line defects B_A. The main theorem constructs an explicit ribbon equivalence E from the equivariantisation to B_A. A sympathetic reader should care because this gives a constructive, category-theoretic proof of a relation long conjectured from topological field theory, and it works for idempotent-complete additive ribbon categories without assuming semisimplicity or linearity over a field.

What carries the argument

The load-bearing object is the explicit functor E: B-hat^G → B_A, built from the monoidal functor J: B-hat → A-bimodules. On objects, J(X) = ⊕_{g,h} m_g^* ⊗ X_{$gh^{{-1}}$} ⊗ m_h, and the relative tensor product over A identifies J(X) ⊗_A J(Y) with J(X⊗Y), so the monoidal structure of E can be taken to be the identity. The T-crossings τ_i and their pseudo-inverses are written as sums of string diagrams whose coefficients are products of square roots of quantum dimensions; the braiding and twist of B_A are then compared with the G-braiding and equivariantised twist, with all dimension factors and the factor 1/|G| cancelling in the relevant diagrams. Fullness and essential surjectivity come from a Morita-context argument: the algebras A_g = m_g^* ⊗ m_g are such that every A-A-bimodule decomposes as ⊕ m_g^* ⊗ N_{g,h} ⊗ m_h, reducing bimodule maps to maps N_{g,h} → N'_{g,h} in B-hat. This is the machinery that makes the equivalence explicit rather than existence-theoretic.

What would settle it

Take $G=\mathbb{Z}/2$ and a non-semisimple idempotent-complete additive ribbon category in which 2 is invertible, build the orbifold datum from the paper's formulas, and compare the ribbon twist of $B_A$ on the image of a nontrivial equivariant object with the twist $E(\theta^{\hat{B}^G})$; a mismatch in the dimension factors would falsify Theorem 5.1.

Watch

Extended reading notes

Core claim

The central discovery is that the generalised orbifold construction subsumes G-equivariantisation. For a finite group G and an idempotent-complete additive G-crossed ribbon category B-hat, with |G| invertible in the endomorphism ring of the tensor unit and with objects m_g in each graded component whose quantum dimensions admit invertible square roots, the paper constructs an orbifold datum A in the neutral component B and proves an explicit ribbon equivalence E: B-hat^G → B_A. The functor E sends an equivariant object (X, (η_g)) to a bimodule J(X) = ⊕_{g,h} m_g^* ⊗ X_{$gh^{{-1}}$} ⊗ m_h, equipped with the crossing data required of an object in the category of line defects. The proof checks, by direct string-diagram calculation, that E preserves the tensor product, braiding and ribbon twist, and is fully faithful and essentially surjective. The result is that every equivariantisation satisfying the two mild assumptions is an instance of the orbifold construction.

Load-bearing premise

The proof assumes that the cited results on orbifold data and on the ribbon structure of the category of line defects, originally proved in more restrictive settings, extend verbatim to every idempotent-complete additive ribbon category that is not necessarily linear over a field.

Editorial extensions

If this is right

  • Every G-equivariantisation of an idempotent-complete additive G-crossed ribbon category satisfying the two assumptions is a category of line defects, so the orbifold construction covers examples far beyond modular fusion categories.
  • The explicit form of E gives a concrete dictionary: the braiding and twist of B-hat^G can be read off from the G-braiding and the equivariant structure maps through the orbifold data, without passing through centre constructions.
  • Because E is a ribbon equivalence, any invariant of ribbon categories, such as traces, dimensions, or categorical centre, is the same for the equivariantisation and for the corresponding line-defect category.
  • The construction is algebraic and does not require the category to be linear over a field; it applies whenever |G| is invertible in the endomorphism ring of the unit and the specified square roots exist.

Reading between the lines

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

  • If the cited extensions remain valid, the same explicit construction should also identify the monoidal centre of B_A with the centre of B-hat^G in this general setting, giving a constructive route to statements that gauging commutes with taking the centre.
  • The square-root-of-dimension assumption looks like a normalisation choice rather than a structural restriction; a natural test is to rework the T-crossings with the alternative convention the paper mentions and check whether the ribbon equivalence survives without the square roots.
  • In the topological-field-theory context that motivates the paper, this algebraic equivalence suggests that inserting an orbifold defect network implementing a finite group symmetry is the same operation as gauging that symmetry; lifting E to a statement about defect TQFTs would be a direct continuation.
  • The explicit nature of E may make it possible to compute examples where B-hat^G and B_A are easier to describe on opposite sides, such as non-semisimple categories coming from representation theory over rings, providing new checks of the generalised orbifold formalism.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. This paper establishes a constructive bridge between the G-equivariantisation of a G-crossed ribbon category and the generalised orbifold construction. The main theorem (Theorem 5.1) states that if G is a finite group and B-hat is an idempotent-complete additive G-crossed ribbon category such that |G| is invertible in End_B(1) and every graded component B_g contains an object m_g whose quantum dimension is a square (dim m_g = (sqrt(d_g))^2 for invertible sqrt(d_g)), then the orbifold datum A in the neutral component B constructed in Section 4 yields a ribbon equivalence E : B-hat^G -> B_A. The proof is fully explicit: it defines a faithful monoidal functor J from B-hat to the category of A-bimodules and characterises its image (Lemmas 5.2-5.4), lifts J to a ribbon functor E into the category of line defects B_A (Proposition 5.5 and Lemmas 5.6-5.8), and proves E is an equivalence by decomposing A-bimodules through the Morita context provided by the objects m_g and by reconstructing the equivariant structure from the T-crossing data (Lemmas 5.9-5.10). The paper also collects the definitions of G-crossed ribbon categories, equivariantisation, orbifold data, and line-defect categories under one set of diagrammatic conventions.

Significance. If Theorem 5.1 holds, the paper gives the first constructive proof, in a fairly general setting, of the conjecture in [CRS3, Rem. 5.5] that equivariantisation is a generalised orbifold of the neutral component. Its main strengths are the explicit nature of the equivalence, with the functor E defined on the nose and monoidal and braided structures given by identity maps on underlying objects, and the reusable intermediate results, notably the image characterisation in Lemma 5.4 and the A-bimodule decomposition in Lemma 5.9. The paper is also a useful unified reference for the definitions of G-crossed ribbon categories and orbifold data, whose conventions vary across the literature. The proof is not machine-checked; it relies on string-diagram computations, with the key steps (Figures 5.1-5.6) written out in the text.

major comments (3)
  1. [Section 3, Prop. 3.3; cf. Theorem 5.1] Proposition 3.3 is the only stated basis for the claim that C_A, the target category of Theorem 5.1, is an idempotent-complete additive ribbon category, and the paragraph after the proposition explicitly says the proof is not in this paper: the braided structure is said to work diagrammatically as in [MR], while the ribbon proof in [MR] 'relies on semisimplicity', and the ribbon structure in the present setting is said to 'follow along the same lines as in [CMRSS1, Sec.4.2]', where the starting point is a defect TFT. Since the paper's conventions deliberately allow additive idempotent-complete categories that are not linear over a field and not semisimple, the rigidity part of the statement, namely the dual of an A-A-bimodule M with the prescribed T-crossings and pseudo-inverses together with the snake equations, is precisely where semisimple decompositions or field-linearity would normally enter, and no proof or verbatim applicable reference is supplied. Because E is claimed to be a ribbon functor with target B_A, Theorem 5.1 has no known ribbon target category if Proposition 3.3 fails in the stated generality. I request that the proof of Proposition 3.3 (at least the rigidity part and the idempotent-completeness check) be included, or that Theorem 5.1 be restricted to the hypotheses covered by the cited results. The same clarification is needed for Theorem 4.1, which is imported as '[CRS3, Thm.5.1 & Rem.5.6]' without a statement of that theorem's hypotheses.
  2. [Section 5.2, Prop. 5.5 and Lemmas 5.6-5.7] Several checks that are load-bearing for the definition of the functor E are delegated to 'similar' arguments. In Proposition 5.5 only axioms (T3) and (T6) with i = 2 are verified, and axioms (T1), (T2), (T4), (T5), (T7) are dismissed with 'the others follow similarly'. In Lemma 5.6 only the tau_2-case of the compatibility of E_2 with the T-crossings is computed, and in Lemma 5.7 the braided-functor verification is reduced to a string-diagram equality whose intermediate steps are omitted. Because the morphisms tau_1, tau_2, tau^1, tau^2 carry square-root dimension factors, involve the projection and embedding maps of the relative tensor product ⊗_A, and are written after passing to a strict G-action, these checks are exactly the places where a normalisation error would be undetectable without redoing the calculation. I ask the authors to include the remaining computations (an appendix or ancillary file would be acceptable), or at least to annotate each displayed equality with the specific identity from Section 2 on which it relies, such as the twisted hexagon, naturality of the G-braiding, or compatibility with duals.
  3. [Section 5.4, Lemma 5.10] The essential-surjectivity half of the equivalence rests on the identities (T1)-(T3) recorded for the morphisms t^i_{g,h,k}; the text states that these are implied by the line-defect axioms and refers to Figure 5.1 'as a guide' for the (T3) case. These identities are then used twice: to define the equivariant structure eta^X as a composition of t^2- and t^1-maps, and to verify that the bimodule isomorphism Phi is a morphism in B_A, where the tau_2-condition is checked by substituting the definition of eta and invoking (T1) and (T2). Since Lemma 5.10 completes the proof of Theorem 5.1, the derivation of (T1)-(T3) from the axioms in Definition 3.2 should be given in full rather than delegated, and the coherence diagram for eta^X should explain explicitly how each of (T1), (T2), (T3) is applied.
minor comments (6)
  1. [Section 5 (Remark 2.1)] The proof of Theorem 5.1 assumes a strict G-action, but the theorem is stated for arbitrary G-crossed ribbon categories; the paper should justify that both B-hat^G and B_A are preserved up to equivalence under the strictification of [Ga, Thm.1.1].
  2. [Theorem 5.1] In the statement, 'Let A the orbifold datum' should read 'Let A be the orbifold datum'.
  3. [Definition 3.2] The four structure morphisms tau_1, tau_2, tau^1, tau^2 are denoted by sub- and superscripts that look nearly identical in print; a small index table or a renaming would improve readability.
  4. [Section 5.2] The displayed formulas for tau^{g,h,k}_1 and tau^{g,h,k}_2 begin with factors d_{gk^{-1}} and d_{h^{-1}g} that are later reconciled with the projection and embedding conventions; an explicit remark that the resulting maps do not depend on the choice of projection and embedding would save the reader a calculation.
  5. [Figures 5.4-5.5] The reindexing step that removes the k-dependence and produces the factor |G| is described only in the prose; marking the summation index in the figures would make the computation easier to follow.
  6. [References] Reference [CH] is cited as 'available on arXiv'; if the companion paper has appeared, a formal citation should be given.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction; explicit equivalence E is independently verified, with only a non-circular inherited ribbon-structure citation.

full rationale

The derivation chain is not circular. Theorem 5.1 is proved by an explicit construction: J is lifted to E, and the proof checks that E is monoidal (Lemma 5.6), braided (Lemma 5.7), ribbon (Lemma 5.8), and an equivalence (Lemma 5.10). None of these checks assumes the target equivalence; they verify the T-axioms and compatibility diagrams directly. The orbifold datum A is imported from Theorem 4.1 (cited to [CRS3, Thm.5.1&Rem.5.6]), and the ribbon structure of B_A is imported from Proposition 3.3, whose proof is not reproduced: the text says the [MR] ribbon proof 'relies on semisimplicity' and that the ribbon structure 'follows along the same lines as in [CMRSS1, Sec.4.2]', a defect-TFT setting. This is a genuine omitted-proof/correctness risk in the stated additive, not-necessarily-field generality, but it is not circular: the cited theorems do not contain the conclusion that B-hat^G is ribbon-equivalent to B_A, and no parameter is fitted to force the equivalence. The choice of square-root prefactors is a design choice that makes E0 = id, but the subsequent verification is independent. The only circularity-adjacent issue is that the load-bearing ribbon-structure result is cited from papers with overlapping authorship; that alone does not make the derivation circular under the stated rules. Score 2 reflects this minor self-citation, not a reduction of the theorem to its inputs.

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

The construction of the orbifold datum A and the equivalence E depend on choosing representative objects m_g in each graded component, their quantum dimensions d_g, and chosen square roots sqrt(d_g). These are hypotheses of the theorem rather than fitted values. The proof also relies on prior theorems establishing that A is an orbifold datum and that B_A is ribbon, and on Galindo's strictification theorem. No new entities are introduced.

free parameters (3)
  • Choice of objects m_g in B_g for each g in G = varies; existence assumed
    The orbifold datum A and the equivalence E are defined in terms of these objects (Section 4). The theorem assumes such objects exist in every graded component.
  • Square roots sqrt(d_g) in End(1) = varies; existence assumed
    Needed to define psi and the T-crossings in Sections 4 and 5.2. The paper notes the conventions could be adapted to avoid them.
  • Quantum dimensions d_g = dim m_g = determined by m_g
    The dimension factors in A, T, and the functor E involve d_g; the theorem assumes d_g has an invertible square root.
assumptions (5)
  • domain assumption The categories B-hat and C are idempotent-complete additive, not necessarily linear over a field (Conventions).
    Relative tensor products over A are defined as images of idempotents, so idempotent-completeness is needed.
  • domain assumption [CRS3, Thm.5.1 and Rem.5.6]: A as defined in Section 4 is an orbifold datum in B_e.
    The main theorem starts from this cited result; the paper does not reproduce the proof.
  • domain assumption [MR, Sec.3.2] and [CMRSS1, Sec.4.2]: B_A is an idempotent-complete additive ribbon category.
    The equivalence in Theorem 5.1 is as ribbon categories; this cited result supplies the ribbon structure on B_A.
  • domain assumption [Ga, Thm.1.1]: the right G-action may be assumed strict without loss of generality (Remark 2.1).
    Section 5's explicit formulas for E and the T-crossings assume a strict action; the coherence theorem justifies this.
  • domain assumption |G| is invertible in End_B(1) and each B_g contains m_g with invertible sqrt(d_g) (Theorem 5.1).
    These are explicit hypotheses needed to define A and phi = 1/|G|.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generalised Orbifolds and G-equivariantisation." pith.science (2026). https://pith.science/paper/2R5DWFNF

@misc{pith2026250608154,
  author       = {Pith},
  title        = {Pith review of: Generalised Orbifolds and G-equivariantisation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2R5DWFNF}},
  note         = {Machine review of arXiv:2506.08154}
}
abstract

In a construction motivated by topological field theory, a so-called orbifold datum $\mathbb{A}$ in a ribbon category $C$ allows one to define a new ribbon category $C_{\mathbb{A}}$. If $C$ is the neutral component of a $G$-crossed ribbon category $B$, and $\mathbb{A}$ is an orbifold datum in $C$ defined in terms of $B$, one finds that $C_{\mathbb{A}}$ is equivalent to the equivariantisation $B^G$ of $B$ as a ribbon category. We give a constructive proof of this equivalence.

Figures

Figures reproduced from arXiv: 2506.08154 by the authors.

Figure 3
Figure 3. [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 3
Figure 3. [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 5
Figure 5. [PITH_FULL_IMAGE:figures/full_fig_p021_5.png] view at source ↗
Figures from the paper (5 more)
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p022_5.png]
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p025_5.png]
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p026_5.png]
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p028_5.png]
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p029_5.png]

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Gauging Non-Invertible Symmetries in (2+1)d Topological Orders

    hep-th 2025-07 conditional novelty 7.0 of 10

    A framework for gauging non-invertible symmetries in (2+1)d TQFTs, unifying 0-form and 1-form gauging via surface algebras, with constraints and toric-code examples.

Reference graph

Works this paper leans on

19 extracted references · 5 canonical work pages · cited by 1 Pith paper

  1. [1]

    On the Rosenberg-Zelinsky sequence in abelian monoidal categories

    T. Barmeier, J. Fuchs, I. Runkel, C. Schweigert, On the Rosenberg-Zelinsky sequence in abelian monoidal categories , doi:10.1515/crelle.2010.035 J. Reine Angew. Math. 642 (2010) 1--36 , arXiv:0801.0157 [0801.0157 [math.CT]]

    work page Pith review arXiv 2010

  2. [2]

    S. X. Cui, C. Galindo, J. Y. Plavnik, Z. Wang, On Gauging Symmetry of Modular Categories , doi:10.1007/s00220-016-2633-8 Commun. Math. Phys. 348 (2016) 1043--1064 , arXiv:1510.03475 [1510.03475 [math.QA]]

    arXiv 2016

  3. [3]

    Carqueville, B

    N. Carqueville, B. Haake, 2-Group Symmetries of 3-dimensional Defect TQFTs and Their Gauging , available on arXiv

    work page

  4. [4]

    Carqueville, V

    N. Carqueville, V. Mulevicius, I. Runkel, G. Schaumann, D. Scherl, Orbifold graph TQFTs , arXiv:2101.02482 2101.02482 [math.QA]

    arXiv

  5. [5]

    Carqueville, V

    N. Carqueville, V. Mulevicius, I. Runkel, G. Schaumann, D. Scherl, Reshetikhin Turaev TQFTs Close Under Generalised Orbifolds , doi:10.1007/s00220-024-05068-6 Commun. Math. Phys. 405 (2024) 242 , arXiv:2109.04754 [2109.04754 [math.QA]]

    arXiv 2024

  6. [6]

    Carqueville, I

    N. Carqueville, I. Runkel, G. Schaumann, Orbifolds of n -dimensional defect TQFTs , doi:10.2140/gt.2019.23.781 Geom.\ Topol.\ 23 (2019) 781--864 , arXiv:1705.06085 [1705.06085 [math.QA]]

    arXiv 2019

  7. [7]

    Carqueville, I

    N. Carqueville, I. Runkel, G. Schaumann, Line and surface defects in Reshetikhin--Turaev TQFT , doi:10.4171/QT/121 Quantum Topology 10 (2019) 399--439 , arXiv:1710.10214 [1710.10214 [math.QA]]

    arXiv 2019

  8. [8]

    Carqueville, I

    N. Carqueville, I. Runkel, G. Schaumann, Orbifolds of Reshetikhin-Turaev TQFTs , Theory Appl. Categ. 35 (2020), Paper No. 15, 513--561 http://www.tac.mta.ca/tac/volumes/35/15/35-15abs.html, arXiv:1809.01483 [1809.01483 [math.QA]]

    arXiv 2020

Show all 19 references
  1. [9]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik, Tensor categories , doi:10.1090/surv/205 Mathematical Surveys and Monographs 205, AMS, 2015

    2015 doi

  2. [10]

    Fr\"ohlich, J

    J. Fr\"ohlich, J. Fuchs, I. Runkel, C. Schweigert, Defect lines, dualities, and generalised orbifolds , doi:10.1142/9789814304634_0056 16th International Congress on Mathematical Physics (2009) , arXiv:0909.5013 [0909.5013 [math-ph]]

    2009 arXiv

  3. [11]

    C. Galindo, Coherence for monoidal G -categories and braided G -crossed categories , doi:10.1016/j.jalgebra.2017.05.027 J.\ Algebra 487 (2017) 118--137 , arXiv:1604.01679 [1604.01679 [math.QA]]

    2017 arXiv

  4. [12]

    Galindo, S

    C. Galindo, S. Lentner, S. M\"oller, Modular Z _2 -Crossed Tambara-Yamagami-like Categories for Even Groups , arXiv:2411.12251 2411.12251 [math.QA]

  5. [13]

    Kirillov, Modular categories and orbifold models II , arXiv:math/0110221 math/0110221 [math.QA]

    A. Kirillov, Modular categories and orbifold models II , arXiv:math/0110221 math/0110221 [math.QA]

    arXiv

  6. [14]

    Kirillov, V

    A. Kirillov, V. Ostrik, On q -analog of McKay correspondence and ADE classification of affine sl(2) conformal field theories , doi:10.1006/aima.2002.2072 Adv.\ Math.\ 171 (2002) 183--227 , arXiv:math/0101219 [math/0101219 [math.QA]]

    2002

  7. [15]

    Mulevi cius, I

    V. Mulevi cius, I. Runkel, Constructing modular categories from orbifold data , doi:10.4171/qt/170 Quantum Topol.\ 13 (2022) 459--523 , arXiv:2002.00663 [2002.00663 [math.QA]]

    2022 arXiv

  8. [16]

    M. M\"uger, Galois extensions of braided tensor categories and braided crossed G -categories , doi:10.1016/j.jalgebra.2004.02.026 J.\ Algebra 277 (2004) 256--281 , arXiv:math/0209093 [math/0209093 [math.CT]]

    2004 arXiv

  9. [17]

    Mulevi cius, Condensation inversion and Witt equivalence via generalised orbifolds , Theor

    V. Mulevi cius, Condensation inversion and Witt equivalence via generalised orbifolds , Theor. Appl. Categor. 41 (2024) 1203--1292 http://www.tac.mta.ca/tac/volumes/41/36/41-36abs.html, arXiv:2206.02611 [2206.02611 [math.QA]]

    2024 arXiv

  10. [18]

    V. G. Turaev, Homotopy field theory in dimension 3 and crossed group categories , arXiv:math/0005291 math/0005291 [math.GT]

    arXiv

  11. [19]

    V. G. Turaev, Homotopy Quantum Field Theory , doi:10.4171/086 EMS Tracts in Mathematics 10, EMS Publishing House, 2010

    2010 doi

Pith tools

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