{"id":"12a1ecab-a458-4d27-afa4-8d5d9430894b","arxiv_id":"2607.26653","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The Riemannian deformation sequence is obtained as a BGG sequence from a flat connection on the adjoint tractor bundle, and identified with the deformation sequence of the Cartan connection.","lead":"This paper builds the Riemannian deformation sequence — the chain of operators behind Calabi's complex and linear elasticity — from a flat connection on a natural bundle, and shows that it exactly records how a metric and its curvature respond to small deformations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central construction depends on the unproved algebraic lemma that Alt: Λ^kT*⊗o(TM)→Λ^{k+1}T*⊗TM is an isomorphism for k=1 and surjective for k≥2 (cited from [2]); this underlies the splitting operators and the cohomology isomorphism.","rationale":"The algebraic lemma on Alt is the true load-bearing assumption: it is used explicitly in Theorem 2.5(ii) to construct the splitting operator in degree 1, and in Theorem 2.8 to show that every cohomology class has a representative in the image of the splitting operators in degrees ≥2. If the lemma failed, the BGG sequence would not be well-defined or would fail to compute the same cohomology as the flat twisted de Rham complex, thereby undermining the central resolution claim and the deformation-theoretic interpretation. The reader identified exactly this as the weakest assumption. I considered other potential concerns: the proof of the cohomology isomorphism in Theorem 2.8 is somewhat terse regarding injectivity in higher degrees, but this can be filled using standard BGG arguments and does not appear to be a substantive gap; the factor 1/2 in Theorem 3.9(2) arises from the conversion between metric deformations and Cartan connection deformations and is consistent; the curvature computations and the Cartan-geometric identifications are explicit and correct. Since the algebraic lemma is a standard fact from the Spencer theory of O(n)-structures and is cited from a reputable source, the concern does not undermine the paper's correctness. The appropriate verdict remains ACCEPT; the suggested concrete test provides a straightforward verification of the key algebraic input.","tokens_in":22559,"tokens_out":32595,"duration_ms":294569,"concrete_test":"Independently verify Lemma 2 of [2] for all n≥2: (i) compute the rank of the linear map Alt: Λ^k(R^n)*⊗o(n)→Λ^{k+1}(R^n)*⊗R^n for representative n=2,3,4,5 and all k (using, e.g., a symbolic linear algebra package) to confirm it is full-rank (iso for k=1, surjective for k≥2); (ii) check that the cited statement in Arnold–Hu indeed matches this usage. If the ranks are full, the concern is resolved and the paper's construction is well-founded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's BGG reduction in Theorem 2.5(ii) and the cohomology proof in Theorem 2.8 require that the bundle map Alt (equivalently, the Spencer differential δ_1) be an isomorphism for k=1 and surjective for k≥2. This is cited as 'Lemma 2 of [2]' without proof. If this representation-theoretic fact failed in any dimension, the unique splitting operators L^k would not exist (degree 1) or would not cover all cohomology classes (higher degrees), so the sequence D^k would not be well-defined or would not compute the same cohomology as the flat twisted de Rham complex. The paper's central claims—that the BGG sequence is a complex resolving the Killing sheaf and that it computes the deformation-theoretic curvature change—rest on this algebraic input. No internal inconsistency in the rest of the argument was found; the curvature computations, the chain-map property, and the Cartan-geometric interpretation are consistent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a sequence of invariant differential operators on a Riemannian manifold (M,g) by starting from a canonical linear connection ∇̃^A on the bundle AM = TM ⊕ o(TM). It computes the curvatures of the adjoint tractor connection ∇^A and the deformation connection ∇̃^A, shows that ∇̃^A is flat exactly in constant sectional curvature, and builds the associated twisted de Rham sequence. A BGG-type reduction then produces splitting operators and invariant operators D^k acting on harmonic subbundles H^kM (H^0=TM, H^1=S^2T*M, H^k=ker Alt for k≥2). The main theorem 2.8 establishes that, for constant sectional curvature, the BGG sequence is a complex, the splitting operators give a chain map, and the induced map in cohomology is an isomorphism, so the complex resolves the sheaf of local Killing fields. Explicit formulae identify D^0 with the Killing operator and (1/2)D^1 with the infinitesimal curvature deformation operator. The second half of the paper interprets these objects through the equivalent Cartan geometry (OM,ω) of the Riemannian structure, identifying ∇^A and ∇̃^A with the Cartan connection operators d^ω and the Lie derivative by infinitesimal automorphisms, and explaining the BGG reduction in terms of symmetric, torsion-free deformations.","tokens_in":22820,"tokens_out":16997,"duration_ms":169566,"significance":"If correct, the paper gives a modern, conceptual replacement for Calabi's classical computation: the deformation complex is obtained from a canonical twisted de Rham sequence by BGG reduction, and the fact that it is a resolution in constant curvature follows directly from flatness of ∇̃^A. This is a genuine conceptual improvement over both the original moving-frame proof and the projective BGG construction. The Cartan-geometric interpretation is an additional contribution: it ties the BGG sequence directly to deformation theory of Cartan connections and clarifies the factor of 1/2 in the curvature-variation operator. The presentation is careful and largely self-contained, with explicit curvature computations (Prop. 2.2), exterior-derivative identities (Prop. 2.3), and a clear cohomology argument (Thm. 2.8). The construction is natural and uses no fitted parameters or ad-hoc coefficients. The only non-elementary algebraic input is the Spencer-type isomorphism/surjectivity of the map Alt, which is cited from the literature rather than proved; I discuss this in the minor comments because it is a self-containedness issue, not a correctness error.","major_comments":[],"minor_comments":[{"comment":"The construction of the splitting operators L^1 and the cohomology isomorphism in degrees ≥2 both rest on the algebraic fact that Alt: Λ^k T*⊗o(TM) → Λ^{k+1} T*⊗TM is an isomorphism for k=1 and surjective for k≥2, cited as 'Lemma 2 of [2]'. This is a standard and correct Spencer-type fact, so I do not regard it as an error. However, because it is load-bearing and not stated precisely, I recommend adding a short statement of the lemma, and preferably an indication of proof or a more precise reference within [2], so that the paper is more self-contained.","section":"Theorem 2.5(ii) and Theorem 2.8"},{"comment":"In the sentence '(ψ,Ψ)+∇̃^A(0,Φ) = (S(ψ), Ψ̃)', the notation ∇̃^A(0,Φ) denotes the connection applied to the section (0,Φ)∈Γ(AM), not the exterior derivative of the 1-form (0,Φ). This is clear from context but could be confusing, especially since earlier in the same proof ∇̃^A L(η) is identified with d^{∇̃^A} L(η). A brief parenthetical clarification would help readers avoid the ambiguity.","section":"Proof of Theorem 2.8, degree 1"},{"comment":"The statement that the curvature variation is given by (1/2)D^1(h) is important and conceptually significant, but the explanation of the factor 1/2 is spread across Section 2.6 and Section 3.7. I suggest making the comparison with the standard Berger/[3] formula more explicit in the text, perhaps by writing out the corresponding index formula for both sides for a symmetric h.","section":"Section 3.6, Proposition 3.7"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a solid, genuinely new construction paper. Cap builds an adjoint tractor bundle AM = TM ⊕ o(TM), writes down two natural connections, proves that the deformation connection is flat exactly for constant sectional curvature, BGG-reduces it to get operators D^k, and proves commutativity and cohomology isomorphism with the twisted de Rham complex. The biggest payoff is Section 3: the Cartan-geometric reading identifies D^0 as the Killing operator and (1/2)D^1 as the infinitesimal curvature change, and it clears up the sign issue in Calabi's original formula.\n\nWhat is actually new: the bundle AM, the two connections ∇^A and ∇̃^A, the explicit splitting operators, and Theorem 3.4 identifying ∇̃^A with the Lie derivative of the Cartan connection. The curvature computations in Proposition 2.2 and the chain-map argument in Theorem 2.8 are explicit and internally consistent. The Lie-algebra-cohomology interpretation of the harmonic subbundles is also a nice conceptual addition and explains why the resulting bundles match the projective BGG picture.\n\nThe main soft spot, as the stress-test note says, is the algebraic lemma imported from [2]: Alt is an isomorphism in degree 1 and surjective in higher degrees, and the whole BGG reduction leans on it. But this is a standard Spencer-type fact, the paper names exactly what it needs, and citing it rather than reproving it is normal practice. A referee should ask that the statement be quoted or stated explicitly, but I would not call it a gap. More minor: the keyword 'Körner complex' appears without a reference, and the general-metric-connections discussion in Section 3.8 is speculative and does not affect the central results. The factor 2 in front of D^1 is a convention issue that could trip readers, but the author explains it and ties it to Berger's formulas.\n\nI disagree with any reading that treats the cited lemma as a load-bearing flaw. The central argument holds up. The paper is honest about what it proves and what it takes from the literature.\n\nWho is this for? Riemannian geometers working on deformation theory or Killing field cohomology, people in BGG/parabolic geometry who want a clean example, and the applied community using the Calabi/elasticity complex — they will get explicit formulas plus a more conceptual framework.\n\nRecommendation: send it to peer review. It deserves a serious referee and, if the Spencer lemma is checked, publication. I would cite it.","headline":"Genuinely new BGG-style construction of the Riemannian deformation sequence, with the Cartan-geometric interpretation as the real payoff; the cited Spencer-type lemma is a legitimate dependency, not a gap.","tokens_in":23321,"tokens_out":2969,"would_cite":true,"duration_ms":33226,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J10","53B20","53C07","58H15","58J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"A new BGG-type construction yields the Riemannian deformation sequence that resolves local Killing fields and computes curvature changes under metric deformations.","keywords":["Riemannian deformation sequence","Killing operator","BGG sequence","Calabi complex","elasticity complex","Cartan geometry","constant sectional curvature","linearized deformation theory"],"falsifier":"In dimension 2 or 3, compute the map Alt: Λ^kT*M⊗o(TM) → Λ^{k+1}T*M⊗TM for k=1 (and k=2) using explicit bases; if for some k the required rank property fails, the splitting operator L^k and the operator D^k would break down. Alternatively, take the round sphere S^n and compare (via a concrete coordinate calculation) the operator (1/2)D^1 applied to a known metric deformation with the classical first-order variation formula for sectional curvature.","tokens_in":22424,"feed_emoji":"📐","tokens_out":5481,"duration_ms":49183,"temperature":0.7,"pith_summary":"This paper gives a new, conceptually clean way to build the Riemannian deformation sequence, a chain of differential operators that controls how a metric deforms. The author defines a natural vector bundle AM = TM ⊕ o(TM) with two canonical connections, one of which (the deformation connection) is flat exactly when the metric has constant sectional curvature. Using a BGG-style reduction, he obtains splitting operators and a sequence D0, D1, ... on harmonic subbundles. In the constant-curvature case this sequence is a complex that resolves the sheaf of local Killing fields, with D0 the Killing operator and (1/2)D1 computing the infinitesimal change of curvature caused by a metric deformation. Interpreting the construction via Cartan geometries shows that the BGG reduction corresponds to passing from torsion-free deformations of the Cartan connection to deformations of the underlying metric.","feed_headline":"Flat connection yields sequence that tracks metric deformations","feed_subtitle":"Produces the Killing operator and the curvature-change operator, and resolves the Killing-field sheaf.","key_machinery":"The central object is the Riemannian adjoint tractor bundle AM = TM ⊕ o(TM) together with the deformation connection ∇̃^A, whose curvature vanishes precisely in constant sectional curvature. The BGG reduction is carried out through splitting operators L^k, which lift sections of the harmonic subbundles H^k (the kernel of the alternation map Alt) into AM-valued forms so that the image is closed under the covariant exterior derivative; the operators D^k are then obtained by projecting. The alternation map Alt: Λ^kT*M⊗o(TM) → Λ^{k+1}T*M⊗TM, an instance of the Spencer differential, is the algebraic engine that makes the splitting operators exist and be unique.","core_discovery":"On a Riemannian manifold (M,g), the paper defines the adjoint tractor bundle AM = TM ⊕ o(TM) and two linear connections ∇^A and ∇̃^A. The deformation connection ∇̃^A is flat if and only if (M,g) has constant sectional curvature, and in that case the twisted de Rham sequence of AM-valued forms is a fine resolution of the sheaf of local parallel sections, which are canonically identified with local Killing fields. Applying an analog of the BGG construction to this sequence produces natural splitting operators L^k and operators D^k between the harmonic subbundles H^kM (tensors that are symmetric in degree one and Alt-closed in higher degrees). Theorem 2.8 shows the D^k intertwine with the twist","pith_inferences":["Because the construction is phrased in terms of a natural bundle and a linear connection, an analogous BGG reduction may work for other geometric structures, transferring the deformation-theoretic interpretation beyond the Riemannian setting.","The flatness criterion for ∇̃^A suggests that the deformation sequence is a complex exactly when the projective structure underlying g is flat; one could test whether a modified operator sequence yields a complex for Einstein or locally symmetric metrics.","Since the higher operators D^k for k≥2 are simply covariant exterior derivatives of Alt-closed forms, the computational cost of the higher part of the sequence is low; this could make the sequence attractive for numerical elasticity, where the Calabi/elasticity complex is used."],"forward_implications":["In constant sectional curvature, the BGG sequence (Γ(H*M), D*) is a complex and computes the same cohomology as the twisted de Rham sequence, hence gives a fine resolution of the sheaf of local Killing fields.","The first operator D^0 is exactly the Killing operator, so its kernel consists of infinitesimal isometries; the sequence therefore encodes the linearized rigidity of the metric.","Up to the factor 1/2, the second operator D^1 is the first-order variation of the Riemann curvature under a metric deformation, providing a direct deformation-theoretic reading that was missing in Calabi's original construction.","The construction identifies symmetric torsion-free infinitesimal deformations of the Cartan connection with infinitesimal metric deformations, linking the deformation theory of Cartan geometries to that of Riemannian metrics."],"fun_headline_variants":["New sequence turns metric deformations into exact cohomology","Flat connection unlocks Killing fields via twisted de Rham","Resolving Killing sheaf: a new deformation sequence","BGG analog links Cartan geometry to metric deformations","Invariant operators track curvature changes on Riemannian manifolds"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The construction hinges on a cited algebraic lemma stating that the alternation map Alt is an isomorphism for k=1 and surjective for k≥2; without it the splitting operators L^k and hence the entire BGG sequence would not be well-defined.","fun_headline_variants_meta":{"raw":{"variants":["New sequence turns metric deformations into exact cohomology","Flat connection unlocks Killing fields via twisted de Rham","Resolving Killing sheaf: a new deformation sequence","BGG analog links Cartan geometry to metric deformations","Invariant operators track curvature changes on Riemannian manifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000309,"raw_usage":{"total_tokens":1597,"prompt_tokens":738,"completion_tokens":859,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":482,"completion_tokens_details":{"reasoning_tokens":780}},"tokens_in":482,"tokens_out":859,"duration_ms":9720,"temperature":1.0,"reasoning_tokens":780,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T11:29:10.454840+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In dimension 2 or 3, compute the map Alt: Λ^kT*M⊗o(TM) → Λ^{k+1}T*M⊗TM for k=1 (and k=2) using explicit bases; if for some k the required rank property fails, the splitting operator L^k and the operator D^k would break down. Alternatively, take the round sphere S^n and compare (via a concrete coordinate calculation) the operator (1/2)D^1 applied to a known metric deformation with the classical first-order variation formula for sectional curvature.","supporting_citations":[],"review_version":1}