{"id":"eb299d2e-0ba3-4498-a482-cf285fdb7c64","arxiv_id":"2506.21259","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For finite groups, isovariant maps that strictly preserve isotropy groups satisfy a Blakers-Massey theorem and a Freudenthal suspension theorem, once suspension is defined using a complete G-universe as a homotopy terminal object.","lead":"The paper proves isovariant versions of two foundational results in homotopy theory, the Blakers-Massey and Freudenthal suspension theorems, for maps between group actions that preserve isotropy subgroups exactly. It builds the setup for a stable isovariant homotopy theory, a tool aimed at surgery and classification problems for symmetric manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 4.7 rests entirely on the unproved claim that each M_H preserves homotopy pushouts; this is the least secure step, though no counterexample is identified.","rationale":"The reader's weakest assumption matches the step I find most load-bearing: the preservation of homotopy pushouts by the link functors M_H. The entire proof of Theorem 4.7 is a formal reduction to the classical Blakers-Massey theorem once this preservation is granted, and Theorem 5.7 repeats the same reduction for cubes. The preservation of homotopy pullbacks is proved inside this paper (Propositions 4.4-4.5) and appears sound, but the pushout preservation is merely cited from [Yea22]. Because M_H is a right adjoint, this is not a formal consequence and deserves scrutiny; however, I have not identified an actual counterexample, and the small test cases in the paper such as Example 4.8 are consistent with the claim. The other flaws noted by the reader, such as false intermediate assertions in the isotropy verification of Theorem 6.5, are correctable and do not by themselves undermine the central Blakers-Massey result. Therefore the appropriate verdict remains conditional: the paper's main theorem is plausible and formally well-linked to prior work, but the external pushout-preservation lemma is load-bearing and should be explicitly verified or precisely cited with hypotheses.","tokens_in":16411,"tokens_out":26879,"duration_ms":325726,"concrete_test":"Independently re-derive [Yea22, Lem. 3.2] from the adjunction Delta^H x (-) -| M_H, and check whether the derivation requires any hypothesis beyond the square being a homotopy pushout in isvt-Top. Then test the preservation claim on the isovariant suspension square defining S_U(X) for X = * and G = C2: compute M_H(S_U X) for each chain H and compare with S(M_H(X)); if the two are not weakly equivalent for some H, Lemma 3.2 fails and Theorem 4.7 has no proof. Also check the lemma's proof for hidden cofibrancy or finiteness assumptions that an arbitrary square in Theorem 4.7 would not satisfy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central reduction in Theorems 4.7 and 5.7 is only as sound as the assertion, cited as [Yea22, Lem. 3.2], that for every strictly increasing chain H, M_H(-) = Map_isvt(Delta^H, -) sends homotopy pushout squares in isvt-Top to homotopy pushout squares in Top up to homotopy. This is not formal: M_H is a right adjoint to Delta^H x (-), so it preserves limits, and there is no general reason for a right adjoint to preserve homotopy pushouts. In the equivariant analogue, fixed-point functors X -> X^H do not preserve homotopy pushouts without strong additional hypotheses. If [Yea22, Lem. 3.2] carries hidden conditions, such as I-cofibrancy of all vertices or cellularity of the square, then the proof of Theorem 4.7, which applies M_H to an arbitrary homotopy pushout square, would be invalid, and Corollary 6.10 inherits the problem through M_H(S_U X) = S(M_H(X)). The present paper neither states nor proves this lemma, so this is the least externally secured step in the argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":16399,"tokens_out":43211,"duration_ms":434424,"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":[{"comment":"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.","section":"§4, proof of Theorem 4.7 (also §5.2 and §6)"}],"minor_comments":[{"comment":"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.","section":"§3, Theorem 3.2"},{"comment":"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.","section":"§6, proof of Theorem 6.5"},{"comment":"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.","section":"§4, Proposition 4.4"},{"comment":"There are minor typos, such as 'representationV' in Example 4.8 and the title's 'ISOV ARIANT'.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central idea is sound, but the paper's self-containedness is a serious issue: the main proof depends on an unstated lemma from a previous paper. I recommend major revision. The authors should either reproduce Lemma 3.2 of [Yea22] or state it with full hypotheses. The proof of Theorem 3.2 also appears to contain an incorrect commutation claim, though it does not affect the main results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThere 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.\n\nThese 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.","headline":"A genuine isovariant Blakers–Massey and Freudenthal, with a clean reduction that hinges on an unproved cited lemma; worth refereeing, needs revision.","tokens_in":17243,"tokens_out":2872,"would_cite":true,"duration_ms":27662,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P91"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["isovariant maps","isovariant homotopy theory","Blakers–Massey theorem","Freudenthal suspension theorem","isovariant connectivity","homotopy pushout","complete G-universe","equivariant homotopy theory"],"falsifier":"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.","tokens_in":15938,"feed_emoji":"🔺","tokens_out":11183,"duration_ms":97499,"temperature":0.7,"pith_summary":"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.","feed_headline":"Isovariant pushout squares now have a Blakers–Massey theorem","feed_subtitle":"Connectivity estimates for symmetry-preserving maps open the door to isovariant stable homotopy theory.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the elementary model structure on the isovariant category and the key lemma that each link functor $M_H(-)$ commutes with homotopy pushouts up to homotopy.","marker":"[Yea22]"},{"why":"Provides the isovariant Whitehead theorem and the reduction of isovariant weak equivalence to 0- and 1-dimensional links used in proving that the complete $G$-universe is isovariantly weakly contractible.","marker":"[KY23]"},{"why":"Contributes Proposition 4.6 on contractibility of fixed-point spaces of complete universes, which is used in the proof of Theorem 6.5.","marker":"[MM22]"},{"why":"The equivariant Blakers–Massey theorem that the authors reprove as the template for the isovariant proof.","marker":"[Hau77]"},{"why":"The classical Blakers–Massey theorem applied linkwise to obtain the isovariant version.","marker":"[BM52]"},{"why":"The higher Blakers–Massey theorem used to prove the $n$-cubical isovariant version.","marker":"[Goo92]"}],"fun_headline_variants":["Isovariant Blakers–Massey theorem proved for pushouts","Connectivity bounds for isovariant pushout squares","Isovariant Freudenthal suspension theorem established","New results in isovariant stable homotopy theory","Symmetry-preserving maps yield Blakers–Massey theorem"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Isovariant Blakers–Massey theorem proved for pushouts","Connectivity bounds for isovariant pushout squares","Isovariant Freudenthal suspension theorem established","New results in isovariant stable homotopy theory","Symmetry-preserving maps yield Blakers–Massey theorem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000487,"raw_usage":{"total_tokens":2406,"prompt_tokens":955,"completion_tokens":1451,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":571,"completion_tokens_details":{"reasoning_tokens":1382}},"tokens_in":571,"tokens_out":1451,"duration_ms":11124,"temperature":1.0,"reasoning_tokens":1382,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T22:36:32.939450+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}