{"id":"958b3780-2af6-4524-bd7b-1a69c83cab7d","arxiv_id":"2507.16591","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For noncompact hypersurfaces satisfying mild geometric conditions, the partitioned index of a Dirac operator equals the index of the induced Dirac operator on the hypersurface.","lead":"This paper proves a version of Roe's partitioned manifold index theorem that works when the hypersurface cutting a manifold into two pieces is noncompact. The result equates two K-theory indices, giving new obstructions to positive scalar curvature and new invariance properties of the index.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.23's sign rests on the nonstandard correction in Lemma 1.34; an independent check of s(d) is needed.","rationale":"The reader identified assumption (i) as the weakest point. I agree that condition (i) is nontrivial and is used essentially in Proposition 4.16, but it is an explicit hypothesis, and I found no internal gap in how it is applied. The more serious soft spot is the proof's dependence on a nonstandard sign correction in Lemma 1.34. The product case is the base case for the entire reduction, and the sign of the suspension of the Dirac class d enters directly into Proposition 3.8 and propagates through Corollary 3.13 and Proposition 3.14 to the final equality. A single sign error in this chain would make the theorem false in the compact case, where the result is already known. Since the paper's Lemma 1.34 explicitly contradicts the standard reference and gives only a terse justification, an independent verification is warranted before accepting the main theorem at full confidence. This motivates a CONDITIONAL verdict: accept if Lemma 1.34 is independently confirmed, otherwise the statement likely needs a sign correction.","tokens_in":57045,"tokens_out":49620,"duration_ms":559879,"concrete_test":"Recompute s(d) from Definition 1.30 and Example 1.32: with V = X+(1-X^2)^{1/2}F, compute the index of the off-diagonal operator A = -x - i(1-x^2)^{1/2}Y on L^2([-1,1]), e.g. via the six-term exact sequence for C0(-1,1) ⊂ C([-1,1]) or an independent symbol-level derivation. If s(d)=+1, the sign in Proposition 3.8 must be reversed and Theorem 2.23 fails as stated; if s(d)=-1, the concern is resolved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central equality is sign-sensitive. The product case (Theorem 3.1), on which the reduction in Section 4 depends, uses Proposition 3.8 to identify Φ(Ind(D_N)) with the boundary of -[q(T_+)] and Proposition 3.14 to identify [q(T_+)] with -[q(U_+)]. Proposition 3.8 in turn relies on Lemma 1.34, where the authors assert that the suspension of the Dirac class d is s(d)=-1, correcting [12, Lem. 9.5.7]. If instead s(d)=+1, as claimed in [12], the sign chain changes and the theorem would assert Φ(Ind(D_N)) = -Ind(D;N), contradicting the compact hypersurface case (Corollary 2.25) and Roe's theorem. The proof of Lemma 1.34 is a brief appeal to two lemmas in [12] and a comparison of adjoints; it is not independently verified. This is more load-bearing than assumption (i): assumptions (i)-(iii) only delimit the class of admissible N, while a sign error here would falsify the stated equality even when all assumptions hold.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proves a partitioned manifold index theorem for complete odd-dimensional Riemannian manifolds M partitioned by a connected, possibly noncompact hypersurface N. Under the three explicit conditions of Theorem 2.23—(i) the identity map from (N, d_N) to (N, d_M|_N) is a uniform equivalence, (ii) N admits a uniform tubular neighbourhood, and (iii) the metric on the collar is uniformly comparable to the product metric—the authors prove the equality Φ(Ind(D_N)) = Ind(D;N). Here Ind(D_N) is the coarse index of the Dirac operator on N and Ind(D;N) is the partitioned index constructed via the Cayley transform and the Roe homomorphism. The proof is organised in two stages: the product case in Section 3, and a reduction of the general case to the product case in Section 4 using half-isomorphisms and a transition manifold. Section 5 gives equivariant and disconnected generalizations.","tokens_in":57230,"tokens_out":10298,"duration_ms":125297,"significance":"If the main theorem is correct, this is a substantial generalization of Roe's partitioned manifold index theorem to noncompact hypersurfaces, with natural applications to uniformly positive scalar curvature obstructions and to cobordism invariance of coarse indices. The paper is well structured and transparent about the hypotheses: the three geometric conditions are stated precisely, the product case is proven separately, and the reduction via half-isomorphisms is a coherent and workable strategy. The comparison with the recent work of Bunke–Ludewig and Engel–Wulff is also useful. The main caveat concerns the sign correction in Lemma 1.34, which is load-bearing for the equality as stated and needs independent verification.","major_comments":[{"comment":"The sign of the suspension map s(d) is asserted to be -1 as a correction to [12, Lem. 9.5.7], but the argument is only two sentences appealing to a comparison of operators W_1 in [12]. This sign enters the proof of Theorem 3.1 at Proposition 3.8, where [D_N] is identified with -[q(T_+)], and then propagates through Proposition 3.14 to the equality Φ(Ind(D_N)) = Ind(D;N). If s(d) = +1, the signs in Propositions 3.8 and 3.14 would reverse, and Theorem 2.23 would assert the opposite equality, contradicting Corollary 2.25 and Roe's theorem in the compact case. The manuscript should include a complete, self-contained computation of s(d), or at minimum a detailed line-by-line verification of the claimed correction to [12, Lem. 9.5.7], before the main theorem can be accepted.","section":"§1.4, Lemma 1.34; §3.3–3.4"},{"comment":"Proposition 4.17, which asserts that the identity map on the product side is a uniform equivalence, is stated as 'analogous' to Proposition 4.16 but no proof is given. This result is used in Proposition 4.22(ii) to establish the second half-isomorphism and in Corollary 4.18 for completeness of the glued metric, so it is part of the load-bearing reduction. The proof should be supplied, or at least the differences from Proposition 4.16—where the curve modification uses assumption (i) and the metric comparison in assumption (iii)—should be explained explicitly.","section":"§4.1, Proposition 4.17"}],"minor_comments":[{"comment":"The proof that id_N is a uniform map is compressed: while uniform expansiveness follows from d_M|_N ≤ d_N, the metric-boundedness condition is not immediate from equality of topologies and uses closedness and completeness of N. This step should be spelled out.","section":"§2.1, Lemma 2.3"},{"comment":"The aside 'it may be true that every partitioning hypersurface is simple; we have not found any counterexamples' is not needed for the paper and is unsupported; it could be removed or replaced by a precise statement about which classes of hypersurfaces are known to be simple.","section":"§2.2, Remark 2.12"},{"comment":"The equivariant version is stated with the proof described only as 'completely analogous'. At minimum, the authors should list the equivariant versions of the key lemmas used, especially Lemma 1.34 and Paschke duality, so that the reader can check that the sign conventions and index maps behave equivariantly.","section":"§5.1, Theorem 5.2"},{"comment":"The proof of Corollary 2.25 refers forward to Corollary 5.3. A direct proof that compactness of N implies the three assumptions of Theorem 2.23 would make the paper more self-contained and would avoid the detour through the equivariant theorem.","section":"§2.5, Corollary 2.25"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the sign correction in Lemma 1.34. I would ask the authors to provide a fully detailed computation before publication. The paper's position relative to [5] and [8] is clearly acknowledged and the independent method is a genuine contribution, but the sign issue must be resolved to the satisfaction of the referees."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, this paper proves a real extension of Roe's partitioned manifold index theorem to noncompact hypersurfaces. The key achievement is dropping the product-structure assumption near the hypersurface that Bunke-Ludewig and Engel-Wulff still need. The authors replace it with three geometric conditions on the embedding, and show that when those hold the partitioned index equality still works. That is a substantive result, not a repackaging. The proof is organized in two clear stages: a product case using coarse geometry and K-theory, then a reduction to that case via transition manifolds and half-isomorphisms. The comparison with the prior literature is honest, and the corollaries (cobordism invariance, PSC obstructions, equivariant version) are natural and useful.\n\nThe main soft spot is Lemma 1.34. The authors assert that the suspension of the Dirac class s(d) is -1, correcting [12, Lem. 9.5.7]. That sign is load-bearing: Proposition 3.8 uses it to get the sign of [D_N] in terms of T_+, and Proposition 3.14 then delivers the equality with the partitioned index. If the sign were +1, the theorem would assert the negative equality and contradict the compact case. The proof of Lemma 1.34 is a brief reference to two lemmas in [12] and a remark about a missing adjoint; it is not independently verified. I cannot check it off the top of my head, but this is exactly the kind of sign that a referee should be asked to verify carefully. It is not a manufactured flaw: the stress-test note is right that this is more load-bearing than the geometric assumptions, which only delimit the admissible hypersurfaces.\n\nThe geometric assumption (i) on uniform equivalence of the intrinsic and subspace metrics is nontrivial, but the authors use it precisely where the transition map needs controlled curves. That seems to be the cost of the generality, not a hidden circularity.\n\nOverall, the paper is serious, the proof is structured, and the central argument holds up as far as I can tell, modulo the sign check. It deserves a careful referee. Send it to review, with a specific request to verify Lemma 1.34.","headline":"A solid, genuinely new generalization of Roe's partitioned index theorem, but the proof leans on a sign correction that deserves independent checking.","tokens_in":57774,"tokens_out":2111,"would_cite":true,"duration_ms":23021,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J20","19K56","53C27","46L80"],"pacs":[],"model":"deepseek-v4-flash","headline":"The partitioned manifold index theorem holds for noncompact hypersurfaces when the embedding is uniformly controlled.","keywords":["partitioned manifold index theorem","noncompact hypersurface","Roe algebra","coarse index","Dirac operator","positive scalar curvature","uniform equivalence","cobordism invariance"],"falsifier":"A concrete test is a family of warped product metrics $g_M = dr^2 + \\phi(r)^2 g_N$ on $M = \\mathbb{R}\\times N$, with $N$ a noncompact spin manifold whose Dirac index in $K_0(C^*(N))$ is nonzero and $\\phi$ bounded between positive constants. The product argument gives an explicit prediction for both $\\Phi(\\mathrm{Ind}(D_N))$ and $\\mathrm{Ind}(D;N)$; computing the partitioned index directly from the Cayley transform for such a metric and finding any mismatch between the two classes would refute Theorem 2.23.","tokens_in":56820,"feed_emoji":"📐","tokens_out":13693,"duration_ms":123130,"temperature":0.7,"pith_summary":"This paper extends Roe's partitioned manifold index theorem, originally for compact hypersurfaces, to complete Riemannian manifolds cut along a possibly noncompact hypersurface. The central claim is that the index of the Dirac operator on the hypersurface $N$ equals, under a canonical map $\\Phi$, the partitioned index built from the ambient Dirac operator, provided the embedding of $N$ into $M$ is uniformly controlled. This equality connects noncompact geometry to the $K$-theory of Roe algebras, yielding obstructions to uniformly positive scalar curvature and a generalized cobordism invariance of coarse indices. The proof establishes the equality first on product manifolds $\\mathbb{R}\\times N$ and then reduces the general case to that product case by a gluing construction.","feed_headline":"Noncompact hypersurfaces still satisfy the partitioned index theorem","feed_subtitle":"The hypersurface index equals the partitioned index, yielding scalar-curvature obstructions for noncompact manifolds.","key_machinery":"The central objects are the Roe algebra $C^*(M)$ and its localized version $C^*(N\\subseteq M)$; a Roe algebra is the $C^*$-algebra generated by locally compact finite-propagation operators, and it is the receptacle for Dirac indices on noncompact manifolds. The theorem is an identity between two classes in the $K$-theory of these algebras: $\\Phi(\\mathrm{Ind}(D_N))$ and $\\mathrm{Ind}(D;N)$, the latter defined through the boundary map applied to a unitary built from the Cayley transform of $D$ and a smooth step function across $N$. In the product case $M=\\mathbb{R}\\times N$, the proof runs through a commutative diagram that uses Paschke duality and suspension to identify the $K$-homology class of $D_N$ with the Cayley-transform class. The general case is carried back to the product by gluing a transition manifold $M'$ that looks like $M$ on one side and $\\mathbb{R}\\times N$ on the other, with uniform half-isomorphisms — isometries of the open halves that extend to uniform equivalences and conjugate the Dirac operators — transferring the equality; the three embedding assumptions are exactly what keeps these maps uniform and the glued metric complete.","core_discovery":"The paper's central claim is Theorem 2.23: for an oriented complete Riemannian manifold $M$ of odd dimension at least three, partitioned by a connected hypersurface $N$ that is uniformly coarsely equivalent to $N$ with its subspace metric, admits a uniform tubular neighbourhood, and has a metric on that tube uniformly comparable to the product metric, the equality $\\Phi(\\mathrm{Ind}(D_N)) = \\mathrm{Ind}(D;N)$ holds in the $K$-theory of the Roe algebra of $N$. Here $D_N$ is the Dirac operator induced on the hypersurface, $\\mathrm{Ind}(D;N)$ is the partitioned index constructed from the ambient Dirac operator $D$, and $\\Phi$ is the canonical comparison map between the two $K$-theory groups. The theorem recovers Roe's original statement when $N$ is compact. The proof first verifies the equality for $M = \\mathbb{R}\\times N$ partitioned by $\\{0\\}\\times N$, then transports the result to a general $M$ through a transition manifold that interpolates between $M$ and the product manifold.","pith_inferences":["The transition-manifold construction suggests the same gluing argument could prove partitioned-index equalities for other geometric operators, such as twisted or signature Dirac operators, once the product case is recomputed.","The paper gives sufficient conditions but does not address necessity; if condition (i) is also necessary, uniform comparability of intrinsic and ambient distances is the sharp dividing line for when a noncompact cut has a well-defined partitioned index.","In the equivariant setting with compact quotient, pairing the resulting classes with cyclic cocycles would convert the theorem into numerical positive-scalar-curvature obstructions for noncompact quotients, a step the paper signals but does not fully execute."],"forward_implications":["If the hypersurface Dirac operator has nonzero index in $K_0(C^*(N))$, then $M$ carries no metric of uniformly positive scalar curvature.","Two noncompact hypersurfaces that are cobordant in the paper's sense have coarse Dirac indices that vanish together.","When a discrete group acts properly and freely with $N/\\Gamma$ compact, the equivariant equality lives in $K_0(C^*_r(\\Gamma))$, giving higher-index obstructions for $M/\\Gamma$.","For a compact hypersurface with injective $\\pi_1(N)\\to \\pi_1(M)$, the higher index of the lifted spin-Dirac operator on the universal cover obstructs uniformly positive scalar curvature on $M$.","With finitely many connected components, a direct-sum version of the equality holds under an additional uniformity condition on the components of $M_+$."],"supporting_citations":[{"why":"Supplies the original partitioned manifold index theorem and the Roe-algebra index machinery that this paper generalizes.","marker":"[23]"},{"why":"Supplies a reformulation of the partitioned index and the product-manifold proof strategy, including the transition-manifold reduction.","marker":"[11]"},{"why":"Supplies analytic K-homology, Paschke duality, suspension, and the assembly map used throughout the proof.","marker":"[12]"},{"why":"Supplies the existence of Dirac connections used to define the induced operators on the hypersurface.","marker":"[4]"},{"why":"Supplies the vanishing of the coarse index under uniformly positive scalar curvature used in the obstruction corollary.","marker":"[25]"},{"why":"Supplies the previously known bordism invariance of the coarse index that Corollary 2.27 recovers.","marker":"[30]"},{"why":"Supplies Roe's original construction of cyclic cocycles from a partition, the starting point of the partitioned index.","marker":"[22]"}],"fun_headline_variants":["Partitioned index theorem now covers noncompact hypersurfaces","Noncompact hypersurfaces keep partitioned index equality","Index equality for partitioned noncompact hypersurfaces","Noncompact hypersurfaces: partitioned index theorem holds","Partitioned index theorem for noncompact hypersurfaces proven"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that distances between points measured along the noncompact hypersurface remain uniformly comparable to distances between the same points measured inside the ambient manifold.","fun_headline_variants_meta":{"raw":{"variants":["Partitioned index theorem now covers noncompact hypersurfaces","Noncompact hypersurfaces keep partitioned index equality","Index equality for partitioned noncompact hypersurfaces","Noncompact hypersurfaces: partitioned index theorem holds","Partitioned index theorem for noncompact hypersurfaces proven"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000563,"raw_usage":{"total_tokens":2649,"prompt_tokens":903,"completion_tokens":1746,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":1682}},"tokens_in":519,"tokens_out":1746,"duration_ms":13831,"temperature":1.0,"reasoning_tokens":1682,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:05:19.817982+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test is a family of warped product metrics $g_M = dr^2 + \\phi(r)^2 g_N$ on $M = \\mathbb{R}\\times N$, with $N$ a noncompact spin manifold whose Dirac index in $K_0(C^*(N))$ is nonzero and $\\phi$ bounded between positive constants. The product argument gives an explicit prediction for both $\\Phi(\\mathrm{Ind}(D_N))$ and $\\mathrm{Ind}(D;N)$; computing the partitioned index directly from the Cayley transform for such a metric and finding any mismatch between the two classes would refute Theorem 2.23.","supporting_citations":[{"cited_title":"Roe.Index theory, coarse geometry, and topology of manifolds, volume 90 ofCBMS Re- gional Conference Series in Mathematics","cited_arxiv_id":null,"evidence_quote":"Supplies the original partitioned manifold index theorem and the Roe-algebra index machinery that this paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies a reformulation of the partitioned index and the product-manifold proof strategy, including the transition-manifold reduction."},{"cited_title":"Higson and J","cited_arxiv_id":null,"evidence_quote":"Supplies analytic K-homology, Paschke duality, suspension, and the assembly map used throughout the proof."},{"cited_title":"Berline, E","cited_arxiv_id":null,"evidence_quote":"Supplies the existence of Dirac connections used to define the induced operators on the hypersurface."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the vanishing of the coarse index under uniformly positive scalar curvature used in the obstruction corollary."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the previously known bordism invariance of the coarse index that Corollary 2.27 recovers."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Roe's original construction of cyclic cocycles from a partition, the starting point of the partitioned index."}],"review_version":1}