Pith. sign in

REVIEW 3 major objections 4 minor 24 references

The Bourguignon Laplacian and harmonic symmetric bilinear forms

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Harmonic symmetric bilinear forms on compact nonnegative-curvature manifolds are parallel, and trivial under positive curvature.

desk verdict 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. read the letter →

arxiv 1908.02024 v1 pith:HGGTVVMD submitted 2019-08-06 math.DG

Vladimir Rovenski , Sergey Stepanov , Irina Tsyganok This is my paper · ORCID
classification math.DG MSC 53C2053C2553C40
keywords BourguignonLaplacianharmonicsymmetricbilinearformCodazzitensorBochner-WeitzenböckformulavanishingtheoremspectralgeometrysectionalcurvatureRiemannianmanifold
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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\}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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.

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 (3)
  1. [Section 3, Eq. (17) (see also Eq. (12))] 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.
  2. [Section 2, proof before Eq. (14)] 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.
  3. [Section 3, Lemma 3.2 proof] 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.
minor comments (4)
  1. [Section 2, spectrum statement] 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).
  2. [Section 3, proof of Lemma 3.2] 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.
  3. [Section 2, Eq. (16)] 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.
  4. [References] References [6] and [21] are the same Greene-Wu paper; one should be removed.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the vanishing theorem is derived from standard external Bochner/Weitzenböck identities and the Berger-Ebin theorem, with no load-bearing self-citations.

full rationale

The paper's central derivation chain is: harmonic symmetric bilinear forms are Codazzi tensors with constant trace (Proposition 3.1, from Bourguignon's formula δ∇φ = -d trace φ); the Bourguignon Laplacian has the Weitzenböck decomposition Δ_B = \barΔ + B (Equation (4), cited to Besse and Bourguignon); and the Bochner formula (Equation (16)) is combined with the standard formula for the Lichnerowicz curvature term to obtain the subharmonicity used in Lemma 3.2 and Corollary 3.1. Each load-bearing identity is an external, standard result: [8] Besse, [9] Bourguignon, [10] Berger-Ebin, [1] Lichnerowicz, and [24] Boucetta. The paper explicitly identifies Corollary 3.1 as the classical Berger-Ebin theorem rather than presenting it as a prediction from a fitted input. The self-citations [13]-[15] appear in the reference list but are not used in the central proofs, so they are not load-bearing. There may be a typographical error in Equations (12) and (17), where the curvature term is printed without squares; this would be a correctness or rigor issue, not circularity, because the argument does not reduce to its conclusion by definition or by self-citation.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper uses standard elliptic theory and cited curvature identities; no fitted parameters or invented entities. The key fragile assumption is the Bochner-Weitzenböck identity (16), whose sign is incorrect as stated, affecting the maximum-principle proofs.

assumptions (6)
  • standard math The Bourguignon Laplacian Δ_B = d∇δ∇ + δ∇d∇ is a self-adjoint elliptic operator, giving finite-dimensional kernel and discrete spectrum on a compact manifold.
    Invoked in Section 2, equations (2)-(3), citing standard elliptic theory [8, p. 464; 10, p. 383].
  • domain assumption The Weitzenböck decomposition Δ_B = Δ̄ + B with Bϕ = ϕ∘Ric - ⁰Rϕ and the expression (5) for ⁰R.
    Taken from Besse [8, p. 355] and Bourguignon [9, p. 273]; assumed without proof.
  • domain assumption The identity g(Bϕ,ϕ) = (1/2)g(Kϕ,ϕ) and the pointwise formula g(Kϕ,ϕ) = Σ_{i≠j} sec(e_i∧e_j)(ϕ_ii - ϕ_jj)², as corrected in (13).
    Used in Section 2 for the spectral estimates; stated via 'direct computations'.
  • standard math A maximum principle for subharmonic functions, requiring Δ||ϕ||² ≥ 0 in the interior domain.
    Invoked in Lemma 3.2; however, the sign error in (17) means the function is not subharmonic as claimed.
  • standard math Boucetta's spectrum of the Lichnerowicz Laplacian on TT-tensors on the standard sphere [24].
    Used to derive Prop 2.3.
  • standard math Greene-Wu theorem on L^1 subharmonic functions on manifolds of nonnegative curvature [6].
    Used in Prop 3.4; applicability depends on subharmonicity, which is invalidated by the sign error.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Bourguignon Laplacian and harmonic symmetric bilinear forms." pith.science (2026). https://pith.science/paper/HGGTVVMD

@misc{pith2026190802024,
  author       = {Pith},
  title        = {Pith review of: The Bourguignon Laplacian and harmonic symmetric bilinear forms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HGGTVVMD}},
  note         = {Machine review of arXiv:1908.02024}
}
read the original abstract

The theory of harmonic symmetric bilinear forms on a Riemannian manifold is an analogue of the theory of harmonic exterior differential forms on this manifold. To show this, we must consider every symmetric bilinear form on a Riemannian manifold as a one-form with values in the cotangent bundle of this manifold. In this case, there are the exterior differential and codifferential defined on the vector space of these differential one-forms. Then a symmetric bilinear form is said to be harmonic if it is closed and coclosed as a one-form with values in the cotangent bundle of a Riemannian manifold. In the present paper we prove that the kernel of the little known Bourguignon Laplacian is a finite-dimensional vector space of harmonic symmetric bilinear forms on a compact Riemannian manifold. We also prove that every harmonic symmetric bilinear form on a compact Riemannian manifold with non-negative sectional curvature is invariant under parallel translations. In addition, we investigate the spectral properties of the little studied Bourguignon Laplacian.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Lichnerowicz A., Geom´ etrie des Groupes des Transformations , Dunod, Paris (1958)

    work page 1958

  2. [2]

    and Shoen R., Lp and mean value properties of subharmonic func- tions on Riemannian manifolds, Acta Mathematica, 153:1 (1984), 279 – 301

    Li P. and Shoen R., Lp and mean value properties of subharmonic func- tions on Riemannian manifolds, Acta Mathematica, 153:1 (1984), 279 – 301

    work page 1984

  3. [3]

    Ricci F., L2-vector bundle value forms and the Laplace-Beltrami opera- tor, Rendiconti del Seminario Matematico della Universit` a di Padov a, 76 (1986), 119–135

    work page 1986

  4. [4]

    Pacific J

    Yang D., Lower bound estimates of the first eigenvalue for compa ct man- ifolds with positive Ricci curvature. Pacific J. of Mathematics, 190:2 , 383–398 (1999)

    work page 1999

  5. [5]

    and Rassias T

    Craioveanu M., Puta M. and Rassias T. M., Old and new aspects in spectral geometry, Kluwer Academic Publishers, Dordrecht (201 3)

    work page

  6. [6]

    and Wu H., Integral of subharmonic functions on man ifolds of nonnegative curvature, Inventiones Math., 27 (1974), 265–2 98

    Greene R.E. and Wu H., Integral of subharmonic functions on man ifolds of nonnegative curvature, Inventiones Math., 27 (1974), 265–2 98

    work page 1974

  7. [7]

    and Shen C., Codazzi tensor fields, curvature an d Pontrya- gin forms, Proc

    Derdzinski A. and Shen C., Codazzi tensor fields, curvature an d Pontrya- gin forms, Proc. London Math. Soc., 47:3 (1983), 15–26

    work page 1983

  8. [8]

    Besse A., Einstein Manifolds , Springer-Verlag, Berlin-Heidelberg (1987). 10

    work page 1987

Show all 24 references
  1. [9]

    Math., 63 (198 1), 263–286

    Bourguignon J.-P., Les vari´ et´ es de dimension 4 ´ a signature non nulle dont la courbure est harmonique sont d’Einstein, Invent. Math., 63 (198 1), 263–286

  2. [10]

    and Ebin D., Some decomposition of the space of symme tric tensors on a Riemannian manifold, J

    Berger M. and Ebin D., Some decomposition of the space of symme tric tensors on a Riemannian manifold, J. of Differential Geometry, 3 (19 69), 379–392

  3. [11]

    Forms, Currents, Harmonic Forms , Springer-Verlag + Berlin Heidelberg, 1984

    de Rham G., Differentiable Manifolds. Forms, Currents, Harmonic Forms , Springer-Verlag + Berlin Heidelberg, 1984

    1984

  4. [12]

    Petersen P., Riemannian geometry, Springer, Switzerland, 2016

    2016

  5. [13]

    and Tsyganok I.I., Conformal Killing L2-forms on complete Riemannian manifolds with nonpositive curvature operator, J

    Stepanov S.E. and Tsyganok I.I., Conformal Killing L2-forms on complete Riemannian manifolds with nonpositive curvature operator, J. of Ma th. Analysis and Applications, 458:1 (2018), 1–8

    2018

  6. [14]

    and Tsyganok I.I., Theorems on conformal mapp ings of complete Riemannian manifolds and their applications, Balkan J

    Stepanov S.E. and Tsyganok I.I., Theorems on conformal mapp ings of complete Riemannian manifolds and their applications, Balkan J. of Ge- ometry and its Applications, 22:1 (2017), 81–86

    2017

  7. [15]

    Stepanov S.E. and Mikeˇ s J., Liouville-type theorems for some cla sses of Riemannian almost product manifolds and for special mappings of Rie- mannian manifolds, Differential Geometry and its Applications, 54 (20 17), Part A, 111–121

  8. [16]

    Besse sur la g´ eometrie Riemannienne dimension 4, Cedic

    Bourguignon J.P., Formules de Weitzenb¨ ok en dimension 4, Semina ire A. Besse sur la g´ eometrie Riemannienne dimension 4, Cedic. Ferman, Paris, (1981), 156–177

    1981

  9. [17]

    Press (1926)

    Eisenhart L.P., Riemannian geometry, Princeton Univ. Press (1926)

    1926

  10. [18]

    Hopf’s maximum principle with an applica - tion to Riemannian geometry, Duke Math

    Calabi E., An extension of E. Hopf’s maximum principle with an applica - tion to Riemannian geometry, Duke Math. J., 25 (1958), 45–56

    1958

  11. [19]

    and Nomizu K., Foundations of differential geometry, vol

    Kobayashi Sh. and Nomizu K., Foundations of differential geometry, vol. 2, Interscience Publishers, New York-London-Sydney, 1969

    1969

  12. [20]

    Donaldson S.K., Symmetric spaces, K¨ ahler geometry and Hamilto nian dynamics, Amer. Math. Soc. Transl. 196 (1999), 13–33

    1999

  13. [21]

    and Wu H., Integrals of subharmonic functions on ma nifolds of nonnegative curvatures, Inventions Math., 27 (1974), 265–2 98

    Greene R.E. and Wu H., Integrals of subharmonic functions on ma nifolds of nonnegative curvatures, Inventions Math., 27 (1974), 265–2 98

    1974

  14. [22]

    Yau S.T., Some function-theoretic properties of complete Riema nnian manifold and their applications to geometry, Indiana Univ. Math. J., 2 5:7 (1976), 659–679

    1976

  15. [23]

    and Rassias T., Old and new aspects in spectral geometry, Springer Science + Business Media Dordreht, 2001

    Craioveanu M., Puta M. and Rassias T., Old and new aspects in spectral geometry, Springer Science + Business Media Dordreht, 2001. 11

    2001

  16. [24]

    (Spectre des Laplacien de Lichnerow icz sur les sph` eres et les projectifs r´ eels), Publ

    Boucetta M., Spectrum of the Lichnerowicz Laplacians on the sp heres and the real projective spaces. (Spectre des Laplacien de Lichnerow icz sur les sph` eres et les projectifs r´ eels), Publ. Mat., Barc., 43: 2 (1999) , 451–483. 12

    1999

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.