{"id":"a0bb2c71-f114-45c0-ad0f-6ba4744b683e","arxiv_id":"1908.07451","paper_version":5,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A relative higher rho invariant for PL manifolds with boundary is shown to be additive and to fit into a commutative surgery-to-analysis diagram.","lead":"This paper defines a relative higher rho invariant for PL manifolds with boundary and proves it is an additive group homomorphism from the relative structure group to K-theory of a relative obstruction algebra. It extends the Weinberger-Xie-Yu additivity theorem from closed topological manifolds to manifolds with boundary.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.16 asserts the relative normal-group identification that underlies STOP(X,∂X) ≅ S_n(X,∂X); its one-line proof is the least secure load-bearing step, and the omitted product formula (Theorem 6.5) is a second unresolved hinge.","rationale":"Reader's weakest assumption matches mine; I agree. The crucial advertised map is from the classical relative structure group, and every route to that domain uses Theorem 2.16. The proof offered is not a proof: it asserts the two algebraic normal invariant maps are isomorphisms and stops. Because the rest of Section 2 (Theorem 2.20, Lemmas 2.21/2.22, Theorem 2.23) is a long exact sequence and five-lemma bookkeeping once the identifications are given, Theorem 2.16 carries the entire weight of the topological interpretation of S_n. The product formula in Theorem 6.5 is a second load-bearing step for the additivity claim: without it, rel^ρ and the Mayer-Vietoris argument in Theorem 6.6 do not imply Corollary 6.7. I would not reject the paper: the asserted identifications are plausible and likely fillable from the cited control-topology literature, and no internal contradiction is apparent. The conditional verdict stands; the authors should supply the missing proofs or precise citations before the advertised group-homomorphism statement is accepted.","tokens_in":42106,"tokens_out":10335,"duration_ms":107466,"concrete_test":"Provide a complete proof of Theorem 2.16 for the cases actually used, i=0 and i=1 (and i=4 if the periodicity application is retained), by constructing the inverse of α* explicitly and deriving the algebraic normal invariant isomorphism N^{TOP}_{∂+}(X×D^i,∂(X×D^i)) ≅ H_{n+i}(X,∂X;L•) from a named theorem in [8] or [28] rather than from the phrase 'by the idea of control topology'. If the ∂+-relative normal group fails to have the asserted algebraic normal invariant isomorphism in either case, Theorem 2.23 and the advertised domain of relρ collapse; if it succeeds, the conditional verdict can be upgraded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's advertised conclusion is that relρ is a group homomorphism on the classical relative topological structure group STOP(X,∂X). That conclusion passes through Theorem 2.23, whose isomorphism STOP(X,∂X) ≅ S_n(X,∂X;ω) is obtained by a five-lemma argument from Theorem 2.20. Theorem 2.20 in turn depends on Theorem 2.16, the identification α*: N^{TOP}_{∂+}(X×D^i,∂(X×D^i)) → N_{n+i}(X,∂X;ω). The proof of Theorem 2.16 is a single diagram: it asserts that the algebraic normal invariant maps on both sides are isomorphisms to H_{n+i}(X,∂X;L•), 'by the idea of control topology [8,28]'. No inverse of α* is constructed, and no theorem in [8] or [28] is quoted that covers the ∂+-relative normal group with its restriction-to-homeomorphism condition. This matters for i=0 (ordinary relative normal maps) and i=4 (Siebenmann periodicity) as well as i=1. If the identification is not an isomorphism, the normal terms in the relative surgery exact sequence are wrong, the five-lemma argument for Lemma 2.21 and Lemma 2.22 cannot run, and the domain of relρ is only the formally defined S_n, not the classical structure set. Additivity itself has a second explicit gap: Theorem 6.5 (product formula) is stated with 'The proof is elementary and exactly the same with the proof of Theorem 6.8 of [27] (Appendix D of [27]). We thus omit the details', and it is exactly this formula that converts the Mayer-Vietoris comparison in Theorem 6.6 into the group-homomorphism statement of Corollary 6.7. The paper also invokes Proposition 3.5 from [4] (to appear) and asserts its PL extension 'verbatim', which is an unverified dependence. None of this is an internal contradiction, but each is a load-bearing assertion left to the reader.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper extends the Weinberger–Xie–Yu framework for additive higher rho invariants from closed topological/PL manifolds to PL manifolds with boundary. The authors define a controlled relative structure group S_n(X,∂X;ω) whose addition is disjoint union, prove a relative surgery exact sequence in this category, and show for dim X ≥ 6 that S_n(X,∂X;ω) is isomorphic to the classical relative topological structure group STOP(X,∂X). They then introduce the relative obstruction algebra C*_{L,0}(~X,~∂X)_{G,Γ}, define a relative higher rho invariant relρ valued in its K-theory, prove that relρ is well defined and additive on S_n(X,∂X;ω), and assemble the relative surgery and analytic K-theory sequences into the commutative diagram (1.1) (Theorem 6.8).","tokens_in":42492,"tokens_out":7942,"duration_ms":76367,"significance":"The paper's main contribution, if all steps are made rigorous, is to make the relative structure group an abelian group in a geometrically transparent way and to produce an additive secondary invariant mapping the relative surgery sequence into operator K-theory. This would generalize the closed-manifold additivity theorem of [27] and supply a relative version of 'mapping surgery to analysis,' with potential applications to relative Novikov-type rigidity questions. The authors deserve credit for giving full definitions of the controlled groups and relative C*-algebras and for clearly stating the main theorems. The main caveats are that several load-bearing steps are quoted from or left to the reader rather than proved in the text.","major_comments":[{"comment":"The isomorphism α_*: N^{TOP}_{∂+}(X×D^i, ∂(X×D^i)) → N_{n+i}(X,∂X;ω) is load-bearing: it is used in Theorem 2.20 and, through the five-lemma argument, in Lemma 2.21 and Theorem 2.23 to identify S_n(X,∂X;ω) with the classical STOP(X,∂X). The proof is a single diagram asserting that the algebraic normal invariant maps on both sides are isomorphisms onto H_{n+i}(X,∂X;L•) 'by the idea of control topology [8,28]'. No inverse of α_* is constructed, and no specific result in [8] or [28] is quoted that covers the ∂+-relative normal group with its restriction-to-homeomorphism condition. Without a proof or a precise citation at this level of generality, the identification between the formally defined S_n and the classical relative structure group is not established; this in turn affects the interpretation of relρ as a map on STOP(X,∂X).","section":"Section 2, Theorem 2.16"},{"comment":"Theorem 6.5, the product formula kn α_*(relρ(θ)⊗Ind_L(R)) = relρ(θ×R), is the step that identifies the geometrically defined relρ with the cone construction relρ̂ and is used in Corollary 6.7 to prove additivity. The proof in the text says only that it is 'elementary and exactly the same with the proof of Theorem 6.8 of [27] (Appendix D of [27])' and omits the details. Since [27] treats closed manifolds and the present setting has boundary and corner contributions, the transfer is not automatic; the boundary conditions in the relative localization algebra need to be verified explicitly. As written, the main additivity theorem rests on an unproved assertion.","section":"Section 6.3, Theorem 6.5"},{"comment":"The commutativity of the central diagram connecting L_{n+1}(π_1X, π_1∂X, X), S_n(X,∂X), and the K-theory of the relative obstruction algebra is established by 'direct comparison' after displaying liftings a_{θ×[0,1]} and a_{θ×R}. This comparison is the heart of the proof that relρ is a group homomorphism, and the text does not carry out the computation of ∂_*(relρ̂(θ×[0,1])) and ∂_MV(relρ(θ×R)) in sufficient detail to verify equality. A more explicit proof, or at least a reduction to the closed case that tracks the relative boundary terms, is needed before Corollary 6.7 can be considered proved.","section":"Section 6.3, Theorem 6.6"},{"comment":"Theorem 3.6, the quantitative K-theory vanishing for the relative obstruction algebra, is proved by invoking Proposition 3.5 of Chen–Yu–Liu [4] and asserting that 'the argument... can be applied verbatim to a PL manifold.' Proposition 3.5 is stated for complete manifolds with a proper, free, cocompact group action by isometries, whereas the present paper needs PL manifolds with boundary equipped with simplicial metrics. The adaptation requires checking bounded geometry and cocompactness of the universal cover boundary pair, and because [4] has a co-author in common with the present paper, the reader cannot simply take this extension on faith. This vanishing is used in Lemma 6.2 to show that relρ vanishes on infinitesimally controlled maps, so it is load-bearing for the well-definedness of relρ on S_n.","section":"Section 3.3, Theorem 3.6"}],"minor_comments":[{"comment":"In item 2 of Definition 2.7, the formula `∂V = N (=∂1V)∪∂2W∪∂3W` appears to be a typo for `∂V = N (=∂1V)∪∂2V∪∂3V`.","section":"Definition 2.7"},{"comment":"In the statement of Theorem 5.5, the displayed formula `i∗(relIndL(M,∂M ) = 0` is missing a closing parenthesis.","section":"Theorem 5.5"},{"comment":"The name 'Mayor-Vietoris' should be 'Mayer–Vietoris' in the discussion of the sequences and connecting maps.","section":"Section 6.3"},{"comment":"The notation for the relative structure set is not uniform: `STOP(X,∂X)`, `STOP_∂(X,∂X)`, and `STOP_∂(X,∂X;ω)` are used in Theorem 2.20 and Lemmas 2.21–2.23; the authors should fix one convention.","section":"Section 2, Lemmas 2.21–2.23"},{"comment":"There are scattered typos such as 'discripition', 'homotopoy', and 'opressed'; a careful proofreading pass is recommended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper depends heavily on the to-appear paper [27] and on [4], the latter co-authored by the second author. Given that several load-bearing proofs are omitted or asserted to follow by analogy, I recommend asking the authors to supply full details for Theorems 2.16 and 6.5–6.6 before publication. The topic is appropriate for the journal and the overall direction is promising."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a relative version of Weinberger–Xie–Yu: it defines a controlled relative structure group S_n(X,∂X;ω), proves it is isomorphic to the classical relative structure group, and constructs a relative higher ρ map into K-theory of the relative obstruction algebra that fits into a commutative surgery-to-analysis diagram. That much is genuinely new. The strategy is the right one, and the execution in Sections 4–5 is mostly careful: the homotopy and bordism invariance arguments for the relative signature and relative K-homology classes are spelled out in detail, and the Hilbert–Poincaré 2-ads machinery is adapted without obvious mistakes.\n\nThe soft spots are exactly where the paper leans on assertions. Theorem 2.16, the identification of the ∂+-relative normal group with the controlled normal group, is supported by a single diagram saying both sides have the same algebraic normal invariants, 'by the idea of control topology.' No inverse of α* is constructed, and no quoted theorem covers exactly this relative ∂+ setting. The later isomorphism between STOP(X,∂X) and S_n(X,∂X;ω) runs through this step, so it is load-bearing. The second hinge is Theorem 6.5, the product formula, whose proof is omitted with the explanation that it is 'elementary and exactly the same' as Appendix D of [27]. Since that formula is what turns the Mayer–Vietoris comparison into the group-homomorphism statement, omitting it is not just a cosmetic shortcut. A third concern is the reliance on Proposition 3.5 from Chen–Yu–Liu [4], a to-appear paper with the second author as coauthor; the PL extension is asserted 'verbatim' rather than proved.\n\nNone of this is an internal contradiction, and I do not think any of it is fatal. All three gaps look fillable by following [27] closely. But they are genuine gaps, and they are all central to the advertised conclusions. This is not a desk-reject paper. A serious referee should ask for the missing details, especially for Theorem 2.16 and Theorem 6.5, and for a precise statement of what is being imported from [4].\n\nWho should read it: people working on higher rho invariants, relative index theory, and surgery-to-analysis maps. I would not cite it in its current form, but I would be glad to see it after revision. Send it to peer review.","headline":"A genuinely new relative version of Weinberger–Xie–Yu, but two load-bearing shortcuts (normal-group identification and product formula) need real proofs before I'd rely on it.","tokens_in":43072,"tokens_out":2990,"would_cite":false,"duration_ms":29152,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57R67","19K56","19J25","46L80"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the relative higher rho invariant is a group homomorphism from the relative topological structure group of PL manifolds with boundary to the K-theory of the relative obstruction algebra, making the relative surgery…","keywords":["relative higher rho invariant","relative structure group","relative surgery exact sequence","relative L-theory","relative obstruction algebra","controlled topology","operator K-theory","manifolds with boundary"],"falsifier":"Take $X=M\\times[0,1]$ for a closed PL manifold $M$ with a nontrivial higher rho class, and let $\\theta\\in S_n(X,\\partial X)$ come from a nontrivial homotopy equivalence of $M$. Compute both sides of the product formula $\\mathrm{rel}\\rho(\\theta\\times\\mathbb{R})=k_n\\alpha_*(\\mathrm{rel}\\rho(\\theta)\\otimes \\mathrm{Ind}_L(\\mathbb{R}))$ in the K-theory of the relative obstruction algebra; a mismatch disproves the additivity theorem. Equally directly, one can compare $\\mathrm{rel}\\rho(\\theta_1+\\theta_2)$ with $\\mathrm{rel}\\rho(\\theta_1)+\\mathrm{rel}\\rho(\\theta_2)$ under the disjoint-union addition for two explicitly given elements.","tokens_in":41810,"feed_emoji":"","tokens_out":12293,"duration_ms":118097,"temperature":0.7,"pith_summary":"The paper asks whether the secondary invariant that measures failure of a homotopy equivalence between piecewise-linear (PL) manifolds with boundary to be locally controlled can be made additive. Its answer is yes: after introducing a controlled relative structure group whose addition is disjoint union, it proves that the relative higher rho invariant is a well-defined group homomorphism from this group to the K-theory of the relative obstruction algebra. It also proves that the entire relative topological surgery exact sequence maps commutatively into the K-theory exact sequence of relative geometric C*-algebras. This matters because additivity is what turns the rho invariant from a set-valued label into a homomorphism, opening the way to detect non-rigidity and to compare surgery obstructions with analytic index-theoretic obstructions in the presence of a boundary.","feed_headline":"Higher rho invariants proven additive for manifolds with boundary","feed_subtitle":"The relative surgery exact sequence now maps into K-theory, making the rho invariant a group homomorphism.","key_machinery":"The load-bearing object is $S_n(X,\\partial X;\\omega)$: a controlled relative structure group whose elements are homotopy equivalences of manifold 2-ads over $(X,\\partial X)$, with the positive-boundary part an infinitesimally controlled homotopy equivalence over $X$, and whose addition is disjoint union. The paper proves this group is isomorphic to the classical relative topological structure group, using topological periodicity, which makes the statement that $\\mathrm{rel}\\rho$ is additive meaningful on the classical object. The analytic side is carried by three relative geometric C*-algebras: the relative Roe algebra, the relative localization algebra, and the relative obstruction algebra $C^*_{L,0}(\\tilde X,\\tilde\\partial X)_{G,\\Gamma}$, all built from the mapping-cone C*-algebra of the inclusion $\\partial X\\to X$. The invariant $\\mathrm{rel}\\rho$ is assembled by concatenating the path, from the mapping-surgery-to-analysis construction, that kills the signature class of the difference $M\\sqcup -N$ with the relative K-homology path; additivity is proved through an auxiliary homomorphism $\\mathrm{rel}\\hat\\rho$ on an L-theory group of manifold 3-ads, together with the product formula $\\mathrm{rel}\\rho(\\theta\\times\\mathbb{R})=k_n\\alpha_*(\\mathrm{rel}\\rho(\\theta)\\otimes \\mathrm{Ind}_L(\\mathbb{R}))$.","core_discovery":"The central claim is Theorem 6.8: for a compact PL manifold with boundary $(X,\\partial X)$ of dimension $n\\ge 6$, the relative higher rho invariant $\\mathrm{rel}\\rho$ induces a group homomorphism from the relative structure group $S_n(X,\\partial X;\\omega)$ (a group whose operation is disjoint union, shown isomorphic to the classical relative structure group) to the K-theory group $K_n(C^*_{L,0}(\\tilde X,\\tilde\\partial X)_{G,\\Gamma})$ of the relative obstruction algebra, and the surgery-to-analysis diagram (1.1) commutes. In the course of the proof the paper establishes a new description of the relative topological surgery exact sequence, identifies the classical relative structure group with the controlled group $S_n(X,\\partial X;\\omega)$, and shows that the relative signature class, the relative K-homology class of the signature operator, and $\\mathrm{rel}\\rho$ fit into the analytic surgery exact sequence via $\\mathrm{relInd}$ and $\\mathrm{relInd}_L$.","pith_inferences":["One natural extension is to use the additivity of $\\mathrm{rel}\\rho$ to distinguish elements in relative structure groups in explicit examples, for instance manifolds with boundary arising from spin geometry or positive scalar curvature, where the K-theory of the relative obstruction algebra is more computable.","The same disjoint-union group structure may be the right domain for secondary invariants in other controlled settings, such as stratified spaces or foliations, where control is imposed along a subspace instead of a boundary.","Because the identification of the controlled normal group with the classical one is only sketched, a fully detailed proof of that step would determine exactly which fundamental groups and orientation characters the present statement covers; the analytic construction itself is likely to remain well defined on the controlled group regardless."],"forward_implications":["Additivity of $\\mathrm{rel}\\rho$ means the invariant behaves linearly under disjoint union in the relative structure group, so it can serve as a group homomorphism rather than merely a label on each structure element.","The isomorphism $S_n(X,\\partial X;\\omega)\\cong S^{TOP}(X,\\partial X)$ supplies an explicit abelian group structure on the classical relative structure set for $n\\ge 6$, with addition by disjoint union.","The commutative diagram (1.1) makes the relative topological surgery exact sequence compatible with the K-theory exact sequence of relative geometric C*-algebras, so L-theoretic surgery obstructions and normal invariants map to analytic index classes coherently.","By Lemma 6.2, $\\mathrm{rel}\\rho$ vanishes on infinitesimally controlled homotopy equivalences, so a nonzero value is an obstruction to making a boundary-preserving homotopy equivalence controlled.","The product formula computes $\\mathrm{rel}\\rho$ after crossing with the real line, giving a suspension behavior for the invariant that matches the closed-manifold case."],"supporting_citations":[{"why":"Supplies the method this paper extends: a new disjoint-union description of the topological structure group and the additivity of higher rho invariants for closed manifolds.","marker":"[27]"},{"why":"Provides the classical relative topological surgery exact sequence and relative L-groups that the paper's controlled sequence is compared with.","marker":"[26]"},{"why":"Supplies the analytic signature class of Hilbert-Poincaré complexes, the starting point for the relative signature and rho constructions.","marker":"[9]"},{"why":"Supplies the geometric signature class and homotopy-invariance paths used to define $\\mathrm{rel}\\rho$.","marker":"[10]"},{"why":"Supplies the K-theory exact sequence of geometric C*-algebras, the analytic target of the commutative diagram.","marker":"[11]"},{"why":"Defines the relative Roe, localization, and obstruction algebras and the relative index for manifolds with boundary, on which the analytic side of the paper is built.","marker":"[3]"},{"why":"Supplies the geometric interpretation of periodicity in topological surgery used to make the relative structure group a group and to prove its isomorphism with the controlled group.","marker":"[2]"},{"why":"Supplies the explicit addition on $\\partial_+$-relative structure and normal groups used for the group structure of the relative structure set.","marker":"[5]"},{"why":"Supplies the quantitative K-theory vanishing result used to prove that $\\mathrm{rel}\\rho$ is well defined in the relative obstruction algebra.","marker":"[4]"},{"why":"Supplies the epsilon-surgery and control-topology background through which the paper identifies classical and controlled relative normal groups.","marker":"[8]"}],"fun_headline_variants":["Relative rho invariant is a group homomorphism","Relative surgery exact sequence maps into K-theory","Additive rho from relative L-theory and surgery","Relative structure group becomes K-theory homomorphism"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that making the geometric control scale arbitrarily small does not change the relative normal cobordism groups; if this control-topology identification fails, the controlled group $S_n(X,\\partial X;\\omega)$ is not the classical relative structure group and the domain of $\\mathrm{rel}\\rho$ is different.","fun_headline_variants_meta":{"raw":{"variants":["Relative rho invariant is a group homomorphism","Relative surgery exact sequence maps into K-theory","Additive rho from relative L-theory and surgery","Relative structure group becomes K-theory homomorphism"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000564,"raw_usage":{"total_tokens":2603,"prompt_tokens":804,"completion_tokens":1799,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":420,"completion_tokens_details":{"reasoning_tokens":1738}},"tokens_in":420,"tokens_out":1799,"duration_ms":13915,"temperature":1.0,"reasoning_tokens":1738,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:44:23.393630+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $X=M\\times[0,1]$ for a closed PL manifold $M$ with a nontrivial higher rho class, and let $\\theta\\in S_n(X,\\partial X)$ come from a nontrivial homotopy equivalence of $M$. Compute both sides of the product formula $\\mathrm{rel}\\rho(\\theta\\times\\mathbb{R})=k_n\\alpha_*(\\mathrm{rel}\\rho(\\theta)\\otimes \\mathrm{Ind}_L(\\mathbb{R}))$ in the K-theory of the relative obstruction algebra; a mismatch disproves the additivity theorem. Equally directly, one can compare $\\mathrm{rel}\\rho(\\theta_1+\\theta_2)$ with $\\mathrm{rel}\\rho(\\theta_1)+\\mathrm{rel}\\rho(\\theta_2)$ under the disjoint-union addition for two explicitly given elements.","supporting_citations":[{"cited_title":"Addi tivity of higher rho invariants and nonrigidity of topological manifolds","cited_arxiv_id":null,"evidence_quote":"Supplies the method this paper extends: a new disjoint-union description of the topological structure group and the additivity of higher rho invariants for closed manifolds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the classical relative topological surgery exact sequence and relative L-groups that the paper's controlled sequence is compared with."},{"cited_title":"Mapping surgery to analysis","cited_arxiv_id":null,"evidence_quote":"Supplies the analytic signature class of Hilbert-Poincaré complexes, the starting point for the relative signature and rho constructions."},{"cited_title":"Mapping surgery to analysis","cited_arxiv_id":null,"evidence_quote":"Supplies the geometric signature class and homotopy-invariance paths used to define $\\mathrm{rel}\\rho$."},{"cited_title":"Mapping surgery to analysis","cited_arxiv_id":null,"evidence_quote":"Supplies the K-theory exact sequence of geometric C*-algebras, the analytic target of the commutative diagram."},{"cited_title":"A geometric inte rpretation of Siebenmann’s periodicity phenomenon","cited_arxiv_id":null,"evidence_quote":"Supplies the geometric interpretation of periodicity in topological surgery used to make the relative structure group a group and to prove its isomorphism with the controlled group."},{"cited_title":"The additivity of the ρ-invariant and periodicity in topological surgery","cited_arxiv_id":null,"evidence_quote":"Supplies the explicit addition on $\\partial_+$-relative structure and normal groups used for the group structure of the relative structure set."},{"cited_title":"Higher rho in variant is an obstruction to the inverse being local","cited_arxiv_id":null,"evidence_quote":"Supplies the quantitative K-theory vanishing result used to prove that $\\mathrm{rel}\\rho$ is well defined in the relative obstruction algebra."},{"cited_title":"Ferry and Erik K","cited_arxiv_id":null,"evidence_quote":"Supplies the epsilon-surgery and control-topology background through which the paper identifies classical and controlled relative normal groups."}],"review_version":1}