New Curvature Conditions for the Bochner Technique

Matthias Wink; Peter Petersen

REVIEW 1 major objections 4 minor 39 references

New Curvature Conditions for the Bochner Technique

T0 review · 1 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 On a closed Riemannian manifold, if the sum of the lowest $n-p$ eigenvalues of the curvature operator is positive, then the $p$-th and $(n-p)$-th Betti numbers vanish; under a curvature lower bound and diameter bound, a quantitative…

desk verdict A clean, substantive generalization of Bochner-type vanishing and estimation theorems via average-of-lowest-eigenvalues conditions; the main arguments hold up on close reading. read the letter →

arxiv 1908.09958 v4 pith:7TGNYLWE submitted 2019-08-26 math.DG

Peter Petersen , Matthias Wink This is my paper · ORCID

classification math.DG MSC 53B2053C2053C2153C2358A14

keywords BochnertechniqueBettinumberscurvatureoperatoreigenvaluesumsLichnerowiczLaplacianharmonicformsEinsteinmanifoldsdiameterestimates

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 proves that the Betti numbers of a closed Riemannian manifold are controlled by the average of the lowest eigenvalues of its curvature operator, not by pointwise positivity of the whole operator. The central theorem says that if the sum of the lowest $n-p$ eigenvalues is positive, then the $p$-th and $(n-p)$-th Betti numbers vanish, and under a normalized lower bound $\kappa \le 0$ with a diameter bound $D$, the $p$-th Betti number is at most $\binom{n}{p}\exp(C\sqrt{-\kappa D^2 p(n-p)})$. This generalizes classical Bochner-type vanishing results of Meyer, Gallot--Meyer, and Gallot to a curvature condition that is not preserved by the Ricci flow. The proof works by feeding a sharp estimate on how rotations act on $p$-forms into the Li--Gallot quantitative Bochner technique. A reader should care because it gives vanishing and quantitative topology from an average eigenvalue condition, and because in dimensions $5$ and $6$ it yields Betti number vanishing under a $3$-positive curvature operator.

What carries the argument

The central object is the hat tensor $\hat T \in \Lambda^2 V \otimes T^{(0,k)}(V)$, defined implicitly by $g(L,\hat T(X_1,\dots,X_k)) = (LT)(X_1,\dots,X_k)$ for every rotation $L \in \mathfrak{so}(V)$; it packages how every rotation acts on a tensor. The key estimate is Lemma 2.1, which converts the bound $|LT|^2 \le \frac{1}{C}|\hat T|^2|L|^2$ into the pointwise curvature-term inequality $g(R(\hat T),\hat T) \ge \kappa|\hat T|^2$ whenever the average of the lowest $\lfloor C\rfloor$ eigenvalues of the curvature operator $R$ is at least $\kappa$. For $p$-forms this holds with $C=n-p$, and the constant is sharp by the examples in Section 4. The Li--Gallot theorem (Theorem 1.12) then converts the pointwise Bochner inequality into a dimension bound on the kernel of the Hodge Laplacian, which is the $p$-th Betti number.

What would settle it

Exhibit a closed Riemannian $5$-manifold whose curvature operator is $3$-positive and whose second Betti number is nonzero; Theorem A predicts $b_2=0$, so such a manifold would disprove the theorem. Alternatively, a direct computation of $|L\omega|^2$ on a $p$-form with $L\in\mathfrak{so}(V)$ that exceeds $p|\omega|^2|L|^2$ would overturn Lemma 2.2(c), the key estimate on which the proof rests.

Watch

Extended reading notes

Core claim

The paper's discovery is that the curvature term in the Bochner formula for $p$-forms can be controlled by the sum of the lowest $n-p$ eigenvalues of the curvature operator. Concretely, Lemma 2.1 shows that if a tensor $T$ satisfies $|LT|^2 \le \frac{1}{C}|\hat T|^2|L|^2$ for all $L \in \mathfrak{so}(V)$, then an average lower bound $\frac{1}{\lfloor C\rfloor}(\lambda_1+\cdots+\lambda_{\lfloor C\rfloor}) \ge \kappa$ forces $g(R(\hat T),\hat T) \ge \kappa|\hat T|^2$. For $p$-forms with $p \le n/2$, Lemma 2.2(c) gives exactly this with $C=n-p$: $|L\omega|^2 \le p|\omega|^2|L|^2 = \frac{1}{n-p}|\hat\omega|^2|L|^2$. Combined with Proposition 2.9(b), which identifies $|\hat\omega|^2 = p(n-p)|\omega|^2$, and the Li--Gallot theorem bounding the kernel of the Lichnerowicz Laplacian, this yields Theorem A. The same mechanism, with Lemma 2.2(d) for curvature tensors, gives Theorem B: Einstein manifolds satisfying a low-eigenvalue sum condition have parallel curvature, and in the strict case constant sectional curvature.

Load-bearing premise

The whole theorem rests on the sharp constant in the estimate $|L\omega|^2 \le p|\omega|^2|L|^2$ for every $p$-form $\omega$ and rotation $L$; if that constant were smaller, the proof would need more eigenvalues in the sum and the vanishing statement would fail.

Editorial extensions

If this is right

If the average of the lowest $n-p$ curvature eigenvalues is positive, then both $b_p(M)$ and $b_{n-p}(M)$ vanish.
Under the normalized lower bound $\kappa \le 0$ and diameter bound $D$, the estimate $b_p(M) \le \binom{n}{p}\exp(C(n,\kappa D^2)\sqrt{-\kappa D^2 p(n-p)})$ holds, so slightly negative curvature--diameter product forces the Betti number to be no larger than the binomial coefficient.
In dimensions $n=5,6$, a $3$-positive curvature operator suffices for Betti number vanishing, even though $3$-positivity is not preserved by the Ricci flow.
For closed Einstein manifolds, the low-eigenvalue sum conditions of Theorem B force the curvature tensor to be parallel; strict inequality forces constant sectional curvature.
When $\kappa=0$ in Theorem A, all harmonic $p$-forms are parallel, giving a rigidity statement at the threshold.

Reading between the lines

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

Because the condition is an average of the lowest eigenvalues rather than pointwise positivity of the full operator, the method may extend to integral curvature bounds or to metric-measure spaces with a suitable Bochner inequality; a direct test would be to replace the eigenvalue sum by its $L^q$ average and check whether the exponential estimate survives.
The sharpness examples indicate that the eigenvalue count $n-p$ is the natural threshold; one concrete open problem the paper highlights is whether there are simply connected manifolds with $\lambda_1+\cdots+\lambda_{n-1}>0$ and large $b_2$, and the method here gives a way to search for them.
Since $3$-positivity is not preserved by the Ricci flow, the theorem identifies a curvature condition that other flows or surgery constructions might be able to preserve; testing whether the condition is stable under connected sums would clarify how large the class of examples is.

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.

Desk Editor's Note

read the letter

The paper is a genuine advance. Petersen and Wink replace pointwise lower bounds on the curvature operator with an average of its lowest eigenvalues, and they get both vanishing and quantitative Betti number estimates from that weaker condition. The key mechanism is Lemma 2.1, a neat eigenvalue-averaging argument, and Lemma 2.2, which supplies sharp constants for forms, symmetric tensors, and curvature tensors. Those two lemmas are the real content, and they are proved directly with explicit examples showing optimality. Theorem A is a true generalization of Meyer, Gallot-Meyer, and Gallot, and the applications—like vanishing for 3-positive curvature operators in dimensions 5 and 6—are genuinely new. Theorem B for Einstein manifolds is a nice bonus.

The proofs are careful and internally consistent. I checked the logic of Lemma 2.1: the step where the negative coefficients on the low eigenvalues are handled using the pointwise bound is correct, and the sign handling works. The reduction to the Li–Gallot theorem (Theorem 1.12) is legitimate because the eigenvalue hypothesis indeed implies the needed Ricci lower bound. The examples in Section 4 convince me that the constants in Lemma 2.2 are sharp, and Example 4.6 correctly shows that Theorem A cannot be weakened to (n−1)-positivity in general.

Soft spots are minor. The quantitative part of Theorem A depends on the external Li–Gallot estimate, quoted without proof; that is standard, but it means the diameter-dependent constant is non-explicit and the bound is only as strong as that input. The non-orientable case is handled by passing to the orientation double cover, which could in principle double the diameter, but since the constant is non-explicit this does not affect the claim. Proposition 3.5 is more technical and somewhat orthogonal to the main theorems; it could be trimmed without hurting the paper. None of these issues threaten the central argument.

This is a solid paper that deserves serious refereeing. I would bring it to a reading group and would cite it in my own work. My verdict: accept after the usual checks, not because it is flashy but because the mathematics is correct, the generalization is meaningful, and the exposition is honest and detailed.

Referee Report

1 major / 4 minor

Summary. The paper introduces a new curvature condition for the Bochner technique: instead of a pointwise lower bound on the curvature operator, it uses a lower bound on the average of the lowest n-p eigenvalues. Theorem A asserts that for closed connected n-manifolds, positivity of λ1+...+λ_{n-p} forces the Betti numbers b_p and b_{n-p} to vanish, and a normalized lower bound κ≤0 together with a diameter bound gives a quantitative exponential estimate for b_p. The proof relies on a new algebraic Lemma 2.1 that converts an estimate on the action of so(V) on p-forms into a curvature-term inequality, sharp estimates in Lemma 2.2 and Proposition 2.9, and the Li-Gallot estimates of Theorem 1.12. The paper also proves a Tachibana-type rigidity theorem for Einstein manifolds (Theorem B), a Weyl-tensor analogue, and constructs examples that demonstrate the sharpness of the constants and the independence of the new condition from Ricci-flow-invariant curvature conditions.

Significance. Modulo the flaw in the proof of Theorem B identified below, the paper makes a substantial contribution. The average-eigenvalue condition genuinely extends earlier work of Meyer, Gallot-Meyer, and Gallot, and it applies to 3-positive curvature operators in dimensions 5 and 6, a condition that is not preserved by the Ricci flow. The main Theorem A is a concrete, falsifiable statement with explicit dependence on κD², and the paper contains detailed, checkable computations and examples showing optimality of the estimates in Section 4. The proof of Theorem A is internally consistent and does not appear to rely on circular reasoning; the only external input is the standard Li-Gallot estimate.

major comments (1)

[§3, proof of Theorem B, dimension n=4] The displayed inequality in the dimension-four part of the proof of Theorem B is false as stated. The exact Singer-Thorpe formula gives g(R(ˆRm), ˆRm)=16(E(λ1,λ2,λ3)+E(λ4,λ5,λ6)), where E(x,y,z)=x(y−z)^2+y(x−z)^2+z(x−y)^2. The proof claims that, after relabeling so that λ1+λ2≥0, λ1≤λ2≤λ3, and λ4,λ5,λ6≥0, one has g≥16{(λ1+λ2)(λ1−λ3)^2+λ3(λ1−λ2)^2}. Consider an Einstein algebraic curvature operator on R^4 whose Singer-Thorpe eigenvalues are (1,2,3) on one self-dual half and (2,2,2) on the other. It satisfies the first Bianchi identity (1+2+3=2+2+2), is Einstein, and is 2-positive since the two smallest global eigenvalues are 1 and 2 with sum 3>0. For this operator the left side equals 16·12=192, while the claimed right side equals 16·15=240. Thus the inequality is not valid. The conclusion of Theorem B in dimension 4 may still be correct, and one can instead analyze the equality cases of E directly, but the argument as written needs to be corrected.

minor comments (4)

[§2, Lemma 2.2(c)] The proof of the p-form estimate is quite terse; the sentence explaining why repeated coefficients in the sum force the corresponding wedge components to vanish would be easier to follow with a short example or a more detailed algebraic justification.
[§3, proof of Theorem A] When passing to the orientation double cover, the diameter bound may double; the statement of Theorem A is unaffected because C(n,κD²) is non-explicit and can absorb the factor, but this should be stated explicitly to avoid confusion.
[Introduction, Question] The motivating assertion that CP² is 3-positive with b₂=1 would benefit from a pointer to the eigenvalue computation in Remark 2.7, so that the reader can verify it without reconstructing the Singer-Thorpe basis.
[§4, Example 4.1] The notation 'C1-close' should be typeset as 'C^1-close', and the phrase 'arbitrary negative minimum' reads more clearly as 'arbitrarily negative minimum'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the vanishing and estimation theorem follows from proved pointwise bounds, a directly checked curvature-term inequality, and a standard external Bochner estimate.

full rationale

The central derivation is self-contained. Theorem A rests on three ingredients: Lemma 2.2(c), which is proved directly and gives |Lω|^2 ≤ p|ω|^2|L|^2 for p-forms; Proposition 2.9(b), which is computed from the action of the unit-sphere curvature operator and gives |\hat ω|^2 = p(n−p)|ω|^2; and Lemma 2.1, which converts the normalized average condition (λ_1+...+λ_{n−p})/(n−p) ≥ κ into the curvature-term inequality g(R(\hat ω),\hat ω) ≥ κ|\hat ω|^2. None of these statements is defined in terms of the conclusion about Betti numbers, and the constants are justified by explicit calculations and by the sharpness examples in Section 4. The only external input is Theorem 1.12, a standard Li–Gallot estimate quoted with attribution to Li and Gallot; it is not a self-citation and it is not derived from the paper's own assumptions. The citations to Petersen's textbook for standard tensor identities such as Proposition 1.11 are routine computational facts, not load-bearing circular steps. The paper's assumptions do not secretly encode the desired vanishing or dimension bounds, so no equation reduces to an input by construction.

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

The central proof rests on standard Bochner technique background and one external estimate (Theorem 1.12). No free parameters are fitted, and no new entities are postulated. The sharpness examples in Section 4 provide independent checks on the main estimates.

assumptions (4)

standard math Closed Riemannian manifolds satisfy Hodge theory: harmonic p-forms are in bijection with degree-p cohomology, and Poincare duality holds.
Used in the proof of Theorem A to translate vanishing of harmonic forms to vanishing of Betti numbers; cited as standard in Section 1.3.
standard math The Hodge Laplacian is a Lichnerowicz Laplacian with c = 1, and the curvature term in its Bochner formula is g(R(omega_hat), omega_hat).
Example 1.10(a) and Proposition 1.11; standard Bochner technique, cited to Petersen [Pet16].
standard math Theorem 1.12 (P. Li and Gallot): under Ric >= (n-1)kappa and diam <= D, a pointwise curvature term inequality g(R(T_hat), T_hat) >= kappa C |T|^2 implies the stated dimension bound for the kernel of the Lichnerowicz Laplacian.
External estimate imported without proof; it is the bridge from the pointwise Bochner inequality to Betti number bounds. The paper verifies its hypotheses for p-forms.
standard math The curvature operator of an Einstein 4-manifold commutes with the Hodge star, and Singer-Thorpe bases exist.
Used in the dimension 4 case of Theorem B and Example 4.6; attributed to Singer-Thorpe [ST69].

how reviews work

0 comments

Cite this review

Pith. "Pith review of New Curvature Conditions for the Bochner Technique." pith.science (2026). https://pith.science/paper/7TGNYLWE

@misc{pith2026190809958,
  author       = {Pith},
  title        = {Pith review of: New Curvature Conditions for the Bochner Technique},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7TGNYLWE}},
  note         = {Machine review of arXiv:1908.09958}
}

abstract

We prove a vanishing and estimation theorem for the $p^{\text{th}}$-Betti number of closed $n$-dimensional Riemannian manifolds with a lower bound on the average of the lowest $n-p$ eigenvalues of the curvature operator. This generalizes results due to D. Meyer, Gallot-Meyer, and Gallot. For example, in dimensions $n=5,6$ we obtain vanishing of the Betti numbers provided that the curvature operator is $3$-positive. As B\"ohm-Wilking observed, $3$-positivity of the curvature operator is not preserved by the Ricci flow.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 38 canonical work pages

[1]

Marcel Berger, Sur les vari\' e t\' e s \`a op\' e rateur de courbure positif , C. R. Acad. Sci. Paris 253 (1961), 2832--2834

work page 1961
[2]

, Sur quelques vari\' e t\' e s d' E instein compactes , Ann. Mat. Pura Appl. (4) 53 (1961), 89--95

work page 1961
[3]

, Les vari\' e t\' e s k\" a hl\' e riennes compactes d' E instein de dimension quatre \`a courbure positive , Tensor (N.S.) 13 (1963), 71--74

work page 1963
[4]

B \' e rard, From vanishing theorems to estimating theorems: the B ochner technique revisited , Bull

Pierre H. B \' e rard, From vanishing theorems to estimating theorems: the B ochner technique revisited , Bull. Amer. Math. Soc. (N.S.) 19 (1988), no. 2, 371--406

work page 1988
[5]

Sectional curvature and Weitzenb\"ock formulae

Renato G. Bettiol and Ricardo A. E. Mendes, Sectional curvature and Weitzenb \"o ck formulae , to appear in Indiana Univ. Math. J., arXiv:1708.09033 (2020)

work page Pith review arXiv 2020
[6]

Bochner, Vector fields and R icci curvature , Bull

S. Bochner, Vector fields and R icci curvature , Bull. Amer. Math. Soc. 52 (1946), 776--797

work page 1946
[7]

Simon Brendle, A general convergence result for the Ricci flow , Duke Math. J. 145 (2008), 585--601

work page 2008
[8]

Simon Brendle, Einstein manifolds with nonnegative isotropic curvature are locally symmetric, Duke Math. J. 151 (2010), no. 1, 1--21

work page 2010

Show all 39 references

[9]

, Ricci flow with surgery on manifolds with positive isotropic curvature, Ann. of Math. (2) 190 (2019), no. 2, 465--559

2019
[10]

Schoen, Classification of manifolds with weakly 1/4 -pinched curvatures , Acta Math

Simon Brendle and Richard M. Schoen, Classification of manifolds with weakly 1/4 -pinched curvatures , Acta Math. 200 (2008), no. 1, 1--13

2008
[11]

Simon Brendle and Richard Schoen, Manifolds with 1/4-pinched curvature are space forms , J. Amer. Math. Soc. 22 (2009), no. 1, 287--307

2009
[12]

Christoph B\" o hm and Burkhard Wilking, Manifolds with positive curvature operators are space forms , Ann. of Math. (2) 167 (2008), 1079--1097

2008
[13]

1201, Springer, Berlin, 1986, pp

Jeff Cheeger, A vanishing theorem for piecewise constant curvature spaces, Curvature and topology of R iemannian manifolds ( K atata, 1985), Lecture Notes in Math., vol. 1201, Springer, Berlin, 1986, pp. 33--40

1985
[14]

Global Anal

Haiwen Chen, Pointwise 14 -pinched 4 -manifolds , Ann. Global Anal. Geom. 9 (1991), no. 2, 161--176

1991
[15]

Differential Geom

Bing-Long Chen, Siu-Hung Tang, and Xi-Ping Zhu, Complete classification of compact four-manifolds with positive isotropic curvature, J. Differential Geom. 91 (2012), no. 1

2012
[16]

Differential Geom

Bing-Long Chen and Xi-Ping Zhu, Ricci flow with surgery on four-manifolds with positive isotropic curvature, J. Differential Geom. 74 (2006), no. 2, 177--264

2006
[17]

Martha Dussan and Maria Helena Noronha, Compact manifolds of nonnegative isotropic curvature and pure curvature tensor, Balkan J. Geom. Appl. 10 (2005), no. 2, 58--66

2005
[18]

Sylvestre Gallot, Estim\' e es de S obolev quantitatives sur les vari\' e t\' e s riemanniennes et applications , C. R. Acad. Sci. Paris S\' e r. I Math. 292 (1981), no. 6, 375--377

1981
[19]

Gallot and D

S. Gallot and D. Meyer, Op\' e rateur de courbure et laplacien des formes diff\' e rentielles d'une vari\' e t\' e riemannienne , J. Math. Pures Appl. (9) 54 (1975), no. 3, 259--284

1975
[20]

Goldberg, Curvature and homology, Dover Publications, Inc., Mineola, NY, 1998

Samuel I. Goldberg, Curvature and homology, Dover Publications, Inc., Mineola, NY, 1998

1998
[21]

Michael Gromov, Curvature, diameter and B etti numbers , Comment. Math. Helv. 56 (1981), no. 2, 179--195

1981
[22]

Hamilton, Three-manifolds with positive Ricci curvature , J

Richard S. Hamilton, Three-manifolds with positive Ricci curvature , J. Differential Geom. 17 (1982), 255--306

1982
[23]

Differential Geom

, Four-manifolds with positive curvature operator , J. Differential Geom. 24 (1986), 153--179

1986
[24]

, Four-manifolds with positive isotropic curvature, Comm. Anal. Geom. 5 (1997), no. 1, 1--92

1997
[25]

Sebastian Hoelzel, Surgery stable curvature conditions, Math. Ann. 365 (2016), no. 1-2, 13--47

2016
[26]

Hong Huang, Compact manifolds of dimension n 12 with positive isotropic curvature , arXiv:1909.12265 (2019)

2019 arXiv
[27]

Peter Li, On the S obolev constant and the p -spectrum of a compact R iemannian manifold , Ann. Sci. \' E cole Norm. Sup. (4) 13 (1980), no. 4, 451--468

1980
[28]

Daniel Meyer, Sur les vari\' e t\' e s riemanniennes \`a op\' e rateur de courbure positif , C. R. Acad. Sci. Paris S\' e r. A-B 272 (1971), A482--A485

1971
[29]

Micallef and John Douglas Moore, Minimal two-spheres and the topology of manifolds with positive curvature on totally isotropic two-planes, Ann

Mario J. Micallef and John Douglas Moore, Minimal two-spheres and the topology of manifolds with positive curvature on totally isotropic two-planes, Ann. of Math. (2) 127 (1988), no. 1, 199--227

1988
[30]

Differential Geom

Ngaiming Mok, The uniformization theorem for compact K \" a hler manifolds of nonnegative holomorphic bisectional curvature , J. Differential Geom. 27 (1988), no. 2, 179--214

1988
[31]

Micallef and McKenzie Y

Mario J. Micallef and McKenzie Y. Wang, Metrics with nonnegative isotropic curvature, Duke Math. J. 72 (1993), no. 3, 649--672

1993
[32]

Lei Ni and Baoqiang Wu, Complete manifolds with nonnegative curvature operator, Proc. Amer. Math. Soc. 135 (2007), no. 9, 3021--3028

2007
[33]

171, Springer, 2016

Peter Petersen, Riemannian Geometry , third ed., Graduate Texts in Mathematics, vol. 171, Springer, 2016

2016
[34]

W. A. Poor, A holonomy proof of the positive curvature operator theorem, Proc. Amer. Math. Soc. 79 (1980), no. 3, 454--456

1980
[35]

Harish Seshadri, Manifolds with nonnegative isotropic curvature, Comm. Anal. Geom. 17 (2009), no. 4, 621--635

2009
[36]

James Simons, Minimal varieties in riemannian manifolds, Ann. of Math. (2) 88 (1968), 62--105

1968
[37]

I. M. Singer and J. A. Thorpe, The curvature of 4 -dimensional E instein spaces , Global A nalysis ( P apers in H onor of K . K odaira), Univ. Tokyo Press, Tokyo, 1969, pp. 355--365

1969
[38]

Japan Acad

Shun-ichi Tachibana, A theorem on R iemannian manifolds of positive curvature operator , Proc. Japan Acad. 50 (1974), 301--302

1974
[39]

Yano and S

K. Yano and S. Bochner, Curvature and B etti numbers , Annals of Mathematics Studies, No. 32, Princeton University Press, Princeton, N. J., 1953

1953

Pith tools

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

[1] [1]

Marcel Berger, Sur les vari\' e t\' e s \`a op\' e rateur de courbure positif , C. R. Acad. Sci. Paris 253 (1961), 2832--2834

work page 1961

[2] [2]

, Sur quelques vari\' e t\' e s d' E instein compactes , Ann. Mat. Pura Appl. (4) 53 (1961), 89--95

work page 1961

[3] [3]

, Les vari\' e t\' e s k\" a hl\' e riennes compactes d' E instein de dimension quatre \`a courbure positive , Tensor (N.S.) 13 (1963), 71--74

work page 1963

[4] [4]

B \' e rard, From vanishing theorems to estimating theorems: the B ochner technique revisited , Bull

Pierre H. B \' e rard, From vanishing theorems to estimating theorems: the B ochner technique revisited , Bull. Amer. Math. Soc. (N.S.) 19 (1988), no. 2, 371--406

work page 1988

[5] [5]

Sectional curvature and Weitzenb\"ock formulae

Renato G. Bettiol and Ricardo A. E. Mendes, Sectional curvature and Weitzenb \"o ck formulae , to appear in Indiana Univ. Math. J., arXiv:1708.09033 (2020)

work page Pith review arXiv 2020

[6] [6]

Bochner, Vector fields and R icci curvature , Bull

S. Bochner, Vector fields and R icci curvature , Bull. Amer. Math. Soc. 52 (1946), 776--797

work page 1946

[7] [7]

Simon Brendle, A general convergence result for the Ricci flow , Duke Math. J. 145 (2008), 585--601

work page 2008

[8] [8]

Simon Brendle, Einstein manifolds with nonnegative isotropic curvature are locally symmetric, Duke Math. J. 151 (2010), no. 1, 1--21

work page 2010