{"id":"2bd0264d-07f3-422a-a5a3-7654425ee79e","arxiv_id":"2508.08668","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The index homomorphism of even K-groups from a KK-class is computed by a spectral localizer built from continuous functions of an unbounded Dirac operator.","lead":"This paper proves a spectral localizer formula for the even index homomorphism in KK-theory, generalizing the Loring-Schulz-Baldes construction from K-homology to arbitrary C*-algebra pairs. The formula computes the Kasparov-product index pairing using only the intersection of the Dirac spectrum with a compact interval, avoiding spectral projections.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 9.1 depends on Proposition 5.5's naturality of the index isomorphism, which the author admits he cannot prove in the operator homotopy picture and delegates to [JeTh91, Thm 2.2.17].","rationale":"The reader's weakest_assumption identifies exactly the load-bearing concern: Proposition 5.5's naturality under non-degenerate ∗-homomorphisms is used critically in the proof of Theorem 9.1, and the author admits he could not prove it in his chosen operator homotopy picture. My review confirms this is the most fragile step in the central argument. The omitted proof of Proposition 5.2 and the unproved Lipschitz continuity of the homotopy H|H|^{-t} are secondary, fixable gaps. I also noted a side remark in Definition 5.1 claiming K0(LB)=0, which is false for B=C (e.g., LB=B(ℓ²) has K0=Z), but this remark is not used in the main proof and does not affect the central claim. The overall construction is careful and the main formula is plausible; the naturality gap warrants conditional acceptance pending a verification or a self-contained proof, so the verdict should remain CONDITIONAL.","tokens_in":38010,"tokens_out":24138,"duration_ms":241146,"concrete_test":"Verify Proposition 5.5 directly by checking that the operator F in the homotopy module (E,F) over C([0,1],C) satisfies the Kasparov module conditions, in particular that F²−1 and [F,π(a)] are compact operators on the Hilbert C([0,1],C)-module E. If these compactness conditions hold, the homotopy argument is sound and the reliance on [JeTh91, Theorem 2.2.17] is justified; if they fail, the naturality step needs repair. A complementary concrete check is to compute both sides of the diagram in Proposition 5.5 for a simple non-degenerate example, e.g. B=C([0,1]), C=C, σ=ev_0, using the explicit index map from Definition 5.1, and confirm the equality.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the main theorem passes through equation (9.4), where π_*(Index^{-1}([p]-[s(p)])) is identified with Index^{-1}([π(p)]-[π(s(p))]) using Proposition 5.5. This naturality statement is genuinely load-bearing: if it fails for non-degenerate σ, the derivation of formula (9.2) collapses. The author explicitly states in §5.1 that he was unable to prove this naturality using only the operator homotopy picture and relies on [JeTh91, Theorem 2.2.17]. The proof of Proposition 5.5 constructs a Kasparov module (E,F) over C([0,1],C) with fibers E0 and E1 and concludes that the two evaluation classes coincide. For this conclusion to be valid, the operator F must satisfy the Kasparov module conditions on E, notably that F²−1 and the commutators [F,π(a)] are compact; these conditions are not verified in the text, and the argument that the homotopy module forces equality of the fiber classes is exactly the part that requires the external equivalence of pictures. Since the representation π: A → C^ev_D(X) appearing in Theorem 9.1 need not be non-degenerate, the full generality of naturality is required. This is a real proof gap, not merely a stylistic reliance on a standard result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a spectral localizer for even unbounded Kasparov modules over possibly nonunital C*-algebras and uses it to compute the index homomorphism induced by a KK-class via the Kasparov product. The main result, Theorem 9.1, asserts that for an even compact unbounded Kasparov module (X,π,D) from A to B and a projection p in M_n(Lip_D(A)∼), the difference of spectral localizer classes L(2π(p)−1,D^{⊕n}) − L(2π(s(p))−1,D^{⊕n}), after applying an adjointable isometry to the standard module, equals the Kasparov-product index pairing ⟨[p]−[s(p)], [X,π,F_D]⟩ in K0(B). The proof reduces to a computational core in Section 8 where the spectral localizer class is identified with an index class of a compressed unbounded module, and Section 10 recovers the Loring–Schulz-Baldes even index pairing in the special case B=C. The paper also provides quantitative admissibility conditions on the parameters (κ,ρ) in terms of the spectral gap and commutator norms.","tokens_in":38252,"tokens_out":15655,"duration_ms":164800,"significance":"If the main theorem is correct, this is a substantial extension of the spectral localizer method from K-homology to full KK-theory, giving an explicit, finite-spectrum description of the even index homomorphism in a general Hilbert-C*-module setting. The central computation in Section 8 is detailed and appears internally coherent, and the paper carefully avoids any dependence on spectral projections by using continuous functional calculus. The result is concrete and falsifiable, and the recovery of the Loring–Schulz-Baldes theorem is a welcome check. The main conceptual weakness is the reliance on the naturality of the index isomorphism in Proposition 5.5, whose proof as written is incomplete and which is load-bearing for Theorem 9.1.","major_comments":[{"comment":"The proof of Proposition 5.5 constructs a unital even Kasparov module (E,F) over C([0,1],C) and asserts that it is a homotopy between the two Kasparov modules in (5.6) and (5.7). For this conclusion the operator F must satisfy F^2−1 ∈ K(E), since the representation of the domain algebra C is unital. The fibers of F are the constant operator S = [[0, σ(ps(p))],[σ(s(p)p), 0]] on E1. For a non-degenerate σ and a nonunital C, taking B = C and p=(0,1) in M_1(B∼) gives σ(p)=1_{C∼} acting on C, so E1 ≅ C ⊕ C and F=0; then F^2−1 = −1 is not a compact operator on the Hilbert C-module C⊕C. Thus the assertion that (E,F) is a Kasparov module is not justified in general. Since equation (9.4) in the proof of Theorem 9.1 relies on Proposition 5.5, the proof of the main theorem is incomplete as it stands. The author should either prove the naturality of the index isomorphism in the stated generality, including non-degenerate σ, or cite a reference that gives a complete proof of this naturality rather than merely citing the equivalence of pictures.","section":"§5.1, Proposition 5.5"},{"comment":"The identification of (σ_* Index^{-1})([p]−[s(p)]) with the class of (E0, F0) in (5.7) is stated as 'it can be verified', but this is precisely the non-trivial naturality statement. The subsequent homotopy argument cannot serve as that verification because, as noted above, the intermediate module (E,F) is not generally a Kasparov module. The proof therefore needs a different argument; a correct proof or a precise reference to a full naturality theorem for the index isomorphism is required before Theorem 9.1 can be considered established.","section":"§5.1, equations (5.6)–(5.7)"}],"minor_comments":[{"comment":"The proof of Proposition 5.2 is omitted with the note that it is elementary. Given that the index class depends on the choice of the adjointable isometry V and on representatives, a brief indication of the homotopy-invariance argument would improve readability and verifiability.","section":"§5, Proposition 5.2"},{"comment":"The proof of continuity of t ↦ ν_t(A)G uses the factorization G=(1−Φ^4)^{1/4}G_0 and the bound (8.1). This is correct but quite compressed; expanding the estimate for ∥ν_t(A)−ν_s(A)∥ in terms of ∥μ_t−μ_s∥ would make the argument easier to follow.","section":"§8, Lemma 8.2"},{"comment":"There are a number of typographical errors, e.g., 'continous' in Section 8, 'themapt' before the continuity claim in the proof of Lemma 8.2, and inconsistent spacing in displayed formulas. These do not affect the mathematics but should be corrected.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is well-written and the main computational core (Section 8) is careful and convincing. The obstruction to acceptance is the proof of Proposition 5.5, which is both load-bearing and apparently incorrect as written. The naturality of the index isomorphism under arbitrary ∗-homomorphisms is a standard fact in KK-theory, so the result is likely fixable by replacing the flawed proof with a complete reference or a correct proof. I recommend major revision rather than rejection, because the main theorem is probably true and the rest of the argument is sound, but the current manuscript does not yet give a valid derivation of equation (9.2)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper does what it says—gives a spectral localizer formula for the even index homomorphism in KK-theory, recovering the Loring–Schulz-Baldes machinery when B = C. The proof strategy is genuinely new: pin down the case H² = 1 and [D,H] = 0, then pass to general H by homotopies and bounded perturbations. The core Section 8 computation is detailed and convincing.\n\nWhat I think is actually new: the extension from K-homology to arbitrary C*-algebra pairs; the use of continuous compactly supported functions instead of spectral projections, which is necessary for Hilbert C*-modules; and the two-step proof skeleton. The paper is honest about its debts, especially in §5.1 where naturality of the index isomorphism is delegated to [JeTh91, Thm 2.2.17] because the author could not prove it in the operator homotopy picture. That is load-bearing in Theorem 9.1, but it is a standard theorem and the author flags it clearly. A referee should verify the reference actually covers the possibly non-degenerate σ used there. The stress-test note worries that the Kasparov module in Prop 5.5 is not checked to satisfy F²−1 compact and [F,π] compact; I disagree. Here F²−1 is multiplication by a continuous function, which is compact in K(E) ≅ C([0,1],C), and the commutators vanish. So that specific concern evaporates.\n\nThe soft spots are minor but real: Proposition 5.2 has its proof omitted as “rather elementary,” which is acceptable but slightly careless for a paper of this length. The homotopy H ↦ H|H|^{-t} is used in the Lipschitz algebra without spelling out why it stays Lipschitz continuously; this is a standard functional calculus fact for closed derivations, but it should be stated. The passage from the special case to the general case in Theorem 8.4 is quick, relying on Proposition 7.3; I think it works, but it deserves a second look.\n\nBottom line: a serious contribution with a credible core. The gaps are not fatal. I would send it to peer review and ask for detail on the points above. A specialist in unbounded KK-theory should referee it.","headline":"Solid extension of spectral localizer methods to KK-theory; the proof is largely sound, with a couple of standard but undeferred steps that need referee attention.","tokens_in":38827,"tokens_out":8353,"would_cite":true,"duration_ms":91367,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19K35","46L80","19K56","58B34","46L08"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the even Kasparov-product index homomorphism is computed by a spectral localizer built from smooth cutoffs of the Dirac operator.","keywords":["KK-theory","spectral localizer","index homomorphism","unbounded Kasparov modules","relative K-theory","even K-theory","Hilbert C*-modules","Kasparov product"],"falsifier":"Take $B=\\mathbb{C}$, $G_+=G_-=\\mathbb{C}^2$, $D_0=I_2$, and $H=2(Q_+\\oplus Q_-)-1$ with $Q_+=I_2$ and $Q_-=\\mathrm{diag}(1,0)$; then $Q=Q_+\\oplus Q_-$ and $H$ is an even selfadjoint involution. Computing Theorem 10.2 for this explicit 4-by-4 example means calculating the Fredholm index of $(QDQ)_0$ and comparing it with $\\tfrac12\\operatorname{sign}(P_\\rho(\\kappa D+\\gamma H)P_\\rho)+\\tfrac12\\operatorname{sign}(\\gamma P_\\rho)$ for large $\\rho$. If the two integers differ, the main theorem is false.","tokens_in":37769,"feed_emoji":"🧮","tokens_out":13450,"duration_ms":139177,"temperature":0.7,"pith_summary":"This paper establishes that the index homomorphism induced by a class in even KK-theory via the Kasparov product can be computed from a spectral localizer: a selfadjoint operator built from smooth compactly supported functions of an unbounded Dirac operator, rather than from its spectral projections. The formula only reads the part of the Dirac spectrum lying in a compact interval, with the interval size controlled by explicit operator norms, and it works at the full generality of Hilbert C*-modules where spectral projections may not exist. The proof first treats the commuting involutive case where the localizer collapses to a finite signature computation, then removes the simplifying assumptions by homotopy and perturbation invariance. If the main theorem is correct, index maps from even K-theory to K0(B) admit a direct and computable description that reduces to the known half-signature formula when B=C.","feed_headline":"Spectral localizers compute KK-theory index maps","feed_subtitle":"The index of a Kasparov product is read off from a compact slice of the Dirac spectrum, no full spectrum needed.","key_machinery":"The spectral localizer is $L_{\\kappa,\\rho}(H,D,\\phi)=\\Phi_\\rho\\gamma H\\Phi_\\rho+\\kappa\\Phi_{2\\rho}D\\Phi_{2\\rho}-(1-\\Phi_{2\\rho}^4)^{1/2}\\gamma$, where $\\Phi_\\rho=\\phi(D/\\rho)$ for an even localizing function $\\phi$ supported in $[-1,1]$ and equal to $1$ on $[-1/2,1/2]$. Because $\\phi$ has compact support, each $\\Phi_\\rho$ is compact, so the pair $(-\\gamma,L_{\\kappa,\\rho})$ defines a class in the relative K-theory of the pair $(\\mathcal L(X),\\mathcal K(X))$. The argument's backbone is a reduction: first prove the identity under $H^2=1$ and $[D,H]=0$, where a direct computation identifies the class through the phase of $H$ and the half-signature picture, then use homotopy invariance of the class and invariance under selfadjoint bounded perturbations of $D$ to return to arbitrary Lipschitz $H$. Excision in K-theory and the index-isomorphism picture translate the result into $K_0(B)$.","core_discovery":"Let $(X,\\pi,D)$ be an even compact unbounded Kasparov module from $A$ to $B$ and let $p\\in M_n(\\operatorname{Lip}_D(A)^\\sim)$ be a projection. For every adjointable isometry $V:X^{\\oplus n}\\to\\ell^2(\\mathbb{N},B)$, Theorem 9.1 asserts the identity\n$$\\varphi\\,$K_0^{{\\mathrm{inv}}$}(\\operatorname{Ad}(V))\\bigl(L(2\\pi(p)-1,$D^{{\\oplus n}}$)-L(2\\pi(s(p))-1,$D^{{\\oplus n}}$)\\bigr)=\\langle [p]-[s(p)], [X,\\pi,F_D]\\rangle$$\nin $K_0(B)$, where $L(H,D)$ is the spectral-localizer class, $s(p)$ is the scalar part of the unitalization, and $F_D=D(1+D^2)^{-1/2}$ is the bounded transform. The right-hand side is the Kasparov-product index homomorphism applied to the class $[p]-[s(p)]$. The left-hand side uses only continuous functions of $D$ with support in $[-\\rho,\\rho]$, and the admissibility of $(\\kappa,\\rho)$ is quantified in terms of the spectral gap of $H$, the norm of the commutator $[D,H]$, and the Fourier norm of the localizing function.","pith_inferences":["The explicit admissibility bounds suggest a truncation algorithm: for $B=\\mathbb{C}$, choosing $\\rho$ and $\\kappa$ from the quoted norms gives a finite-dimensional selfadjoint matrix whose half-signature is guaranteed to equal the index, without prior knowledge of the Dirac spectrum.","The two-step proof strategy of proving a commuting case and then transferring by bounded perturbation may carry over to odd KK-theory or to semifinite spectral triples, although the paper only treats the even module case.","One could test the robustness of the formula by truncating $\\ell^2(\\mathbb{N},B)$ at growing finite rank and checking that the resulting class stabilizes once $\\rho$ and $\\kappa$ meet the paper's bounds.","If the naturality of the index isomorphism were proved directly, the main theorem would no longer rest on an imported equivalence between KK-theory pictures, making the whole chain of computations self-contained."],"forward_implications":["The Kasparov-product index homomorphism $\\langle\\cdot,[X,\\pi,F_D]\\rangle\\colon K_0(A)\\to K_0(B)$ can be evaluated from data supported in the compact interval $[-\\rho,\\rho]$ of the spectrum of $D$, once $\\rho$ exceeds the explicit threshold in Proposition 6.8.","The formula applies to arbitrary even KK-classes represented by unbounded modules, including all cases where spectral projections of $D$ are not available as adjointable operators.","The class is independent of the choice of localizing function and admissible pair, so the invariant is stable under harmless choices of cutoff.","When $B=\\mathbb{C}$ and spectral projections exist, Theorem 10.2 recovers the earlier half-signature formula $\\mathrm{Index}((QDQ)_0)=\\tfrac12\\operatorname{sign}(P_\\rho(\\kappa D+\\gamma H)P_\\rho)+\\tfrac12\\operatorname{sign}(\\gamma P_\\rho)$."],"supporting_citations":[{"why":"Supplies the theorem that even KK-classes have unbounded representatives and defines the bounded transform used throughout.","marker":"[BaJu83]"},{"why":"Provides the Kasparov product and the index-isomorphism setting the paper computes.","marker":"[Kas80b]"},{"why":"Introduces the even spectral localizer whose index-pairing result this paper extends.","marker":"[LoSB20]"},{"why":"Contains the spectral-flow proof of the Hilbert-space spectral localizer theorem that is recovered in Section 10.","marker":"[DSBW23]"},{"why":"Theorem 2.2.17 supplies the naturality of the index isomorphism used as a load-bearing premise in Proposition 5.5 and Theorem 9.1.","marker":"[JeTh91]"},{"why":"Provides the continuous functional calculus for regular selfadjoint operators on Hilbert C*-modules used to construct $\\Phi_\\rho$.","marker":"[Lan95]"},{"why":"Supplies the criteria used in Proposition 4.6 to identify the unbounded Kasparov product.","marker":"[Kuc97]"},{"why":"Provides excision in K-theory used to convert the invertible spectral-localizer pair into a K0 class.","marker":"[Ros94]"}],"fun_headline_variants":["Index pairing from a spectral slice","Spectral localizer formula for KK index","KK index via compact spectrum window","No full Dirac spectrum needed for index","Local spectrum computes Kasparov index"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the main formula requires that a certain diagram commutes: pushing a K-theory class forward by an algebra homomorphism and then pairing must equal pairing first and then pushing the result forward. The paper does not prove this directly in the picture it works in, citing an external theorem instead; if that compatibility failed, identity (9.2) would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Index pairing from a spectral slice","Spectral localizer formula for KK index","KK index via compact spectrum window","No full Dirac spectrum needed for index","Local spectrum computes Kasparov index"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000385,"raw_usage":{"total_tokens":2077,"prompt_tokens":1030,"completion_tokens":1047,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":646,"completion_tokens_details":{"reasoning_tokens":987}},"tokens_in":646,"tokens_out":1047,"duration_ms":10680,"temperature":1.0,"reasoning_tokens":987,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:34:51.651401+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $B=\\mathbb{C}$, $G_+=G_-=\\mathbb{C}^2$, $D_0=I_2$, and $H=2(Q_+\\oplus Q_-)-1$ with $Q_+=I_2$ and $Q_-=\\mathrm{diag}(1,0)$; then $Q=Q_+\\oplus Q_-$ and $H$ is an even selfadjoint involution. Computing Theorem 10.2 for this explicit 4-by-4 example means calculating the Fredholm index of $(QDQ)_0$ and comparing it with $\\tfrac12\\operatorname{sign}(P_\\rho(\\kappa D+\\gamma H)P_\\rho)+\\tfrac12\\operatorname{sign}(\\gamma P_\\rho)$ for large $\\rho$. If the two integers differ, the main theorem is false.","supporting_citations":[],"review_version":2}