{"id":"ce422f13-cd83-4fab-8fe8-0dd64b96eabe","arxiv_id":"1908.03857","paper_version":5,"verdict":"REJECT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A proposed proof of homotopy invariance of the string topology coproduct fails because a key map does not fix the required boundary subspaces.","lead":"This paper claims to prove that the Goresky-Hingston string topology coproduct is invariant under homotopy equivalences of manifolds. The proof has a critical gap in the construction of a lift of a tubular-neighborhood diffeomorphism.","discovery_kind":"unclear","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop 3.5(1) contradicts Prop 1.4(3): the lift of h sends \\bar X3 into X3, not X3 into \\bar X3, so Lemma 3.6 and Diagram (2.1) use the wrong arrow.","rationale":"Original reader REJECT due to false fixed-point property in Prop 3.5(3). Read in good faith, that point is real but may be overkill: Lemma 3.6 only needs \\hat h_* to be identity on H(X3,\\bar B), which follows from a homotopy through maps of pairs rather than a relative homotopy fixing ∂D^k pointwise, and \\hat h does fix \\hat e(F1,2). The more serious inconsistency is the direction of \\hat h: Prop 1.4(3) says h takes \\bar N3 to N3, while Prop 3.5(1) uses the opposite. This makes the vertical comparison in Diagram (2.1) ill-defined as written. It may be repairable by replacing h with h^{-1}, but the submitted proof's central diagram is not justified. Thus the verdict REJECT remains appropriate; if a revision corrects the direction and the boundary homotopy, acceptance could be reconsidered. No external claims about non-invariance are needed to identify this internal gap.","tokens_in":26646,"tokens_out":26184,"duration_ms":271412,"concrete_test":"Re-derive the image of X3 under \\hat h directly: take (m,γ,s,x) with (m,γ(s),x)∈ν3N3 and apply \\bar e_I∘\\hat h = h∘\\bar e_I. Using h(\\barν3\\barN3)=ν3N3 from Prop 1.4(3), compute \\hat h(X3) and \\hat h(\\bar X3). If the result is \\hat h(\\bar X3)⊂X3, then Lemma 3.6 should use the lift of h^{-1}; rerun the proof of Lemma 3.6 with that replacement and check whether subdiagram (8) commutes, including the boundary ∂D^k term. This single check decides whether the misdirected arrow is the obstruction or just a typo.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 1.4(3) constructs h with h∘\\barν3 = ν3∘φ, hence h(\\barν3\\barN3)=ν3N3 and h^{-1}(ν3N3)=\\barν3\\barN3. Proposition 3.5 then defines \\hat h by \\bar e_I∘\\hat h = h∘\\bar e_I and asserts \\hat h(X3)⊂\\bar X3 and \\hat h(X3^c)⊂\\bar X3^c. This does not follow: for x∈X3, \\bar e_I(x)∈ν3N3, so \\bar e_I(\\hat h(x))=h(ν3N3), which is not \\barν3\\barN3; in fact \\hat h(\\bar X3)⊂X3. Lemma 3.6, which proves subdiagram (8), explicitly requires a map H(X3,\\bar B)→H(\\bar X3,\\bar B), and Diagram (2.1) uses that arrow. The proof as written therefore does not establish the commutativity of the central diagram. Replacing \\hat h by the lift of h^{-1} would repair the direction, so this is a correctable error, but it is a genuine gap in the submitted text. The reader's separate objection to Prop 3.5(3) is also valid: s' = max(|x-e(m)|,s) moves time on Λ×I×∂D^k, so the claimed relative homotopy is false; however Lemma 3.6 may only need a maps-of-pairs homotopy, making that part less decisive than the direction error.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims Theorem A: if f:M1→M2 is a homotopy equivalence between closed oriented manifolds, then the induced map Λf commutes with the Goresky–Hingston string topology coproducts ∨ and ∨̂, and with the associated cohomology products, up to the sign deg(f). The proof adapts the Gruher–Salvatore proof of homotopy invariance of the Chas–Sullivan product to the coproduct, working with the Thom–Pontryagin description of the relevant operations. Section 1 gives a warm-up proof of homotopy invariance of the intersection product using composed tubular neighborhoods. Section 2 sets up the key diagram (2.1), whose commutativity is analyzed in twelve subdiagrams in Section 3. The central technical object is a lift ĥ of the diffeomorphism h of Proposition 1.4, which is supposed to interchange the two tubular neighborhoods X3 and ̄X3 of the relevant embeddings. Appendix A proves the composition properties of tubular embeddings used throughout. The paper is self-contained modulo standard differential topology and the authors' previous paper [15] for the definition of the coproduct.","tokens_in":26979,"tokens_out":5952,"duration_ms":52159,"significance":"If the central claim is correct, the paper settles a natural open problem: it establishes that a compactified string topology operation, the Goresky–Hingston coproduct, is a homotopy-type invariant, and it does so with an explicit chain-level diagram. The strategy of lifting the Thom–Pontryagin proof for the intersection product is attractive and is presented carefully, with all subdiagrams itemized and an appendix devoted to the technical composition lemma. The paper also makes a useful contribution by clarifying which parts of the invariance statement are formal and which require invertibility of specific maps. However, the proof as written has a load-bearing gap in the construction of the map ĥ in Section 3.6, and the announced theorem is not established by the submitted text.","major_comments":[{"comment":"The direction of the lift ĥ is wrong relative to Proposition 1.4(3). Proposition 1.4(3) states that h∘̅ν3 = ν3∘φ, hence h(̅ν3̅N3) = ν3N3 and h^{-1}(ν3N3) = ̅ν3̅N3. Since ̅eI∘ĥ = h∘̅eI, for x∈̅X3 we get ̅eI(ĥ(x)) = h(̅eI(x)) ∈ h(̅ν3̅N3) = ν3N3, so ĥ(̅X3)⊂X3. The asserted inclusions ĥ(X3)⊂̅X3 and ĥ(X3^c)⊂̅X3^c do not follow and are generally false. Lemma 3.6 requires a map H*(X3,̅B1,2)→H*(̅X3,̅B1,2), and Diagram (2.1) uses exactly that arrow. As written, subdiagram (8) is not proved, and the outer commutativity of the central diagram is not established. This error is correctable: defining ĥ via a lift of h^{-1} instead of h gives ĥ(X3)⊂̅X3, and the required fixed-point properties for h^{-1} are available from Proposition 1.4 because h is isotopic to the identity relative to the 0-section and boundary. The gap is genuine but local.","section":"§3.6, Proposition 3.5(1)"},{"comment":"The claimed relative homotopy to the identity is false as stated. The definition of ĥ changes the time parameter through s′ = max(|x−e(m)|,s) for s≤1/2. For a point in Λ1,2×I×∂D^k with |x−e(m)|>s, the third coordinate x is fixed by h (which fixes M1×M2×∂D^k), but s′ differs from s, so ĥ does not fix Λ1,2×I×∂D^k pointwise. Consequently ĥ is not homotopic to the identity relative to Λ1,2×I×∂D^k ∪ ê(F1,2), as asserted. Lemma 3.6 and Proposition 3.11 invoke exactly this property. It is possible that a map-of-pairs homotopy is sufficient for the naturality argument in Lemma 3.6, but the relative statement in the manuscript is incorrect and must be repaired or weakened explicitly.","section":"§3.6, Proposition 3.5(3)"},{"comment":"The proof of Theorem A depends on commutativity of the whole Diagram (2.1). The two issues above concern subdiagram (8), which is the one that connects the two different tubular neighborhoods X3 and ̅X3. Since the direction of ĥ is wrong, the claim 'by Sections 3.1–3.8, we know that each subdiagram in Diagram (2.1) commutes' is not supported. This is a load-bearing point, not a stylistic detail: the outside square of Diagram (2.1) is the heart of the homotopy-invariance proof. The error is repairable within the manuscript's scope, but the present text does not contain a correct proof of the central diagram.","section":"§3.9, proof of Theorem A"}],"minor_comments":[{"comment":"The sentence 'We repeat here that the is not the optimal result' is missing a word; it should read 'this is not the optimal result' or similar.","section":"Section 1, after Proposition 1.7"},{"comment":"The source in the displayed homology group is written as H_{*+k}(Λ1,2×I×D^k, Λ1,2×I×D^k∪̅B1,2); this should be Λ1,2×I×∂D^k ∪ ̅B1,2, as in the surrounding text.","section":"Lemma 3.6"},{"comment":"The phrase 'for h the diffeomorphism of Proposition 1.4(2)' is imprecise: h is the diffeomorphism constructed in the statement and proof of Proposition 1.4, not item (2) of that proposition.","section":"Proposition 3.5"}],"recommendation":"major_revision","confidential_remarks":"The direction error in Proposition 3.5(1) is the main obstacle. I agree with the stress-test note that replacing ĥ by the lift of h^{-1} repairs the direction, and that the relative-homotopy issue in Proposition 3.5(3) might be softened to a map-of-pairs homotopy. The overall strategy is credible and the paper is carefully structured, but the central diagram is not proved in the submitted version. This is a correctable, local gap rather than a fundamental obstruction, so major revision is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The claim is the right one and the paper is serious: Hingston and Wahl assert homotopy invariance of the Goresky-Hingston string topology coproduct, a natural next step after invariance of the Chas-Sullivan product. The overall strategy, lifting the Thom-Pontryagin proof of intersection-product invariance to loop space with the Gruher-Salvatore intermediate spaces, is sensible. Section 1's warm-up is clean and genuinely useful, and the construction of the intermediate spaces W^1_{1,2} and Λ_{1,2} is well thought out. Many subdiagrams (1)–(7) and (9)–(12) are checked carefully. The paper is self-contained modulo [15], and the self-citation there is for definitions, not for the target result.\n\nThe proof has a load-bearing gap in Proposition 3.5. Proposition 1.4(3) says h∘¯ν₃ = ν₃∘φ, so h maps ¯X₃ onto X₃. Proposition 3.5(1) claims the lift Ŵh satisfies Ŵh(X₃)⊂¯X₃ and Ŵh(X₃^c)⊂¯X₃^c. That is the reverse direction; the intertwining relation âe_I∘Ŵh = h∘âe_I actually gives Ŵh(¯X₃)⊂X₃. The assertion as written contradicts the authors' own Proposition 1.4. Lemma 3.6 needs a map H_*(X₃)→H_*(¯X₃), and Diagram (2.1) uses that arrow; with the direction reversed, the central diagram does not commute as written. This is not a cosmetic typo. The likely fix is to lift h^{-1} instead of h, and to recheck Thom class compatibility, so the gap is probably repairable, but it is real.\n\nThe reader's separate objection to Prop 3.5(3) is also correct: the formula s' = max(|x−e(m)|, s) moves the time parameter for points with x∈∂D^k, so Ŵh is not homotopic to the identity relative to that subspace. The weaker property of being homotopic through maps preserving Λ_{1,2}×I×∂D^k ∪ ¯B may suffice for Lemma 3.6, so this is less decisive than the direction error, but the statement as written is false.\n\nVerdict: major revision, not accept. The claim is likely true and much of the machinery is sound, but a serious referee should demand a corrected Proposition 3.5 and a re-verified Diagram (2.1). Given the importance of the claimed result, I would send it to peer review rather than desk reject, but the current version should not be accepted.","headline":"Important claim and a serious proof attempt, but a load-bearing direction error in the lift Ŵh leaves the main theorem unproven as written.","tokens_in":27494,"tokens_out":11817,"would_cite":false,"duration_ms":106361,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P35","55P50"],"pacs":[],"model":"deepseek-v4-flash","headline":"For closed oriented manifolds, the Goresky-Hingston string topology coproduct commutes with the map induced by a homotopy equivalence up to the sign deg(f), making the coproduct a homotopy-type invariant.","keywords":["string topology","Goresky-Hingston coproduct","homotopy invariance","free loop space","Chas-Sullivan product","Thom-Pontryagin construction","tubular neighborhoods","intersection product"],"falsifier":"Compute both sides of the coproduct invariance diagram for an explicit degree-one homotopy equivalence between closed oriented manifolds, for instance a self-map of a high-dimensional torus that is a homotopy equivalence but not a diffeomorphism, and check whether the coproduct of a chosen homology class changes by exactly $\\deg(f)$; any other factor would refute Theorem A.","tokens_in":26411,"feed_emoji":"🔁","tokens_out":19329,"duration_ms":170825,"temperature":0.7,"pith_summary":"This paper establishes that the Goresky-Hingston coproduct in string topology—an operation that cuts a loop at a self-intersection at its basepoint—is homotopy invariant, just as the Chas-Sullivan product (concatenation of loops at a common basepoint) was already known to be. A homotopy equivalence $f$ between closed oriented manifolds intertwines the coproduct on the relative loop-space homology with the coproduct on the target, up to the sign of the degree of $f$; the same holds for the extension-by-zero coproduct and for the associated cohomology products. This matters because the coproduct detects how many times loops in a chain must self-intersect at their basepoint, and the paper shows that any quantity it detects depends only on the homotopy type of the manifold. The proof lifts to the free loop space the Thom-Pontryagin construction of the intersection product, carrying the boundary terms that make the coproduct a relative operation.","feed_headline":"String-topology coproduct is homotopy invariant","feed_subtitle":"A homotopy equivalence preserves the Goresky-Hingston coproduct up to a sign, so self-intersection counts are homotopy invariants.","key_machinery":"The central device is a lift to loop space of the Thom-Pontryagin definition of the intersection product. The authors embed $M_1$ into $M_2\\times D^k$, form two tubular neighborhoods of the composed embedding with isomorphic normal bundles, and use the uniqueness of tubular neighborhoods to obtain a diffeomorphism $h$ of $M_1\\times M_2\\times D^k$; this $h$ is then lifted to a map $\\widehat{h}$ of the loop-space product $\\Lambda_{1,2}\\times I\\times D^k$ that identifies the two pulled-back neighborhoods while preserving the self-intersecting subspace. The retractions $R_i$, which add a geodesic stick to make a loop meet its basepoint at time $s$, convert the geometric comparison into the commutativity of a twelve-piece diagram (2.1); the sign $\\deg(f)$ enters through the comparison of Thom classes.","core_discovery":"Theorem A of the paper asserts that for $f\\colon M_1\\to M_2$ a homotopy equivalence between closed oriented manifolds, the diagram for the relative coproduct $\\vee$ on $H_*(\\Lambda M_i, M_i)$ commutes with $\\Lambda f$ up to the sign $\\deg(f)$, and the same is true for the extended coproduct $\\widehat{\\vee}$ on $H_*(\\Lambda M_i)$. Consequently the cohomology products $\\circledast$ and $\\widehat{\\circledast}$ are respected by the induced map in cohomology up to the same sign. In particular, any quantity measured by these operations depends only on the homotopy type of the manifold; the coproduct detects the largest number of simultaneous basepoint self-intersections that must appear in any chain representing a given loop-space homology class, and that number is a homotopy invariant.","pith_inferences":["If Theorem A is correct, any purported formula describing a failure of the coproduct to commute under homotopy equivalences must have an obstruction that vanishes identically for homotopy equivalences; verifying that vanishing is a direct test of the paper's claim.","The sign factor $\\deg(f)$ parallels the behaviour of the classical intersection product under degree-$d$ maps, suggesting a potential analogue: the coproduct may be invariant up to a scaling factor for maps of degree $d$, not just $\\pm 1$, if the proof's hypotheses are relaxed.","The method may extend to other compactified string operations via the harmonic compactification of moduli space; the paper leaves that as an open question, so testing it on the next simplest operation would be a natural next step."],"forward_implications":["Any invariant derived from the Goresky-Hingston coproduct, such as basepoint self-intersection multiplicity, becomes a homotopy-type invariant of closed oriented manifolds.","The extension-by-zero coproduct on the full loop space homology is homotopy invariant, so the statement covers classes that are not visible in the relative homology of loops versus constant loops.","The cohomology products $\\circledast$ and $\\widehat{\\circledast}$ are homotopy invariant as well, transferring the result to the cohomological side through the universal coefficient theorem.","The proof demonstrates that compactified string operations—not just the Chas-Sullivan product—can be homotopy invariant, though the authors do not claim their arguments extend to all such operations."],"supporting_citations":[{"why":"supplies the proof strategy of lifting the intersection-product invariance to the loop space via intermediate spaces","marker":"[12]"},{"why":"provides the definition of the coproduct $\\vee$ and the retraction maps $R_i$ that add geodesic sticks","marker":"[15]"},{"why":"sets up the Cohen-Jones Thom-Pontryagin framework for string topology operations that the proof lifts","marker":"[6]"},{"why":"defines the Goresky-Hingston cohomology product $\\circledast$ that Theorem A shows is homotopy invariant","marker":"[11]"},{"why":"supplies the uniqueness theorem for tubular neighborhoods used to construct the diffeomorphism $h$ and its lift $\\widehat{h}$","marker":"[16]"},{"why":"provides the lemma on homotopy equivalences used to prove that the intermediate-space map $f'_2$ is a homotopy equivalence","marker":"[22]"},{"why":"introduced the coproduct $\\vee$ whose homotopy invariance is the paper's central theorem","marker":"[20]"}],"fun_headline_variants":["String coproduct is homotopy invariant up to sign","Loop self-intersections are homotopy invariants","Coproduct homotopy invariance: sign matters","Homotopy equivalence preserves coproduct up to sign","String coproduct invariance: homotopy type suffices"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that the lifted diffeomorphism $\\widehat{h}$ can be chosen to fix pointwise the boundary of the disc and the self-intersecting loops; the commutativity of the central diagram that carries the invariance argument depends on that fixed-point property.","fun_headline_variants_meta":{"raw":{"variants":["String coproduct is homotopy invariant up to sign","Loop self-intersections are homotopy invariants","Coproduct homotopy invariance: sign matters","Homotopy equivalence preserves coproduct up to sign","String coproduct invariance: homotopy type suffices"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001217,"raw_usage":{"total_tokens":4941,"prompt_tokens":815,"completion_tokens":4126,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":431,"completion_tokens_details":{"reasoning_tokens":4044}},"tokens_in":431,"tokens_out":4126,"duration_ms":28776,"temperature":1.0,"reasoning_tokens":4044,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:03:07.399337+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of the coproduct invariance diagram for an explicit degree-one homotopy equivalence between closed oriented manifolds, for instance a self-map of a high-dimensional torus that is a homotopy equivalence but not a diffeomorphism, and check whether the coproduct of a chosen homology class changes by exactly $\\deg(f)$; any other factor would refute Theorem A.","supporting_citations":[{"cited_title":"Generalized string topology operations","cited_arxiv_id":null,"evidence_quote":"supplies the proof strategy of lifting the intersection-product invariance to the loop space via intermediate spaces"},{"cited_title":"Cohen and John D","cited_arxiv_id":null,"evidence_quote":"sets up the Cohen-Jones Thom-Pontryagin framework for string topology operations that the proof lifts"},{"cited_title":"Loop products and closed geodesics","cited_arxiv_id":null,"evidence_quote":"defines the Goresky-Hingston cohomology product $\\circledast$ that Theorem A shows is homotopy invariant"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the uniqueness theorem for tubular neighborhoods used to construct the diffeomorphism $h$ and its lift $\\widehat{h}$"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the lemma on homotopy equivalences used to prove that the intermediate-space map $f'_2$ is a homotopy equivalence"},{"cited_title":"Open and closed string field theory interpreted in classical algebraic topology","cited_arxiv_id":null,"evidence_quote":"introduced the coproduct $\\vee$ whose homotopy invariance is the paper's central theorem"}],"review_version":1}