{"id":"3c89f941-e0d7-434b-90b0-467454654f46","arxiv_id":"2510.07883","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For scalable pairs of proper metric spaces, the continuous-functions functor and the relative uniform Roe functor are asymptotically adjoint, yielding Roe-algebra descriptions of E-theory and K-homology.","lead":"This paper introduces relative Roe functors — matrix algebras indexed by a metric net — and proves they form an 'asymptotic adjunction' to the functor of continuous functions on a scalable metric pair. The payoff is a new algebraic machine for describing E-theory and K-homology without suspensions, with applications to extension theory.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"All applications route through unproved Theorem 1.51 imported from [12]; a gap there would invalidate the corollaries even though Theorem 3.15's analytic proof appears sound.","rationale":"The reader's CONDITIONAL verdict is well-calibrated. The analytic core of Theorem 3.15 — the unit/counit construction and the homotopy estimates in Propositions 3.19 and 3.20 — is detailed and my spot-checks of the key estimates (3.5), the commutator argument, and the discretization cutoffs did not reveal a concrete error. However, the advertised payoff depends on a categorical bridge that is not proved in this paper: Theorem 1.51 is imported from the author's preprint [12] and is stated here without proof. In a standalone paper this is acceptable only if the reference is trustworthy and the statement is exact; but the assertion is nontrivial (it involves colimits, homotopy quotients, and monoid structures), and the text gives no proof sketch. This is exactly the kind of load-bearing assumption that justifies a conditional verdict rather than acceptance. The additional K-homology issue — coarse homotopy invariance for nonempty X0, explicitly admitted to be proved only for X0=∅ in [11] — is a second, narrower conditionality. Neither concern attacks Theorem 3.15 itself, so the central analytic claim can stand; the applications, however, should be regarded as established only modulo the missing proofs. My proposed test would settle whether Theorem 1.51 is valid by forcing a full derivation from Definition 1.50; if it succeeds, the conditional can be lifted, and if it fails, the corollaries do not follow. I therefore leave the reader's CONDITIONAL unchanged.","tokens_in":31939,"tokens_out":23915,"duration_ms":202293,"concrete_test":"Independently prove Theorem 1.51 from Definition 1.50, verifying that Φ and Ψ in (1.9) are well-defined on homotopy classes, mutually inverse, and monoid homomorphisms for arbitrary A,B and S,N in hGEFC, using only the two triangle diagrams. As a minimal concrete instance, instantiate S=C_R, N=N^u_Z, A=C, B=C, compute both colimits explicitly, and check that the induced maps are bijections; if the general proof fails or this instance reveals a mismatch, Theorem 3.21 and all applications collapse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive step is not the analytic Theorem 3.15 but the categorical Theorem 1.51 (§1.11), stated without proof. It asserts that from an asymptotic adjunction S ⊣_as N one obtains a monoid isomorphism [[SA,Id,B]] ≅ [[A,N,B]] via the formulas (1.9). This is the sole mechanism turning the adjunction into Theorem 3.21 and hence into all three advertised applications: unsuspended E-theory, extensions, and K-homology. The paper says only 'one can easily obtain'; no proof or exact pointer to a lemma in [12] is supplied. Defining Φ and Ψ is not enough: one must show well-definedness on F-homotopy classes, independence of the colimit index, inverse-up-to-the-adjunction-homotopies, and preservation of the monoid operation. Any hidden hypothesis (separability, exactness, tensor-type behaviour, or a stricter naturality condition) would break Theorem 3.21. Separately, the K-homology application (3.19) needs coarse homotopy invariance of N^u_{X,X0}K for pairs with X0 nonempty; the text says [11] proves this only for X0=Y0=∅. This second unproved bridge affects well-definedness of K^1(X) independently of Theorem 1.51. The first concern is broader because it underpins every corollary.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces relative uniform Roe functors N^u_{X,X0} for a discrete bounded-geometry space X and subspace X0, and shows (Theorem 3.15) that for a scalable pair of proper metric spaces (X,X0), with a ∆-discretization X=(X,X0), the functor C_X := C_0(X,X0; ·) is asymptotically adjoint to N^u_X in the author's framework of good endofunctors (Definition 1.50). The unit and counit are given explicitly and the two asymptotic triangle identities are treated in Propositions 3.19 and 3.20, using the scaling axioms, partition-of-unity estimates, and a technical reparametrization lemma. Theorem 3.21 then uses the imported Theorem 1.51 to deduce a monoid isomorphism between colim_k [C_X A, A^k K, B] and colim_k [A, N^u_X A^k K, B], yielding three applications: unsuspended descriptions of E^0 and E^1, an extension/E_1 correspondence, and a K-homology formula via metric cones. Section 4 proves a technical theorem (Theorem 4.1) showing that for separable A the colimit over A^n K collapses to a single copy of A K.","tokens_in":32163,"tokens_out":3922,"duration_ms":32251,"significance":"The analytic core of the paper is substantial and mostly coherent. The explicit construction of the unit and counit, and the norm estimates in Proposition 3.19 (in particular inequality (3.5)) and Proposition 3.20 (Claims 1–4), are genuine contributions and appear to be checked correctly within the stated framework. The relative uniform Roe functor is a useful new object, and the technical theorem of Section 4 is a self-contained stabilization result that is valuable independently. If the implied applications hold, they would provide attractive descriptions of unsuspended E-theory, E_1/extension theory, and K-homology. However, every advertised application passes through Theorem 1.51, which is imported from the companion paper [12] and stated without proof in §1.11. The manuscript is commendably explicit about this dependence, but as a refereed standalone paper this is a load-bearing gap. The K-homology application has a second, independent gap, because the coarse homotopy invariance needed for relative Roe functors with nonempty subspace is not covered by the cited reference. These issues are fixable in principle but require either including the missing proofs or giving precise po","major_comments":[{"comment":"Theorem 1.51 is the sole mechanism that converts the asymptotic adjunction of Theorem 3.15 into the monoid isomorphism of Theorem 3.21, and hence into all three applications of §3.4. It is stated without proof, with only the remark 'one can easily obtain'. The formulas (1.9) define Φ and Ψ, but well-definedness requires showing they pass to F-homotopy classes, that they are independent of the colimit index, that the compositions are homotopic to identities using the asymptotic triangle identities and stability homotopy (Lemma 1.41), and that the maps are monoid homomorphisms. If [12] contains a proof, a precise pointer is needed; otherwise the proof should be included. As written, the central applications do not follow from the analytic results of Section 3 on the basis of the present manuscript.","section":"§1.11, Theorem 1.51"},{"comment":"The assertion that the right-hand side of (3.19) is well-defined uses two further imported facts: coarse homotopy invariance of relative Roe functors N^u_{X,X0}K for pairs with X0 nonempty, and independence of the cone from the embedding. The text notes that [11] proves coarse homotopy invariance only for X0=Y0=∅. In (3.19) the second entry is {0}, so this is exactly the case not covered by the cited reference. The construction of K^1(X) therefore requires a proof or a precise reference for the relative case. This issue is independent of Theorem 1.51.","section":"§3.4, K-homology (3.19)"},{"comment":"The unsuspended E-theory statements E^0(A,B) ≅ [[A,M^u_{Z^2},B]] and E^1(A,B) ≅ [[A,M^u_Z,B]] are derived from (3.18), which is quoted from [4] and needs to be checked in the present generalized-morphism framework. More importantly, the step 'Applying Theorem 3.21 to the right-hand sides of (3.18)' requires identifying C_{R^2} with the suspension functor S in the presence of the left-hand multiplication in Theorem 3.21. These tensor/identification steps should be written out, since Theorem 3.21 involves C_X acting on the left on A, while the relevant functor in (3.18) is S acting on A.","section":"§3.4, E-theory applications"},{"comment":"The theorem is stated for a fixed discretization scale ∆ and a particular square partition of unity {α_x}. The proof shows that for that datum the maps η and ε are well-defined and satisfy the asymptotic adjunction. However, the applications in §3.4 implicitly treat the right-hand functor N^u_X, which depends on the chosen discretization X and the partition {α_x}, as associated to the pair (X,X0). The manuscript does not prove independence of the discrete model, the partition, or the scale ∆, nor does it identify the resulting Roe functor up to homotopy. This is load-bearing for the isomorphism statements in Theorem 3.21 and the corollaries; a brief argument or reference is needed.","section":"§3.2, Theorem 3.15"}],"minor_comments":[{"comment":"The abstract switches between 'scalable locally compact metric spaces' and 'scalable proper metric spaces'; the body consistently uses proper metric spaces. Please harmonize the terminology.","section":"Abstract/Introduction"},{"comment":"The triangle diagrams in Definition 1.50 would benefit from being displayed with more separation; as typeset they are hard to parse. Also, the second diagram's lower horizontal arrow should be labeled consistently as Nαι00.","section":"§1.11, Definition 1.50"},{"comment":"The set in (2.3) is presented as a ∗-subalgebra; a sentence clarifying that finite-propagation matrices form a ∗-subalgebra under multiplication would help the reader, since the propagation bound for products is not immediate.","section":"§2.2, Definition 2.7"},{"comment":"The notation in the proof of Proposition 3.20 uses both φ1/φ2 as natural transformations and then introduces 'φ01' and 'φ12' as homotopies; the naming is confusing because the subscripts are not consistent. Consider renaming the homotopies (for instance, H^{01} and H^{12}).","section":"§3.3, Proposition 3.20"},{"comment":"Lemma 4.6 is used crucially in Proposition 4.7, but its proof is omitted with 'left as a simple exercise'. A one-sentence justification would improve readability and make the paper more self-contained.","section":"§4.1, Lemma 4.6"},{"comment":"There are several typos: 'assiosiated' in Definition 4.3, 'remarametrization' in Lemma 4.12, and a missing article/phrase in the sentence 'Using Lemma 4.9, we conclude that ψ is also a ∗-homomorphism' (it should say why). The dependence on the unpublished companion [12] should also be flagged explicitly in the introduction.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The paper's central analytic construction is serious and appears sound, but the advertised applications all depend on the unproved categorical bridge Theorem 1.51 from the author's own companion paper [12]. This is a normal division-of-labor situation, but it means the paper as submitted cannot be accepted without either including a proof of Theorem 1.51 or a precise citation to a proof. The K-homology application also needs a correction for the relative coarse homotopy invariance issue. I would encourage the editor to request a revision that makes these dependencies explicit and complete."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper's central result — an asymptotic adjunction between C_{X,X0} and the relative uniform Roe functor — is new, and the analytic proof is genuine work. Spot-checks on the key estimates in Propositions 3.19 and 3.20 hold up. The triangle identities are settled by explicit estimates, not by definition. The relative uniform Roe functor is a useful construction, and the main theorem is not just formal machinery.\n\nThat said, the advertised payoffs — unsuspended E-theory, extensions, K-homology — all route through Theorem 1.51, imported from the author's own preprint [12] and stated here without proof. The paper says \"one can easily obtain\" a monoid isomorphism from an asymptotic adjunction. That may be true, but the proof needs well-definedness on F-homotopy classes, independence of the colimit index, and preservation of the monoid operation. None of that is shown here. A hidden hypothesis in [12] would nullify all three applications, even though Theorem 3.15 itself remains sound. This is the load-bearing gap.\n\nSecond soft spot: the K-homology application additionally needs coarse homotopy invariance for pairs with nonempty X0. The author himself says [11] proves this only for X0=∅. So (3.19) is not established as stated.\n\nMinor issues: Remark 3.16 has a self-referential display (η and ε are defined in terms of themselves), the abstract says \"locally compact metric spaces with bounded coarse geometry\" while the body says \"proper metric spaces\", and Lemma 3.11's support radius looks off by a factor of two. These are typos, not structural flaws.\n\nOn the positive side, the paper is unusually honest about limitations. Naturality in K-homology is deferred, the pair-case invariance is flagged, and the \"straightforward\" labels are largely accurate. The central theorem is not circular and the estimates are checkable. No fitted data, no inflated claims.\n\nWho is this for? A reader in coarse geometry or E-theory who wants a right adjoint to tensoring with continuous functions gets real value. The applications are conditional, but the main theorem is a solid advance.\n\nMy recommendation: send it to a serious referee. The referee must verify Theorem 1.51 (or require a proof) and ask the author to address the pair-case invariance. If those hold, this is an accept with revisions. If Theorem 1.51 fails, the corollaries fall, but the main theorem may still stand on its own.","headline":"Main theorem is solid and new, but all applications ride on an unproved imported theorem from the author's own preprint, so the corollaries are conditional until that's supplied.","tokens_in":32856,"tokens_out":2824,"would_cite":true,"duration_ms":25003,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L85","19K35","46L80"],"pacs":[],"model":"deepseek-v4-flash","headline":"For scalable pairs of metric spaces, the continuous-function functor and the relative uniform Roe functor are asymptotically adjoint, giving suspension-free models of E-theory and K-homology.","keywords":["asymptotic adjunction","relative Roe functor","uniform Roe algebra","E-theory","scalable metric space","K-homology","good endofunctors","coarse geometry"],"falsifier":"Check the asymptotic-adjunction diagrams on the simplest nontrivial scalable pair, X=R, X0=∅, with the standard shrinking scaling sc_t(x)=t^{-1}x: take B=C and a smooth compactly supported f∈C0(R), and compute the norm of the difference between the two composite maps in Proposition 3.19 as t→∞. The theorem predicts this norm tends to zero; an explicit estimate exhibiting a positive lower bound would refute the adjunction, while a verification would confirm the mechanism that all the applications rely on.","tokens_in":31649,"feed_emoji":"🧮","tokens_out":7646,"duration_ms":68966,"temperature":0.7,"pith_summary":"The paper's central claim is that, for any scalable pair of proper metric spaces, tensoring with C0(X,X0) admits a right 'asymptotic adjoint': the relative uniform Roe functor built from a discretization of the space. An asymptotic adjunction is a weakened adjunction in the category of good endofunctors of C*-algebras, where the usual triangular identities need only commute up to homotopy after a stabilization shift. The paper argues this weak notion is still enough: it induces an isomorphism of monoids of generalized morphisms, and from that the author derives an unsuspended description of Connes–Higson E-theory, an E-theoretic analog of the KK1-versus-Ext correspondence, and a Roe-algebra formula for the K-homology of compact metric spaces via metric cones. The reason to care is that suspensions and colimits, analytic conveniences that obscure the underlying geometry, can be replaced by operator-algebraic objects attached directly to the metric space.","feed_headline":"Roe algebras give a suspension-free E-theory","feed_subtitle":"An asymptotic adjunction between continuous functions and relative uniform Roe algebras yields new E-theory and K-homology formulas.","key_machinery":"The load-bearing object is the relative uniform Roe functor N^u_{X,X0} := M^u_X / M^u_{X⊃X0}: the norm closure of finite-propagation matrices indexed by the discrete space X, modulo the ideal of matrices supported in neighborhoods of X0. It is a good labeled endofunctor, so it inherits the homotopy and stabilization calculus of good endofunctors. The unit η quantizes a square partition of unity into matrix coefficients; the counit ε feeds the scaling family sc_t into a diagonal matrix and passes to the asymptotic algebra. The asymptotic-adjunction diagrams are the mechanism that converts these two explicit natural transformations into monoid isomorphisms: if they commute up to homotopy, then","core_discovery":"Introducing relative uniform Roe functors as quotients N^u_{X,X0} := M^u_X / M^u_{X⊃X0}, the author proves that for a scalable pair X=(X,X0), any Δ-discretization X=(X,X0), and any square partition of unity subordinate to the Δ-ball cover, there is an asymptotic adjunction C_{X,X0} ⊣_as N^u_X, with explicit unit η: Id ⇒ N^u_X C_{X,X0} and counit ε: C_{X,X0} N^u_X ⇒ AK. The unit encodes a partition of unity as matrix coefficients; the counit evaluates continuous functions along the scaling maps and passes to the asymptotic algebra. By the isomorphism theorem for asymptotic adjunctions, this yields natural isomorphisms of monoids colim_k [C_{X,X0}A, A^kK, B] ≅ colim_k [A, N^u_{X,X0}A^kK, B]. F","pith_inferences":["Editorial: The paper itself notes that naturality of the K-homology formula in X is left open; if a natural refinement can be constructed, the cone description would become a full functorial model of K-homology rather than an object-level invariant.","Editorial: The same pattern plausibly extends to all degrees: the pair (R^n,∅) suggests identifications E^n(A,B) ≅ [[A, M^u_{Z^n}, B]], and the boundary-relative cases suggest E^n(A,B) ≅ [[A, N^u_{Z^n_+,{0}}, B]], for every n.","Editorial: The extension correspondence points toward a direct comparison with Kasparov theory; testing whether [[A, N^u_{Z+,{0}}, B]] is invertible as a group for nuclear A would sharpen the analogy with KK^1 ≅ Ext^{-1}.","Editorial: The proof uses only the scaling axioms, not a group action, so versions of the adjunction may survive for spaces with very weak self-similarity; subjecting the construction to spaces that are not locally finite would clarify where bounded geometry is truly essential."],"forward_implications":["For separable A, the colimit in the definition of generalized morphisms is unnecessary: [C_X A, AK, B] ≅ [A, N^u_X AK, B].","Connes–Higson E-theory gains suspension-free models: E^0(A,B) ≅ [[A, M^u_{Z^2}, B]] and E^1(A,B) ≅ [[A, M^u_Z, B]].","E^1(A,B) is isomorphic to a monoid of homotopy classes of extensions with asymptotic coefficients, via the relative uniform Roe functor of the half-line discretization; this parallels the classical KK^1 ≅ Ext^{-1} correspondence.","The K-homology of any compact metrizable space X is expressible as [[C, N^u_{(OX)discr,{0}}, K]], where OX is the metric cone on X.","The adjunction is insensitive, up to the isomorphism, to the choice of Δ-discretization and square partition of unity, so the analytic construction is geometrically robust in that sense."],"fun_headline_variants":["Roe algebras unlock E-theory without suspensions","Asymptotic adjunction yields K-homology via cones","Relative Roe functors reshape E-theory and K-homology","Suspension-free E-theory via asymptotic adjunction"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The applications all pass through the previously established theorem, stated here without proof, that an asymptotic adjunction induces isomorphisms of generalized-morphism monoids; if that framework has a gap, the advertised corollaries of Section 3.4 do not follow, even if the main adjunction theorem itself stands.","fun_headline_variants_meta":{"raw":{"variants":["Roe algebras unlock E-theory without suspensions","Asymptotic adjunction yields K-homology via cones","Relative Roe functors reshape E-theory and K-homology","Suspension-free E-theory via asymptotic adjunction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000245,"raw_usage":{"total_tokens":1349,"prompt_tokens":696,"completion_tokens":653,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":440,"completion_tokens_details":{"reasoning_tokens":585}},"tokens_in":440,"tokens_out":653,"duration_ms":5446,"temperature":1.0,"reasoning_tokens":585,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T10:53:09.723623+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the asymptotic-adjunction diagrams on the simplest nontrivial scalable pair, X=R, X0=∅, with the standard shrinking scaling sc_t(x)=t^{-1}x: take B=C and a smooth compactly supported f∈C0(R), and compute the norm of the difference between the two composite maps in Proposition 3.19 as t→∞. The theorem predicts this norm tends to zero; an explicit estimate exhibiting a positive lower bound would refute the adjunction, while a verification would confirm the mechanism that all the applications rely on.","supporting_citations":[],"review_version":1}