{"id":"1d8746de-8649-4fcc-8265-79004fe4dba5","arxiv_id":"2411.16716","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The higher rho invariant defined via Hilsum-Skandalis perturbations equals the invariant defined via Higson-Roe Hilbert Poincare complexes, up to a standard index isomorphism.","lead":"A technical paper proves that two standard ways of defining the higher rho invariant for homotopy equivalences of smooth manifolds produce the same answer. The result unifies operator-algebraic constructions used in topology, ensuring that future conclusions drawn from either definition remain valid.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper proves the equivalence only in even dimensions; the odd-dimensional reduction via inverting 2 is asserted but not proved, so the abstract's claim for all closed manifolds is not fully established.","rationale":"I chose the dimensional gap as the load-bearing concern because the paper's own text explicitly relegates the odd case to a one-sentence 'as usual' statement, and the main theorems are stated without any dimension hypothesis. Unlike the reliance on the Hilsum–Skandalis embedding (a published external theorem), this is a missing argument inside the proof of the stated claim; it is also easy to fix by either supplying the suspension computation or narrowing the statement. The even-dimensional core of the paper is substantial: the comparison between ρPL and ρC∞ (Theorem 5.1) and the identification IndL ρop = ρC∞ (Theorem 5.6) are argued through explicit paths of projections, and Lemma 4.2 provides a worked operator identity. I do not see an outright contradiction in those arguments, but as the reader notes, several technical lemmas (notably Lemma 5.4) are asserted with 'one can directly show' rather than proved, which adds to the conditional character. The reader's stated weakest assumption differs (the external HS embedding), but the reader's rationale does mention the odd-dimensional reduction as a reason for CONDITIONAL; hence partial agreement. My recommendation is unchanged CONDITIONAL: the paper should either complete the odd-dimensional reduction or explicitly restrict the theorems.","tokens_in":18977,"tokens_out":13556,"duration_ms":114980,"concrete_test":"Prove the suspension reduction explicitly: state and verify that the following diagram commutes after inverting 2—the suspension isomorphism K1(D*(Ñ)Γ) ≅ K0(D*(Ñ×S1~)Γ) takes IndL[ρop(f)] to IndL[ρop(f×S1)], and the corresponding Bott identification takes [ρC∞(f)] to [ρC∞(f×S1)]. Concretely, write the path of projections defining ρC∞(f×S1) in terms of the suspension of the path for ρC∞(f) using the splitting of the de Rham complex and the compatibility of the Hilsum–Skandalis operator Tf~ with T(f×S1)~. If commutativity fails, restrict Theorem 5.1 and Theorem 5.6 (and the abstract) to even-dimensional manifolds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that the Hilsum–Skandalis and Higson–Roe higher ρ invariants agree for every orientation-preserving homotopy equivalence of closed oriented smooth manifolds—is not proved at the stated level of generality. All of the main constructions and proofs (Theorems 5.1, 5.6; Sections 4 and 5) assume the manifold is even-dimensional: Section 4 fixes n=2k, the chiral duality uses n/2, and the signature class is defined via P+(D±S) for even complexes. The odd-dimensional case is dispatched in the Introduction by 'As usual, the odd dimensional case is completely parallel to the even dimensional case. Alternatively, if we invert 2, the odd dimensional case reduces to the even dimensional case by taking direct product with the circle.' No argument is given that ρop and ρC∞ are natural under suspension, nor that IndL and the geometric C*-algebra isomorphisms commute with the Bott isomorphism. In particular, ρC∞ is built from the de Rham complex and the Hilsum–Skandalis operator Tf~; its behaviour under crossing with S1 (which involves the decomposition L2(Λ*(N×S1)) ≅ L2(Λ*(N))⊗L2(Λ*(S1)) and the explicit form of T(f×S1)~) is a non-formal operator-level computation that the paper nowhere records. Thus the abstract's unconditional claim is established only in even dimensions; the odd-dimensional case is an unverified reduction, a limitation the paper itself flags by 'without loss of generality.'","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the equivalence of two existing definitions of the higher rho invariant associated to an orientation-preserving homotopy equivalence f: M -> N of closed oriented smooth manifolds: the Piazza-Schick invariant rho_op, based on the Hilsum-Skandalis perturbation of the signature operator, and the Higson-Roe invariant, based on analytically controlled Hilbert Poincare complexes. The strategy is to prove that the bounded and unbounded versions of the Higson-Roe approach agree, and then that the unbounded version agrees with the Hilsum-Skandalis approach. Concretely, the paper proves Theorem 5.1, that rho_PL(f) equals rho_Cinfty(f) in K-theory, and Theorem 5.6, that Ind_L(rho_op(f)) equals rho_Cinfty(f), where Ind_L is the localized index isomorphism from K_1(D*(N~)^Gamma) to K_0(C^*_{L,0}(N~)^Gamma). The paper states in the introduction that the odd-dimensional case is either completely parallel or reduces to the even-dimensional case by taking a product with a circle after inverting 2, and it then restricts attention to even-dimensional manifolds throughout Sections 4 and 5.","tokens_in":19235,"tokens_out":8993,"duration_ms":79174,"significance":"If the stated equivalence is established in full generality, this is a valuable unification of two important secondary invariants in noncommutative geometry and surgery theory. The paper gives a fairly explicit chain of equalities: Lemma 4.1 identifies the simplicial and de Rham K-homology classes of the signature operator; Theorem 5.1 identifies rho_PL and rho_Cinfty; Theorem 5.6 identifies Ind_L(rho_op) with rho_Cinfty. The proofs use established results from Higson-Roe, Hilsum-Skandalis, Wahl, and Weinberger-Xie-Yu, and the comparison is not circular because the two invariants are defined independently. The main weakness is that the odd-dimensional case, which is part of the abstract's claim, is only asserted and not proved, and a few key steps in the final comparison are too compressed.","major_comments":[{"comment":"The abstract and title claim equivalence for all orientation-preserving homotopy equivalences of closed oriented smooth manifolds, but all proofs in Sections 4 and 5 are carried out only in even dimensions. For example, Section 4.1 begins 'For an n = 2k dimensional manifold', Section 4.2 uses chiral duality with exponent n/2, and Definition 3.8(2) defines the signature class only for even-dimensional Hilbert Poincare complexes. The statement in the introduction that the odd-dimensional case is 'completely parallel' or reduces to the even case by taking product with S^1 after inverting 2 is not a proof: one would need to show naturality of rho_op, rho_Cinfty, and Ind_L under suspension, and to track the Hilsum-Skandalis operator T_{(f x S^1)~} through the tensor-product decomposition L^2(Lambda*(N x S^1)) congruent to L^2(Lambda*(N)) tensor L^2(Lambda*(S^1)). That is a non-formal operator-level computation that the paper nowhere records. Since the odd-dimensional case is part of the stated theorem, this is a load-bearing gap.","section":"Section 1"},{"comment":"The final step of the proof contains the key identification: 'For alpha = beta = 0, one can directly see that the representative elements in Corollary 5.5 represents the class [rho_Cinfty(f)] - [rho_Cinfty(I)].' This is asserted without demonstration. The paths displayed in Corollary 5.5 are built from S_{alpha,beta,f sqcup I}(t) and D_{alpha,beta}, whereas Definition 5.3 of rho_Cinfty is built from P[T_f~](3-t) - Q[T_f~](3-t) and F_Cinfty. The equality of these two paths in K_0(C^*_{L,0}(N~)^Gamma) is precisely the final comparison being proved, so it requires an explicit argument rather than a 'directly see' assertion.","section":"Section 5.5, proof of Theorem 5.6"},{"comment":"Lemma 5.2 is the bridge between Roe's index formula for Ind_L(rho_op(f)) and the path involving F_Cinfty, but its proof is not complete. The operator W(t) is introduced as V(t)G_{alpha,beta}(t), where V(t) is a square root of S_{alpha,beta}(t)G_{alpha,beta}(t), and the proof uses conjugation by W(t) to identify two formal differences of projections. The text does not verify that W(t) and V(t) belong to the appropriate localization or structure algebras, nor that conjugation by W(t) preserves the class in K_0(C^*_{L,0}(N~)^Gamma). Since the lemma is load-bearing for the main theorem, these details need to be provided.","section":"Section 5.5, Lemma 5.2"}],"minor_comments":[{"comment":"The first sentence contains a typo: 'Fredhoml' should be 'Fredholm'.","section":"Section 1"},{"comment":"The heading contains a typo: 'Poicnar\\'e' should be 'Poincar\\'e'.","section":"Section 3 heading"},{"comment":"The statements say the equalities hold in K_0(C^*_L(N~)^Gamma), but the definitions in Sections 5.2 and 5.3 place rho_PL(f) and rho_Cinfty(f) in K_0(C^*_{L,0}(N~)^Gamma), and Ind_L takes values in K_0(C^*_{L,0}(N~)^Gamma); the target K-group should be corrected consistently.","section":"Theorems 5.1 and 5.6"},{"comment":"The sentence defining [rho_PL(f)] says the class lies in K_0(C^*_{L,0}(~M)^Gamma), but the path is constructed over ~N; it should be K_0(C^*_{L,0}(~N)^Gamma).","section":"Section 5.2"},{"comment":"Reference [5] is listed without a year or publication status; if it is a preprint, that should be stated.","section":"References"},{"comment":"The interval notation 't in [3, infinity]' should be '[3, infinity)' in the definitions of rho_PL(f) and rho_Cinfty(f).","section":"Sections 5.2 and 5.3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is in scope for a topology or operator-algebra journal, and the even-dimensional comparison is plausible and useful. The main issue is the unproved odd-dimensional reduction, which contradicts the level of generality claimed in the abstract. I would be open to accepting after either a full proof of the odd-dimensional case or an explicit restriction of the theorem to even-dimensional manifolds."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper does what the title says, with one real caveat—the proof is written out for even-dimensional manifolds, and the odd-dimensional case is disposed of with a sketch. The abstract claims all closed oriented smooth manifolds, which is not what is actually proved. Still, the core equivalence is real and the paper is a useful service to the area.\n\nWhat's new: the comparison between the Piazza–Schick (Hilsum–Skandalis) higher rho and the Higson–Roe/Weinberger–Xie–Yu simplicial higher rho has been folklore, and Jiang–Liu looked at the de Rham version, but this is the first full proof that they land on the same K-theory class. The route is sensible: show the bounded and unbounded Higson–Roe versions agree, then identify the unbounded version with the Hilsum–Skandalis construction. The even-dimensional chain of equalities in Theorems 5.1 and 5.6 is laid out carefully, and the paper is honest about using external results (Hilsum–Skandalis embedding, Wahl's controlled chain homotopy equivalence, Higson–Roe's signature invariance). No circularity: the invariants being compared are defined independently.\n\nSoft spots, in order of size. First, the odd-dimensional case. The introduction waves it away with 'as usual' or 'invert 2 and cross with S1'. Neither is a proof. Crossing with S1 requires naturality of rho_op and rho_C∞ under suspension, including the behavior of the Hilsum–Skandalis operator under product with S1, and commutativity of Ind_L with Bott periodicity. None of that appears. This is almost certainly fixable, but as written the main theorem is proved for even dimensions. Second, Lemma 5.4 is the pivot of the proof of Theorem 5.6, and it is imported from Wahl rather than proved or precisely stated here. Acceptable if the reference is solid, but it makes the paper less self-contained than the intro promises. Minor: a few display typos in the path definitions in Corollary 5.5, and some notation overload in Lemma 5.2. Cosmetic, not substantive.\n\nCitations look fair. The reliance on [1], [17], [18] is appropriate given they proved the ingredients. No invented entities, no free parameters.\n\nBottom line: a solid, useful comparison paper. It deserves proper peer review. The referee should push for a real odd-dimensional argument or a corrected statement, and a polishing pass. I would bring it to our reading group and cite it if I worked on higher rho invariants.","headline":"Solid even-dimensional proof of a known-but-unwritten equivalence; odd-dimensional case is a sketch and the abstract overstates it.","tokens_in":19829,"tokens_out":1854,"would_cite":true,"duration_ms":17880,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19K56","58J22","46L80","57R67"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the two standard definitions of the higher rho invariant agree for orientation-preserving homotopy equivalences.","keywords":["higher rho invariant","homotopy equivalence","signature operator","Hilbert Poincaré complex","Roe algebra","localized index","K-theory","secondary invariant"],"falsifier":"Take any orientation-preserving homotopy equivalence $f\\colon M\\to N$ with nontrivial fundamental group whose class in the topological structure group is nonzero, and compute $\\mathrm{Ind}_L[\\rho_{\\mathrm{op}}(f)]$ and $[\\rho_{C^\\infty}(f)]$ in $K_0(C^*_{L,0}(\\widetilde N)^\\Gamma)$; a difference between the two classes would refute the main theorem. A more local check is whether the path of projections in Lemma 5.2 fails to lie in the localization algebra for some $f$.","tokens_in":18705,"feed_emoji":"🔗","tokens_out":13757,"duration_ms":112019,"temperature":0.7,"pith_summary":"The paper proves that the two standard ways of defining the higher rho invariant attached to an orientation-preserving homotopy equivalence between closed oriented smooth manifolds produce the same invariant. The Piazza-Schick construction uses a bounded replacement of the pullback map on differential forms, obtained through the Hilsum-Skandalis embedding, and lands in the K-theory of a structure algebra. The Higson-Roe construction works with analytically controlled Hilbert Poincaré complexes and has both a piecewise-linear and a smooth version. The paper shows the two Higson-Roe versions agree with each other, and that the smooth version coincides with the Piazza-Schick invariant through the localized index isomorphism. The result matters because the higher rho invariant is the secondary invariant that detects whether a homotopy equivalence can be deformed into a homeomorphism.","feed_headline":"Two definitions of the higher rho invariant turn out to agree","feed_subtitle":"Piazza-Schick and Higson-Roe constructions give the same secondary invariant for homotopy equivalences.","key_machinery":"The central object is the $\\Gamma$-equivariant analytically controlled Hilbert Poincaré complex, a chain complex of Hilbert spaces over the universal cover equipped with a self-adjoint Poincaré duality operator $S$ whose differential $D=d+d^*$ satisfies controlled conditions placing its resolvents in the Roe algebra. Its signature class is the formal difference $[P_+(D+S)]-[P_+(D-S)]$ in $K_0(C^*(\\widetilde N)^\\Gamma)$. The proof is carried by Higson and Roe's path-of-projections construction, which shows this signature class is invariant under analytically controlled chain homotopy equivalence, together with Roe's localized index formula, which transports $\\rho_{\\mathrm{op}}(f)$ into the same $K_0$ group. Explicit paths $P[A](t)-Q[A](t)$ of differences of projections interpolate between the representatives of $\\rho_{\\mathrm{PL}}(f)$, $\\rho_{C^\\infty}(f)$, and $\\mathrm{Ind}_L[\\rho_{\\mathrm{op}}(f)]$.","core_discovery":"Let $f\\colon M\\to N$ be an orientation-preserving homotopy equivalence of closed oriented smooth manifolds with common fundamental group $\\Gamma$, and let $\\widetilde M$ and $\\widetilde N$ be the universal covers. The paper's central claim is that the Piazza-Schick higher rho invariant $\\rho_{\\mathrm{op}}(f)$ and the Higson-Roe higher rho invariants $\\rho_{\\mathrm{PL}}(f)$ and $\\rho_{C^\\infty}(f)$ all represent the same secondary class. The two main results are Theorem 5.1: $[\\rho_{\\mathrm{PL}}(f)]=[\\rho_{C^\\infty}(f)]$ in $K_0(C^*_L(\\widetilde N)^\\Gamma)$, and Theorem 5.6: $\\mathrm{Ind}_L[\\rho_{\\mathrm{op}}(f)]=[\\rho_{C^\\infty}(f)]$ in $K_0(C^*_L(\\widetilde N)^\\Gamma)$. Since $\\mathrm{Ind}_L$ is an isomorphism from $K_1(D^*(\\widetilde N)^\\Gamma)$ to $K_0(C^*_{L,0}(\\widetilde N)^\\Gamma)$, the two definitions of the higher rho invariant are equivalent.","pith_inferences":["This suggests the same path-of-projections comparison could define higher rho invariants for other classes of manifolds, such as topological or Witt spaces, whenever a bounded replacement map like $T_{\\widetilde f}$ is available.","The equivalence also indicates that the Hilsum-Skandalis embedding is the single external ingredient on which the Piazza-Schick definition depends; a different or simplified embedding would automatically yield the same unified invariant.","One could use the equivalence to compute the invariant in concrete examples using whichever side is easier, for example the de Rham version for analytic index estimates and the PL version for combinatorial surgery-theoretic arguments."],"forward_implications":["A single higher rho invariant class in $K_0(C^*_{L,0}(\\widetilde N)^\\Gamma)$ now describes all three constructions, so the invariant is framework-independent.","If any of the equivalent representatives is nonzero, the orientation-preserving homotopy equivalence $f$ cannot be deformed into a homeomorphism.","The equality $[\\rho_{\\mathrm{PL}}(f)]=[\\rho_{C^\\infty}(f)]$ shows that the invariant does not depend on whether the manifold is described by a PL triangulation or by smooth differential forms.","The explicit interpolating paths give a recipe for transferring computations between the bounded (simplicial) and unbounded (de Rham) settings."],"supporting_citations":[{"why":"It supplies the Hilsum-Skandalis embedding that converts the pullback map on $L^2$ forms into the bounded operator $T_{\\widetilde f}$ used to define $\\rho_{\\mathrm{op}}(f)$.","marker":"[6]"},{"why":"It is Wahl's construction that makes $T_{\\widetilde f}$ a finite-propagation controlled chain homotopy equivalence, the input for the Piazza-Schick invariant.","marker":"[16]"},{"why":"It contains Piazza and Schick's definition of $\\rho_{\\mathrm{op}}(f)$ in $K_1(D^*(\\widetilde N)^\\Gamma)$.","marker":"[13]"},{"why":"It introduces analytic signatures and proves the invertibility lemmas that define signature classes of Hilbert Poincaré complexes.","marker":"[2]"},{"why":"It gives the geometric comparison between de Rham and simplicial signature classes used for $\\rho_{C^\\infty}$ and $\\rho_{\\mathrm{PL}}$.","marker":"[3]"},{"why":"It provides the exact-sequence framework of analytically controlled Hilbert Poincaré complexes in which the Higson-Roe higher rho invariants live.","marker":"[4]"},{"why":"It gives Roe's index formula, which defines the localized index map $\\mathrm{Ind}_L$ used in Theorem 5.6.","marker":"[14]"},{"why":"It defines the PL representative $\\rho_{\\mathrm{PL}}(f)$ and the triangulation refinement used in Section 4.1.","marker":"[17]"},{"why":"It establishes the localized index isomorphism and the K-theory identification between $D^*(\\widetilde N)^\\Gamma$ and the localization algebras.","marker":"[18]"}],"fun_headline_variants":["Two definitions of higher rho invariant shown equivalent","Higher rho invariant: Piazza-Schick equals Higson-Roe","Homotopy equivalence unifies higher rho invariant definitions","Both higher rho invariant definitions agree"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof needs the Hilsum-Skandalis construction to replace the pullback map on differential forms with a bounded operator that behaves like a chain homotopy equivalence; if that construction fails for some homotopy equivalence, the Piazza-Schick invariant is undefined and the equivalence cannot hold.","fun_headline_variants_meta":{"raw":{"variants":["Two definitions of higher rho invariant shown equivalent","Higher rho invariant: Piazza-Schick equals Higson-Roe","Homotopy equivalence unifies higher rho invariant definitions","Both higher rho invariant definitions agree"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000174,"raw_usage":{"total_tokens":1224,"prompt_tokens":828,"completion_tokens":396,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":333}},"tokens_in":444,"tokens_out":396,"duration_ms":3921,"temperature":1.0,"reasoning_tokens":333,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:22:54.409700+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any orientation-preserving homotopy equivalence $f\\colon M\\to N$ with nontrivial fundamental group whose class in the topological structure group is nonzero, and compute $\\mathrm{Ind}_L[\\rho_{\\mathrm{op}}(f)]$ and $[\\rho_{C^\\infty}(f)]$ in $K_0(C^*_{L,0}(\\widetilde N)^\\Gamma)$; a difference between the two classes would refute the main theorem. A more local check is whether the path of projections in Lemma 5.2 fails to lie in the localization algebra for some $f$.","supporting_citations":[{"cited_title":"Hilsum and G","cited_arxiv_id":null,"evidence_quote":"It supplies the Hilsum-Skandalis embedding that converts the pullback map on $L^2$ forms into the bounded operator $T_{\\widetilde f}$ used to define $\\rho_{\\mathrm{op}}(f)$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It is Wahl's construction that makes $T_{\\widetilde f}$ a finite-propagation controlled chain homotopy equivalence, the input for the Piazza-Schick invariant."},{"cited_title":"Piazza and T","cited_arxiv_id":null,"evidence_quote":"It contains Piazza and Schick's definition of $\\rho_{\\mathrm{op}}(f)$ in $K_1(D^*(\\widetilde N)^\\Gamma)$."},{"cited_title":"Higson and J","cited_arxiv_id":null,"evidence_quote":"It introduces analytic signatures and proves the invertibility lemmas that define signature classes of Hilbert Poincaré complexes."},{"cited_title":"Higson and J","cited_arxiv_id":null,"evidence_quote":"It gives the geometric comparison between de Rham and simplicial signature classes used for $\\rho_{C^\\infty}$ and $\\rho_{\\mathrm{PL}}$."},{"cited_title":"Higson and J","cited_arxiv_id":null,"evidence_quote":"It provides the exact-sequence framework of analytically controlled Hilbert Poincaré complexes in which the Higson-Roe higher rho invariants live."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It gives Roe's index formula, which defines the localized index map $\\mathrm{Ind}_L$ used in Theorem 5.6."},{"cited_title":"Weinberger, Z","cited_arxiv_id":null,"evidence_quote":"It defines the PL representative $\\rho_{\\mathrm{PL}}(f)$ and the triangulation refinement used in Section 4.1."},{"cited_title":"Xie and G","cited_arxiv_id":null,"evidence_quote":"It establishes the localized index isomorphism and the K-theory identification between $D^*(\\widetilde N)^\\Gamma$ and the localization algebras."}],"review_version":1}