An isovariant Blakers--Massey theorem

Inbar Klang; Sarah Yeakel

REVIEW 1 major objections 4 minor 22 references

An isovariant Blakers--Massey theorem

T0 review · 1 major / 4 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 This paper proves an isovariant Blakers–Massey theorem for maps that strictly preserve isotropy groups, and derives an isovariant Freudenthal suspension theorem using a complete $G$-universe as a homotopy terminal object.

desk verdict A genuine isovariant Blakers–Massey and Freudenthal, with a clean reduction that hinges on an unproved cited lemma; worth refereeing, needs revision. read the letter →

arxiv 2506.21259 v2 pith:QRGY6WGQ submitted 2025-06-26 math.AT

Inbar Klang , Sarah Yeakel This is my paper · ORCID

classification math.AT MSC 55P91

keywords isovariantmapshomotopytheoryBlakers–MasseytheoremFreudenthalsuspensionconnectivitypushoutcompleteG-universeequivariant

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

An isovariant map between $G$-spaces is an equivariant map that strictly preserves isotropy groups. This paper shows that the classical Blakers–Massey theorem, which measures how far a homotopy pushout square is from being a homotopy pullback, holds in this isovariant category once connectivity is measured through the isovariant link functors $M_H(-)$. The main result is that an isovariant homotopy pushout square with maps of connectivity $n^{\bullet}$ and $m^{\bullet}$ has cartesian gap map of connectivity $(n^{\bullet}+m^{\bullet}-1)$, with the same connectivity formula for strongly cocartesian $n$-cubes. Since the isovariant category has no terminal object, the authors prove that a complete $G$-universe $U$ is isovariantly weakly contractible and use it as a homotopy terminal object to define isovariant suspension $S_U$ and loop space $\Omega_U$. They then obtain an isovariant Freudenthal suspension theorem: for an $n^{\bullet}$-connected isovariant cell complex, the map $X\to\Omega_U S_U X$ is $(2n^{\bullet}+1)$-connected, laying groundwork for isovariant stable homotopy theory.

What carries the argument

The load-bearing objects are the linking simplices $\Delta^H$ indexed by strictly increasing chains of subgroups $H_0<\cdots<H_n$, and the link functors $M_H(-)=\mathrm{Map}_{\mathrm{isvt}}(\Delta^H,-)$; these convert isovariant connectivity, homotopy pushouts, and homotopy pullbacks into ordinary connectivity, homotopy pushouts, and homotopy pullbacks of spaces. Because $M_H$ commutes with homotopy pushouts up to homotopy and with homotopy pullbacks, the isovariant Blakers–Massey theorem is a formal consequence of the classical Blakers–Massey theorem applied linkwise. The second load-bearing object is the complete $G$-universe $U$, used as a homotopy terminal object; its isovariant weak contractibility is proved by constructing explicit trivializing extensions in the link spaces, and it makes isovariant suspension and loop spaces well-defined.

What would settle it

A counterexample would be a single homotopy pushout square in the isovariant category and a single chain $H$ for which the linkwise cartesian gap map $M_H(c)$ is strictly less than $(n_H+m_H-1)$-connected. The quickest place to look is the suspension square for a small group such as $C_2$ with the sign or regular representation: compute the three linkwise gap maps explicitly and compare their connectivities with the $(2n^{\bullet}+1)$ prediction of Corollary 6.10.

Watch

Extended reading notes

Core claim

The paper's central claim is that the isovariant homotopy category supports the same phenomenon as ordinary and equivariant homotopy theory, where a homotopy pushout square is nearly a homotopy pullback with a connectivity bound controlled by the two maps. For every strictly increasing chain of subgroups $H$, the link functor $M_H(-)=\mathrm{Map}_{\mathrm{isvt}}(\Delta^H,-)$ sends isovariant spaces to ordinary spaces, and the paper defines an isovariant map to be $n^{\bullet}$-connected exactly when each induced map $M_H(f)$ is $n_H$-connected. Theorem 4.7 then states that the cartesian gap map of an isovariant homotopy pushout square is $(n^{\bullet}+m^{\bullet}-1)$-connected; Theorem 5.7 extends the formula to strongly cocartesian $n$-cubes, meaning each two-dimensional face is a homotopy pushout square, with $k^{\bullet}=1-n+\sum_s(k_s)^{\bullet}$. The paper also constructs a meaningful suspension by proving that a complete $G$-universe $U$, a countable sum of copies of the regular representation, is isovariantly weakly contractible (Theorem 6.5), making it a homotopy terminal object. Using $U$ to build $S_U$ and $\Omega_U$, Corollary 6.10 gives the isovariant Freudenthal suspension theorem: the cartesian gap map $X\to\Omega_U S_U X$ is isovariantly $(2n^{\bullet}+1)$-connected.

Load-bearing premise

The entire argument rests on the compatibility of the link operations $M_H(-)$ with homotopy pushouts and homotopy pullbacks: if some link of an isovariant homotopy pushout square were not itself a homotopy pushout of ordinary spaces, the connectivity of the gap map would not follow from the classical Blakers–Massey theorem.

Editorial extensions

If this is right

A Freudenthal-style suspension theorem holds isovariantly: for an $n^{\bullet}$-connected isovariant cell complex, the suspension–loop gap map $X\to\Omega_U S_U X$ is $(2n^{\bullet}+1)$-connected linkwise, so sufficiently connected isovariant spaces behave like stable objects in a range of degrees.
The $n$-cubical theorem provides a connectivity estimate for strongly cocartesian isovariant $n$-cubes, with the same dimension-corrected formula $1-n+\sum_s (k_s)^{\bullet}$ as in classical higher Blakers–Massey theory.
The complete $G$-universe is established as a homotopy terminal object, so every isovariant cell complex admits an essentially unique isovariant map to $U$, making $S_U$ and $\Omega_U$ available for all cofibrant isovariant spaces.
The paper positions these results as the foundation of isovariant stable homotopy theory, with future extension to suspension by representation spheres flagged as the next step.

Reading between the lines

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

A testable extension is to grade isovariant suspension by finite-dimensional representations rather than only the trivial one-dimensional representation; the paper's own example data suggest the connectivity range may need a representation-dependent correction, and one could test this by computing $M_H$ of representation-sphere suspensions for small groups.
Because the proof is entirely linkwise, the same strategy should transfer to any category equipped with link functors that preserve homotopy pushouts and pullbacks; a natural next case is compact Lie groups, where linking simplices would have to be adapted to non-finite isotropy.
The sharpness example for the regular representation of $C_2$ indicates that the general bound is sometimes exactly right; a broader scan over groups and representations could tell whether the $(2n^{\bullet}+1)$ Freudenthal bound is optimal in general or only in selected cases.

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

I read this paper with care. The new content is real: Theorem 4.7 and its cubical version, the contractibility of the complete universe (6.5), and the Freudenthal theorem (6.10) are not in the prior literature. The definition of isovariant connectivity via the functors M_H and the reduction to ordinary Blakers–Massey is a good idea, and the line-by-line checks in Propositions 4.4 and 4.5 work. The use of a complete G-universe as a homotopy terminal object is a sensible workaround for the missing terminal object.

The main soft spot is the step at the top of the proof of Theorem 4.7: “By Lemma 3.2 of [Yea22], M_H commutes with homotopy pushouts up to homotopy.” This is load-bearing, and it is neither stated nor proved in the paper. M_H is a right adjoint, so preserving homotopy pushouts is not formal; the equivariant analogue with fixed-point functors fails in general. If the cited lemma has hidden hypotheses, then the proof of 4.7 only applies to squares satisfying them, and 6.10 inherits the problem. I would not call this a counterexample—no one has identified one—but the paper should quote the lemma, state its hypotheses, and either prove it or point to the exact place in Yea22. As written, the least secure link in the chain is outside the paper.

There are also two concrete errors in the text. Example 4.8’s first bullet overclaims: for the sign representation, the cartesian gap map is not an isovariant equivalence, since M_G of the isovariant pullback contains a fixed point that M_G(S(sigma)) does not. Only the {e}-link equivalence holds. And in the proof of Theorem 6.5, the discussion of the path gamma(s) contains false statements about left multiplication by g; the conclusion survives by coefficient comparison, but the written verification needs to be corrected.

These are correctable flaws, and the paper does not build on them. The main theorem’s dependence on the unproved lemma is the real question, and I think it deserves a referee’s scrutiny rather than a desk rejection. The paper is for people working on isovariant homotopy theory and its applications to equivariant surgery and h-cobordism; it is a serious step in that program.

Referee Report

1 major / 4 minor

Summary. This paper develops foundational results for isovariant stable homotopy theory. The main result is an isovariant Blakers–Massey theorem (Theorem 4.7): for a homotopy pushout square in the isovariant category, if the maps are isovariantly n●- and m●-connected, then the cartesian gap map is isovariantly (n●+m●−1)-connected. The proof defines isovariant connectivity via the link functors MH(−)=Map_isvt(∆^H,−) and reduces to the ordinary Blakers–Massey theorem, using commutation of MH with homotopy pushouts and pullbacks. An n-cubical generalization (Theorem 5.7) and an isovariant Freudenthal suspension theorem (Corollary 6.10) are derived. The paper also proves that a complete G-universe is isovariantly weakly contractible (Theorem 6.5), providing a homotopy terminal object that enables the definition of isovariant suspension.

Significance. If correct, the main theorems establish the isovariant analogues of two cornerstones of homotopy theory, with potential applications to equivariant surgery and h-cobordism theory. The reduction strategy is conceptually elegant: isovariant connectivity is measured through the link functors MH, and the theorems follow from classical results once the commutation properties of MH are in place. The paper is careful to provide explicit models for homotopy pullbacks and a detailed proof of the weak contractibility of the complete G-universe.

major comments (1)

[§4, proof of Theorem 4.7 (also §5.2 and §6)] The proof of Theorem 4.7 relies on the assertion 'By Lemma 3.2 of [Yea22], MH(−) commutes with homotopy pushouts up to homotopy.' This lemma is not stated in the present paper, and its hypotheses are not given. Since MH is a right adjoint (Lemma 4.2), preservation of homotopy pushouts is a non-formal property, and it is central: it is used in Theorems 4.7, 5.7, and Corollary 6.10 (through MH(SU X) ≃ SMH(X)). If Lemma 3.2 of [Yea22] requires hypotheses such as cofibrancy of the square or of the objects, then Theorem 4.7 as stated, with no such hypotheses, may be false. Please state the lemma explicitly and either prove it or give a precise reference that the reader can verify, and confirm that the squares in Sections 4 and 6 satisfy the hypotheses.

minor comments (4)

[§3, Theorem 3.2] The proof states that homotopy pushouts commute with fixed points of a finite group action. This is not true in general: for the homotopy pushout of *←G→* in G-spaces, the G-fixed points of the result are two points, whereas the homotopy pushout of the G-fixed points is a point. The theorem should include cofibrancy hypotheses (for example, that the square is a pushout of G-CW complexes) or should cite a version of Hauschild's theorem with those hypotheses.
[§6, proof of Theorem 6.5] The notation 'UH' in item (1) is ambiguous; in Definition 2.4 the isovariant H-link is denoted U^H. Please use superscript notation consistently.
[§4, Proposition 4.4] The claim that acyclic cofibrations in the elementary model structure are exactly i0×id should be accompanied by a precise reference, since the generating set J defined in Definition 2.7 consists of more complicated pushout-products.
[Throughout] There are minor typos, such as 'representationV' in Example 4.8 and the title's 'ISOV ARIANT'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the isovariant Blakers–Massey theorems are genuine reductions to the classical theorem via the M_H functors, with load-bearing lemmas cited from prior published work rather than assumed as the conclusions.

full rationale

Walking the derivation chain of Theorems 4.7, 5.7, 6.5, and 6.10: isovariant connectivity (Definition 4.6) is defined by the condition that every M_H(f) is n_H-connected, so proving that a map is k-dot-connected is literally proving that all M_H of it are k_H-connected. Theorem 4.7 supplies this by applying the ordinary Blakers–Massey theorem to the square of spaces M_H(X), M_H(Y), M_H(Z), M_H(W). For that application one needs M_H to send isovariant homotopy pushouts to homotopy pushouts of spaces and isovariant homotopy pullbacks to homotopy pullbacks. The pullback statement is proved in this paper (Propositions 4.4–4.5) from adjunction and fibration checks, not assumed. The pushout statement is the cited Lemma 3.2 of [Yea22]; although this is a self-citation, it is a prior published lemma whose hypotheses do not include the present connectivity conclusion, and the argument reduces to it rather than assuming Theorem 4.7 itself. The same reduction is repeated for the cubical theorem (5.7), where the homotopy limit commutation is proved in Proposition 5.6 rather than assumed. Theorem 6.5 is not obtained from the Blakers–Massey theorem: it is proven by checking 0-links via [MM22] and constructing explicit null-homotopies for 1-links. Corollary 6.10 then combines Theorem 6.5, Definitions 6.8–6.9, and Theorem 4.7 in a standard Freudenthal-style argument. I find no place where a target conclusion is reintroduced as a hypothesis, no fitted parameter renamed as a prediction, and no equation that is the input by construction. The dependence on [Yea22, Lem. 3.2] is the least externally supported step, but a missing or disputed lemma is a correctness risk, not circularity.

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

No free parameters: this is a proof-based topology paper; the connectivity functions n-dot and m-dot are inputs to the theorems, and all numerical content (the (n-dot + m-dot - 1) and (2n-dot + 1) bounds) is derived, not fitted. The axioms are the model-structure results of the authors' prior papers [Yea22] and [KY23], plus the fixed-point contractibility result of [MM22], all treated as independent because they are peer-reviewed, parameter-free, and do not assume the theorems proved here. The only genuinely new input is the choice to measure isovariant connectivity through linking-simplex mapping spaces, which is a definition, not a postulate. No new entities (particles, forces, dimensions, conserved quantities) are introduced: the complete G-universe and the formal terminal object are standard or from prior work, and the suspension and loop functors are constructions.

assumptions (5)

domain assumption The elementary/weak model structure on isvt-Top from [Yea22], including Lemma 3.2: MH(-) = Map_isvt(Delta^H, -) commutes with homotopy pushouts up to homotopy, and the acyclic cofibrations are the maps i0 x id: D^n x Delta^H -> D^n x [0,1] x Delta^H.
Invoked throughout Section 4: Theorem 4.7's proof is a reduction to the ordinary Blakers-Massey theorem through these commutation properties, and Proposition 4.4's fibration check uses the acyclic cofibration characterization.
domain assumption Isovariant Whitehead theorem and the reduction of isovariant weak equivalences of fibrant-cofibrant G-spaces to 0- and 1-dimensional links (Theorem 3.10 and Proposition 3.12 of [KY23]).
Used in Corollary 6.6 and Theorem 6.5: U and V are fibrant-cofibrant, so isovariant weak contractibility follows from contractibility of MH(U) for 0- and 1-dimensional chains H and H < K.
domain assumption Fixed-point subspaces of a complete G-universe are contractible (Proposition 4.6 of [MM22]).
Theorem 6.5, item (1), uses this to conclude U^H is contractible for all subgroups H.
standard math Ordinary Blakers-Massey theorem and Goodwillie's higher Blakers-Massey theorem in Top.
Theorems 4.7 and 5.7 apply these to each space-level square or cube MH(X) of the isovariant diagram.
domain assumption Isovariant maps out of the linking simplex Delta^{H<K} are identified with paths gamma with gamma(0) in the K-isotropic part and gamma(s) in the H-isotropic part for s > 0.
Used in Theorem 6.5's explicit nullhomotopy construction; it follows from the quotient description of linking simplices in Definition 2.2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An isovariant Blakers--Massey theorem." pith.science (2026). https://pith.science/paper/QRGY6WGQ

@misc{pith2026250621259,
  author       = {Pith},
  title        = {Pith review of: An isovariant Blakers--Massey theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QRGY6WGQ}},
  note         = {Machine review of arXiv:2506.21259}
}

abstract

An isovariant map is an equivariant map between $G$-spaces which strictly preserves isotropy groups. In this paper, we lay the groundwork for the study of isovariant stable homotopy theory when $G$ is a finite group. We prove an isovariant Blakers--Massey theorem and its $n$-cubical generalization, define a suitable notion of suspension (by a trivial representation sphere) in the isovariant category, and prove an isovariant Freudenthal suspension theorem.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

[1]

196 (2015), 379--397

Alexander Bykov and Ra\'ul Ju\'arez Flores, G -fibrations and twisted products , Topology Appl. 196 (2015), 379--397. 3430984

work page 2015
[2]

A. L. Blakers and W. S. Massey, The homotopy groups of a triad. II , Ann. of Math. (2) 55 (1952), 192--201. 44836

work page 1952
[3]

William Browder and Frank Quinn, A surgery theory for G -manifolds and stratified sets , 27--36. 0375348

work page
[4]

2, 1157--1202

Emanuele Dotto, Equivariant diagrams of spaces, Algebraic & Geometric Topology 16 (2016), no. 2, 1157--1202

work page 2016
[5]

Daniel Dugger, A primer on homotopy colimits, preprint (2008)

work page 2008
[6]

2, 117--136

Graham Ellis and Richard Steiner, Higher-dimensional crossed modules and the homotopy groups of (n+1)-ads, Journal of Pure and Applied Algebra 46 (1987), no. 2, 117--136

work page 1987
[7]

U ber die klassen der sph \

Hans Freudenthal, \"U ber die klassen der sph \"a renabbildungen I . gro e dimensionen. , Compositio Math. 5 (1938), 299--314

work page 1938
[8]

Goodwillie, Calculus II

Thomas G. Goodwillie, Calculus II . A nalytic functors , K -Theory 5 (1991/92), no. 4, 295--332. 1162445 (93i:55015)

work page 1991

Show all 22 references

[9]

H Hauschild, \"A quivariante homotopie I , Archiv der Mathematik 29 (1977), 158--165

1977
[10]

63, American Mathematical Society, Providence, RI, 1999

Mark Hovey, Model categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society, Providence, RI, 1999. 1650134

1999
[11]

Illman, The equivariant triangulation theorem for actions of compact L ie groups , Math

S. Illman, The equivariant triangulation theorem for actions of compact L ie groups , Math. Ann. 262 (1983), 487--507

1983
[12]

Inbar Klang and Sarah Yeakel, Isovariant homotopy theory and fixed point invariants, Advances in Mathematics 433 (2023)

2023
[13]

1408, Springer-Verlag, Berlin, 1989, Mathematica Gottingensis

Wolfgang L\" u ck, Transformation groups and algebraic K -theory , Lecture Notes in Mathematics, vol. 1408, Springer-Verlag, Berlin, 1989, Mathematica Gottingensis

1989
[14]

Gaunce Lewis, Jr., The equivariant H urewicz map , Trans

L. Gaunce Lewis, Jr., The equivariant H urewicz map , Trans. Amer. Math. Soc. 329 (1992), no. 2, 433--472. 1049614

1992
[15]

Cary Malkiewich , Parametrized spectra, a low-tech approach , arXiv e-prints (2019), arXiv:1906.04773

2019 arXiv
[16]

J. P. May, Equivariant homotopy and cohomology theory, CBMS Regional Conference Series in Mathematics, vol. 91, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1996, With contributions by M....

1996
[17]

Cary Malkiewich and Mona Merling, The equivariant parametrized h-cobordism theorem, the non-manifold part, Advances in Mathematics 399 (2022)

2022
[18]

Munson and Ismar Voli\'c, Cubical homotopy theory, New Mathematical Monographs, vol

Brian A. Munson and Ismar Voli\'c, Cubical homotopy theory, New Mathematical Monographs, vol. 25, Cambridge University Press, Cambridge, 2015. 3559153

2015
[19]

Unni Namboodiri, Equivariant vector fields on spheres, Trans. Amer. Math. Soc. 278 (1983), no. 2, 431--460. 701504

1983
[20]

Palais, The classification of G -spaces , Mem

Richard S. Palais, The classification of G -spaces , Mem. Amer. Math. Soc. 36 (1960), iv+72. 177401

1960
[21]

Charles Rezk, Introduction to quasicategories, https://faculty.math.illinois.edu/ rezk/quasicats.pdf, Course notes
[22]

Sarah Yeakel, An isovariant E lmendorf's theorem , Doc. Math. 27 (2022), 613--628. 4432523

2022

Pith tools

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

[1] [1]

196 (2015), 379--397

Alexander Bykov and Ra\'ul Ju\'arez Flores, G -fibrations and twisted products , Topology Appl. 196 (2015), 379--397. 3430984

work page 2015

[2] [2]

A. L. Blakers and W. S. Massey, The homotopy groups of a triad. II , Ann. of Math. (2) 55 (1952), 192--201. 44836

work page 1952

[3] [3]

William Browder and Frank Quinn, A surgery theory for G -manifolds and stratified sets , 27--36. 0375348

work page

[4] [4]

2, 1157--1202

Emanuele Dotto, Equivariant diagrams of spaces, Algebraic & Geometric Topology 16 (2016), no. 2, 1157--1202

work page 2016

[5] [5]

Daniel Dugger, A primer on homotopy colimits, preprint (2008)

work page 2008

[6] [6]

2, 117--136

Graham Ellis and Richard Steiner, Higher-dimensional crossed modules and the homotopy groups of (n+1)-ads, Journal of Pure and Applied Algebra 46 (1987), no. 2, 117--136

work page 1987

[7] [7]

U ber die klassen der sph \

Hans Freudenthal, \"U ber die klassen der sph \"a renabbildungen I . gro e dimensionen. , Compositio Math. 5 (1938), 299--314

work page 1938

[8] [8]

Goodwillie, Calculus II

Thomas G. Goodwillie, Calculus II . A nalytic functors , K -Theory 5 (1991/92), no. 4, 295--332. 1162445 (93i:55015)

work page 1991