Abstract
This article aims to understand the behavior of the curvature operator of the second kind under the Ricci flow in dimension three. First, we express the eigenvalues of the curvature operator of the second kind explicitly in terms of that of the curvature operator (of the first kind). Second, we prove that \(\alpha \)-positive/\(\alpha \)-nonnegative curvature operator of the second kind is preserved by the Ricci flow in dimension three for all \(\alpha \in [1,5]\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Riemann curvature tensor \(R_{ijkl}\) on an n-dimensional Riemannian manifold \((M^n,g)\) naturally induces two self-adjoint curvature operators: \({\hat{R}}\) acts on the space of two-forms \(\wedge ^2(T_pM)\) via
and \({\overline{R}}\) acts on the space of symmetric two-tensors \(S^2(T_pM)\) via
In the literature, \({\hat{R}}\) is known as the curvature operator and there are many remarkable results under various positivity conditions on \({\hat{R}}\); see Meyer [32], Gallot and Meyer [18], Tachibana [48], Hamilton [19, 20], Böhm and Wilking [12], Brendle and Schoen [9, 10], Andrews and Nguyen [1], Ni and Wilking [40], Petersen and Wink [45,46,47], etc. In particular, the celebrated differentiable sphere theorem states that closed manifolds with two-positive curvature operator are diffeomorphic to spherical space forms. This is proved using the Ricci flow by Hamilton [19] for \(n=3\), Hamilton [20] and Chen [14] for \(n=4\), and Böhm and Wilking [12] for \(n\ge 5\). Here, \({\hat{R}}\) is two-positive if the sum of the smallest two eigenvalues of \({\hat{R}}\) is positive, and \((M^n,g)\) is said to have two-positive curvature operator if \({\hat{R}}_p\) is two-positive at every \(p\in M\). The corresponding classification of closed manifolds with two-nonnegative curvature operator is due to Hamilton [20] for \(n=3\), Hamilton [20] and Chen [14] for \(n=4\), and Ni and Wu [39] for \(n\ge 5\). We refer the reader to the wonderful surveys [49, 11], and [35] for more information.
The curvature operator of the second kind, denoted by \(\mathring{R}\) throughout this article, refers to the restriction of \({\overline{R}}\) to \(S^2_0(T_pM)\), the space of traceless symmetric two-tensors. Nishikawa [36] interpreted \(\mathring{R}\) as the symmetric bilinear form
obtained by restricting \({\overline{R}}\) to \(S^2_0(T_pM)\). He called \(\mathring{R}\) the curvature operator of the second kind, to distinguish it from the curvature operator \({\hat{R}}\), which he called the curvature operator of the first kind. It was pointed out in [37] that the curvature operator of the second kind can also be interpreted as the self-adjoint operator
where \(\pi :S^2(T_pM) \rightarrow S^2_0(T_pM)\) is the projection map. The algebraic reason to restrict to \(S^2_0(T_pM)\), as pointed out by Bourguignon and Karcher [4], is that \(S^2(T_pM)\) is not irreducible under the action of the orthogonal group \(O(T_pM)\). Indeed, it splits into \(O(T_pM)\)-irreducible subspaces as
Geometrically, \(\mathring{R}=\pi \circ {\overline{R}}={\text {id}}_{S^2_0}\) on the standard sphere \({\mathbb {S}}^n\) with constant sectional curvature 1, while the operator \({\overline{R}}\) is not even positive: the eigenvalues of \({\overline{R}}\) on \({\mathbb {S}}^n\) are given by \(-(n-1)\) with multiplicity one and 1 with multiplicity \(\frac{(n-1)(n+2)}{2}\) (see [4]).
Recently, the curvature operator of the second kind \(\mathring{R}\) received attention due to the resolution of Nishikawa’s 1986 conjecture, which states that a closed Riemannian manifold with positive (respectively, nonnegative) curvature operator of the second kind is diffeomorphic to a spherical space form (respectively, Riemannian locally symmetric space). The positive part was resolved by Cao, Gursky, and Tran [13]. Their key observation is that two-positivity of \(\mathring{R}\) implies the strict PIC1 condition introduced by Brendle [6], i.e., \(M\times {\mathbb {R}}\) has positive isotropic curvature. The positive part of Nishikawa’s conjecture then follows from Brendle’s convergence result [6] stating that the normalized Ricci flow evolves an initial metric that is strictly PIC1 into a limit metric with constant positive sectional curvature. Shortly after, the second named author [28] noticed that strictly PIC1 is implied by three-positivity of \(\mathring{R}\), thus getting an improvement of the result of Cao, Gursky, and Tran. He also settled the nonnegative part of Nishikawa’s conjecture by reducing it to the locally irreducible case and appealing to the classification of closed locally irreducible manifolds with weakly PIC1 in [7].
After that, further investigations toward understanding \(\mathring{R}\) have been carried out in [24,25,26,27, 37, 38], and [50]. The second named author [24] proved that closed manifolds with \(4\frac{1}{2}\)-positive \(\mathring{R}\) have positive isotropic curvature and positive Ricci curvature, thus being homeomorphic to spherical space forms because of the work of Micallef and Moore [33]. This improves a result of Cao, Gursky, and Tran [13, Theorem 1.6] assuming 4-positivity of \(\mathring{R}\). Using the Bochner technique, Nienhaus, Petersen, and Wink [37] proved vanishing results on the Betti numbers \(b_p\) under C(p, n)-positivity of \(\mathring{R}\), where C(p, n) is an explicit constant. In particular, it follows that a closed Riemannian n-manifold with \(\frac{n+2}{2}\)-nonnegative \(\mathring{R}\) is either flat or a rational homology sphere. Together with Wylie [38], they observed that a Riemannian n-manifold with n-nonnegative or n-nonpositive \(\mathring{R}\) has restricted homology SO(n) unless it is flat. Subsequently, the second named author obtained a sharper result in his investigation of \(\mathring{R}\) on product manifolds [25]. In addition, \(\mathring{R}\) was investigated on Kähler manifold in [27, 28, 38], and [26]. It is proved in [26] that a Kähler manifold of complex dimension m with \(\alpha \)-nonnegative \(\mathring{R}\) must be flat if \(\alpha < \frac{3}{2}(m^2-1)\). This is sharp as \(\mathbb{C}\mathbb{P}^m\) with the Fubini-Study metric has \(\frac{3}{2}(m^2-1)\)-nonnegative \(\mathring{R}\). Another result in [26] asserts that a closed Kähler manifold of complex dimension m with \(\left( \frac{3m^3-m+2}{2m} \right) \)-positive \(\mathring{R}\) has positive orthogonal bisectional curvature, thus being biholomorphic to \(\mathbb{C}\mathbb{P}^m\). In another direction, Zhao and Zhu [50] proved that a steady gradient Ricci soliton of dimension \(n\ge 4\) must be isometric to the Bryant soliton up to scaling if it is asymptotically cylindrical and satisfies \({\overline{R}}>-\frac{S}{2} {\text {id}}_{S^2(T_pM)}\), where S denotes the scalar curvature. This improves a result of Brendle [8] assuming the stronger assumption of positive sectional curvature.
In this article, we investigate the curvature operator of the second kind in dimension three. Our first result finds explicit expressions for the eigenvalues of \(\mathring{R}\) in terms of that of \({\hat{R}}\) in this dimension.
Theorem 1.1
Let \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) be an algebraic curvature operator on \({\mathbb {R}}^3\) and denote by \(a\le b \le c\) the eigenvalues of the curvature operator \({\hat{R}}\). Then the eigenvalues of the curvature operator of the second kind \(\mathring{R}\) are given by
where
It is well-known that both kinds of curvature operators are stronger than sectional curvature, in the sense that \({\hat{R}} \ge \kappa \) or \(\mathring{R} \ge \kappa \) for some \(\kappa \in {\mathbb {R}}\) implies that the sectional curvatures are bounded from below by \(\kappa \) (see for example [36]). In dimension three, \({\hat{R}} \ge 0\) is equivalent to nonnegative sectional curvature, and two-nonnegativity of \({\hat{R}}\) is equivalent to nonnegative Ricci curvature. In all dimensions, two-nonnegativity of \(\mathring{R}\) implies nonnegative sectional curvature (see [28]) and \((n+\frac{n-2}{n})\)-nonnegativity of \(\mathring{R}\) implies nonnegative Ricci curvature (see [24]). Here \(\mathring{R}\) is said to be \(\alpha \)-nonnegative for some \(\alpha \in [1,\dim (S^2_0(T_pM))]\) if the eigenvalues \(\lambda _1 \le \lambda _2 \le \cdots \le \lambda _{\frac{(n-1)(n+2)}{2}}\) of \(\mathring{R}\) satisfies
where \(\lfloor x \rfloor \) denotes the floor function defined by
When \(\alpha =k\) is an integer, this agrees with the usual definition meaning that the sum of the smallest k eigenvalues of \(\mathring{R}\) is nonnegative. The \(\alpha \)-positivity of \(\mathring{R}\) is defined similarly. Moreover, we say \(\mathring{R}\) is \(\alpha \)-nonpositive (resp, \(\alpha \)-negative) if \(-\mathring{R}\) is \(\alpha \)-nonnegative (resp, \(\alpha \)-positive). We always omit \(\alpha \) when \(\alpha =1\).
Clearly, \(\alpha \)-positive \(\mathring{R}\) implies \(\beta \)-positive \(\mathring{R}\) if \(\alpha \le \beta \). Therefore, \(\alpha \)-positive \(\mathring{R}\) for \(\alpha \in [1, \frac{(n-1)(n+2)}{2}]\) provides a family of curvature conditions interpolating between positive curvature operator of the second kind (corresponding to \(\alpha =1\)) and positive scalar curvature (corresponding to \(\alpha =\frac{(n-1)(n+2)}{2})\). In seeking optimal \(\alpha \)-positivity of \(\mathring{R}\) that characterizes the spherical space form, the second named author [24] conjectured that a closed Riemannian manifold with \(\left( n+\frac{n-2}{n}\right) \)-positive curvature operator of the second kind is diffeomorphic to a spherical space form, after verifying it in dimensions three and four. The number \(n+\frac{n-2}{n}\) comes from the standard cylinder \({\mathbb {S}}^{n-1}\times {\mathbb {S}}^1\), which has \(\alpha \)-positive \(\mathring{R}\) if \(\alpha > n+\frac{n-2}{n}\).
With the aid of Theorem 1.1, we get some new and optimal results in dimension three. We summarize (noting that parts (1), (3), and (5) have been proved by the second named author in [24, 28]) that
Proposition 1.2
Let \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) be an algebraic curvature operator and denote by \({\hat{R}}\) and \(\mathring{R}\) the curvature operator of the first and the second kind of R respectively. Then the following statements hold.
-
(1)
\(\mathring{R}\) is two-nonnegative \(\implies \) R has nonnegative sectional curvature.
-
(2)
R has nonnegative sectional curvature \(\implies \) \(\mathring{R}\) is \(3\frac{1}{3}\)-nonnegative.
-
(3)
\(\mathring{R}\) is \(3\frac{1}{3}\)-nonnegative \(\implies \) R has nonnegative Ricci curvature
-
(4)
R has nonnegative Ricci curvature \(\implies \) \(\mathring{R}\) is four-nonnegative
-
(5)
R has nonnegative scalar curvature \(\iff \) \(\mathring{R}\) is five-nonnegative.
Moreover, the same results hold if “nonnegative” is replaced by “positive”, “negative”, or “non-positive”.
Our second result states that \(\alpha \)-positivity (and \(\alpha \)-nonnegativity) of \(\mathring{R}\) is preserved by three-dimensional compact Ricci flows for every \(\alpha \in [1,5]\). Recall that a Riemannian manifold \((M^n,g)\) is said to have \(\alpha \)-positive curvature operator of the second kind if \(\mathring{R}_p\) is \(\alpha \)-positive for each \(p \in M\).
Theorem 1.3
Let \((M^3,g(t))\), \(t\in [0,T)\), be a three-dimensional compact Ricci flow. Let \(\alpha \in [1,5]\). If g(0) has \(\alpha \)-positive (respectively, \(\alpha \)-nonnegative) curvature operator of the second kind, then g(t) has \(\alpha \)-positive (respectively, \(\alpha \)-nonnegative) curvature operator of the second kind for \(t\in (0,T)\).
It remains an interesting question whether the Ricci flow preserves \(\alpha \)-positive/\(\alpha \)-nonnegative curvature operator of the second kind for some \(\alpha \in [1,N]\) in higher dimensions.
Since \(3\frac{1}{3}\)-nonnegativity of \(\mathring{R}\) implies nonnegative Ricci curvature, one gets classification results for complete three-manifolds with \(3\frac{1}{3}\)-nonnegative \(\mathring{R}\) via the classification results under nonnegative Ricci curvature in [19, 20] in the compact case and [29] in the complete noncompact case. Here, we get a refined version.
Theorem 1.4
Let \((M^3,g)\) be an oriented complete three-dimensional Riemannian manifold with \(\alpha \)-nonnegative curvature operator of the second kind.
-
(1)
If \(\alpha \in [1,3\frac{1}{3})\), then M is either flat or diffeomorphic to a spherical space form.
-
(2)
If \(\alpha =3\frac{1}{3}\) and M is closed, then M is diffeomorphic to a quotient of one of the spaces \({\mathbb {S}}^3\) or \({\mathbb {S}}^2 \times {\mathbb {R}}\) or \({\mathbb {R}}^3\) by a group of fixed point free isometries in the standard metrics.
-
(3)
If \(\alpha =3\frac{1}{3}\) and M is noncompact, then either M is diffeomorphic to \({\mathbb {R}}^3\) or the universal cover of M is isometric to a Riemann product \(N^2 \times {\mathbb {R}}\) where \(N^2\) is a complete two-manifold with nonnegative sectional curvature.
-
(4)
If \(\alpha \in (3\frac{1}{3},5]\) and M is closed, then M is either flat or diffeomorphic to a connected sum of spherical space forms and copies of \({\mathbb {S}}^2 \times {\mathbb {S}}^1\).
Note that parts (2) and (3) have been proved by the second name author in [24]. Part (4) is a direct consequence of the celebrated work of Perelman [42,43,44]. Here we prove part (1) using Proposition 4.5 and the recent resolution of a conjecture of Hamilton in dimension three by [16, 17, 30], and [31].
Before concluding this section, we would like to mention that the action of the Riemann curvature tensor on symmetric two-tensors indeed has a long history. It perhaps first appeared for Kähler manifolds in the study of the deformation of complex analytic structures by Calabi and Vesentini [15]. They introduced the self-adjoint operator \(\xi _{\alpha \beta } \rightarrow R^{\rho }_{\ \alpha \beta }{}^{\sigma } \xi _{\rho \sigma }\) from \(S^2(T^{1,0}_p M)\) to itself and computed the eigenvalues of this operator on Hermitian symmetric spaces of classical type, with the exceptional ones handled shortly after by Borel [5]. In the Riemannian setting, the action arises naturally in the context of deformations of Einstein structure in Berger and Ebin [2] (see also [22, 23] and [3]). In addition, it appears in the Bochner-Weitzenböck formulas for symmetric two-tensors (see for example [34]), for differential forms in [41], and for Riemannian curvature tensors in [21]. In another direction, curvature pinching estimates for \({\overline{R}}\) were studied by Bourguignon and Karcher [4], and they calculated the eigenvalues of \({\overline{R}}\) on the complex projective space with the Fubini-Study metric and the quaternionic projective space with its canonical metric. Nevertheless, the operators \({\overline{R}}\) and \(\mathring{R}\) are significantly less investigated than \({\hat{R}}\) and it is our goal to gain a better understanding of them.
This paper is organized as follows. In Sect. 2, we fix some notations and conventions. In Sect. 3, we provide a strategy to diagonalize the curvature operator of the second kind of an algebraic curvature operator with vanishing Weyl tensor. In Section 4, we prove Theorem 1.1, Proposition 1.2 and Theorem 1.4. In Sect. 5, we prove Theorem 1.3.
2 Notations and Conventions
Throughout this article, (V, g) is a real Euclidean vector space of dimension \(n \ge 2\) and \(\{e_i\}_{i=1}^n\) is an orthonormal basis of V for the metric g. We always identify V with its dual space \(V^*\) via g.
\(S^2(V)\) and \(\wedge ^2V\) denote the space of symmetric two-tensors and two-forms on V, respectively. Note that \(S^2(V)\) splits into O(V)-irreducible subspaces as
where \(S^2_0(V)\) is the space of traceless symmetric two-tensors.
\(S^2(\wedge ^2 V)\), the space of symmetric two-tensors on \(\wedge ^2V\), has the orthogonal decomposition
where \(S^2_B(\wedge ^2 V)\) consists of all tensors \(R\in S^2(\wedge ^2V)\) that also satisfy the first Bianchi identity. The space \(S^2_B(\wedge ^2V)\) is called the space of algebraic curvature operators on V.
The tensor product is defined as \((e_i\otimes e_j)(e_k,e_l) =\delta _{ik}\delta _{jl}\), where \(\delta _{pq}\) denotes the Kronecker delta defined as
The symmetric product \(\odot \) and wedge product \(\wedge \) are defined as
and
respectively.
The inner product on \(S^2(V)\) is given by \(\langle A, B \rangle ={\text {tr}}(A^T B)\) and the inner product on \(\wedge ^2 V\) is given by \( \langle A, B \rangle =\frac{1}{2}{\text {tr}}(A^T B)\). If \(\{e_i\}_{i=1}^n\) is an orthonormal basis of V, then \(\{\frac{1}{\sqrt{2}}e_i \odot e_j\}_{1\le i<j\le n} \cup \{\frac{1}{2}e_i \odot e_i\}_{1\le i\le n}\) is an orthonormal basis of \(S^2(V)\) and \(\{e_i \wedge e_j\}_{1\le i<j\le n}\) is an orthonormal basis of \(\wedge ^2 V\).
Given \(A, B\in S^2(V)\), their Kulkarni-Nomizu product gives rise to via
![](http://media.springernature.com/lw356/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ53_HTML.png)
It is well known that \(R\in S^2_B(\wedge ^2 V)\) can be written as for some \(A\in S^2(V)\) if and only if the Weyl tensor of R vanishes. In particular, any \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) can be written as
for some \(A\in S^2(V)\).
3 Diagonalization
The main result of this section is the following theorem, which expresses the eigenvalues of the curvature operator of the second kind of in terms of the eigenvalues of A.
Theorem 3.1
Let \(A\in S^2(V)\) and denote by \(\mu _1, \cdots , \mu _k\) the distinct eigenvalues of A with corresponding multiplicities \(n_1, \cdots , n_k\). Then the eigenvalues of the curvature operator of the second kind of are given by
-
(1)
\(\mu _i +\mu _j\) with multiplicity \(n_in_j\), for \(1\le i < j \le k\);
-
(2)
\(2 \mu _i\) with multiplicity \(n_i-1\), for \(1 \le i \le k\);
-
(3)
the \(k-1\) nonzero solutions of the equation \(\sum _{i=1}^k \frac{n_i \mu _i}{2\mu _i-\lambda }=\frac{n}{2}\) if \(\sum _{i=1}^k \frac{n_i}{\mu _i} \ne 0\), and the \(k-2\) nonzero solutions of \(\sum _{i=1}^k \frac{n_i \mu _i}{2\mu _i-\lambda }=\frac{n}{2}\) together with 0 if \(\sum _{i=1}^k \frac{n_i}{\mu _i} =0\). In both cases, there is exactly one eigenvalue in \((2\mu _i, 2\mu _{i+1})\) for each \(1\le i \le k-1\).
To prove Theorem 3.1, we first observe that if \(\lambda _i\) and \(\lambda _j\) are eigenvalues of A, then \(\lambda _i+\lambda _j\) is an eigenvalue of the curvature operator of the second kind of .
Lemma 3.2
Let \(A\in S^2(V)\) and \(\{e_i\}_{i=1}^n\) be an orthonormal basis of V such that \(A(e_i)=\lambda _i e_i\) for \(1\le i \le n\). Then we have
![](http://media.springernature.com/lw282/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ54_HTML.png)
for \(1\le p \ne q\le n\).
Proof
Note that
The conclusion follows from a straightforward calculation as follows:
![](http://media.springernature.com/lw434/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ55_HTML.png)
where j and k are summed from 1 to n. \(\square \)
Since the orthogonal complement of \({{\,\textrm{span}\,}}\{e_p \odot e_q: 1 \le p \ne q \le n\}\) in \(S^2_0(V)\) is
the eigentensors associated with the remaining eigenvalues are in E. Note that \(\dim (E)=n-1\), as E is isomorphic to the vector space of \(n\times n\) diagonal matrices with zero trace. This reduces the problem of finding the remaining \(n-1\) eigenvalues to solving some algebraic equations.
Lemma 3.3
Let \(A\in S^2(V)\) and \(\{e_i\}_{i=1}^n\) be an orthonormal basis of V such that \(A(e_i)=\lambda _i e_i\) for \(1\le i \le n\). Suppose that \(c_1, \cdots , c_n\), not all zeros, and \(\lambda \) are real numbers satisfying
and
Then \(\lambda \) is an eigenvalue of the curvature operator of the second kind of with eigentensor \(\sum _{p=1}^n c_p e_p \odot e_p\).
Proof
For fixed \(1\le p\le n\), we calculate that
![](http://media.springernature.com/lw366/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ56_HTML.png)
where j and k are summed from 1 to n. Namely, we have proven that
![](http://media.springernature.com/lw398/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ57_HTML.png)
for \(1\le p \le n\). Next, we compute that
![](http://media.springernature.com/lw461/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ58_HTML.png)
where we have used (3.1) in the last step. We further calculate, with \(\pi : S^2(V) \rightarrow S^2_0(V)\) being the projection map, that
![](http://media.springernature.com/lw280/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ59_HTML.png)
where we have used (3.2) in the last step. This finishes the proof. \(\square \)
We are ready to prove Theorem 3.1.
Proof of Theorem 3.1
Let \(\mu _1< \mu _2< \cdots < \mu _k\) be the distinct eigenvalues of A with corresponding multiplicities \(n_1, \cdots , n_k\). Lemma 3.2 implies that \(\mu _i+\mu _j\) is an eigenvalue of the curvature operator of the second kind of with multiplicity \(n_in_j\).
By Lemma 3.3, we need to solve (3.1) and (3.2) to find the remaining \(n-1\) eigenvalues. We first observe that for each \(n_i >1\), \(\lambda =2\mu _i\) is an eigenvalue of the curvature operator of the second kind of with multiplicity \(n_i-1\) and the associated eigenspace is given by
Here and in the rest of the proof, we use the convention \(n_0=0\) for simplicity of notations. In this way, we can find \((n_1-1)+\cdots + (n_k-1)=n-k\) eigenvalues.
To find the remaining \(k-1\) eigenvalues, we observe that if \(\lambda \) is a solution to the equation
then \(\lambda \) and \(c_1, \cdots , c_n\) defined by
satisfy (3.2). Note that (3.1) is also satisfied if either \(\lambda \ne 0\) or \(\lambda =0\) and \(\sum _{i=1}^k \frac{n_i}{\mu _i}=0\). By Lemma 3.3, nonzero solutions to (3.3) are eigenvalues of the curvature operator of the second kind of . Also, \(\lambda =0\) is an eigenvalue if \(\sum _{i=1}^k \frac{n_i}{\mu _i}=0\).
If \(\mu _p=0\) for some \(1\le p \le k\), we claim that (3.3) has exactly one solution in \((2\mu _i, 2\mu _{i+1})\) for each \(1\le i \le k-1\). To see this, we consider the function f defined by
Clearly, \(\lim _{\lambda \rightarrow 0}f(\lambda ) =-\frac{n_p}{2} <0\). Moreover, if \(\mu _i >0\), then
and if \(\mu _i <0\), then
By the intermediate value theorem, the continuity of f on \({\mathbb {R}}{\setminus } \{2\mu _1, \cdots , 2\mu _k\}\), and the asymptotics of f near the \(2\mu _i\)’s, one sees that for each \(1\le i\le k-1\), \(f(\lambda )=0\) must have at least one solution in the interval \((2\mu _i, 2\mu _{i+1})\). Since each solution of \(f(\lambda )=0\) is also a root of the degree \(k-1\) polynomial
one concludes that \(f(\lambda )=0\) has exactly one solution on \((2\mu _i, 2\mu _{i+1})\) for each \(1\le i\le k-1\). Therefore, (3.3) has \(k-1\) distinct nonzero solutions.
Next, we consider the case \(\mu _i\ne 0\) for all \(1\le i\le k\). In this case, f has the same asymptotics at the \(2\mu _i\)’s as before, but \(f(0)=0\). On an interval of the form \((2\mu _i, 2\mu _{i+1})\) not containing 0, the intermediate value theorem implies that \(f(\lambda )=0\) has at least one solution in it. If \(0 \in (2\mu _i, 2\mu _{i+1})\), then \(f(\lambda )=0\) has at least one solution in \((2\mu _i, 0)\) if \(f'(0) > 0\) and at least one solution in \((0, 2\mu _{i+1})\) if \(f'(0)< 0\). When \(f'(0)=\frac{1}{4}\sum _{i=1}^k \frac{n_i}{\mu _i}=0\), zero is a solution of \(f(\lambda )=0\) with multiplicity at least two, as \(f(\lambda )\) is analytic near 0 with \(f(0)=f'(0)=0\). In this case, 0 is an eigenvalue of the curvature operator of the second of , as \(\lambda =0\) and \(c_1, \cdots , c_n\) defined by
satisfies both (3.1) and (3.2). Noticing that each solution of \(f(\lambda )=0\) is also a root of the degree k polynomial
we see that \(f(\lambda )=0\) has at most k solutions (counting multiplicities). If \(\sum _{i=1}^k \frac{n_i}{\mu _i}\ne 0\), then \(f(\lambda )=0\) has exactly one nonzero solution in \((2\mu _i,2\mu _{i+1})\) for each \(1\le i \le k-1\). If \(\sum _{i=1}^k \frac{n_i}{\mu _i}=0\), then \(f(\lambda )=0\) has exactly one solution in each interval of the form \((2\mu _i,2\mu _{i+1})\) not containing zero and there exist a unique \(1\le p \le k-1\) such that \(0\in (2\mu _p,2\mu _{p+1})\) and 0 is a solution of \(f(\lambda )=0\) of multiplicity exactly two.
Overall, the remaining \(k-1\) eigenvalues of the curvature operator of the second kind of are given by the \(k-1\) nonzero solutions of (3.3) if \(\sum _{i=1}^k \frac{n_i}{\mu _i}\ne 0\), and by the \(k-2\) nonzero solutions of (3.3) together with 0 if \(\sum _{i=1}^k \frac{n_i}{\mu _i}= 0\). In both cases, there is exactly one eigenvalue in \((2\mu _i, 2\mu _{i+1})\) for each \(1\le i \le k-1\).
The proof is complete. \(\square \)
It is clear from the proof of Theorem 3.1 that
Corollary 3.4
If all the eigenvalues of \(A\in S^2(V)\) lie in the interval [a, b], then all the eigenvalues of the curvature operator of the second kind of lie in [2a, 2b].
4 Proof of Theorem 1.1
We apply Theorem 3.1 to dimension three and prove Theorem 1.1.
Proof of Theorem 1.1
Note that \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) can be written as
![](http://media.springernature.com/lw207/springer-static/image/art%3A10.1007%2Fs12220-024-01639-0/MediaObjects/12220_2024_1639_Equ60_HTML.png)
where \(A:={\text {Ric}}-\frac{S}{4}g\) is the Schouten tensor. If \(a\le b \le c\) are the eigenvalues of \({\hat{R}}\), then the eigenvalues of \({\text {Ric}}\) are \(a+b\le a+c \le b+c\) and the scalar curvature is \(S=2(a+b+c)\). Thus, the eigenvalues of A are given by
Let’s first deal with the case \(a<b<c\). By Theorem 3.1, the eigenvalues of \(\mathring{R}\) are \(a< b < c\), and the two solutions of the equation
which are given by
Next, one verifies that the expressions of eigenvalues of \(\mathring{R}\) in Theorem 1.1 remain valid for the cases \(a=b<c\), \(a<b=c\), and \(a=b=c\). Finally, the inequalities \(\lambda _{-}\le a\) and \(\lambda _{+}\ge c\) follow from simple algebraic manipulations. \(\square \)
Next, we prove Proposition 1.2.
Proof
Parts (1), (3), and (5) have been proved in [24, 28], so we only prove parts (2) and (4) here.
Let \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) and let \(a\le b \le c\) be the eigenvalues of \({\hat{R}}\). Then R has nonnegative sectional curvature (or \({\hat{R}}\ge 0\)) if and only if \(a\ge 0\), and R has nonnegative Ricci curvature (or \({\hat{R}}\) is two-nonnegative) if and only if \(a+b\ge 0\). By Theorem 1.1, the eigenvalues of \(\mathring{R}\) are given by
where \(\lambda _{\pm }\) are defined in (1.1).
Note that \(\mathring{R}\) is \(3\frac{1}{3}\)-nonnegative if and only if \(\lambda _{-} +a +b +\frac{c}{3}\ge 0\), which is, after some algebraic manipulations, equivalent to \(2a+2b+c \ge 0\) and
Both inequalities hold if \(a \ge 0\). So, we have proved part (2).
To prove part (4), we observe that the inequality \( \lambda _{-} +a +b +c\ge 0\) is equivalent to \(a+b+c\ge 0\) and
which holds provided that \(a+b\ge 0\). Results with “nonnegative” replaced by “positive” follows similarly.
To prove the statement for nonpositivity in (2), we note that R has nonpositive sectional curvature \(\iff \) \(-R\) has nonnegative sectional curvature \(\implies \) \(-\mathring{R}\) is \(3\frac{1}{3}\)-nonnegative \(\iff \) \(\mathring{R}\) is \(3\frac{1}{3}\) is nonpositive. Other results concerning negativity or nonpositivity can be deduced similarly. \(\square \)
Below we construct some examples to show the sharpness of Proposition 1.2. In the following, \(a\le b \le c\) are the eigenvalues of \({\hat{R}}\) and \(\epsilon \) is a small positive number.
Example 4.1
Let \(a=-\epsilon \) and \(b=c=1\). Then \(\lambda _{-}=-\epsilon \) and \(\lambda _+=\frac{4+\epsilon }{3}\). This provides an example of \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) such that \(\mathring{R}\) is \((2+2\epsilon )\)-nonnegative but R does not have nonnegative sectional curvature.
Example 4.2
Let \(a=b=0\) and \(c=1 \). Then \(\lambda _{-}=-\frac{1}{3}\) and \(\lambda _+=1\). This provides an example of \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) with nonnegative sectional curvature but \(\mathring{R}\) is not \(\alpha \)-nonnegative for any \(\alpha < 3\frac{1}{3}\). This example is the curvature tensor of \({\mathbb {S}}^2 \times {\mathbb {R}}\) with the product metric.
Example 4.3
Let \(a=-\epsilon \), \(b=0\), and \(c=1+\epsilon \). Then \(\lambda _{\pm }=\frac{1}{3}\pm \frac{2}{3}\sqrt{1+3\epsilon ^2+3\epsilon }\). This provides an example of \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) such that \(\mathring{R}\) is \(\left( 3\frac{1}{3}+\delta (\epsilon )\right) \)-nonnegative but R does not have nonnegative Ricci curvature, where \(\delta (\epsilon )=\frac{2}{3}\frac{\sqrt{1+3\epsilon ^2+3\epsilon }-(1-\epsilon )}{1+\epsilon }\).
Example 4.4
Let \(a=-1\) and \(b=c=1\). Then \(\lambda _{-}=-1\) and \(\lambda _+=\frac{5}{3}\). This provides an example of \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) such that \({\text {Ric}}\ge 0\) but \(\mathring{R}\) is not \(\alpha \)-nonnegative for any \(\alpha < 4\).
In order to prove part (1) of Theorem 1.4, we need a proposition.
Proposition 4.5
Let \(R\in S^2_B(\wedge ^2 {\mathbb {R}}^3)\) be an algebraic curvature operator. If \(\mathring{R}\) is \((3+\delta )\)-nonnegative for some \(\delta \in [0,\frac{1}{3}]\), then
Proof
As in [28, Sect. 3], we choose an orthonormal basis of \(S^2_0({\mathbb {R}}^3)\) as follows:
where \(\{e_1,e_2,e_3\}\) is an orthonormal basis of \({\mathbb {R}}^3\). By [28, Lemma 3.1], we have that \(\mathring{R}(\varphi _1,\varphi _1) = \mathring{R}(\varphi _4,\varphi _4) =R_{1212}\), \(\mathring{R}(\varphi _2,\varphi _2)=R_{1313}\), \(\mathring{R}(\varphi _3,\varphi _3)=R_{2323}\), and \(\mathring{R}(\varphi _5,\varphi _5)=\frac{2}{3}(R_{1313}+R_{2323})-\frac{1}{3}R_{1212}\).
Since \(\mathring{R}\) is \((3\frac{1}{3}+\delta )\)-nonnegative,we get
Thus, we have \( {\text {Ric}}\ge \frac{1-3\delta }{3(2-\delta )}S\). \(\square \)
Proof of Theorem 1.4
(1). If M has \(\alpha \)-nonnegative \(\mathring{R}\) for some \(\alpha \in [1,3\frac{1}{3})\), then it has \((3+\delta )\)-nonnegative \(\mathring{R}\) for \(\delta =0\) if \(\alpha \in [1,3]\) and \(\delta =3\frac{1}{3}-\alpha >0\) if \(\alpha \in [3,3\frac{1}{3})\). By Proposition 4.5, we have \({\text {Ric}}\ge \frac{1-3\delta }{3(2-\delta )} S\).
It was conjectured by Hamilton and proved in [16, 17, 30], and [31] that a three-manifold with \({\text {Ric}}\ge \epsilon S\) for some \(\epsilon >0\) is either flat or compact. Therefore, M is compact and has positive Ricci curvature unless it is flat. The desired conclusion then follows from Hamilton’s classification of three-manifolds with positive Ricci curvature [19].
Since \(3\frac{1}{3}\)-nonnegativity of \(\mathring{R}\) implies nonnegative Ricci curvature, parts (2) and (3) follow from the classification of three-manifolds with nonnegative Ricci obtained by Hamilton [20] in the closed case and by Liu [29] in the complete noncompact case, respectively.
For some \(\alpha \in (3\frac{1}{3}, 5]\), \(\alpha \)-nonnegativity of \(\mathring{R}\) implies nonnegative scalar curvature. Therefore, part (4) follows from the classification of compact three-manifolds with nonnegative scalar curvature, which is a consequence of the work of Perelman [42,43,44]. \(\square \)
5 Preserving \(\alpha \)-Nonnegativity of \(\mathring{R}\)
In this section, we show that \(\alpha \)-nonnegative/\(\alpha \)-positive curvature operator of the second kind is preserved by compact Ricci flows in dimension three for any \(\alpha \in [1,5]\). In view of Hamilton’s ODE-PDE maximum principle (see [20]), it suffices to show that Hamilton’s ODE
preserves \(\alpha \)-nonnegativity/\(\alpha \)-positivity of \(\mathring{R}\).
Given \(R \in S^2(\wedge ^2 {\mathbb {R}}^3)\), let \(a\le b\le c\) denote the eigenvalues of \({\hat{R}}\). By Theorem 1.1, the eigenvalues of \(\mathring{R}\) are given by
where \(\lambda _{\pm }\) are defined in (1.1). We define
Clearly, we have
Proposition 5.1
\(\mathring{R}\) is \(\alpha \)-nonnegative (respectively, \(\alpha \)-positive) if and only if \(f_\alpha (R) \ge 0\) (respectively, \(f_\alpha (R) >0\)).
Let R(t), \(t\in [0,T)\), be a solution to (5.1). By [19], the eigenvalues of \({\hat{R}}\) evolve by the ODE system
and the scalar curvature S(t) satisfies
If \(\mathring{R}(0)\) is \(\alpha \)-nonnegative for some \(\alpha \in [1,5]\), then \(S(0) \ge 0\). By (5.4), \(S(t)\ge 0\) for each \(t\in [0,T)\). Moreover, we have either \(S(t) \equiv 0\) or \(S(t)>0\) for each \(t\in [0,T)\). Since there is nothing to prove if \(S(t)\equiv 0\), we may assume \(S(t)>0\) in the following discussions.
We first prove that
Proposition 5.2
Let R(t), \(t \in [0,T)\), be a solution to (5.1) with \(S(t)>0\). Then the quantities
are monotone non-decreasing in t.
Proof
Using (5.3) and (5.4), we derive that
This implies the desired monotonicity of \(\frac{a}{S}\), \(\frac{a+b}{S}\), and \(\frac{c}{S}\).
Using \(|{\text {Ric}}|^2=2(a^2+b^2+c^2+ab+ac+bc)\) and (5.3), we compute that
and
yielding the monotonicity of \(\frac{|{\text {Ric}}|^2}{S^2}\).
Finally, the monotonicity of \(\frac{\lambda _{\pm }}{S}\) follows from the identity
and the monotonicity of \(\frac{|{\text {Ric}}|^2}{S^2}\). \(\square \)
Proposition 5.3
Let R(t), \(t \in [0,T)\), be a solution to (5.1) with \(S(t)>0\). Let \(f_\alpha (R)\)be the function defined in (5.2). If \(f_\alpha (0) \ge c S(0)\) for some \(c\in {\mathbb {R}}\), then \(f_\alpha (t) \ge c S(t)\) for all \(t\in [0,T)\).
Proof
Note that \(\frac{f_\alpha (R)}{S}\) can be written as
In other words, \(\frac{f_\alpha (R)}{S}\) is the sum of functions that are non-decreasing along (5.1). Therefore, \(\frac{f_\alpha (R)}{S}\) is non-decreasing in t. \(\square \)
Combining Proposition 5.3 and Proposition 5.1, we get that
Proposition 5.4
The ODE (5.1) preserves \(\alpha \)-nonnegativity/\(\alpha \)-positivity of \(\mathring{R}\) for any \(\alpha \in [1,5]\).
Next, we prove Theorem 1.3.
Proof of Theorem 1.3
Take \(\alpha \in [1,5],\) \(\varepsilon \ge 0\) and set
Clearly, \(K_{\alpha ,\varepsilon }\) is closed, O(3)-invariant, and invariant under parallel transport. To see that \(K_{\alpha ,\epsilon }\) is convex, we observe that
where the minimum is taken over all orthonormal bases \(\{\varphi _i\}_{i=1}^5\) for \(S^2_0({\mathbb {R}}^3)\). Since the composition of the pointwise minimum with a linear map of functionals is concave, we conclude that \(f_\alpha (R)\) is concave. Together with the fact that scalar curvature is a linear function on \(S^2_B(\wedge ^2 {\mathbb {R}}^3)\), we conclude that
is a convex set. By combining Proposition 5.4 with Hamilton’s ODE-PDE maximum principle, we conclude that \(K_{\alpha ,\varepsilon }\) is preserved by the Ricci flow in dimension three. \(\square \)
Hamilton [19] proved that (compact) Ricci flows in dimension three preserve positivity, two-positivity, and three-positivity of \({\hat{R}}\), which correspond to positive sectional curvature, positive Ricci curvature, and positive scalar curvature, respectively. Here, we note that a similar argument as in the proof of Theorem 1.3 shows that compact three-dimensional Ricci flows preserve \(\alpha \)-nonnegativity of \({\hat{R}}\) for any \(\alpha \in [1,3]\).
Proposition 5.5
Let \((M^3,g(t))\), \(t\in [0,T)\), be a compact three-dimensional Ricci flow. If g(0) has \(\alpha \)-nonnegative (respectively, \(\alpha \)-positive) curvature operator for some \(\alpha \in [1,3]\), then g(t) has \(\alpha \)-nonnegative (respectively, \(\alpha \)-positive) curvature operator for each \(t\in (0,T)\).
Proof
Denote by \(a\le b \le c\) the eigenvalues of \({\hat{R}}\). Clearly, \({\hat{R}}\) is \(\alpha \)-nonnegative (respectively, \(\alpha \)-positive) if and only if \(h_\alpha (R) \ge 0\) (respectively, \(>0\)), where
Since \(S(t_0)=0\) forces \(S(t) \equiv 0\), we may assume \(S(t)>0\) for \(t\in [0,T)\). Note that
The monotonicity of \(\frac{a}{S}\), \(\frac{a+b}{S}\), and \(\frac{c}{S}\) obtained in Proposition 5.2 implies that the function \(\frac{h_\alpha (R)}{S}\) is monotone non-decreasing under Hamilton’s ODE (5.1). The rest of the proof uses Hamilton’s ODE-PDE maximum principle as in the proof of Theorem 1.3. \(\square \)
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Andrews, B., Nguyen, H.: Four-manifolds with 1/4-pinched flag curvatures. Asian J. Math. 13(2), 251–270 (2009)
Berger, M., Ebin, D.: Some decompositions of the space of symmetric tensors on a Riemannian manifold. J. Differ. Geom. 3, 379–392 (1969)
Besse, A.L.: Einstein Manifolds. Classics in Mathematics. Springer, Berlin (2008). (Reprint of the 1987 edition)
Bourguignon, J.-P., Karcher, H.: Curvature operators: pinching estimates and geometric examples. Ann. Sci. École Norm. Sup. (4) 11(1), 71–92 (1978)
Borel, A.: On the curvature tensor of the Hermitian symmetric manifolds. Ann. Math. 2(71), 508–521 (1960)
Brendle, S.: A general convergence result for the Ricci flow in higher dimensions. Duke Math. J. 145(3), 585–601 (2008)
Brendle, S.: Ricci Flow and the Sphere Theorem. Graduate Studies in Mathematics, vol. 111. American Mathematical Society, Providence (2010)
Brendle, S.: Rotational symmetry of Ricci solitons in higher dimensions. J. Differ. Geom. 97(2), 191–214 (2014)
Brendle, S., Schoen, R.M.: Classification of manifolds with weakly \(1/4\)-pinched curvatures. Acta Math. 200(1), 1–13 (2008)
Brendle, S., Schoen, R.: Manifolds with \(1/4\)-pinched curvature are space forms. J. Am. Math. Soc. 22(1), 287–307 (2009)
Brendle, S., Schoen, R.: Sphere theorems in geometry. In: Surveys in Differential Geometry. Vol. XIII. Geometry, Analysis, and Algebraic Geometry: Forty Years of the Journal of Differential Geometry, Volume 13 of Survey in Differential Geometry, pp. 49–84. International Press, Somerville (2009)
Böhm, C., Wilking, B.: Manifolds with positive curvature operators are space forms. Ann. Math. 167(3), 1079–1097 (2008)
Cao, X., Gursky, M.J., Tran, H.: Curvature of the second kind and a conjecture of Nishikawa. Comment. Math. Helv. 98(1), 195–216 (2023)
Chen, H.: Pointwise \(\frac{1}{4}\)-pinched \(4\)-manifolds. Ann. Glob. Anal. Geom. 9(2), 161–176 (1991)
Calabi, E., Vesentini, E.: On compact, locally symmetric Kähler manifolds. Ann. Math. 2(71), 472–507 (1960)
Chen, B.-L., Zhu, X.-P.: Complete Riemannian manifolds with pointwise pinched curvature. Invent. Math. 140(2), 423–452 (2000)
Deruelle, A., Schulze, F., Simon, M.: Initial stability estimates for Ricci flow and three dimensional Ricci-pinched manifolds. arXiv:2203.15313v1 (2022)
Gallot, S., Meyer, D.: Opérateur de courbure et laplacien des formes différentielles d’une variété riemannienne. J. Math. Pures Appl. (9) 54(3), 259–284 (1975)
Hamilton, R.S.: Three-manifolds with positive Ricci curvature. J. Differ. Geom. 17(2), 255–306 (1982)
Hamilton, R.S.: Four-manifolds with positive curvature operator. J. Differ. Geom. 24(2), 153–179 (1986)
Kashiwada, T.: On the curvature operator of the second kind. Nat. Sci. Rep. Ochanomizu Univ. 44(2), 69–73 (1993)
Koiso, N.: A decomposition of the space \({\cal{M} }\) of Riemannian metrics on a manifold. Osaka Math. J. 16(2), 423–429 (1979)
Koiso, N.: On the second derivative of the total scalar curvature. Osaka Math. J. 16(2), 413–421 (1979)
Li, X.: Manifolds with \(4\frac{1}{2}\)-positive curvature operator of the second kind. J. Geom. Anal. 32(11), 281 (2022)
Li, Xiaolong: Product manifolds and the curvature operator of the second kind. arXiv:2209.02119, (2022)
Li, X.: Kähler manifolds and the curvature operator of the second kind. Math. Z. 303(4), 101 (2023)
Li, X.: Kähler surfaces with six-positive curvature operator of the second kind. Proc. Am. Math. Soc. 151(11), 4909–4922 (2023)
Li, X.: Manifolds with nonnegative curvature operator of the second kind. Commun. Contemp. Math. 26(3), 2350003 (2024)
Liu, G.: 3-Manifolds with nonnegative Ricci curvature. Invent. Math. 193(2), 367–375 (2013)
Lott, J.: On 3-manifolds with pointwise pinched nonnegative Ricci curvature. Math. Ann. 388(3), 2787–2806 (2024)
Lee, M.-C., Topping, P.: Three-manifolds with non-negatively pinched Ricci curvature. arXiv:2204.00504v2 (2022)
Meyer, D.: Sur les variétés riemanniennes à opérateur de courbure positif. C. R. Acad. Sci. Paris Sér. A-B 272, A482–A485 (1971)
Micallef, M.J., Moore, J.D.: Minimal two-spheres and the topology of manifolds with positive curvature on totally isotropic two-planes. Ann. Math. (2) 127(1), 199–227 (1988)
Mikeš, J., Rovenski, V., Stepanov, S.E.: An example of Lichnerowicz-type Laplacian. Ann. Glob. Anal. Geom. 58(1), 19–34 (2020)
Ni, L.: Ricci flow and manifolds with positive curvature. In: Symmetry: Representation Rheory and Its Applications, Volume 257 of Progress in Mathematics, pp. 491–504. Birkhäuser, New York (2014)
Nishikawa, S.: On deformation of Riemannian metrics and manifolds with positive curvature operator. In: Curvature and Topology of Riemannian Manifolds (Katata, 1985), Volume 1201 of Lecture Notes in Mathematics, pp. 202–211. Springer, Berlin (1986)
Nienhaus, J., Petersen, P., Wink, M.: Betti numbers and the curvature operator of the second kind. J. Lond. Math. Soc. (2) 108(4), 1642–1668 (2023)
Nienhaus, J., Petersen, P., Wink, M., Wylie, W.: Holonomy restrictions from the curvature operator of the second kind. Differ. Geom. Appl. 88, 102010 (2023)
Ni, L., Baoqiang, W.: Complete manifolds with nonnegative curvature operator. Proc. Am. Math. Soc. 135(9), 3021–3028 (2007)
Ni, L., Wilking, B.: Manifolds with \(1/4\)-pinched flag curvature. Geom. Funct. Anal. 20(2), 571–591 (2010)
Ogiue, K., Tachibana, S.: Les variétés riemanniennes dont l’opérateur de courbure restreint est positif sont des sphères d’homologie réelle. C. R. Acad. Sci. Paris Sér. A-B 289(1):29–30 (1979)
Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159 (2002)
Perelman, G.: Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. arXiv:math/0307245 (2003)
Perelman, G.: Ricci flow with surgery on three manifolds. arXiv:math/0303109 (2003)
Petersen, P., Wink, M.: New curvature conditions for the Bochner Technique. Invent. Math. 224(1), 33–54 (2021)
Petersen, P., Wink, M.: Vanishing and estimation results for Hodge numbers. J. Reine Angew. Math. 780, 197–219 (2021)
Petersen, P., Wink, M.: Tachibana-type theorems and special holonomy. Ann. Glob. Anal. Geom. 61(4), 847–868 (2022)
Tachibana, S.: A theorem of Riemannian manifolds of positive curvature operator. Proc. Jpn. Acad. 50, 301–302 (1974)
Wilking, B.: Nonnegatively and positively curved manifolds. In: Surveys in Differential Geometry. Vol. XI, Volume 11 of Survey of Differential Geometry, pp. 25–62. International Press, Somerville (2007)
Zhao, Z., Zhu, X.: Rigidity of the Bryant Ricci soliton. arXiv:2212.02889v2 (2022)
Acknowledgements
The authors would like to thank Professor Xiaodong Cao for many helpful discussions. We also appreciate the anonymous referee for numerous comments and suggestions which improved the paper’s exposition.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The Xiaolong Li research is partially supported by NSF LEAPS-MPS #2316659, Simons Collaboration Grant #962228, and a start-up grant at Wichita State University.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fluck, H., Li, X. The Curvature Operator of the Second Kind in Dimension Three. J Geom Anal 34, 187 (2024). https://doi.org/10.1007/s12220-024-01639-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01639-0