The Equivariant Fundamental Groupoid as an Orbifold Invariant

Dorette Pronk; Laura Scull

REVIEW 2 major objections 5 minor 20 references

The Equivariant Fundamental Groupoid as an Orbifold Invariant

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper constructs a 2-categorical equivariant fundamental groupoid and proves its discrete quotient is Morita invariant, giving an orbifold fundamental group for representable orbifolds.

desk verdict The 2-categorical tom Dieck construction is clean and worth knowing, but the main invariance theorem is not proved as written because Prop 5.6's path-lifting claim is false. read the letter →

arxiv 1908.01201 v1 pith:V4ODKGBD submitted 2019-08-03 math.AT

Dorette Pronk , Laura Scull This is my paper · ORCID

classification math.AT MSC 55Q9118E1557R18

keywords equivariantfundamentalgroupoidorbifoldinvariantMoritaequivalencetranslationgroupoids2-categoriesGrothendieckconstructiongroup

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 targets a well-defined notion of fundamental group for orbifolds: spaces that are locally quotients of manifolds by group actions but may have points with nontrivial stabilizer. The authors take tom Dieck's equivariant fundamental groupoid for a Lie-group action and build a 2-category version, then prove that the discrete quotient of this 2-category is invariant under Morita equivalence, the standard equivalence relation that identifies different group-action presentations of the same orbifold. The payoff is that the discrete equivariant fundamental groupoid is an orbifold invariant for representable orbifolds, so topologists can use it to distinguish orbifolds the way the classical fundamental group distinguishes manifolds. If correct, the result gives a computable invariant that does not depend on which group action is used to present the orbifold.

What carries the argument

The load-bearing construction is the 2-categorical Grothendieck category ∫_{O_G} ΠX, where ΠX sends each orbit G/H to the fundamental groupoid of the fixed set X^H and each orbit map to the action-induced functor; this packages tom Dieck's equivariant fundamental groupoid as a 2-category whose 2-cells are homotopy classes of paths in orbit space. The proof then rests on a generation result: every equivariant essential equivalence of translation groupoids is a composite of two explicit forms, a quotient by a freely acting normal subgroup and an induced-action inclusion L⋉X → G⋉(G×_L X). For each form, path-lifting lemmas show that the induced functor is essentially surjective on objects, full on arrows, and full-and-faithful on 2-cells, which together give the weak equivalence.

What would settle it

The claim would collapse if one found an equivariant essential equivalence φ: G⋉X → H⋉Y for which the induced functor on the discrete groupoids was not essentially surjective or not fully faithful, or found two translation groupoids representing the same orbifold whose discrete equivariant fundamental groupoids are not equivalent.

Watch

Extended reading notes

Core claim

Defining Π_G(X) as the 2-dimensional Grothendieck construction of the fixed-set fundamental-groupoid functor over the orbit category, the paper shows that every equivariant essential equivalence φ: G⋉X → H⋉Y induces a weak equivalence Π(φ): Π_G(X) → Π_H(Y) of 2-categories. Quotienting each Π_G(X) by its 2-cells recovers exactly tom Dieck's discrete category π^d_1(G,X), so the quotient functor is a weak equivalence of categories. The paper concludes that π^d_1 is Morita invariant, and therefore a well-defined orbifold invariant for orbifolds representable as quotients of compact Lie group actions with finite isotropy.

Load-bearing premise

The argument depends on the claim that every way of changing one group-action presentation of an orbifold to another can be built by repeating two moves: dividing out by a subgroup that acts without fixed points and passing to an action induced from a smaller group.

Editorial extensions

If this is right

The discrete fundamental groupoid π^d_1(G,X) is independent of the choice of translation groupoid representing a representable orbifold, so it can be assigned to the orbifold itself.
The richer 2-category Π_G(X) carries more information than the discrete quotient and is itself Morita invariant, so it is a finer orbifold invariant.
Any zig-zag of equivariant essential equivalences, not just the two generating types, preserves the invariant, making the invariance stable under composing presentations.
For representable orbifolds, π^d_1 can serve as an obstruction: two orbifolds with inequivalent discrete equivariant fundamental groupoids are not Morita equivalent and hence not the same orbifold.

Reading between the lines

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

If the conjecture that every orbifold is representable holds, the same argument would extend the invariance statement from representable orbifolds to all orbifolds, giving a fully general orbifold fundamental group.
Because Π_G(X) is a 2-category, its automorphism 2-groups or homotopy category could yield finer invariants that detect isotropy data which the discrete quotient π^d_1 collapses.
The path-lifting lemmas used for the two generating equivalences suggest a direct recipe for computing π^d_1 of a quotient orbifold from fixed-set data of a presentation, which may be implementable in concrete examples.

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.

Desk Editor's Note

read the letter

Two things you should know about this paper. First, the construction is genuinely nice: the authors build a 2-categorical version of tom Dieck's equivariant fundamental groupoid via a Grothendieck construction over the orbit 2-category, and the discrete quotient recovers tom Dieck's π^d_1. That part is well-motivated and cleanly presented. Second, the main invariance claim is not established as written: the proof of Proposition 5.6, the quotient-by-free-normal-subgroup generator, relies on lifting paths and homotopies along p: X^H → Xbar^Hbar, asserting this is a principal fibration for the free action of N. That is false. N need not act on X^H because it need not normalize H. Concretely, take G=C2×C2, N=C2×{1}, K={1}×C2, H the diagonal, and X=G/K. Then X^H is empty while Xbar^Hbar is a point, so p(X^H) is not all of Xbar^Hbar. The same issue recurs in 'Full on 2-cells' where the map (G/K)^H → (Gbar/Kbar)^Hbar is called a principal fibration. Since Prop 5.6 is one of the two generating cases for Theorem 5.1, the Morita invariance and the orbifold invariance of π^d_1 are not proved by the text.

There are smaller gaps: Proposition 4.6's coherence is deferred to 'a straightforward calculation,' and Lemma 5.8's grid-pattern argument is informal, with continuity asserted rather than shown. Those are minor by comparison.

Credit where due: the 2-categorical setup is a real improvement, the functoriality in Section 4 is mostly solid, and the examples (5.10–5.12) illustrate the invariant well. The reliance on Prop 5.3 from the authors' earlier paper is not itself a problem; the problem is the unsupported lifting inside the first generator.

I think the theorem may well be true—one can imagine fixing Prop 5.6 by assuming N normalizes H or by choosing different fixed-point data—but that fix is not on the page. A referee should be sent this, because the construction and the question are important and the gap is specific and repairable. I would not cite the invariance result until the proof is repaired.

Referee Report

2 major / 5 minor

Summary. The paper constructs a 2-categorical enhancement Π_G(X) of tom Dieck's equivariant fundamental groupoid for a compact Lie group G acting smoothly on a manifold X, together with a discrete quotient Π^d_G(X). The main theorem (Theorem 5.1) asserts that every equivariant essential equivalence of translation groupoids G⋉X → H⋉Y induces a weak equivalence Π_G(X) → Π_H(Y), and hence that Π^d_G(X) is a Morita invariant, i.e., an orbifold invariant for representable orbifolds. The proof reduces the statement, via a generation result quoted from the authors' prior work ([16, Prop. 3.5] here Prop. 5.3), to two generating forms of equivariant essential equivalence: quotient by a freely acting normal subgroup (Prop. 5.6) and extension from a subgroup to an induced action (Prop. 5.9).

Significance. If the result is correct, it gives a natural 2-categorical resolution of the non-invariance of tom Dieck's non-discrete equivariant fundamental category and yields a concrete invariant of representable orbifolds. The paper is clearly organized, carefully develops the two-dimensional Grothendieck construction, and includes instructive examples. The authors are also explicit about the representability hypothesis and about which parts of the argument are quoted from earlier work. However, the correctness of the central claim currently rests on two proof points that are not fully established: the principal-bundle lifting assertion in Prop. 5.6 and the completeness of the continuity argument in Lemma 5.8.

major comments (2)

[Section 5, Prop. 5.6] In the paragraphs 'Surjective on Arrows' and 'Full on 2-cells', the proof asserts that p : X^H -> Xbar^Hbar is 'the quotient of the free action of N, so this is a principal fibration' and uses this to lift paths and homotopies. This assertion is not justified and is in general false: N need not act on X^H, because for x in X^H and n in N one has h(nx)=nx for all h in H only if n^{-1}Hn fixes x, which is not implied by normality of N. A concrete instance is G=D_8, N=<r>, H=<s>, X=G/H; here N∩H=1 and N acts freely on X, but N does not preserve X^H={H,r^2H}, and p : X^H -> Xbar^Hbar is a 2-to-1 map onto a point rather than a principal N-bundle. Since the lifting of arrows and 2-cells in Prop. 5.6 is used to establish one of the two generating cases for Theorem 5.1, the Morita-invariance claim is not proved by the written argument.
[Lemma 5.8] The proof of Lemma 5.8 is an informal grid-pattern argument. The text asserts that locally defined adjustment elements can be patched together continuously, but the continuity at transition lines and at corners where several neighbourhoods meet is not actually verified, and the displayed formula for the diagonal extension is not fully specified. Since Lemma 5.8 is used in Prop. 5.9 to prove both fullness and faithfulness on 2-cells for the second generating case, this is load-bearing and needs a complete proof.

minor comments (5)

[Section 3, after Def. 3.3] The passage says that identifying all arrows connected by 2-cells produces the category Π^d_G(X); a sentence explaining why this quotient is well-defined, i.e., that the equivalence relation is compatible with composition, would help the reader.
[Section 5, Prop. 5.6, 'Full on 2-cells'] The sentence 'So the map (G/K)^H -> (G/K)^H is a principal fibration' appears to have a typo in the target; the target should be the corresponding quotient space (G/K)^Hbar.
[Proposition 4.6] The coherence conditions for the pseudo natural transformation are dismissed as 'a straightforward calculation'; since the rest of the proof is quite detailed, please at least state the associativity and unit constraints and indicate where the verification is carried out.
[Example 5.12] In the presentation Z⊕Z/<abab^{-1},b^2>, the elements a and b are not defined; they should be defined explicitly.
[Prop. 5.9, 'Essentially Surjective on Arrows'] The notation '(e,(\ell_1^{-1},\zeta))' for the arrow in Π_L(X) is confusing; if the intended arrow is (\ell_1^{-1},[\zeta]) with target (L/K,y), it should be written clearly in the standard arrow notation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the invariant Π_G(X) is defined independently and Theorem 5.1 is checked on explicit generators, with a non-circular proof gap in Prop. 5.6.

full rationale

The paper's main claim (Theorem 5.1) is not circular. Π_G(X) is defined by an explicit Grothendieck 2-category construction from the fixed-set fundamental groupoids Π(X^H), not from the Morita-equivalence class of G⋉X. The invariance proof then verifies that the induced functor is a weak equivalence for two explicit map forms (free normal-subgroup quotient and induced action) and invokes Prop. 5.3 from the authors' prior paper [16] to reduce arbitrary equivariant essential equivalences to composites of those forms. That cited generation theorem is parameter-free, its assumptions do not include the invariance of Π_G, and it is external to the present construction; relying on it is a standard use of a prior theorem and does not make the derivation circular. The quotient to Π^d is obtained by identifying 2-cells, so Corollary 5.2 follows formally from Theorem 5.1. One non-circular concern is flagged: in Prop. 5.6 the assertion that p: X^H -> Xbar^Hbar is the quotient of a free action of N and hence a principal fibration is not generally justified, since N need not preserve X^H, so the written proof of the first generator has a potential gap. This affects correctness, not circularity, because the lifting claim is not assumed from the conclusion and no fitted parameter or self-referential definition is involved. No prediction is being compared to a fitted value; the only external dependence is the cited generation theorem, which is independent support. Therefore no circular steps are present.

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

The paper introduces no free parameters or invented entities. It relies on standard categorical and equivariant topology background plus two domain assumptions: representability of orbifolds and the generation theorem for equivariant essential equivalences from the authors' prior work.

assumptions (5)

domain assumption Orbifolds considered are representable by translation groupoids of compact Lie group actions with finite isotropy groups.
Scope restriction stated in the introduction and Section 5; the paper does not claim the result for all orbifolds, only representable ones.
domain assumption Every equivariant essential equivalence between translation groupoids is a composite of maps of forms (3) and (4) (Prop. 3.5 of [16]).
Invoked as Proposition 5.3; it is the reduction that allows the main theorem to be proved by checking two special cases. It is cited from the authors' earlier paper and not reproved here.
standard math Equivariant slice theorem for compact Lie group actions on manifolds.
Used in the proof of Lemma 5.7 to obtain local normal forms for paths in G x_L X.
standard math Path and homotopy lifting in principal bundles for free actions of a normal subgroup.
Used in Proposition 5.6 to lift paths and homotopies from the quotient space X/N to X.
standard math The 2-dimensional Grothendieck construction of Buckley [5] produces a strict 2-category with the stated composition rules.
Used in Definition 2.2 and throughout; the paper spells out the construction but relies on established coherence properties.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Equivariant Fundamental Groupoid as an Orbifold Invariant." pith.science (2026). https://pith.science/paper/V4ODKGBD

@misc{pith2026190801201,
  author       = {Pith},
  title        = {Pith review of: The Equivariant Fundamental Groupoid as an Orbifold Invariant},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V4ODKGBD}},
  note         = {Machine review of arXiv:1908.01201}
}

read the original abstract

We construct a 2-category version of tom Dieck's equivariant fundamental groupoid for representable orbifolds and show that the discrete fundamental groupoid is Morita invariant; hence an orbifold invariant for representable orbifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 19 canonical work pages

[1]

Igor Bakovic, Fibrations of bicategories, http://www.irb.hr/korisnici/ibakovic/groth2fib.pdf

work page
[2]

Bunge and R

M. Bunge and R. Par´ e, Stacks and equivalence of indexed categories, Cah. Topol. G´ eom. Diﬀ´ er.20 (1979), pp. 373–399

work page 1979
[3]

Bredon, Introduction to Compact Transformation Groups, Academic Press (1972)

G.E. Bredon, Introduction to Compact Transformation Groups, Academic Press (1972)

work page 1972
[4]

Bullejos and L

M. Bullejos and L. Scull, A van Kampen theorem for equivariant fundamental groupoids JPAA 212 (2008), pp 2059–2068

work page 2008
[5]

Buckley, Fibred 2-categories and bicategories, Journal of Pure and Applied Algebra 218 (2014), pp

M. Buckley, Fibred 2-categories and bicategories, Journal of Pure and Applied Algebra 218 (2014), pp. 1034–1074

work page 2014
[6]

Costenoble, S

S. Costenoble, S. Waner, Equivariant covering spaces and homotopy covering spaces. Homol- ogy Homotopy Appl. 6 (2004), pp. 473–500

work page 2004
[7]

Costenoble, S

S. Costenoble, S. Waner, Equivariant orientation theory.Homology Homotopy Appl. 3 (2001), pp. 265–339

work page 2001
[8]

W. Chen, Y. Ruan, A new cohomology theory of orbifold, Comm. Math. Phys. , 248 (2004), pp. 1–31

work page 2004

Show all 20 references

[9]

Henriques, D

A. Henriques, D. Metzler, Presentations of noneﬀective orbifolds, Trans. Amer. Math. Soc. , 356 (2004), pp. 2481–2499

2004
[10]

Lupercio, B

E. Lupercio, B. Uribe, Gerbes over orbifolds and twisted K-theory, Comm. Math. Phys., 245 (2004), pp. 449–489

2004
[11]

L¨ uck, I

W. L¨ uck, I. Madsen, Equivariant L-theory. I.Math. Z. 203 (1990), pp. 503–526

1990
[12]

L¨ uck, I

W. L¨ uck, I. Madsen, Equivariant L-theory. II.Math. Z. 204 (1990), pp. 253–268. THE EQUIVARIANT FUNDAMENTAL GROUPOID AS AN ORBIFOLD INVARIANT 21

1990
[13]

Moerdijk, J

I. Moerdijk, J. Mrˇ cun, Lie groupoids, sheaves and cohomology, in S. Gutt, J. Rawnsley, and D. Sternheimer (Eds.), Poisson Geometry, Deformation Quantisation and Group Rep- resentations (London Mathematical Society Lecture Note Series, pp. 145-146). Cambridge: Cambridge Unive...

2005
[14]

Moerdijk, D.A

I. Moerdijk, D.A. Pronk, Orbifolds, sheaves and groupoids, K-theory, 12 (1997), pp. 3–21

1997
[15]

Mukherjee, N

G. Mukherjee, N. Pandey, Equivariant cohomology with local coeﬃcients. Proc. Amer. Math. Soc. 130 (2002), pp. 227–232

2002
[16]

Pronk and L

D. Pronk and L. Scull, Translation Groupoids and Orbifold Bredon Cohomology, Canadian J. Math., 62 (2010), pp. 614–645

2010
[17]

Pronk, L

D. Pronk, L. Scull, M. Tommasini, Atlases for general orbifolds, arXiv:1606.04439

arXiv
[18]

Satake, On a generalization of the notion of manifold, Proc

I. Satake, On a generalization of the notion of manifold, Proc. of the Nat. Acad. of Sc. U.S.A., 42 (1956), pp. 359–363

1956
[19]

Satake, The Gauss-Bonnet theorem for V-manifolds, Journal of the Math

I. Satake, The Gauss-Bonnet theorem for V-manifolds, Journal of the Math. Soc. of Japan , 9 (1957), pp. 464–492

1957
[20]

tom Dieck, Transformation Groups, Walter de Gruyter (1987)

T. tom Dieck, Transformation Groups, Walter de Gruyter (1987). Department of Mathematics and Statistics, Chase Building, Dalhousie University, Halifax, NS, B3H 4R2, Canada Department of Mathematics, Fort Lewis College, 1000 Rim Drive, Durango, Col- orado 81301-3999 USA E-mail ...

1987

Pith tools

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

[1] [1]

Igor Bakovic, Fibrations of bicategories, http://www.irb.hr/korisnici/ibakovic/groth2fib.pdf

work page

[2] [2]

Bunge and R

M. Bunge and R. Par´ e, Stacks and equivalence of indexed categories, Cah. Topol. G´ eom. Diﬀ´ er.20 (1979), pp. 373–399

work page 1979

[3] [3]

Bredon, Introduction to Compact Transformation Groups, Academic Press (1972)

G.E. Bredon, Introduction to Compact Transformation Groups, Academic Press (1972)

work page 1972

[4] [4]

Bullejos and L

M. Bullejos and L. Scull, A van Kampen theorem for equivariant fundamental groupoids JPAA 212 (2008), pp 2059–2068

work page 2008

[5] [5]

Buckley, Fibred 2-categories and bicategories, Journal of Pure and Applied Algebra 218 (2014), pp

M. Buckley, Fibred 2-categories and bicategories, Journal of Pure and Applied Algebra 218 (2014), pp. 1034–1074

work page 2014

[6] [6]

Costenoble, S

S. Costenoble, S. Waner, Equivariant covering spaces and homotopy covering spaces. Homol- ogy Homotopy Appl. 6 (2004), pp. 473–500

work page 2004

[7] [7]

Costenoble, S

S. Costenoble, S. Waner, Equivariant orientation theory.Homology Homotopy Appl. 3 (2001), pp. 265–339

work page 2001

[8] [8]

W. Chen, Y. Ruan, A new cohomology theory of orbifold, Comm. Math. Phys. , 248 (2004), pp. 1–31

work page 2004