REVIEW 8 minor 21 references
Morita Invariance of Equivariant Lusternik-Schnirelmann Category and Invariant Topological Complexity
T0 review · 0 major / 8 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Morita equivalence preserves equivariant LS-category and invariant topological complexity, giving orbifolds a topological complexity.
desk verdict A clean, correct proof that equivariant LS-category and invariant topological complexity are Morita invariant, settling a conjecture and giving orbifolds a topological complexity. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The object carrying the argument is the equivariant $\mathcal{A}$-category of a $G$-space: the least number of invariant open sets in a cover whose inclusion maps deform up to $G$-homotopy into members of a prescribed class $\mathcal{A}$ of invariant subsets. The proof machinery is the decomposition of any essential equivalence into two elementary maps—a quotient map by a freely acting normal subgroup and an induction map along a subgroup inclusion—together with the fact that numerable equivariant bundles with compact structure group satisfy a $G$-covering homotopy property, which lets categorical homotopies be lifted from a quotient $X/K$ back to $X$.
What would settle it
Compute the invariant topological complexity of the free rotation actions of $\mathbb{Z}_2$ and $\mathbb{Z}_3$ on $S^1$, which are Morita equivalent with quotient $S^1$; the theorem predicts both equal $\mathrm{TC}(S^1)$, so any calculation producing different values would settle the claim false.
Extended reading notes
Core claim
The central result, Theorem 5.1, states that for an essential equivalence $\psi\ltimes\epsilon\colon G\ltimes X\to H\ltimes Y$ between translation groupoids and any class $\mathcal{A}$ of $G$-invariant subsets of $X$, one has $\mathcal{A}\,\mathrm{cat}_G(X)=\mathcal{A}'\,\mathrm{cat}_H(Y)$, where $\mathcal{A}'$ is the saturation of $\epsilon(A)$ under the $H$-action. The proof establishes this by proving that quotient maps $G\ltimes X\to G/K\ltimes X/K$ and induction maps $H\ltimes X\to G\ltimes(G\times_H X)$ each preserve the equivariant $\mathcal{A}$-category; the quotient step uses the $G$-covering homotopy property of numerable equivariant bundles, and the induction step follows by applying the quotient result twice. Consequently, equivariant LS-category and invariant topological complexity are invariants of Morita equivalence for compact Lie group actions on metrizable spaces, and the invariant topological complexity of a presentation defines an orbifold invariant (Definition 6.4).
Load-bearing premise
Every Morita equivalence can be broken into two simple kinds of maps—dividing out a freely acting normal subgroup and inducing a subgroup action—and the paper cites rather than proves this decomposition; if it fails in the setting of compact Lie groups, the main theorem has no proof.
Editorial extensions
If this is right
- Equivariant LS-category $\mathrm{cat}_G(X)$ is a Morita invariant for compact Lie group actions on metrizable spaces, so it can be assigned to a representable orbifold independently of its presentation.
- The invariant topological complexity $\underline{\mathrm{TC}}_G(X)$ is a Morita invariant, while the original equivariant topological complexity is not; the free $S^1$-action on $S^1$ versus the trivial action on a point shows the difference.
- Definition 6.4 gives an orbifold topological complexity $\mathrm{TC}_{\mathcal{O}}(\mathcal{X})$ by evaluating the invariant topological complexity on any translation-groupoid presentation.
- The higher invariant topological complexities $\underline{\mathrm{TC}}_{G,n}(X)$ are also Morita invariant by the same argument.
- New lower bounds such as $\max_{K\triangleleft G}\mathrm{cat}((X/K)^{G/K})\le \mathrm{cat}_G(X)$ follow, generalizing known inequalities.
Reading between the lines
- An implicit consequence is that any equivariant homotopy invariant intended for orbifolds must be unchanged by free quotient maps; this explains why the standard equivariant topological complexity cannot work and suggests a general criterion for orbifold invariants.
- Because the proof only needs the decomposition of essential equivalences and the covering homotopy property, the same method is likely to transfer other equivariant invariants—such as equivariant cohomology or K-theory—to orbifolds whenever the corresponding bundles satisfy the analogous lifting property.
- The authors speculate that the result extends to proper actions of discrete groups on ANRs; verifying Theorem 5.1 in that setting would broaden orbifold topological complexity beyond compact Lie presentations.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that the equivariant A-category of Clapp and Puppe is invariant under Morita equivalence for compact Lie group actions on metrizable spaces. The proof factorizes any essential equivalence of translation groupoids, via Proposition 2.5, into a quotient map by a normal subgroup acting freely and an induction map, and establishes invariance for each factor. The equivariant principal bundle techniques of [17] supply the needed covering homotopy property in the quotient step, while the induction step is reduced to two applications of the quotient case. Corollaries 5.9 and 5.10 then give Morita invariance of equivariant LS-category and of invariant topological complexity, and Section 6 uses this to define an orbifold invariant topological complexity.
Significance. If the result stands, it provides new Morita invariants for orbifolds, confirming a conjecture from [1] and extending the program of [19] to Lusternik-Schnirelmann category and topological complexity. The proof is carefully structured: Lemma 5.3 gives an explicit equivariant compression through the quotient, Lemma 5.7 carefully applies the equivariant covering homotopy property to lift categorical homotopies, and Lemma 5.8 cleanly reduces the induction case to two quotient cases. The paper also correctly notes that ordinary equivariant topological complexity is not a Morita invariant, so the distinction between the two equivariant notions is essential. The higher invariant topological complexities are treated as well, giving additional Morita invariants.
minor comments (8)
- [Theorem 5.1] The statement of Theorem 5.1 reads "A cat_G(X) = A' cat_H(X)", but the right-hand side should refer to the target space Y, i.e. "A' cat_H(Y)". The subsequent argument and corollaries use the intended equality with Y.
- [Proposition 2.5] The proof of Theorem 5.1 depends entirely on the factorization of essential equivalences into a quotient map and an induction map. Since the paper states that the argument of [19] works for topological groupoids, the authors should either provide a proof of this topological version or cite a precise theorem in the literature that covers translation groupoids of compact Lie group actions on metrizable spaces.
- [Definitions 4.1 and 4.3] The same notation "TCG(X)" is used in Definition 4.1 for equivariant topological complexity and in Definition 4.3 for invariant topological complexity. This is confusing because Corollaries 5.10 and 5.12 rely on the distinction; please use different notation, such as an underline or overline, consistently.
- [Corollaries 5.10 and 5.12] In Corollary 5.10 the phrase "the saturation ... of ǫ(ℸ_{G×G}(X))" should read "of (ǫ×ǫ)(ℸ_{G×G}(X))", since ℸ_{G×G}(X) is a subset of X×X. The same correction applies in Corollary 5.12, where the map should be the n-fold product ǫ^n on X^n.
- [After Proposition 2.5] The notational remark "if N is a normal subgroup of X, we write N ⊳ X" should say "of G", not "of X".
- [Section 6] The sentence "Orbifolds were first introduced by Satake [21]" cites [21], which is Schwarz's paper on the genus of a fiber space; a reference to Satake's original work should be added, or the citation should be corrected.
- [Definition 6.4] In Definition 6.4 the same letter X is used for the orbifold and for the underlying space of the presentation groupoid G⋉X. This is potentially confusing; using different symbols (for example, O for the orbifold and X for the presentation space) would improve readability.
- [Theorem 5.2] In the statement of Theorem 5.2, part (1) does not use the subgroup H that is introduced at the start of the sentence. The statement would be cleaner if H was introduced only where needed, or if the sentence structure was adjusted.
Circularity Check
No circularity identified: the main theorem is proved from external decomposition and bundle-theoretic results, with internal lemmas that do not reduce to the conclusion.
full rationale
The central result, Theorem 5.1, is not assumed or defined into existence. It is proved by first citing Proposition 2.5 from Pronk-Scull [19], an external decomposition theorem stating that every essential equivalence of translation groupoids factors as a quotient map and an induction map. The proof then establishes Theorem 5.2 in two independent parts: Lemma 5.3 gives one inequality by pushing G-compressible sets down to the quotient, and Lemma 5.7 gives the reverse inequality by using the G-covering homotopy property for numerable equivariant bundles, cited from Murayama-Shimakawa [17] (Corollary 5.6), after Proposition 5.4 constructs the relevant numerable bundle from standard sources [4], [9]. Lemma 5.8 reduces the induction case to two applications of the quotient case; this is a legitimate internal reduction, not a circular one. Corollaries 5.9, 5.10 and 5.12 are direct applications of Theorem 5.1. The only self-citations are the historical conjecture [1] by two of the authors and the definition/recollection of equivariant topological complexity from [7]; neither is used as evidence for the main invariance theorem. The load-bearing external inputs—[19] and [17]—are independent of the present paper and are not re-derived from the conclusion. Hence no step in the derivation chain is equivalent to its own input by construction.
Assumptions & free parameters
assumptions (6)
- standard math Every essential equivalence of translation groupoids decomposes as a quotient map followed by an induction map (Proposition 2.5, cited from [19]).
- standard math Numerable (Γ,α,G)-bundles with compact Γ satisfy the G-covering homotopy property, hence are G-fibrations (Corollary 5.6, from [17]).
- standard math For a compact Lie group G acting freely on a completely regular space X with paracompact quotient, the quotient map is a numerable principal K-bundle (Proposition 5.4, from [4] and [9]).
- standard math For a compact Lie group G acting on a metrizable space X, the orbit space X/G is metrizable and paracompact (Palais [18]).
- standard math Products of essential equivalences are essential equivalences (used in Corollary 5.10 and 5.12).
- domain assumption Orbifolds are Morita equivalence classes of proper foliation groupoids, and representable orbifolds are presented by translation groupoids G⋉X with compact Lie G (Section 6).
Cite this review
Pith. "Pith review of Morita Invariance of Equivariant Lusternik-Schnirelmann Category and Invariant Topological Complexity." pith.science (2026). https://pith.science/paper/BYS7MOD5
@misc{pith2026190804949,
author = {Pith},
title = {Pith review of: Morita Invariance of Equivariant Lusternik-Schnirelmann Category and Invariant Topological Complexity},
year = {2026},
howpublished = {\url{https://pith.science/paper/BYS7MOD5}},
note = {Machine review of arXiv:1908.04949}
}
abstract
We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant Lusternik-Schnirelmann category of a group action and the invariant topological complexity are invariant under Morita equivalence. This allows a definition of topological complexity for orbifolds.
Reference graph
Works this paper leans on
-
[17]
Mitutaki Murayama and Kazuhisa Shimakawa, Universal Equivariant Bundles , Proc. AMS vol. 123 No. 4 (1995)
work page 1995
-
[1]
Andr´ es Angel and Hellen Colman,Equivariant topological complexities, Topological Complex- ity and Related Topics, Contemporary Mathematics 702 (2018 )
work page 2018
-
[19]
Dorette Pronk and Laura Scull, Translation Groupoids and Orbifold Cohomology , Canad. J. Math. Vol. 62 (3), 2010, 614–645
work page 2010
-
[2]
Marzieh Bayeh and Soumen Sarkar, Higher equivariant and invariant topological complexity , arXiv:1804.08006
-
[3]
Zbigniew B/suppress laszczyk and Marek Kaluba,On equivariant and invariant topological complexity of smooth Zp-spheres, Proc. Amer. Math. Soc. 145 (2017), 4075–4086
work page 2017
-
[4]
Glen Bredon, Introduction to Compact Transformation Groups , Academic Press, New York, 1972
work page 1972
-
[5]
M´ onica Clapp and Dieter Puppe,Invariants of the Lusternik-Schnirelmann type and the topo l- ogy of critical sets , Trans. Amer. Math. Soc. 298 (1986) 603-620
work page 1986
-
[6]
Hellen Colman, Equivariant LS-category for finite group actions , Lusternik-Schnirelmann cat- egory and related topics (South Hadley, MA, 2001), 35-40, Co ntemp. Math., 316, Amer. Math. Soc., Providence, RI, 2002
work page 2001
Show all 21 references
-
[7]
Hellen Colman and Mark Grant, Equivariant topological complexity, Algebr. Geom. Topol. 12 (2012), 2299–2316
2012
-
[8]
103, American M athematical Society, Prov- idence, RI, 2003
Octav Cornea, Gregory Lupton, John Oprea, and Daniel Tan r´ e,Lusternik-Schnirelmann Cat- egory, Mathematical Surveys and Monographs, vol. 103, American M athematical Society, Prov- idence, RI, 2003
2003
-
[9]
Tammo tom Dieck, Transformation groups, 1987
1987
-
[10]
The equivariant Ljusternik-Schnirelmann method for invar iant functionals and relative cohomological index theories , In M´ ethodes Topologiques en Analyse Non-Lineaire, ed
Edward Fadell. The equivariant Ljusternik-Schnirelmann method for invar iant functionals and relative cohomological index theories , In M´ ethodes Topologiques en Analyse Non-Lineaire, ed. A. Granas, Montreal, 1985. 14 A. ANGEL, H. COLMAN, M. GRANT, AND J. OPREA
1985
-
[11]
Michael Farber, Topological complexity of motion planning , Discrete Comput. Geom. 29. (2003), 211–221
2003
-
[12]
Andre Henriques and David Metzler, Presentations of noneffective orbifolds , Trans. Amer. Math. Soc. 356(2004), no. 6, 2481–2499
2004
-
[13]
Lon- don Math
Wojciech Lubawski and Wac/suppress law Marzantowicz,Invariant topological complexity , Bull. Lon- don Math. Soc. 47 (2014), 101–117
2014
-
[14]
Wac/suppress law Marzantowicz,A G-Lusternik-Schnirelmann category of space with an actio n of a compact Lie group , Topology 28 (1989), 403-412
1989
-
[15]
Milnor, Microbundles
John W. Milnor, Microbundles. I. , Topology 3 (1964), suppl. 1, 53-80
1964
-
[16]
Ieke Moerdijk and Dorothea Pronk, Orbifolds, Sheaves and Groupoids , K-theory 13 (1997) 3–21
1997
-
[18]
Richard Palais, The classification of G-spaces , Memoirs Amer. Math. Soc. 36 (1960)
1960
-
[20]
Yuli B. Rudyak. On higher analogs of topological complexity , Topology Appl., 157(5):916–920, 2010
2010
-
[21]
Albert Schwarz, The genus of a fiber space , Amer. Math. Soc. Transl. 55 (1966), no. 2, 49–140. Departamento de Matem ´aticas y Estad ´ıstica, Universidad del Norte, Km. 5 via Puerto Colombia, Barranquilla, Colombia Departamento de Matem ´aticas, Universidad de los Andes, Carre...
1966
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.