{"id":"3f88f338-4dbc-4cde-8b46-d7b2f399656e","arxiv_id":"2607.27121","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"On the extended Otto metric, the Levi-Civita connection and Riemann tensor of Wasserstein space are exact lifts of the base manifold's, so Lott-type correction terms are extrinsic projection artifacts.","lead":"The paper rebuilds differential geometry on Wasserstein space using global derivations on cylinder functions instead of pointwise gradient fields. It concludes that Wasserstein curvature is just the lift of base-manifold curvature; classical correction terms come from projecting onto gradients, not from intrinsic geometry.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"The algebra behind R_der = lift of R checks out; the only load-bearing issue is the one the reader flagged — the claim lives on the derivation bundle T_der, not on the W2-geodesic tangent spaces.","rationale":"The reader's weakest_assumption (the modeling choice of VC^∞_b/G_der over T_grad/T_geo) is the correct and only significant soft spot, and my independent re-check of the load-bearing algebra found no countervailing derivation error: the curvature cancellation in Thm. 2.21 is exact, the anchor property (Cor. 2.13) is what makes the Koszul-style uniqueness argument available, and the heuristic status of the projected operators off P^∞ (Rmks. 2.26–2.27) is disclosed rather than hidden. Because the paper itself proves the recovery of Lott's correction terms via the second fundamental form II and the non-integrability A (Thm. 2.29, Rmk. 2.30), the conceptual concern is testable rather than rhetorical: if the projection story is right, Lott's reduced tensor must decompose exactly as lift-plus-extrinsic-terms with the stated coefficients. The proposed S^1 computation settles this with minimal machinery and would either convert the scoping caveat into a verified strength or expose a quantitative error in §2.5. Absent such a mismatch, nothing here moves the verdict; the bundle-choice caveat belongs in the record, not in the correctness column. Verdict unchanged at ACCEPT.","tokens_in":27631,"tokens_out":12883,"duration_ms":498963,"concrete_test":"Work M = S^1, μ = uniform measure, fully explicitly. Take ϕ_i Fourier modes (cos kx, sin kx), compute Lott's operator T_{ϕϕ′} = (1−Π_ρ)(∇ϕ·Hess ϕ′) by hand, and independently evaluate both sides of Eq. (2.45): the LHS via (2.31) (here ΠR_der = 0 since R ≡ 0 on S^1), the RHS via the two II-terms and the A-term with its −2 coefficient, then compare term-by-term against Lott's published Eq. (5.3) for the same fields. If the correction terms reproduce Lott's reduced curvature exactly (including the factor 2 from antisymmetry of T), the 'projection artifact' interpretation is quantitatively confirmed; any coefficient mismatch means the claimed decomposition of Lott's tensor into lift-plus-extrinsic-terms is wrong, not just reinterpreted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I re-traced the central computation (Thm. 2.21, eq. (2.32)–(2.37)) and it is internally sound: the intrinsic second derivatives cancel against ∇int_{J·,·K} exactly via the symmetry of D²u₃ and the bracket expansion (2.15); the mixed terms (2.35)+(2.36) precisely cancel the non-curvature remainder of the pullback terms (2.37), leaving u₁u₂u₃⊗R(w₁,w₂)w₃. Torsion (Prop. 2.16, Thm. 2.19(i)) and metric compatibility (2.27) also verify cleanly, and the uniqueness step is safer than the text suggests: non-degeneracy of G_der on VC^∞_b follows from the injectivity of ∂: VC^∞_b → Der(FC^∞_b) cited in Rmk. 2.9, since vanishing against all cylinder fields implies vanishing against gradient ones. So the strongest claim is correct as stated — but it is a claim about (VC^∞_b, G_der), whose fibers X_μ include ker div_μ directions that (a) act trivially on cylinder functions at μ (Rmk. 2.8: Vu = (ΠV)u) and (b) correspond to no W2-geodesic direction (Prop. 2.1: T_grad ≠ T_geo without transport regularity, and T_der is larger still). Cor. 2.22 then assigns sectional curvature to planes containing such directions, and the slogan 'the correction terms are not intrinsic curvature' is true of an object whose metric G_der pairs directions invisible to Otto geometry. The paper is transparent about this (§1.1–1.2, Rmk. 2.27), so this is a scoping caveat on interpretation, not a derivation failure — which is exactly what the reader recorded.","agreement_with_reader":"agree"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The paper develops a global differential calculus on the L^2-Wasserstein space P over a closed Riemannian manifold (M,g), taking as vector fields the FC^∞_b-module VC^∞_b = FC^∞_b ⊗ X^∞ of cylinder vector fields acting as derivations of cylinder functions, rather than the usual measure-dependent gradient tangent spaces. The authors define an intrinsic connection ∇^int on VC^∞_b (Prop. 2.10) and a pullback Ω_∇ of any base connection (Def. 2.17); they show the commutator bracket J·,·K makes VC^∞_b a Lie algebroid with identical anchor (Cor. 2.13); they prove that ∇^∇ := ∇^int + Ω_∇ preserves metric compatibility and torsion-freeness and that the lift of the Levi-Civita connection on M is the unique G_der-compatible torsion-free connection on (VC^∞_b, G_der) (Thm. 1.1 / Thm. 2.19); and they compute the associated Riemann tensor to be exactly the pointwise lift of the base curvature, R_der(V1,V2)V3 = R(V1_·,V2_·)V3_· (Thm. 2.21, eq. (2.31)), with full symmetries and Bianchi identities (Prop. 2.24) and a sectional-curvature formula (Cor. 2.22). In §2.5 they project onto the gradient subbundle T_gradP and recover Lott's correction terms [16] as extrinsic second-fundamental-form terms (Thm. 2.29, Rmk. 2.30), concluding that those terms are not intrinsic to the derivation calculus.","tokens_in":32490,"tokens_out":1966,"duration_ms":855100,"significance":"If the results stand — and the central computations appear to — the paper gives a cleanly organized, coordinate-free derivation calculus on Wasserstein space with several concrete strengths: rigor at every application point μ (not only μ ∈ P^∞, in contrast to [16]); verification of tensoriality of the bracket, connection, and curvature, which the constant-field formalism cannot even formulate (§1.2, footnote 1); a clear separation of the differential structure (built from X^∞ alone) from the Riemannian one (G_der); and an exact, correction-free curvature formula R_der = lift(R) from which Lott's additional terms are recovered as second-fundamental-form terms of the gradient subbundle (Thm. 2.29, Rmk. 2.30). The reframing of the classical correction terms as extrinsic — measuring non-integrability of the gradient distribution in T_derP — is a genuinely useful conceptual contribution, timely given the recent metric derivation of Lott's sectional curvature in [24]. The proofs are explicit, algebraic, and self-contained; comparison with [7, 16, 18] is careful and fair.","major_comments":[{"comment":"The headline conclusion — that R_der is exactly lift(R) and that Lott's correction terms 'are not intrinsic curvature' — is a statement about the derivation bundle (VC^∞_b, G_der), whose fiber T_der_μP = X_μ = T_grad_μP ⊕⊥ ker div_μ is strictly larger than any W2-geodesic tangent object. Directions in ker div_μ act trivially on cylinder functions (Rmk. 2.8, Vu = (ΠV)u) and correspond to no W2-geodesic direction (Prop. 2.1; T_grad ≠ T_geo absent transport regularity, and T_der is larger still). Cor. 2.22 therefore assigns 'sectional curvature of P' to planes containing directions invisible to Otto geometry. The manuscript is transparent about this in §1.1–1.2 and Rmk. 2.26–2.27, but the Abstract, Thm. 1.1, and Cor. 2.22 — the statements readers will cite — should carry the same qualification explicitly: 'intrinsic' here means intrinsic to the derivation calculus, not to the W2-metric stru","section":"Abstract; Cor. 2.22; §1.2"},{"comment":"The uniqueness of ∇^lc as the G_der-compatible torsion-free connection is part of the main theorem, and the proof transfers Lee's Koszul-formula argument 'in light of the non-degeneracy of G_der on VC^∞_b' — but this non-degeneracy is asserted, not justified. Because VC^∞_b is a module of classes with the identifications discussed in Rmk. 2.7–2.9, one line is needed: e.g., G_der(V,Z)=0 for all Z implies, testing against constant gradient fields, that V annihilates all cylinder functions, hence V=0 by the injectivity of ∂: VC^∞_b → Der(FC^∞_b) cited in Rmk. 2.9 (equivalently, by evaluation at Dirac masses). The claim appears correct; the supporting sentence belongs in the text.","section":"Thm. 2.19, proof of uniqueness"}],"minor_comments":[{"comment":"Typo: 'the most of our computations' should read 'most of our computations'.","section":"§1.2"},{"comment":"The target space of ∇^int is written FC^∞_b ⊗ (Ω^1_∞ × X^∞); the '×' is presumably a pairing convention rather than a product or tensor. Please define the codomain precisely, since the definition is only given through the pairing (2.8) with (V, Ω).","section":"Eq. (2.8), Def. of ∇^int"},{"comment":"Well-posedness of D is reduced to the flow-derivative identity cited from [6, Eqn. (2.5), Lem. 6.2]. Since D underlies everything that follows, a self-contained one-line derivation would be welcome.","section":"Def. 2.4"},{"comment":"Orthonormality of w1, w2 is in X_μ (integrated), not pointwise; the integrand is the pointwise unnormalized sectional curvature times the Gram determinant |w1|²|w2|² − g(w1,w2)². A sentence noting this, and that non-negativity of the integrand follows from Cauchy–Schwarz when sec_M ≥ 0, would help readers compare with [16, Cor. 1] and [24].","section":"Cor. 2.22"},{"comment":"The statement of Thm. 2.29 itself carries no qualifier, while Rmk. 2.26–2.27 explain that II and ∇^grad are only pointwise objects (Π⊥_μ is discontinuous and does not preserve smoothness outside P^∞), and Rmk. 2.30 restricts the identification with Lott's tensor to constant gradient fields at μ = ρ vol_g with ρ > 0 smooth. Please state these restrictions inline in the theorem and remark headlines.","section":"Thm. 2.29; Rmk. 2.26–2.27, 2.30"},{"comment":"The sign convention for div_μ is flagged in §2.2; please double-check consistency where integration by parts enters (Rmk. 2.15 and the Hessian manipulation in Rmk. 2.20). Also complete publication data for [18] and [24] if available.","section":"§2.2; Rmk. 2.15, 2.20; Refs. [18], [24]"}],"recommendation":"minor_revision","confidential_remarks":"The paper's novelty is primarily interpretive rather than computational: the curvature formula is the pointwise lift, and the new content is the derivation-bundle framework plus the extrinsic/intrinsic reading of Lott's correction terms. This is a genuine conceptual contribution, but the editor should be aware that experts in optimal transport may regard the passage from T_grad to T_der as removing precisely the structure that encodes W2-geometry — hence my request that the scope be stated at the level of the cited statements rather than only in remarks. The comparison with Lott [16], Ding–Fang [7], and Sturm [24] is explicit and fair; I see no priority or citation-practice concerns. Fit with the journal is good assuming the audience is comfortable with optimal-transport formalism."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: on the cylinder module VC∞_b with the extended Otto metric G_der, the base Levi-Civita lifts to the unique torsion-free metric connection, and the Riemann tensor is exactly the pointwise lift of the base R. The classical Lott correction terms appear only after you project onto the gradient distribution. That is a real clarification, not a re-labeling.\n\nWhat is new is the global setup itself. They work with all cylinder vector fields FC∞_b ⊗ X∞ rather than constant gradient fields, introduce an intrinsic connection \nabla^int that vanishes on constants, pull back an arbitrary base connection via an End-valued form, and prove the lift preserves torsion-freeness and metric compatibility (Thm. 2.19). The curvature computation (Thm. 2.21) is a clean algebraic cancellation: intrinsic second derivatives cancel against the bracket term, mixed terms cancel the non-curvature remainder of the pullback, and you are left with u1 u2 u3 ⊗ R(w1,w2)w3. They then recover Lott’s reduced tensor via the second fundamental form of the gradient subbundle, so the comparison is explicit rather than hand-waved. Computations hold at every μ ∈ P, not only on P∞, and the Lie-algebroid property of the bracket is checked properly.\n\nThe soft spot is scoping, not broken algebra. G_der lives on T_der = X_μ, which includes ker div_μ directions that act trivially on cylinder functions and do not correspond to W2-geodesics. Sectional curvature is therefore assigned to some planes invisible to Otto geometry. The authors are transparent about this (heuristics, Rmk. 2.8, 2.27), and the stress-test confirms the cancellations check out; the caveat is interpretive. Uniqueness of the Levi-Civita is a bit brisk but salvageable from non-degeneracy of G_der via the injection into derivations. Projected operators off P∞ are heuristic, as disclosed.\n\nThis is for people who already care about Otto calculus, Lott’s calculations, or the differential structure of P2. It is not a paradigm shift, but it is a solid, carefully written reframing that should be engaged on its stated terms. I would send it to referees.","headline":"Clean algebraic lift of Levi-Civita and curvature to the derivation bundle; the “no correction terms” claim is correct on that larger object, with the usual Otto geometry recovered after projection.","tokens_in":28519,"tokens_out":621,"would_cite":true,"duration_ms":10966,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58B20","53C20"],"pacs":[],"model":"grok-4.5","headline":"On Wasserstein space the true curvature is just the base manifold's; classical correction terms are projection artifacts.","keywords":["Wasserstein space","Levi-Civita connection","Lie brackets","Otto metric","cylinder functions","Riemann tensor","gradient distribution"],"falsifier":"Exhibit a pair of cylinder vector fields for which the curvature of the lifted connection fails to equal the integral of the base sectional curvature, or show that the lifted connection is not the unique G_der-compatible torsion-free connection on that module.","tokens_in":28121,"feed_emoji":"△","tokens_out":949,"duration_ms":16802,"temperature":0.7,"pith_summary":"This paper rebuilds the differential geometry of the L2-Wasserstein space of probability measures on a closed Riemannian manifold from a global viewpoint. Instead of working pointwise with gradient vector fields (the usual Otto calculus), it treats vector fields as derivations of cylinder functions, so the ambient space of fields is all smooth vector fields on the base, not only gradients. In that larger setting the base Levi-Civita connection lifts uniquely to a torsion-free connection compatible with the extended Otto metric, and the Riemann tensor of the Wasserstein space is exactly the lift of the base Riemann tensor. The extra correction terms that appear in the classical gradient formalism are therefore not intrinsic curvature; they measure the failure of the gradient distribution to be preserved by the global connection. The construction is purely algebraic, works at every measure (not only smooth positive densities), and recovers Lott's earlier smooth calculations while reaching a different geometric reading of the same objects.","feed_headline":"Wasserstein curvature is just the base manifold's","feed_subtitle":"Classical correction terms are projection artifacts, not intrinsic curvature of the space of measures","key_machinery":"The intrinsic connection ∇^int on the module of cylinder vector fields V C^∞_b = F C^∞_b ⊗ X^∞, together with the End-valued pull-back form Ω_∇ of any base connection; their sum ∇_∇ = ∇^int + Ω_∇ is the lifted connection, and for the Levi-Civita connection it is metric-compatible and torsion-free with R_der(V1,V2)V3 = R(V1·,V2·)V3·.","core_discovery":"The Levi-Civita connection of the base manifold lifts to the unique torsion-free connection compatible with the extended Otto metric on cylinder vector fields; the associated Riemann tensor is exactly the pointwise lift of the base Riemann tensor, with no correction terms. Those classical corrections arise only after orthogonal projection onto the measure-dependent gradient subbundle and are therefore extrinsic.","pith_inferences":["The same global-derivation viewpoint may clarify curvature formulas on other spaces of measures (configuration spaces, spaces of currents) where gradient distributions are proper subbundles.","Once charts or local frames for the derivation module are available, the lifted connection could support a global exponential map or parallel transport that does not jump with the measure.","The distinction between intrinsic and projected curvature suggests re-examining synthetic lower Ricci bounds that were motivated by the corrected sectional-curvature formulas."],"forward_implications":["Sectional curvature of Wasserstein space equals the µ-average of base sectional curvature on constant fields, with no extra positive terms.","If the base has non-negative sectional curvature then so does the Wasserstein space in the extended calculus.","Lie brackets, connections and curvature are defined and algebraic at every measure, not only at smooth positive densities.","Classical correction terms are reinterpreted as second-fundamental-form and non-integrability contributions of the gradient distribution inside the larger derivation bundle."],"fun_headline_variants":["Wasserstein Riemann tensor is pure lift of the base","Otto metric connection lifts Levi-Civita with no extras","Curvature corrections are projection artifacts only","Global calculus shows Wasserstein curvature equals base","Cylinder derivations yield torsion-free lifted connection"],"cache_read_input_tokens":128,"weakest_assumption_plain":"That the right differential structure for Wasserstein geometry is the module of all cylinder vector fields with the extended metric on pseudo-tangent spaces, rather than only the gradient or geodesic directions that encode actual Wasserstein motion.","fun_headline_variants_meta":{"raw":{"variants":["Wasserstein Riemann tensor is pure lift of the base","Otto metric connection lifts Levi-Civita with no extras","Curvature corrections are projection artifacts only","Global calculus shows Wasserstein curvature equals base","Cylinder derivations yield torsion-free lifted connection"]},"model":"grok-4.5","effort":"low","cost_usd":0.004177,"raw_usage":{"total_tokens":1226,"prompt_tokens":686,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":41768000,"prompt_tokens_details":{"text_tokens":686,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":467,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":686,"tokens_out":73,"duration_ms":9134,"temperature":1.0,"reasoning_tokens":467,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T11:40:30.220367+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a pair of cylinder vector fields for which the curvature of the lifted connection fails to equal the integral of the base sectional curvature, or show that the lifted connection is not the unique G_der-compatible torsion-free connection on that module.","supporting_citations":[],"review_version":1}