{"id":"7bcf0d98-4ac2-4e4e-a9de-994562165807","arxiv_id":"1908.02024","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"On compact Riemannian manifolds the Bourguignon Laplacian has finite-dimensional kernel of Codazzi tensors with constant trace; under nonnegative sectional curvature such tensors are parallel, and the paper gives eigenvalue lower bounds.","lead":"The paper studies the Bourguignon Laplacian, an operator on symmetric bilinear forms on curved spaces, and claims its kernel consists of harmonic forms that are rigid under nonnegative curvature. It also derives spectral bounds for the operator under Ricci and sectional curvature assumptions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Reader's sign objection to Eq. (16) misreads plain Δ as \\barΔ; the real gap is the missing square in the curvature term of Eq. (17), which breaks the subharmonicity step in the proof of Corollary 3.1.","rationale":"The paper's central claim is the classical Berger-Ebin vanishing theorem, and the proof is recoverable: with the conventional distinction between Δ and \\barΔ, Eq. (16) is the correct Bochner formula, so the reader's basis for a high-confidence REJECT is not solid. However, the manuscript as printed has genuine errors in the equations carrying the proof: missing squares in (12) and (17), a garbled justification of the trace-free identity, and an equality in Proposition 3.4 that should be an inequality. These are fixable typos rather than a false central claim, and the corrected proof goes through. Accordingly, I would not reject on the reader's sign argument, but I would require the authors to correct the displayed identities and state the Laplacian sign convention explicitly before accepting the paper.","tokens_in":9617,"tokens_out":23193,"duration_ms":238126,"concrete_test":"Re-derive Eq. (17) from Eq. (16) with Δ_B φ = 0 and the squared Lichnerowicz identity: (1/2)Δ|φ|^2 = (1/2)Σ_{i≠j} sec(e_i∧e_j)(λ_i-λ_j)^2 + |∇φ|^2, hence Δ|φ|^2 = Σ_{i≠j} sec(e_i∧e_j)(λ_i-λ_j)^2 + 2|∇φ|^2. Then re-run the proof of Lemma 3.2: under sec ≥ 0 this gives Δ|φ|^2 ≥ 0, so the Hopf maximum principle forces |φ|^2 constant, ∇φ = 0, and all sec(e_i∧e_j)(λ_i-λ_j)^2 = 0. Also check the printed unsquared version on the sphere S^3 with a trace-free diagonal φ: the ordered sum Σ_{i≠j}(λ_i-λ_j) cancels to zero, showing the curvature term in Eq. (17) cannot be recovered without the squares.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"With the paper's convention \\barΔ = ∇*∇ (so \\barΔ f = -div grad f) and with plain Δ read as the standard div-grad Laplacian, Eq. (16) has the correct sign: 1/2 Δ|φ|^2 = -g(\\barΔ φ, φ) + |∇φ|^2. Thus the reader's stated sign error is not established. The central proof still has a real gap: for a harmonic form, (16) gives Δ|φ|^2 = g(Kφ, φ) + 2|∇φ|^2, where the Lichnerowicz term should be g(Kφ, φ) = Σ_{i≠j} sec(e_i∧e_j)(φ_ii - φ_jj)^2. The printed Eq. (17) omits the squares; the unsquared ordered sum is antisymmetric, so the curvature contribution is lost and the displayed formula cannot justify the conclusion Δ|φ|^2 ≥ 0 used in Lemma 3.2. The missing square also affects Eq. (12), and the proof of the trace-free identity in Section 2 is garbled. Since the squared identity is standard and appears in Eq. (13), these are most plausibly fixable typographical errors, but as written the headline vanishing theorem is not rigorously derived.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a theory of harmonic symmetric bilinear forms on Riemannian manifolds using the Bourguignon Laplacian Δ_B = d∇δ∇ + δ∇d∇. It claims that the kernel of Δ_B is finite-dimensional and consists of Codazzi tensors with constant trace, that on a compact manifold with nonnegative sectional curvature every such form is parallel (and trivial if curvature is positive somewhere), and it derives eigenvalue estimates for Δ_B, including a spectrum computation for TT-tensors on the standard sphere.","tokens_in":9758,"tokens_out":17113,"duration_ms":148234,"significance":"If rigorously established, the paper would provide a self-contained treatment of the Bourguignon Laplacian's kernel and a Bochner-type vanishing theorem for harmonic symmetric bilinear forms, complementing the classical Berger-Ebin theorem. The spectral computations for the sphere are concrete and potentially useful. However, the manuscript currently contains technical errors in key curvature identities that undermine the proof of the headline theorem, even though several of these appear to be fixable typographical mistakes.","major_comments":[{"comment":"The curvature term in Eq. (17) is missing squares: the correct identity should read Δ||φ||² = ∑_{i≠j} sec(e_i∧e_j)(φ_ii−φ_jj)² + 2||∇φ||². As printed, the sum ∑_{i≠j} sec(e_i∧e_j)(φ_ii−φ_jj) is antisymmetric in i and j and therefore vanishes identically, so the displayed equation cannot support the argument in Lemma 3.2 and Corollary 3.1. The same missing square appears in Eq. (12). Since Eq. (13) contains the correctly squared expression, this is likely a typo, but the proof as written is invalid.","section":"Section 3, Eq. (17) (see also Eq. (12))"},{"comment":"The derivation of the trace-free identity is garbled. After stating ||φ||² = (1/n)∑_{i<j}(φ_ii−φ_jj)², the text claims 'that is (φ_11²+...+φ_nn²)² = 0', which is false and does not constitute a proof. The identity is standard and can be proved from (∑φ_ii)² = 0, but the argument as written must be rewritten.","section":"Section 2, proof before Eq. (14)"},{"comment":"The sentence 'Since sec(e_i∧e_j) ≥ 0 it means that g(Kφ,φ) = 0 and ∇φ = 0' does not follow from Eq. (17) as printed, because the curvature term is absent if the sum is read literally. While the conclusion ∇φ = 0 follows directly from Δ||φ||² = 0 and ||∇φ||² ≥ 0, the further conclusion that positive sectional curvature at a point forces φ to be trivial relies precisely on the squared curvature term, and this part of Corollary 3.1 is not established by the manuscript.","section":"Section 3, Lemma 3.2 proof"}],"minor_comments":[{"comment":"The sequence '0 = λ_0 < λ_1 < λ_2 < ...' for the eigenvalues of Δ_B is not always strictly increasing at the start, since the kernel of Δ_B is finite-dimensional but not necessarily one-dimensional (see Proposition 3.2).","section":"Section 2, spectrum statement"},{"comment":"The line 'φ = (1/n)g' should read 'φ = λ g' for a constant λ; a tensor whose eigenvalues are all equal to λ is λg, not (1/n)g.","section":"Section 3, proof of Lemma 3.2"},{"comment":"The notation Δ in Eq. (16) is used for the scalar Laplacian while \\barΔ is the rough Laplacian; the distinction should be stated explicitly, since the sign of (16) is sensitive to this convention.","section":"Section 2, Eq. (16)"},{"comment":"References [6] and [21] are the same Greene-Wu paper; one should be removed.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main vanishing theorem is essentially the classical Berger-Ebin result, so the novelty lies in the Bourguignon Laplacian framework and the spectral estimates. The errors in Eqs. (12) and (17) are almost certainly typographical, and the trace-free identity is standard, so a careful revision should be able to fix them."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The reader's sign objection to Eq. (16) does not survive close reading. With the paper's conventions — \\barΔ = ∇*∇ and plain Δ = div grad — Eq. (16) has the correct sign. The real problem is Eq. (17), where the curvature sum is printed without squares. As written, Σ sec(e_i∧e_j)(φ_ii − φ_jj) is not nonnegative, so the subharmonicity step in Lemma 3.2 and Corollary 3.1 does not follow. That is a genuine gap, but it is almost certainly a typo: Eq. (13) already contains the squared terms, and the standard identity is common knowledge. A referee could fix it in a line.\n\nWhat the paper does well: the spectral section. Proposition 2.1 and 2.2 give eigenvalue bounds via Lichnerowicz/Yang and the K_min estimate; Proposition 2.3 derives the Bourguignon spectrum on TT-tensors of the sphere from Boucetta's known Lichnerowicz spectrum. These are modest but correct results for an understudied operator. The kernel characterization in Proposition 3.2 is standard, and Corollary 3.1 is explicitly the classical Berger-Ebin theorem, so the paper's headline claim is not new; the novelty is in the spectral bounds.\n\nThe soft spots beyond Eq. (17): Eq. (12) is missing squares (again, likely a typo, since Eq. (13) has them), and the proof of the trace-free identity is garbled — the line \"(φ_11²+...+φ_nn²)²=0\" is nonsense as written. These should be cleaned up. The citation pattern is fine: standard references for the core ingredients, and the self-citations [13–15] are not load-bearing.\n\nNet assessment: the vanishing theorem is not new and its proof as printed has a fixable gap, but the spectral estimates are a real, if modest, contribution. This is not a paper to desk reject. I would send it to a referee, asking specifically for a corrected Bochner formula and a cleaned-up trace-free identity proof. A minor revision should be enough.","headline":"The sign error the reader flagged isn't real; the genuine gap is the missing square in Eq. (17), which is fixable, and the spectral part is decent enough to warrant refereeing.","tokens_in":10408,"tokens_out":2284,"would_cite":false,"duration_ms":24153,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C20","53C25","53C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Harmonic symmetric bilinear forms on compact nonnegative-curvature manifolds are parallel, and trivial under positive curvature.","keywords":["Bourguignon Laplacian","harmonic symmetric bilinear form","Codazzi tensor","Bochner-Weitzenböck formula","vanishing theorem","spectral geometry","sectional curvature","Riemannian manifold"],"falsifier":"Check equation (16) on a flat torus for a non-parallel symmetric bilinear form $\\phi$: with $\\bar\\Delta = -\\mathrm{div}\\,\\mathrm{grad}$, integration by parts gives $(1/2)\\bar\\Delta\\|\\phi\\|^2 = g(\\bar\\Delta\\phi,\\phi) - \\|\\nabla\\phi\\|^2$, the negative of the displayed formula. If that sign is wrong, the subharmonicity step and Corollary 3.1 lack a valid proof as written.","tokens_in":9293,"feed_emoji":"📐","tokens_out":12143,"duration_ms":106094,"temperature":0.7,"pith_summary":"This paper develops a Hodge-type theory for symmetric bilinear forms by viewing each form as a one-form with values in the cotangent bundle, so that closed and coclosed symmetric forms—the harmonic ones—are the kernel of the Bourguignon Laplacian. The authors prove that on a compact Riemannian manifold this kernel is finite-dimensional and consists of Codazzi tensors with constant trace. Their headline vanishing theorem says that every harmonic symmetric bilinear form on a compact manifold with nonnegative sectional curvature is invariant under parallel translation, and if the sectional curvature is positive at some point then the form is a constant multiple of the metric. The same machinery yields spectral lower bounds for the Bourguignon Laplacian and a formula for its spectrum on trace-free tensors over the round sphere. The intended payoff is a symmetric-bilinear-form counterpart to the classical Bochner rigidity for harmonic differential forms.","feed_headline":"Nonnegative curvature forces harmonic bilinear forms to be parallel","feed_subtitle":"The Bourguignon Laplacian gives symmetric forms a Hodge-style theory with a vanishing theorem under nonnegative curvature.","key_machinery":"The load-bearing object is the Bourguignon Laplacian $\\Delta_B := d_\\nabla\\delta_\\nabla + \\delta_\\nabla d_\\nabla$ acting on $C^\\infty(S^2M)$, where $d_\\nabla$ is the twisted exterior derivative on $T^*M$-valued one-forms and $\\delta_\\nabla$ is its formal adjoint. Its Weitzenböck decomposition $\\Delta_B\\phi = \\nabla^*\\nabla\\phi + B\\phi$, with $B\\phi = \\phi\\circ\\mathrm{Ric} - \\overset{\\circ}{R}\\phi$, separates the operator into a rough Laplacian and a zeroth-order curvature term. The identity (16), together with the curvature expression $g(K\\phi,\\phi) = \\sum_{i\\neq j} \\sec(e_i\\wedge e_j)(\\phi_{ii}-\\phi_{jj})^2$, is what turns nonnegative sectional curvature into the subharmonicity of $\\|\\phi\\|^2$ needed for the maximum-principle argument. The formula $\\delta_\\nabla\\phi = -d(\\mathrm{trace}_g\\,\\phi)$ for Codazzi tensors is what identifies harmonic symmetric forms with Codazzi tensors of constant trace.","core_discovery":"The paper's central claim is that harmonic symmetric bilinear forms—sections of $S^2M$ satisfying $d_\\nabla\\phi=0$ and $\\delta_\\nabla\\phi=0$—coincide with the kernel of the Bourguignon Laplacian $\\Delta_B = d_\\nabla\\delta_\\nabla + \\delta_\\nabla d_\\nabla$, and on a compact manifold that kernel is a finite-dimensional real vector space of Codazzi tensors with constant trace. The main vanishing theorem states that on a compact Riemannian manifold with nonnegative sectional curvature every harmonic symmetric bilinear form $\\phi$ is parallel, $\\nabla\\phi=0$; if the sectional curvature is positive at some point, $\\phi$ is a constant multiple of the metric. The proof route is to decompose $\\Delta_B$ into the rough Laplacian plus a curvature operator $B$, derive the Bochner-Weitzenböck identity (16) for $\\|\\phi\\|^2$, use a maximum principle to conclude $\\|\\phi\\|^2$ is constant and $\\nabla\\phi=0$, and then use positivity to force all eigenvalues of $\\phi$ to coincide. The paper also derives spectral consequences: positive eigenvalues of $\\Delta_B$ with nonzero trace inherit Lichnerowicz-type and Yang-type lower bounds from the Ricci curvature, and on the standard sphere the $\\Delta_B$-spectrum of TT-tensors is computed explicitly.","pith_inferences":["If the sign-sensitive maximum-principle step can be repaired or reformulated, the same Bochner machinery would extend to complete noncompact manifolds with controlled growth, since subharmonicity combines with standard Liouville theorems to rule out nontrivial forms under decay assumptions.","The equality case $\\lambda = nK_{\\min}$ in Proposition 2.2 is an Obata-type rigidity: the eigentensor is already forced to be parallel, and irreducible holonomy then kills it; identifying the manifolds that attain equality could connect the spectral bound to sphere theorems.","Because Codazzi tensors commute with the Ricci tensor, the vanishing theorem restricts which compact nonnegative-curvature manifolds can carry nonparallel harmonic symmetric forms; this could be tested against de Rham decompositions and holonomy reductions.","A direct check of identity (16) on flat or constant-curvature examples would decide whether the subharmonicity claim is a convention issue or a genuine obstruction; if the sign fails, the theorem may survive only under stronger assumptions such as nonnegative curvature operator."],"forward_implications":["On any compact manifold with nonnegative sectional curvature, every harmonic symmetric bilinear form is parallel; in particular, on a locally irreducible manifold it must be a constant multiple of the metric.","If the sectional curvature is positive at even one point, the only harmonic symmetric bilinear form is the trivial one $\\phi = \\lambda g$, so compact positive-curvature spaces admit no nontrivial harmonic symmetric forms.","The kernel of the Bourguignon Laplacian is finite-dimensional on compact manifolds, making the space of harmonic symmetric bilinear forms a finite-dimensional Riemannian invariant.","On compact orientable four-manifolds, a nontrivial kernel forces the signature to be zero, linking the existence of such forms to topology.","Positive eigenvalues of $\\Delta_B$ obey the Lichnerowicz bound $\\lambda \\ge nk$ when $\\mathrm{Ric} \\ge (n-1)k > 0$ and the Yang bound $\\lambda \\ge (n-1)k/4 + \\pi^2/D^2$ when $\\mathrm{Ric} \\ge (n-1)k \\ge 0$; on the round sphere the TT-tensor spectrum is $\\{a(n-1+a)+(n-2): a\\ge 2\\}$."],"supporting_citations":[{"why":"Defines the Bourguignon Laplacian, harmonic symmetric bilinear forms, and the identity $\\delta_\\nabla\\phi = -d(\\mathrm{trace}\\,\\phi)$ for Codazzi tensors; the whole framework rests on this.","marker":"[9]"},{"why":"Supplies the Weitzenböck decomposition, the finite-dimensional elliptic kernel statement, and the Berger-Ebin background on Codazzi tensors.","marker":"[8]"},{"why":"Provides the Berger-Ebin decomposition of symmetric tensors and the formula $g(K\\phi,\\phi)$ used in the Bochner calculation.","marker":"[10]"},{"why":"Lichnerowicz's eigenvalue bound is used for the lower bound $\\lambda \\ge nk$ in Proposition 2.1.","marker":"[1]"},{"why":"Yang's diameter-dependent eigenvalue bound is used for the second spectral estimate in Proposition 2.1.","marker":"[4]"},{"why":"Boucetta's spectrum of the Lichnerowicz Laplacian on spheres is converted into the $\\Delta_B$ spectrum for TT-tensors.","marker":"[24]"},{"why":"Greene-Wu's integral theorem for subharmonic functions on nonnegative-curvature manifolds underpins Proposition 3.4.","marker":"[6]"},{"why":"Eisenhart's statement that Codazzi tensors commute with Ricci is used to choose the basis in which the curvature term is diagonal.","marker":"[17]"},{"why":"Calabi's maximum principle is the mechanism that turns subharmonicity into constancy of $\\|\\phi\\|^2$.","marker":"[18]"}],"fun_headline_variants":["Harmonic bilinear forms parallel under nonnegative curvature","Nonnegative curvature forces every harmonic symmetric form to be parallel","Bourguignon Laplacian kernel: finite-dim, forms parallel under nonnegative curvature","Parallel harmonic forms on manifolds with nonnegative curvature","Nonnegative curvature: harmonic bilinear forms become parallel"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The vanishing theorem's proof depends on the Bochner-type identity (16) having the sign that makes $\\|\\phi\\|^2$ subharmonic whenever sectional curvature is nonnegative; if the sign is opposite under the paper's convention, the maximum-principle conclusion that $\\phi$ is parallel does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Harmonic bilinear forms parallel under nonnegative curvature","Nonnegative curvature forces every harmonic symmetric form to be parallel","Bourguignon Laplacian kernel: finite-dim, forms parallel under nonnegative curvature","Parallel harmonic forms on manifolds with nonnegative curvature","Nonnegative curvature: harmonic bilinear forms become parallel"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001549,"raw_usage":{"total_tokens":6225,"prompt_tokens":1006,"completion_tokens":5219,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":622,"completion_tokens_details":{"reasoning_tokens":5134}},"tokens_in":622,"tokens_out":5219,"duration_ms":37148,"temperature":1.0,"reasoning_tokens":5134,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:59:37.314291+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check equation (16) on a flat torus for a non-parallel symmetric bilinear form $\\phi$: with $\\bar\\Delta = -\\mathrm{div}\\,\\mathrm{grad}$, integration by parts gives $(1/2)\\bar\\Delta\\|\\phi\\|^2 = g(\\bar\\Delta\\phi,\\phi) - \\|\\nabla\\phi\\|^2$, the negative of the displayed formula. If that sign is wrong, the subharmonicity step and Corollary 3.1 lack a valid proof as written.","supporting_citations":[{"cited_title":"Math., 63 (198 1), 263–286","cited_arxiv_id":null,"evidence_quote":"Defines the Bourguignon Laplacian, harmonic symmetric bilinear forms, and the identity $\\delta_\\nabla\\phi = -d(\\mathrm{trace}\\,\\phi)$ for Codazzi tensors; the whole framework rests on this."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Weitzenböck decomposition, the finite-dimensional elliptic kernel statement, and the Berger-Ebin background on Codazzi tensors."},{"cited_title":"and Ebin D., Some decomposition of the space of symme tric tensors on a Riemannian manifold, J","cited_arxiv_id":null,"evidence_quote":"Provides the Berger-Ebin decomposition of symmetric tensors and the formula $g(K\\phi,\\phi)$ used in the Bochner calculation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Lichnerowicz's eigenvalue bound is used for the lower bound $\\lambda \\ge nk$ in Proposition 2.1."},{"cited_title":"Pacific J","cited_arxiv_id":null,"evidence_quote":"Yang's diameter-dependent eigenvalue bound is used for the second spectral estimate in Proposition 2.1."},{"cited_title":"(Spectre des Laplacien de Lichnerow icz sur les sph` eres et les projectifs r´ eels), Publ","cited_arxiv_id":null,"evidence_quote":"Boucetta's spectrum of the Lichnerowicz Laplacian on spheres is converted into the $\\Delta_B$ spectrum for TT-tensors."},{"cited_title":"and Wu H., Integral of subharmonic functions on man ifolds of nonnegative curvature, Inventiones Math., 27 (1974), 265–2 98","cited_arxiv_id":null,"evidence_quote":"Greene-Wu's integral theorem for subharmonic functions on nonnegative-curvature manifolds underpins Proposition 3.4."},{"cited_title":"Press (1926)","cited_arxiv_id":null,"evidence_quote":"Eisenhart's statement that Codazzi tensors commute with Ricci is used to choose the basis in which the curvature term is diagonal."},{"cited_title":"Hopf’s maximum principle with an applica - tion to Riemannian geometry, Duke Math","cited_arxiv_id":null,"evidence_quote":"Calabi's maximum principle is the mechanism that turns subharmonicity into constancy of $\\|\\phi\\|^2$."}],"review_version":1}