pith. machine review for the scientific record. sign in

arxiv: 2605.02760 · v1 · submitted 2026-05-04 · 🧮 math.AT · math.GT

Recognition: unknown

Equivariant CW-complexes homotopy equivalent to spheres: a survey

Ergun Yalcin, Ian Hambleton

Pith reviewed 2026-05-08 02:17 UTC · model grok-4.3

classification 🧮 math.AT math.GT
keywords finite group actionsG-CW-complexeshomotopy spheresequivariant homotopysphere actionsfixed point dataequivariant cohomology
0
0 comments X

The pith

Finite G-CW-complexes homotopy equivalent to spheres are classified by their orbit data and representation invariants at fixed points.

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

This paper surveys the literature on finite group actions realized by CW-complexes, centering on the case where the complex is homotopy equivalent to a sphere. It draws primarily from the authors' joint research to summarize constructions, obstructions, and applications in equivariant homotopy theory. A reader would care because the results constrain which finite groups can appear as symmetries of spheres in a combinatorial way, linking group theory directly to topological models. The survey aims to condense an extensive body of work into a usable overview while noting possible gaps in coverage.

Core claim

The authors compile and organize results showing how finite G-CW-complexes can be homotopy equivalent to spheres, using data from group representations, fixed-point sets, and equivariant cell attachments to describe possible actions and their invariants.

What carries the argument

The finite G-CW-complex homotopy equivalent to a sphere, which models the group action combinatorially through equivariant cells while preserving the homotopy type of the sphere.

If this is right

  • The classification yields necessary conditions from equivariant cohomology and Smith theory for any such action to exist.
  • These complexes supply explicit models for studying free and semifree actions of finite groups on spheres.
  • Applications include constraints on which groups can arise as fundamental groups of spherical space forms.
  • The invariants allow systematic enumeration of possible actions in low dimensions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same orbit-type and representation approach might extend to actions on other homotopy types such as projective spaces.
  • Computational checks in low-dimensional cases could verify whether every known sphere action fits the surveyed criteria.
  • If the conditions prove complete, they would give an algebraic decision procedure for realizability of finite group symmetries on spheres.

Load-bearing premise

The chosen papers and the authors' own results form a representative sample of the field without important omissions.

What would settle it

An explicit finite group action on a homotopy sphere realized by a G-CW-complex whose orbit types or fixed-point representations fall outside all conditions listed in the survey.

read the original abstract

This is a survey about finite group actions on CW-complexes and related topics, primarily based on our joint work. The main applications are to finite $G$-CW-complexes which are homotopy equivalent to spheres. We have tried to give a fairly short overview of the extensive literature in this area, and we apologize in advance for our oversights and omissions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. This survey paper offers an overview of finite group actions on CW-complexes that are homotopy equivalent to spheres. It is primarily based on the authors' joint work and aims to provide a concise summary of the relevant literature in equivariant algebraic topology, explicitly noting the possibility of oversights and omissions.

Significance. Should the survey accurately capture the key developments and connections in the field, it would serve as a helpful resource for mathematicians working on equivariant homotopy theory and related applications to G-CW-complexes. The paper does not claim new results but rather synthesizes existing ones, which can be valuable for orientation in the area.

minor comments (1)
  1. [Abstract] The acknowledgment of potential omissions is commendable; however, it would be helpful to include a brief description of the methodology or selection criteria for the surveyed literature to enhance transparency.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our survey and for the positive assessment of its potential value as a resource in equivariant homotopy theory. We note the recommendation for minor revision and will incorporate any necessary adjustments in the revised version. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No circularity: survey paper with no derivations

full rationale

This is a survey paper that summarizes literature on finite G-CW-complexes homotopy equivalent to spheres, drawing from the authors' prior joint work and external references. It advances no new theorems, proofs, equations, or computational claims, and the abstract explicitly notes it as an overview with possible omissions. No load-bearing steps reduce outputs to inputs by definition, fitting, or self-citation chains; the content is descriptive and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As this is a survey paper reviewed from the abstract only, no free parameters, axioms, or invented entities can be identified from the provided information.

pith-pipeline@v0.9.0 · 5342 in / 916 out tokens · 43997 ms · 2026-05-08T02:17:34.868734+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

88 extracted references

  1. [1]

    Adem and J

    A. Adem and J. H. Smith,Periodic complexes and group actions, Ann. of Math. (2)154(2001), 407–435

    2001

  2. [2]

    J. L. Alperin,A construction of endo-permutation modules, J. Group Theory4(2001), 3–10

    2001

  3. [3]

    Group Theory4(2001), 1–2

    ,Lifting endo-trivial modules, J. Group Theory4(2001), 1–2

    2001

  4. [4]

    Balmer and M

    P. Balmer and M. Gallauer,Finite permutation resolutions, Duke Math. J.172(2023), 201–229

    2023

  5. [5]

    ,Permutation modules, Mackey functors, and Artin motives, Representations of algebras and related structures, EMS Ser. Congr. Rep., EMS Press, Berlin, 2023, pp. 37–75

    2023

  6. [6]

    Math.241(2025), 841–928

    ,The geometry of permutation modules, Invent. Math.241(2025), 841–928

    2025

  7. [7]

    Bauer,Dimension functions of homotopy representations for compact Lie groups, Math

    S. Bauer,Dimension functions of homotopy representations for compact Lie groups, Math. Ann.280 (1988), 247–265

    1988

  8. [8]

    D. J. Benson,Representations and cohomology. I, second ed., Cambridge Studies in Advanced Math- ematics, vol. 30, Cambridge University Press, Cambridge, 1998, Basic representation theory of finite groups and associative algebras

    1998

  9. [9]

    D. J. Benson and N. Habegger,Varieties for modules and a problem of Steenrod, J. Pure Appl. Algebra44(1987), 13–34. 22 IAN HAMBLETON AND ERG ¨UN YALC ¸ IN

    1987

  10. [10]

    Borel,Seminar on transformation groups, With contributions by G

    A. Borel,Seminar on transformation groups, With contributions by G. Bredon, E. E. Floyd, D. Montgomery, R. Palais. Annals of Mathematics Studies, No. 46, Princeton University Press, Prince- ton, N.J., 1960

    1960

  11. [11]

    Carlsson,A counterexample to a conjecture of Steenrod, Invent

    G. Carlsson,A counterexample to a conjecture of Steenrod, Invent. Math.64(1981), 171–174

    1981

  12. [12]

    Cartan and S

    H. Cartan and S. Eilenberg,Homological algebra, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1999, With an appendix by David A. Buchsbaum, Reprint of the 1956 original

    1999

  13. [13]

    F. X. Connolly and S. Prassidis,Groups which act freely onR m×S n−1, Topology28(1989), 133–148

    1989

  14. [14]

    J. F. Davis and T. tom Dieck,Some exotic dihedral actions on spheres, Indiana Univ. Math. J.37 (1988), 431–450

    1988

  15. [15]

    tom Dieck,Faserb¨ undel mit Gruppenoperation, Arch

    T. tom Dieck,Faserb¨ undel mit Gruppenoperation, Arch. Math. (Basel)20(1969), 136–143

    1969

  16. [16]

    ,Orbittypen und ¨ aquivariante Homologie. I, Arch. Math. (Basel)23(1972), 307–317

    1972

  17. [17]

    Ann.206(1973), 67–78

    ,Equivariant homology and Mackey functors, Math. Ann.206(1973), 67–78

    1973

  18. [18]

    ,On the homotopy type of classifying spaces, Manuscripta Math.11(1974), 41–49

    1974

  19. [19]

    ,The Burnside ring and equivariant stable homotopy, University of Chicago, Department of Mathematics, Chicago, IL, 1975, Lecture notes by Michael C. Bix

    1975

  20. [20]

    ,The Burnside ring of a compact Lie group. I, Math. Ann.215(1975), 235–250

    1975

  21. [21]

    II, Arch

    ,Orbittypen und ¨ aquivariante Homologie. II, Arch. Math. (Basel)26(1975), 650–662

    1975

  22. [22]

    ,A finiteness theorem for the Burnside ring of a compact Lie group, Compositio Math.35 (1977), 91–97

    1977

  23. [23]

    Pure Appl

    ,Idempotent elements in the Burnside ring, J. Pure Appl. Algebra10(1977/78), 239–247

    1977

  24. [24]

    Reine Angew

    ,Homotopy-equivalent group representations, J. Reine Angew. Math.298(1978), 182–195

    1978

  25. [25]

    ,Homotopy equivalent group representations and Picard groups of the Burnside ring and the character ring, Manuscripta Math.26(1978/79), 179–200

    1978

  26. [26]

    Sympos., Univ

    ,Semilinear group actions on spheres: dimension functions, Algebraic topology, Aarhus 1978 (Proc. Sympos., Univ. Aarhus, Aarhus, 1978), Lecture Notes in Math., vol. 763, Springer, Berlin, 1979, pp. 448–457

    1978

  27. [27]

    766, Springer, Berlin, 1979

    ,Transformation groups and representation theory, Lecture Notes in Mathematics, vol. 766, Springer, Berlin, 1979

    1979

  28. [28]

    Math.67 (1982), 231–252

    ,Homotopiedarstellungen endlicher Gruppen: Dimensionsfunktionen, Invent. Math.67 (1982), 231–252

    1982

  29. [29]

    ,Homotopy representations of the torus, Arch. Math. (Basel)38(1982), 459–469

    1982

  30. [30]

    1051, Springer, Berlin, 1984, pp

    ,Die Picard-Gruppe des Burnside-Ringes, Algebraic topology, Aarhus 1982 (Aarhus, 1982), Lecture Notes in Math., vol. 1051, Springer, Berlin, 1984, pp. 573–586

    1982

  31. [31]

    ,The homotopy type of group actions on homotopy spheres, Arch. Math. (Basel)45(1985), 174–179

    1985

  32. [32]

    Reine Angew

    ,The Picard group of the Burnside ring, J. Reine Angew. Math.361(1985), 174–200

    1985

  33. [33]

    ,Dimension functions of homotopy representations, Bull. Soc. Math. Belg. S´ er. A38(1986), 103–129 (1987)

    1986

  34. [34]

    1, 2 (Berkeley, Calif., 1986), Amer

    ,Geometric representation theory of compact Lie groups, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986), Amer. Math. Soc., Providence, RI, 1987, pp. 615–622

    1986

  35. [35]

    8, Walter de Gruyter & Co., Berlin, 1987

    ,Transformation groups, de Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter & Co., Berlin, 1987

    1987

  36. [36]

    1375, Springer, Berlin, 1989, pp

    ,Linking in cyclic representation forms, Transformation groups (Osaka, 1987), Lecture Notes in Math., vol. 1375, Springer, Berlin, 1989, pp. 42–47

    1987

  37. [37]

    1375, Springer, Berlin, 1989, pp

    ,Modification of linking in representation forms, Transformation groups (Osaka, 1987), Lec- ture Notes in Math., vol. 1375, Springer, Berlin, 1989, pp. 33–41

    1987

  38. [38]

    ,Verschlingungssysteme in glatten Darstellungsformen, Forum Math.3(1991), 419–436

    1991

  39. [39]

    tom Dieck and I

    T. tom Dieck and I. Hambleton,Surgery theory and geometry of representations, DMV Seminar, vol. 11, Birkh¨ auser Verlag, Basel, 1988. EQUIVARIANT CW-COMPLEXES HOMOTOPY EQUIVALENT TO SPHERES: A SURVEY 23

    1988

  40. [40]

    tom Dieck and P

    T. tom Dieck and P. L¨ offler,Verschlingung von Fixpunktmengen in Darstellungsformen. I, Algebraic topology, G¨ ottingen 1984, Lecture Notes in Math., vol. 1172, Springer, Berlin, 1985, pp. 167–187

    1984

  41. [41]

    tom Dieck and T

    T. tom Dieck and T. Petrie,Geometric modules over the Burnside ring, Invent. Math.47(1978), 273–287

    1978

  42. [42]

    Conf., Univ

    ,The homotopy structure of finite group actions on spheres, Algebraic topology, Waterloo, 1978 (Proc. Conf., Univ. Waterloo, Waterloo, Ont., 1978), Lecture Notes in Math., vol. 741, Springer, Berlin, 1979, pp. 222–243

    1978

  43. [43]

    Hautes ´Etudes Sci

    ,Homotopy representations of finite groups, Inst. Hautes ´Etudes Sci. Publ. Math.56(1982), 129–169 (1983)

    1982

  44. [44]

    Dold,Zur Homotopietheorie der Kettenkomplexe, Math

    A. Dold,Zur Homotopietheorie der Kettenkomplexe, Math. Ann.140(1960), 278–298

    1960

  45. [45]

    Doman,Non-G-equivalent MooreG-spaces of the same type, Proc

    R. Doman,Non-G-equivalent MooreG-spaces of the same type, Proc. Amer. Math. Soc.103(1988), 1317–1321

    1988

  46. [46]

    R. M. Dotzel and G. C. Hamrick,p-group actions on homology spheres, Invent. Math.62(1981), 437–442

    1981

  47. [47]

    A. W. M. Dress,Induction and structure theorems for orthogonal representations of finite groups, Ann. of Math. (2)102(1975), 291–325

    1975

  48. [48]

    Fausk, L

    H. Fausk, L. G. Lewis, Jr., and J. P. May,The Picard group of equivariant stable homotopy theory, Adv. Math.163(2001), 17–33

    2001

  49. [49]

    Gelvin and E

    M. Gelvin and E. Yal¸ cın,Dade groups for finite groups and dimension functions, J. Algebra576 (2021), 146–196

    2021

  50. [50]

    Grodal and J

    J. Grodal and J. H. Smith,Algebraic models for finiteG–spaces, Oberwolfach Reports, vol. 4, Eur. Math. Soc., Z¨ urich, 2007, Abstracts from the Homotopy Theory workshop, September 16–22, 2007, organized by Paul Goerss, John Greenlees and Stefan Schwede, pp. 2690–2692

    2007

  51. [51]

    Hambleton,Topological spherical space forms, Handbook of group actions

    I. Hambleton,Topological spherical space forms, Handbook of group actions. Vol. II, Adv. Lect. Math. (ALM), vol. 32, Int. Press, Somerville, MA, 2015, pp. 151–172

    2015

  52. [52]

    Hambleton, S

    I. Hambleton, S. Pamuk, and E. Yal¸ cın,Equivariant CW-complexes and the orbit category, Comment. Math. Helv.88(2013), 369–425

    2013

  53. [53]

    Hambleton and E

    I. Hambleton and E. K. Pedersen,Bounded surgery and dihedral group actions on spheres, J. Amer. Math. Soc.4(1991), 105–126

    1991

  54. [54]

    Hambleton and E

    I. Hambleton and E. Yal¸ cın,Acyclic chain complexes over the orbit category, M¨ unster J. Math.3 (2010), 145–161

    2010

  55. [55]

    ,Homotopy representations over the orbit category, Homology Homotopy Appl.16(2014), 345–369

    2014

  56. [56]

    ,Group actions on spheres with rank one isotropy, Trans. Amer. Math. Soc.368(2016), 5951–5977

    2016

  57. [57]

    ,Group actions on spheres with rank one prime power isotropy, Math. Res. Lett.24(2017), 379–400

    2017

  58. [58]

    M. A. Jackson, Qd(p)-free rank two finite groups act freely on a homotopy product of two spheres, J. Pure Appl. Algebra208(2007), 821–831

    2007

  59. [59]

    Jones,The converse to the fixed point theorem of P

    L. Jones,The converse to the fixed point theorem of P. A. Smith. I, Ann. of Math. (2)94(1971), 52–68

    1971

  60. [60]

    ,The converse to the fixed point theorem of P. A. Smith. II, Indiana Univ. Math. J.22 (1972/73), 309–325

    1972

  61. [61]

    P. J. Kahn,Rational MooreG-spaces, Trans. Amer. Math. Soc.298(1986), 245–271

    1986

  62. [62]

    Knutsen,Homotopy representations and the Picard group of the equivariant stable homotopy category, 2023

    E. Knutsen,Homotopy representations and the Picard group of the equivariant stable homotopy category, 2023

    2023

  63. [63]

    Laitinen,Unstable homotopy theory of homotopy representations, Transformation groups, Pozna´ n 1985, Lecture Notes in Math., vol

    E. Laitinen,Unstable homotopy theory of homotopy representations, Transformation groups, Pozna´ n 1985, Lecture Notes in Math., vol. 1217, Springer, Berlin, 1986, pp. 210–248

    1985

  64. [64]

    Laitinen and M

    E. Laitinen and M. Morimoto,Finite groups with smooth one fixed point actions on spheres, Forum Math.10(1998), 479–520. 24 IAN HAMBLETON AND ERG ¨UN YALC ¸ IN

    1998

  65. [65]

    L. G. Lewis, Jr., J. P. May, M. Steinberger, and J. E. McClure,Equivariant stable homotopy theory, Lecture Notes in Mathematics, vol. 1213, Springer-Verlag, Berlin, 1986, With contributions by J. E. McClure

    1986

  66. [66]

    L¨ uck,Transformation groups and algebraicK-theory, Lecture Notes in Mathematics, vol

    W. L¨ uck,Transformation groups and algebraicK-theory, Lecture Notes in Mathematics, vol. 1408, Springer-Verlag, Berlin, 1989, Mathematica Gottingensis

    1989

  67. [67]

    Mac Lane,Homology, Classics in Mathematics, Springer-Verlag, Berlin, 1995, Reprint of the 1975 edition

    S. Mac Lane,Homology, Classics in Mathematics, Springer-Verlag, Berlin, 1995, Reprint of the 1975 edition

    1995

  68. [68]

    S. K. Miller,Endotrivial complexes, J. Algebra650(2024), 173–218

    2024

  69. [69]

    Math.478(2025), Paper No

    ,The classification of endotrivial complexes, Adv. Math.478(2025), Paper No. 110404, 40

    2025

  70. [70]

    Mislin,On group homomorphisms inducing mod-pcohomology isomorphisms, Comment

    G. Mislin,On group homomorphisms inducing mod-pcohomology isomorphisms, Comment. Math. Helv.65(1990), 454–461

    1990

  71. [71]

    Oliver,Fixed-point sets of group actions on finite acyclic complexes, Comment

    R. Oliver,Fixed-point sets of group actions on finite acyclic complexes, Comment. Math. Helv.50 (1975), 155–177

    1975

  72. [72]

    Oliver and T

    R. Oliver and T. Petrie,G-CW-surgery andK 0(ZG), Math. Z.179(1982), 11–42

    1982

  73. [73]

    Petrie,Three theorems in transformation groups, Algebraic topology, Aarhus 1978 (Proc

    T. Petrie,Three theorems in transformation groups, Algebraic topology, Aarhus 1978 (Proc. Sympos., Univ. Aarhus, Aarhus, 1978), Lecture Notes in Math., vol. 763, Springer, Berlin, 1979, pp. 549–572

    1978

  74. [74]

    I, II, Adv

    ,One fixed point actions on spheres. I, II, Adv. in Math.46(1982), 3–14, 15–70

    1982

  75. [75]

    S. P. Reeh and E. Yal¸ cın,Representation rings for fusion systems and dimension functions, Math. Z.288(2018), 509–530

    2018

  76. [76]

    D. S. Rim,Modules over finite groups, Ann. of Math. (2)69(1959), 700–712

    1959

  77. [77]

    J. R. Smith,Equivariant Moore spaces, Algebraic and geometric topology (New Brunswick, N.J., 1983), Lecture Notes in Math., vol. 1126, Springer, Berlin, 1985, pp. 238–270

    1983

  78. [78]

    ,Equivariant Moore spaces. II. The low-dimensional case, J. Pure Appl. Algebra36(1985), 187–204

    1985

  79. [79]

    P. A. Smith,Transformations of finite period, Ann. of Math. (2)39(1938), 127–164

    1938

  80. [80]

    ,Transformations of finite period. II, Ann. of Math. (2)40(1939), 690–711

    1939

Showing first 80 references.