{"id":"97f8239f-2ba2-415a-89a6-4f40e4600e43","arxiv_id":"2505.18692","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A unified translation between the Arnlind-Wilson, Bhowmick-Goswami-Mukhopadhyay, and Mesland-Rennie Levi-Civita constructions, plus new existence results for centred bimodules with strongly non-degenerate metrics.","lead":"This paper compares three different constructions of Levi-Civita connections for noncommutative algebras and shows they agree when their assumptions overlap. It also proves a new existence and uniqueness theorem for such connections on a natural class of 'centred' modules of one-forms.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma A.9's displayed †-invariant central generating set does not satisfy the reconstruction identity; the explicit Levi-Civita formula in Theorem 4.24 relies on this unsupported step.","rationale":"The main theorem is conditional on an algebraic construction that has a concrete, checkable error: the pair set displayed in Lemma A.9 does not satisfy the identity it is claimed to satisfy. The reader already noted a 'notable typo' in Lemma A.9 and returned a CONDITIONAL verdict; our stress test makes the error precise and demonstrates it in a minimal example, so it is a proof-repair matter rather than a harmless slip. The corrected pair set works in the same example, and the surrounding algebra in Theorem 4.24 appears consistent, so there is no evidence that the theorem itself is false. The centredness limitation identified by the reader is an honest scope restriction, not an independent flaw. Therefore the verdict should remain CONDITIONAL; no change from the reader's verdict is warranted.","tokens_in":35928,"tokens_out":32096,"duration_ms":267829,"concrete_test":"Let A=C, X=C² with † given by complex conjugation and inner product ⟨(a,b)|(c,d)⟩ = \\bar a c + \\bar b d. Take central vectors x_1=(1,0), x_2=(1,1), x'_1=(1,-1), x'_2=(0,1); these satisfy (a,b) = x_1⟨x'_1|(a,b)⟩ + x_2⟨x'_2|(a,b)⟩. Evaluating the four pairs displayed in Lemma A.9 gives (3a+2b, b) instead of (a,b). Recomputing with the corrected pairs (x_i/√2, x'_i/√2) and (x_i†/√2, x'_i†/√2) gives (a,b). This settles whether Lemma A.9 needs only a correction or a genuinely different construction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 4.23 and Theorem 4.24 construct ∇_G from a finite central †-invariant generating pair {(ω_i,η_i)} whose existence is delegated to Lemma A.9. In the proof of Lemma A.9, the identities obtained are x = Σ_i x_i⟨x'_i|x⟩ and x = Σ_i x_i†⟨x'_i†|x⟩; averaging gives x = 1/2Σ_i(x_i⟨x'_i|x⟩ + x_i†⟨x'_i†|x⟩). To package this as Σ u⟨v|x⟩ over †-invariant pairs, the pairs must be (x_i/√2, x'_i/√2) and (x_i†/√2, x'_i†/√2). The display instead lists (x_i/√2, x_i†/√2) and (x'_i/√2, x'_i†/√2), whose sum is 1/2Σ_i(x_i⟨x_i†|x⟩ + x'_i⟨x'_i†|x⟩). No identity in the proof justifies this. This is not a purely cosmetic typo: the displayed sequences are exactly what Proposition 4.23 and Theorem 4.24 import. A secondary notational gap is that Lemma A.3 writes s_i(x)=⟨x'_i|x⟩, whereas Definition A.1's strong non-degeneracy represents right-module functionals as ⟨x'_i†|x⟩; this must be reconciled when reading Lemma A.9.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper compares three frameworks for Levi-Civita connections in noncommutative geometry: the derivation-based approach of Arnlind–Wilson, the differential-form approach of Bhowmick–Goswami–Mukhopadhyay, and the recent Hermitian framework of Mesland–Rennie. It introduces the notion of a centred Hermitian differential calculus, proves that such calculi induce real metric calculi on dual vector-field modules, and states an existence and uniqueness theorem (Theorem 4.24) with an explicit formula for a Hermitian torsion-free σ-†-bimodule connection, together with a curvature comparison (Theorem 4.26). The algebraic replacement of analytic frames by generating pairs for strongly non-degenerate inner products is developed in Appendix A.","tokens_in":36201,"tokens_out":16138,"duration_ms":116119,"significance":"If Theorem 4.24 is established, the paper makes a substantive contribution: it replaces the analytic locality and frame assumptions in [MR24a] by the algebraic assumption of strong non-degeneracy for centred bimodules, extends the existence result of [BGM20] to arbitrary centred Hermitian calculi, and provides a usable dictionary between connections on differential forms and affine connections on vector fields. The curvature comparison of Theorem 4.26 is also valuable. However, the central existence argument rests on Lemma A.9, whose proof is incorrect as written. Until that lemma is repaired, the main theorem is not supported.","major_comments":[{"comment":"The displayed †-invariant set is not the set that encodes the averaged identity. From x = 1/2Σ_i(x_i⟨x′_i|x⟩ + x_i†⟨x′†_i|x⟩), packaging this as Σ u⟨v|x⟩ requires the pairs (x_i/√2, x′_i/√2) and (x†_i/√2, x′†_i/√2). The display instead lists (x_i/√2, x†_i/√2) and (x′_i/√2, x′†_i/√2), whose left and right entries do not match the averaged summands. As written, the displayed set does not satisfy the reconstruction identity x = Σ u⟨v|x⟩. Since Proposition 4.23 and Theorem 4.24 import exactly this lemma, the standing hypothesis of the main existence theorem is not proved.","section":"Appendix A, Lemma A.9"},{"comment":"Even after correcting the pairs as described above, the proof only establishes the first reconstruction identity for the new set. The required second identity x = Σ v⟨u|x⟩ would need a proof of x = Σ_i x′†_i⟨x†_i|x⟩, and no such argument is given. In addition, the proof asserts without justification that a centred module yields central sequences {(x_i, x′_i)} satisfying Lemma A.3; Lemma A.3 only produces x′_i as representatives of right-module functionals and does not imply their centrality. Both gaps are load-bearing for Proposition 4.23 and Theorem 4.24.","section":"Appendix A, Lemma A.9"},{"comment":"There is a notational mismatch in the strong non-degeneracy condition. Definition A.1 condition 4 represents right-module functionals as ⟨x†|y⟩, while Lemma A.3 writes s_i(x) = ⟨x′_i|x⟩. The mismatch is not purely cosmetic because the dagger computation in Lemma A.9 is applied to the x′_i. The authors should fix a convention (for instance, x′_i chosen so that s_i(x) = ⟨x′†_i|x⟩) and then recompute the identities in Lemma A.9.","section":"Appendix A, Lemma A.3 and Definition A.1"}],"minor_comments":[{"comment":"The text says 'For bilinear vector fields Z1, Z2 ∈ D', but D consists of derivations; this should read Z1, Z2 ∈ φ(D).","section":"Section 4.6, before Theorem 4.26"},{"comment":"The claim that the constructed connection restricts to the classical Levi-Civita connection on Ω^1(M) is stated without proof; a reference or a short argument should be supplied.","section":"Theorem 4.27"},{"comment":"The map π: A^n → X is described as a 'surjective bimodule map', but the construction only guarantees right A-linearity when X is not assumed centred; replace 'bimodule' by 'right module' or add a centrality hypothesis.","section":"Lemma A.3"},{"comment":"There is a typo: 'machinary' should read 'machinery'.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The single serious obstacle is Lemma A.9. The paper should not be accepted until the authors provide a correct proof of the existence of a finite †-invariant central generating pair satisfying both reconstruction identities, or modify the main theorem to include the additional hypothesis that is actually needed. If the lemma can be repaired, the paper is likely suitable for publication in this journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a real contribution to noncommutative differential geometry, but there is a concrete flaw in Lemma A.9 that the authors need to fix before the paper goes out. The displayed generating set in the proof of Lemma A.9 does not satisfy the stated reconstruction identity. From the proof, averaging gives x = 1/2(Σ x_i⟨x'_i|x⟩ + x_i†⟨x'_i†|x⟩). To package this as Σ u⟨v|x⟩ over †-invariant pairs, the correct pairs are (x_i/√2, x'_i/√2) and (x_i†/√2, x'_i†/√2). The display instead lists (x_i/√2, x_i†/√2) and (x'_i/√2, x'_i†/√2), which does not reconstruct x. Since Proposition 4.23 and Theorem 4.24 import this lemma verbatim, the error is load-bearing, not cosmetic. The good news is the correction is immediate and the surrounding arguments — the σ-braiding computations, the (1+4PQ)W correction term, the torsion calculation — all appear to go through unchanged with the repaired pairs.\n\nWhat the paper does well: it gives a clean common language for the Arnlind–Wilson derivation-based approach, the BGM20 spectral-triple approach, and the MR24a differential-forms approach. The translation theorems (3.21, 3.24, 4.16, 4.20) are useful and carefully stated. Theorem 4.24 genuinely extends existence to all centred Hermitian calculi with strongly non-degenerate inner product, replacing the analytic frame assumption of MR24a with the algebraic generating-pair technique of Appendix A. The explicit Levi-Civita formula and the curvature comparison (4.26) are valuable. The paper is also honest about the scope: centredness is essential, and the purely algebraic existence argument does not cover non-centred bimodules.\n\nMinor soft spots: a few proofs say \"identical to Theorem 4.16\" without showing details, and the step in Lemma A.3 / Definition A.1 where functionals are written as ⟨x'|·⟩ rather than ⟨x'†|·⟩ can confuse readers. Neither is serious. The stress-test note's secondary concern about the notational mismatch is reconcilable — the g∘σ = g hypothesis justifies the relevant equality.\n\nWho this is for: specialists in noncommutative geometry who want to compare or import results across the three existing frameworks. It deserves a serious referee, but I would require the Lemma A.9 correction before recommending acceptance.","headline":"A valuable translation between the three Levi-Civita frameworks, with a correctable but load-bearing typo in Lemma A.9 that must be fixed before publication.","tokens_in":36773,"tokens_out":12600,"would_cite":true,"duration_ms":94296,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58B34","53C05","46L87"],"pacs":[],"model":"deepseek-v4-flash","headline":"Centred noncommutative calculi admit one Levi-Civita connection","keywords":["noncommutative geometry","Levi-Civita connection","centred bimodule","Hermitian torsion-free connection","canonical braiding","pseudo-Riemannian calculus","differential forms","quantum metric"],"falsifier":"Compute formula (4.1) on a fixed centred Hermitian calculus using two different central dagger-invariant generating pairs, for instance on the noncommutative two-torus with its standard metric; if the two resulting connections differ, the explicit formula is not well-defined. Alternatively, exhibit a finitely generated projective one-form module with strongly non-degenerate inner product that is not centred and for which no Hermitian torsion-free sigma-dagger-bimodule connection exists, which would confirm the paper's own caveat that the algebraic existence proof does not extend beyond centred bimodules.","tokens_in":35698,"feed_emoji":"📐","tokens_out":8686,"duration_ms":72817,"temperature":0.7,"pith_summary":"This paper establishes that three different constructions of Levi-Civita connections in noncommutative geometry—one on vector fields, one on differential one-forms via spectral data, and one on one-forms via centred bimodules—describe the same object whenever their hypotheses overlap. For any centred Hermitian differential calculus, meaning a module of one-forms generated by its centre, with a strongly non-degenerate inner product invariant under the canonical braiding, there is a unique Hermitian torsion-free $\\sigma$-$\\dagger$-bimodule connection, and the paper writes it down explicitly. This explicitly constructed connection dualises to a pseudo-Riemannian calculus on noncommutative vector fields, and its curvature tensor agrees with the vector-field curvature. The result therefore gives a common language and a purely algebraic existence theorem that unifies earlier existence results.","feed_headline":"Centred noncommutative calculi admit one Levi-Civita connection","feed_subtitle":"Three approaches coincide on centred one-form modules, giving an explicit connection and matching curvatures.","key_machinery":"The load-bearing object is the centred Hermitian differential calculus: a first-order differential structure $(\\Omega_d^1(A), \\dagger)$ whose one-form bimodule is generated by its centre, carrying a strongly non-degenerate Hermitian inner product whose bilinear quantum metric $g(\\omega\\otimes\\eta)=-\\langle\\omega^\\dagger\\mid\\eta\\rangle$ is invariant under the canonical braiding $\\sigma_{\\mathrm{can}}$. The canonical braiding, which flips central one-forms, supplies the projection $\\Psi=\\frac{1}{2}(1+\\sigma_{\\mathrm{can}})$ and therefore the exterior derivative, torsion, and curvature in the form framework. The existence proof replaces analytic frames by purely algebraic generating pairs $\\{(\\omega_i,\\eta_i)\\}$ of central elements satisfying $\\omega=\\sum_i \\omega_i\\langle\\eta_i\\mid\\omega\\rangle=\\sum_i \\eta_i\\langle\\omega_i\\mid\\omega\\rangle$, which exist under strong non-degeneracy; the correction term $\\alpha((1+4PQ)W)$ is the musical-isomorphism manipulation that removes the torsion left by the Hermitian ansatz.","core_discovery":"The central claim is Theorem 4.24: on a centred Hermitian calculus $(\\Omega_d^1(A), \\dagger, \\langle\\cdot\\mid\\cdot\\rangle, \\sigma_{\\mathrm{can}})$, where the one-form bimodule is generated by central elements, the inner product is strongly non-degenerate, and the quantum metric is invariant under the canonical braiding, there exists exactly one Hermitian torsion-free $\\sigma$-$\\dagger$-bimodule connection $\\nabla_G$ on one-forms. For any finite central $\\dagger$-invariant generating pair $\\{(\\omega_i,\\eta_i)\\}$, it is given by $\\nabla_G(\\omega)=\\frac{1}{2}\\big(\\sum_i \\omega_i\\otimes d\\langle\\eta_i\\mid\\omega\\rangle + \\eta_i\\otimes d\\langle\\omega_i\\mid\\omega\\rangle\\big)-\\alpha((1+4PQ)W)$. The same connection induces right and left pseudo-Riemannian calculi on the dual modules of vector fields (Corollary 4.25), and its curvature agrees with the curvature of the induced affine connection (Theorem 4.26).","pith_inferences":["Beyond the paper: the explicit generating-pair formula should make the connection computable by linear algebra on any finite-dimensional centred calculus, for example matrix algebras with a differential calculus generated by central one-forms, without first solving the metric-compatibility and torsion equations.","Beyond the paper: the paper's caveat that the algebraic existence proof does not extend to non-centred bimodules suggests that non-centred calculi are where genuinely new behaviour can be sought; a systematic search for non-centred strongly non-degenerate calculi with no or with multiple Hermitian torsion-free connections would map the true boundary of the theorem.","Beyond the paper: since the curvature comparison is proven only when two of the three vector-field slots are bilinear, a natural next step is to test whether the third slot can be freed, which would let the full Riemann tensor and scalar curvature of a pseudo-Riemannian calculus be computed entirely from the one-form formula."],"forward_implications":["Every centred Hermitian calculus with a strongly non-degenerate metric invariant under the canonical braiding has a unique Hermitian torsion-free connection on one-forms, explicitly computable from any central $\\dagger$-invariant generating pair.","The corresponding dual vector-field modules carry right and left real pseudo-Riemannian calculi with strongly non-degenerate inner products, so curvature tensors can be studied in either formalism and agree.","The analytic locality hypothesis used in earlier differential-form constructions can be dropped in the centred case: strong non-degeneracy alone suffices for existence, replacing the need for pre-$C^*$-inner products and frames.","Isospectral deformations coming from free torus actions, including the noncommutative two-torus and three-sphere, admit these connections, recovering earlier examples as a special case."],"supporting_citations":[{"why":"Supplies the vector-field formalism of real metric calculi and the uniqueness theorem for metric torsion-free affine connections that the paper dualises into.","marker":"[A W17]"},{"why":"Provides the earlier existence result for centred bimodules and the theta-deformation examples that Theorem 4.24 extends.","marker":"[BGM20]"},{"why":"Supplies the differential-form framework, the notion of sigma-dagger-bimodule connections, and the analytic hypothesis that strong non-degeneracy replaces in the centred case.","marker":"[MR24a]"},{"why":"Proves the existence of the canonical braiding on centred bimodules, which yields the projection Psi and the whole second-order structure.","marker":"[S96]"},{"why":"Gives the definitions of first-order differential structures, Hermitian connections and the quantum metric used throughout.","marker":"[BM20]"},{"why":"Provides the dualisation of one-forms to vector fields and the Koszul-type formulas that the comparison follows.","marker":"[BGL20]"},{"why":"Supplies the curvature tensor on differential forms that the paper matches to the vector-field curvature in Theorem 4.26.","marker":"[MR24b]"}],"fun_headline_variants":["Unique Levi-Civita connection on centred calculi","Three approaches unify: one Levi-Civita connection","Explicit unique connection for centred noncommutative spaces","Centred calculi: a single torsion-free Hermitian connection"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The one-form bimodule must be centred, meaning every one-form is a combination of elements that commute with the algebra, because the canonical braiding, the coincidence of the two musical isomorphisms, and the algebraic existence of the connection all depend on that property.","fun_headline_variants_meta":{"raw":{"variants":["Unique Levi-Civita connection on centred calculi","Three approaches unify: one Levi-Civita connection","Explicit unique connection for centred noncommutative spaces","Centred calculi: a single torsion-free Hermitian connection"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000158,"raw_usage":{"total_tokens":1191,"prompt_tokens":876,"completion_tokens":315,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":492,"completion_tokens_details":{"reasoning_tokens":248}},"tokens_in":492,"tokens_out":315,"duration_ms":2928,"temperature":1.0,"reasoning_tokens":248,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:27:14.146764+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute formula (4.1) on a fixed centred Hermitian calculus using two different central dagger-invariant generating pairs, for instance on the noncommutative two-torus with its standard metric; if the two resulting connections differ, the explicit formula is not well-defined. Alternatively, exhibit a finitely generated projective one-form module with strongly non-degenerate inner product that is not centred and for which no Hermitian torsion-free sigma-dagger-bimodule connection exists, which would confirm the paper's own caveat that the algebraic existence proof does not extend beyond centred bimodules.","supporting_citations":[],"review_version":1}