Abstract
We prove some differentiable sphere theorems and topological sphere theorems for Lagrangian submanifolds in Kähler manifold and Legendrian submanifolds in Sasaki space form.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of Lagrangian submanifolds in a Kähler manifold, especially in a Calabi-Yau manifold, has attracted much attention in the past few decades [15], partially because of its importance in classical mechanics and mathematical physics. For instance, Strominger, Yau and Zaslow [23] found that mirror symmetry is related closely to special Lagrangian submanifolds in Calabi-Yau manifold.
Let \((N^{2n},{{\bar{g}}},{\bar{\omega }},J)\) be a Kähler manifold. A submanifold \(M^n\) in \(N^{2n}\) is called a Lagrangian submanifold, if the restriction of the Kähler form \({\bar{\omega }}\) to M vanishes. Or equivalently, for any \(x\in M\), J maps \(T_xM\) onto \(N_xM\), where J is the complex structure on N, and \(T_xM\) and \(N_xM\) are the tangent space and normal space of M at x in N, respectively.
Since the tangent bundle and the normal bundle of a Lagrangian submanifold are isomorphic via the complex structure J of the ambient manifold, Lagrangian submanifold has its own special properties in topology and geometry, particularly in its second fundamental form. A result of Gromov [12] implies that every compact embedded Lagrangian submanifold of \({{\mathbb {C}}}^n\) is not simply-connected. Of course, there exist immersed compact Lagrangian submanifolds in \({{\mathbb {C}}}^n\). One standard example is the well-known Whitney sphere, which is given by
Gromov [11] also showed that a compact n-manifold M admits a Lagrangian immersion into \({{\mathbb {C}}}^n\) if and only if the complexification of the tangent bundle, \(TM\otimes {{\mathbb {C}}}\), is trivial. This can be viewed as a topological obstruction for Lagrangian submanifolds.
On the other hand, some Riemannian obstructions are also found. For example, Chen [9] introduced a Riemannian invariant \(\delta \) in terms of the scalar curvature of M, and provided a sharp estimate on the invariant. A consequence of his result is that the Ricci curvature of every compact Lagrangian submanifold M in \({{\mathbb {C}}}^n\) must satisfy \(Ric_{\min }^M\le 0\). Therefore, every compact irreducible symmetric space cannot be isometrically immersed in a complex Euclidean space as a Lagrangian submanifold. Furthermore, Chen showed the following sharp estimate for Lagrangian submanifolds in complex space form:
Theorem 1.1
[8] The scalar curvature \(R_M\) and the mean curvature vector \(\mathbf{H}\) of a Lagrangian submanifold in complex space form \(N^{2n}\) with holomorphic sectional curvature c satisfy the following sharp inequality:
or equivalently,
where \(\mathbf{B}\) is the second fundamental form of M in N.
As we have seen, any closed Lagrangian submanifold in a complex Euclidean space cannot be isometric to a round sphere \({{\mathbb {S}}}^n\). One natural question is: when is a Lagrangian submanifold diffeomorphic, or homeomorphic to the round sphere? This involves another important topic of differential geometry: the sphere theorem. There are many interesting results on such topic [1, 3, 4, 6, 7, 10, 13, 17, 21, 25, 26]. We refer the reader to a good survey book of Brendle [5] for more sphere theorems under curvature pinching conditions. In a recent paper, we also considered sphere theorems for submanifolds in Kähler manifold [24].
Based on the extra symmetries of the second fundamental form, Li-Wang [18] proved the following differentiable sphere theorem for Lagrangian submanifolds:
Theorem 1.2
[18] Let \(M^n\) be an \(n(\ge 3)\)-dimensional compact Lagrangian submanifold in a complex space form \(N^{2n}\) with holomorphic sectional curvature \(c\ge 0\). Assume that
or equivalently,
Then M is diffeomorphic to a spherical space form. In particular, if M is simply connected, then M is diffeomorphic to \({{\mathbb {S}}}^n\).
In this paper, we wish to investigate differentiable and topological sphere theorems for Lagrangian submanifolds in Kähler manifold and Legendrian submanifolds in Sasaki space form under various curvature conditions.
Let M be a smooth n-dimensional submanifold of a Kähler manifold \(N^{2n}\). We will denote the curvature tensors on M and N by R and K, respectively. Introduce
When X and Y are orthonormal two-frames, K(X, Y) is exactly the sectional curvature of the 2-plane spanned by X and Y. K(X) is the holomorphic sectional if X is a unit tangent vector.
Denote the minimal and maximal holomorphic sectional curvatures by
Our first theorem is about differentiable sphere theorems under Ricci curvature condition:
Theorem A
Let M be a smooth \(n(\ge 4)\)-dimensional closed simply connected Lagrangian submanifold of a Kähler manifold \(N^{2n}\). If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), then M is diffeomorphic to \({{\mathbb {S}}}^n\).
Here, \(Ric^{[2]}\) is the 2nd weak Ricci curvature on M, which is a weaker assumption than the Ricci cuvature. We refer Sect. 2 for the definition of weak Ricci curvature.
By taking \({\tilde{K}}_{\max }={\tilde{K}}_{\min }=c\), we get:
Corollary 1.3
Let M be a smooth \(n(\ge 4)\)-dimensional closed simply connected Lagrangian submanifold of complex space form \(N^{2n}\) with holomorphic sectional curvature c. If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), then M is diffeomorphic to \({{\mathbb {S}}}^n\).
For topological sphere theorems for Lagrangian submanifolds in Kähler manifold, we have
Theorem B
Let M be a smooth \(n(\ge 4)\)-dimensional simply connected compact Lagrangian submanifold of a Kähler manifold \(N^{2n}\). If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), where \(\eta (n)\) is given by
then M is homeomorphic to \({{\mathbb {S}}}^n\).
By taking \({\tilde{K}}_{\max }={\tilde{K}}_{\min }=c\), we obtain (comparing with Theorem 1.2):
Corollary 1.4
Let M be a smooth \(n(\ge 4)\)-dimensional simply connected compact Lagrangian submanifold of complex space form \(N^{2n}\) with holomorphic sectional curvature c. If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), where \(\eta (n)\) is given by (1.5), then M is homeomorphic to \({{\mathbb {S}}}^n\).
Remark 1.5
Recall that Hamilton [14] proved that a closed simply connected four-manifold with positive isotropic curvature is diffeomorphic to \({{\mathbb {S}}}^4\). On the other hand, it is well-known that the differentiable structure on \({{\mathbb {S}}}^n\) is unique for \(n=5,6\). Therefore, from the proof we see that M is diffeomorphic to \({{\mathbb {S}}}^n\) for \(n=4,5,6\) under the assumption of Corollary 1.4, which improves Theorem 1.2 for these dimensions.
We also have topological sphere theorem under Ricci curvature conditions:
Theorem C
Let M be a smooth \(n(\ge 4)\)-dimensional simply connected compact Lagrangian submanifold of a Kähler manifold \(N^{2n}\). If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), then M is homeomorphic to \({{\mathbb {S}}}^n\).
Corollary 1.6
Let M be a smooth \(n(\ge 4)\)-dimensional simply connected compact Lagrangian submanifold of complex space form \(N^{2n}\) with holomorphic sectional curvature c. If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), then M is homeomorphic to \({{\mathbb {S}}}^n\).
Remark 1.7
Assume for all orthonormal four-frames \(\{e_1,e_2,e_3,e_4\}\),
Then Theorems A, B and C are also hold if one replaces \({{\tilde{K}}}_{\max }\) and \({{\tilde{K}}}_{\min }\) by \({\hat{K}}_{\max }\) and \({\hat{K}}_{\min }\) respectively.
The main ingredient in the proof of the above theorems relies on the application of Brendle-Schoen’s result on classification of closed manifold M with \(M\times {{\mathbb {R}}}^2\) having nonnegative isotropic curvature [6]. In order to apply their theorem, we need to provide accurate estimates on the curvatures of the submanifolds and the ambient manifold. Similar arguments also provide sphere theorems for Legendrian submanifolds in Sasaki space forms (see Sect. 5).
The subsequent sections are organized as follows: in Sect. 2, we review some basic materials on Kähler geometry and Sasaki geometry; in Sect. 3, we provide the key algebraic estimates; in Sect. 4, we prove the sphere theorems for Lagrangian submanifolds in Kähler manifold; in the last section, we obtain the sphere theorems for Legendrian submanifolds in Sasaki space form.
2 Preliminaries
In this section, we will provide some basic materials about Kähler manifold and Sasaki manifold as well as some key lemmas that will be used in the proof of the main theorems. First recall the following expression of the sectional curvature and curvature tensor in terms of holomorphic sectional curvature:
Lemma 2.1
(cf. [16]) Let N be a Riemannian manifold and X, Y, Z, W be vector fields on N. Then we have
Lemma 2.2
(cf. [27]) Let N be a Kähler manifold and X, Y be vector fields on N. Then we have
Putting (2.2) into (2.1), we get that
Corollary 2.3
Let N be a Kähler manifold and X, Y, Z, W be vector fields on N. Then we have
Now we assume that \(M^n\) is a Lagrangian submanifold in a Kähler manifold \(N^{2n}\). We can choose a local orthonormal frame field of \(N^{2n}\):
where \(e_1,\cdots ,e_n\) are tangent to M, \(e_{1*},\cdots ,e_{n*}\) are normal to M, and
Such a frame field is called an adapted frame field. We denote
and
where \(1\le i,j,k\le n\), and \(\mathbf{B}\) is the second fundamental form of M in N. Since M is Lagrangian, we see that for any \(X,Y,Z\in TM\)
Since \(\mathbf{B}(X,Y)\) is symmetric in X and Y, we see that
In local frame, we have
Next we turn to Legendrian submanifolds in Sasaki space form. Let \((N^{2m+1},\phi ,\xi ,\eta ,{{\bar{g}}})\) be a compact Sasaki manifold with smooth (1, 1)-tensor \(\phi \), Reeb vector field \(\xi \), contact form \(\eta \) and associated Riemannian metric \({{\bar{g}}}\). For any unit vector field X in \(T_xN\) orthogonal to \(\xi \), the \(\phi \)-sectional curvature is defined by
A Sasaki manifold N is called a Sasaki space form if N has constant \(\phi \)-sectional curvature c, and will be denoted by N(c). The following facts on Sasaki manifold will be used later. For more details, we refer the reader to the book written by Yano-Kon [27].
Proposition 2.4
For a Sasaki manifold \((N^{2m+1},\phi ,\xi ,\eta ,{{\bar{g}}})\) and vector fields X, Y on N, we have
Proposition 2.5
If the Sasaki manifold \((N^{2m+1},\phi ,\xi ,\eta ,{{\bar{g}}})\) has constant \(\phi \)-sectional curvature c, then for any vector fields X, Y, Z on N, we have
Recall that a submanifold \(M^n\) in a Sasaki manifold \((N^{2n+1},\phi ,\xi ,\eta ,{{\bar{g}}})\) is called a Legendrian submanifold, if M is normal to the Reeb vector field \(\xi \). In particular, for any \(x\in M\), \(\phi \) maps \(T_xM\) onto \(N_xM\). For Legendrian submanifold, we have the inequality similar to (1.1) which involves the second fundamental form and mean curvature vector.
Proposition 2.6
For an n-dimensional Legendrian submanifold of a \((2n+1)\)-dimensional Sasaki manifold \((N^{2n+1}, \phi , \xi , \eta )\), we have
Proof
Since \(M^n\) is a Lengendrian submanifold in \(N^{2n+1}\), we can choose an orthonormal frame field of \(N^{2n+1}\):
where \(e_1,\cdots ,e_n\) are tangent to M, \(e_{1*},\cdots ,e_{n*},e_{2n+1}\) are normal to M, and
Such a frame field is called an adapted frame field. We denote
and
Since M is a Legendrian submanifold, by (2.5), we have for any \(X,Y\in TM\) that
Hence,
Similar to the Lagrangian case, set
where \(1\le i,j,k\le n\). Then (2.7) implies that
Since \(\eta |_M=0\), we also have, by (2.6) and (2.4), that for any \(X,Y,Z\in TM\)
Since \(\mathbf{B}(X,Y)\) is symmetric in X and Y, we see that
In local frame, we have
If we consider the decomposition:
where \(\mu _k=\frac{1}{n+2}H_k\), then it is easy to check that
Moreover, (2.8) implies that
where
This proves the proposition. \(\square \)
From the above argument, we see that in both the Lagrangian and the Legendrian cases, the Gauss equation can be written as
In particular, the Ricci curvature and the scalar curvature satisfies
Fix \(p\in M\), \(X,Y\in T_pM\) and an orthonormal basis \(\{e_1,\cdots ,e_n\}\) of \(T_pM\), the following notations will be used in this paper:
where \(Ric^{[k]}[e_{i_1},\cdots ,e_{i_k}]\) is called the k-th weak Ricci curvature of \([e_{i_1},\cdots ,e_{i_k}]\), which was first introduced by Gu-Xu in [13].
At the end of this section, we will state some lemmas which will be crucial in the proof of our main theorems. The first result is due to Aubin:
Lemma 2.7
[2] Let M be a compact n-dimensional Riemannian manifold. If M has nonnegative Ricci curvature everywhere and has positive Ricci curvature at some point, then M admits a metric with positive Ricci curvature everywhere.
A Riemannian manifold M is said to have nonnegative (positive, respectively) isotropic curvature, if
for all orthonormal four-frames \(\{e_1,e_2,e_3,e_4\}\). This conception was introduced by Micallef-Moore and they proved that:
Lemma 2.8
[19] Let M be a compact simply connected \(n(\ge 4)\)-dimensional Riemannian manifold which has positive isotropic curvature. Then M is homeomorphic to a sphere.
In addition, Micallef-Wang proved the following topological result for manifold with positive isotropic curvature:
Lemma 2.9
[20] Let M be a closed even-dimensional Riemannian manifold which has positive isotropic curvature. Then \(b_2(M)=0\).
Furthermore, Seshadri proved the following result for manifold with nonnegative isotropic curvature:
Lemma 2.10
[22] Let M be a compact n-dimensional Riemannian manifold. If M has nonnegative isotropic curvature everywhere and has positive isotropic curvature at some point, then M admits a metric with positive isotropic curvature.
The classical 1/4-differentiable sphere theorem was finally proved by Brendle-Schoen [6, 7] using Ricci flow method. They proved that
Theorem 2.11
[6] Let \((M,g_0)\) be a compact, locally irreducible Riemannian manifold of dimension \(n(\ge 4)\) with curvature tensor R. Assume that \(M\times {{\mathbb {R}}}^2\) has nonnegative isotropic curvature, i.e.,
for all orthonormal four-frames \(\{e_1,e_2,e_3,e_4\}\) and all \(\lambda , \mu \in [0,1]\). Then one of the following statements holds:
-
(i)
M is diffeomorphic to a spherical space form;
-
(ii)
\(n=2m\) and the universal covering of M is a Kähler manifold biholomorphic to \(\mathbb {CP}^m\);
-
(iii)
The universal covering of M is isometric to a compact symmetric space.
3 Some algebraic estimates
In this section, we will prove some algebraic estimates that are crucial in the proof of the main theorems.
We say that R is an algebraic curvature tensor on \({\mathbb {R}}^n (n\ge 4)\) if R is a fourth-order tensor such that for every \(x,y,z,w\in {\mathbb {R}}^n\),
Example 3.1
If \(\sigma =(\sigma _{ijk}):{\mathbb {R}}^n\times {\mathbb {R}}^n\times {\mathbb {R}}^n\longrightarrow {\mathbb {R}}\) is a trilinear symmetric function, we obtain an algebraic curvature tensor \({{\tilde{R}}}\) defined by:
Lemma 3.2
Let R be an algebraic curvature tensor. Suppose there is a constant c such that for every four-orthonormal frame \(\{e_1,e_2,e_3,e_4\}\),
Then for every \(\lambda , \mu \in [-1,1]\) and every four-orthonormal frame \(\{e_1,e_2,e_3,e_4\}\)
Proof
A straightforward verification (we refer to [24] for a proof). \(\square \)
Lemma 3.3
Let \(\sigma =(\sigma _{ijk}):{\mathbb {R}}^n\times {\mathbb {R}}^n\times {\mathbb {R}}^n\longrightarrow {\mathbb {R}}\) be a trilinear symmetric function. Define \(H^{i^*}:=\sum _{j=1}^n\sigma _{jji}\) and
Then for all orthonormal frames \(\{e_1,e_2,e_3,e_4,\cdots , e_n\}\),
Proof
The proof can be found in Li-Wang’s paper [18]. For reader’s convenience, we provide a new but simpler proof.
Put
One can check that
A straightforward calculation yields
and
Therefore,
We obtain
We conclude that
\(\square \)
Lemma 3.4
Let \(\sigma \) and \({{\tilde{R}}}\) be as in Lemma 3.3. Then for all orthonormal frames \(\{e_1,e_2,e_3,e_4,\cdots , e_n\}\),
where
Proof
Using the same notations as in the proof of Lemma 3.3, a direct calculation yields
On one hand, notice that
But,
We obtain
On the other hand,
If \(n=4\), we have
Then we compute
If \(n\ge 5\), we compute
Finally, we obtain
This finishes the proof of the lemma. \(\square \)
Lemma 3.5
Let \(\sigma \) and \({{\tilde{R}}}\) be as in Lemma 3.3. Then for all orthonormal frames \(\{e_1,e_2,e_3,e_4,\cdots , e_n\}\),
where \({{\tilde{R}}}_{ii}:=\sum _{k=1}^n{{\tilde{R}}}_{ikik}\).
Proof
Using notations as in Lemma 3.3, we get
Thus,
Hence, we compute
This proves the lemma. \(\square \)
Lemma 3.6
Let \(\sigma \) and \({{\tilde{R}}}\) be as in Lemma 3.3. Then for all orthonormal frames \(\{e_1,e_2,e_3,e_4,\cdots , e_n\}\),
Proof
Using notations in Lemma 3.5, we get
By (3.1) and (3.2), we conclude that,
On the other hand,
If \(n=4\), we have
From (3.4), (3.5) and (3.6), we compute
If \(n\ge 5\), we have from (3.4), (3.5) and (3.6) that
Then from (3.8), we have
where we have used the fact that
for \(n\ge 5\).
From (3.7) and (3.9), we can easily see that we have the unified estimation (3.3). This finishes the proof of the lemma. \(\square \)
4 Sphere theorems for Lagrangian submanifolds in Kähler manifold
In this section, we will prove the sphere theorems for Lagrangian submanifolds in Kähler manifold. Let us first examine more about the curvature tensor on a Lagrangian submanifold.
Proposition 4.1
Let \(M^n\) be a Lagrangian submanifold of a Kähler manifold \(N^{2n}\). Then for any orthonormal unit vector fields X, Y, Z, W tangent to M, we have
and
Proof
By (1.2), we have for any vector field X on N that
By (2.2) and (4.3), we have for any orthonormal vector fields X, Y on N
Similarly we have
Therefore, we have
Since M is Lagrangian, (4.1) follows.
By (2.3) and (4.3), we have for any orthonormal vector fields X, Y, Z, W on N
Similarly, we have
Since M is Lagrangian, (4.2) follows. \(\square \)
Proof of Theorem A
We will show that under our assumption, \(M\times {{\mathbb {R}}}^2\) has nonnegative isotropic curvature, i.e., (2.11) holds for all orthonormal four-frames \(\{e_1,e_2,e_3,e_4\}\) and all \(\lambda , \mu \in [0,1]\). For that purpose, we first extend the four-frame \(\{e_1,e_2,e_3,e_4\}\) to be an adapted frame \(\{e_1,\cdots ,e_{2n}\}\) of N such that \(\{e_1,\cdots ,e_{n}\}\) are tangent to M and \(\{e_{n+1}=Je_1,\cdots ,e_{2n}=Je_n\}\) are normal to M. The Gauss equation (2.9) implies that
is an algebraic curvature.
First note that (cf. Lemma 3.1 of [10], with \(e_4\) replaced by \(-e_4\))
Introduce \(K_{ij}:=\sum _{k=1}^nK_{ikjk}\). By (4.1), we have for every \(0<\varepsilon \le 1\),
Here we used the estimate from (4.1) and (4.5) that
Now applying Lemma 3.5, we have
so that
By taking \(\varepsilon =\frac{2}{n-2}\), we conclude that
Thus
the strict inequality holding for some point \(x_0\in M\), where the last inequality follows from our assumption (1.3). Hence M is diffeomorphic to \({{\mathbb {S}}}^n\) by standard argument using Lemmas 2.7, 2.9, 2.10 and Theorem 2.11 (see, for example, [13, 24]). \(\square \)
Next, we turn to prove the topological sphere theorems for Lagrangian submanifolds.
Proof of Theorem B
Define the operator \({{\tilde{R}}}\) by (4.4), which is an algebraic curvature. Then we have from Lemma 3.4 that for all orthonormal frames \(\{e_1,e_2,e_3,e_4,\cdots , e_n\}\),
In other words, by using (2.10), we have
It suffices to estimate the terms involving the curvature tensor on N. We will follow the argument as in the proof of Theorem 3.2 in [10]. For that purpose, we have from (4.5)
On the other hand,
Hence, using (4.1), we estimate
Inserting (4.8) into (4.6), we have
the strict inequality holding for some point \(x_0\in M\), where the last inequality follows from our assumption (1.4). Here, \(\eta (n)\) is given by
By Lemma 2.10, M admits a metric with positive isotropic curvature. Since M is simply connected, M is homeomorphic to \({{\mathbb {S}}}^n\) by Lemma 2.8. \(\square \)
Proof of Theorem C
Using the same notations as in the proof of Theorem B, we have
By Lemma 3.6, we obtain for all orthonormal frames \(\{e_1,e_2,e_3,e_4,\cdots , e_n\}\),
In other words,
We need to estimate the terms involving the curvature tensor on N. As in the proof of Theorem B, by (4.7), we have
Use (4.1) to estimate
Inserting (4.10) into (4.9), we have
the strict inequality holding for some point \(x_0\in M\), where the last inequality follows from our assumption (1.6). The theorem then follows. \(\square \)
5 Sphere theorems for Legendrian submanifolds in Sasaki space form
In this section, we will prove the sphere theorems for Legendrian submanifolds in Sasaki space form. The following lemma is an easy consequence of Proposition 2.5 and the definition of Legendrian submanifold:
Proposition 5.1
Let \(M^n\) be a Legendrian submanifold of a Sasaki space form \(N^{2n+1}(c)\), then for any vector fields X, Y, Z, W tangent to M, we have
and
The following differentiable sphere theorem can be viewed as a Legendrian correspondence of Theorem 1.1’:
Theorem 5.2
Let M be a smooth \(n(\ge 4)\)-dimensional closed simply connected Legendrian submanifold of a Sasaki space form \(N^{2n+1}(c)\). If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), then M is diffeomorphic to \({{\mathbb {S}}}^n\).
Proof
For any orthonormal four-frame \(\{e_1,e_2,e_3,e_4\}\), we extend it to be an adapted orthonormal frame \(\{e_1,\cdots ,e_{2n+1}\}\) of N such that \(\{e_1,\cdots ,e_{n}\}\) are tangent to M and \(\{e_{n+1}=\phi e_1,\cdots ,e_{2n}=\phi e_n, e_{2n+1}=\xi \}\) are normal to M. The Gauss equation (2.9) implies that
is an algebraic curvature tensor. By Lemma 3.3, (2.8) and (2.10), we have
Lemma 3.2 implies that
i.e.,
By (5.1),
Therefore,
Inserting (5.4) into (5.3), we have
the strict inequality holding for some point \(x_0\in M\), where the last inequality follows from our assumption (5.2). Then the theorem follows. \(\square \)
Similar to proofs of Theorems A, B, C, with (4.1) and (4.2) replaced by (5.1), we can obtain the following sphere theorems for submanifolds in Sasaki space form under various curvature assumptions. Since the proofs are similar, we omit the details.
Theorem 5.3
Let M be a smooth \(n(\ge 4)\)-dimensional closed simply connected Legendrian submanifold of a Sasaki space form \(N^{2n+1}(c)\). If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), then M is diffeomorphic to \({{\mathbb {S}}}^n\).
Theorem 5.4
Let M be a smooth \(n(\ge 4)\)-dimensional closed simply connected Legendrian submanifold of a Sasaki space form \(N^{2n+1}(c)\). If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\) where \(\eta (n)\) is given by (1.5), then M is homeomorphic to \({{\mathbb {S}}}^n\).
Theorem 5.5
Let M be a smooth \(n(\ge 4)\)-dimensional closed simply connected Legendrian submanifold of a Sasaki space form \(N^{2n+1}(c)\). If M satisfies the following condition:
and the strict inequality holds for some point \(x_0\in M\), then M is homeomorphic to \({{\mathbb {S}}}^n\).
References
Andrews, B., Baker, C.: Mean curvature flow of pinched submanifolds to spheres. J. Differ. Geom. 85(3), 357–395 (2010). http://projecteuclid.org/euclid.jdg/1292940688
Aubin, T.: Métriques riemanniennes et courbure. J. Differ. Geom. 4, 383–424 (1970). http://projecteuclid.org/euclid.jdg/1214429638
Böhm, C., Wilking, B.: Manifolds with positive curvature operators are space forms. Ann. Math. 167(3), 1079–1097 (2008). https://doi.org/10.4007/annals.2008.167.1079
Brendle, S.: A general convergence result for the Ricci flow in higher dimensions. Duke Math. J. 145(3), 585–601 (2008). https://doi.org/10.1215/00127094-2008-059
Brendle, S.: Ricci flow and the sphere theorem. Vol. 111 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI. (2010) https://doi.org/10.1090/gsm/111
Brendle, S., Schoen, R.: Classification of manifolds with weakly \(1/4\)-pinched curvatures. Acta Math. 200(1), 1–13 (2008). https://doi.org/10.1007/s11511-008-0022-7
Brendle, S., Schoen, R.: Manifolds with \(1/4\)-pinched curvature are space forms. J. Amer. Math. Soc. 22(1), 287–307 (2009). https://doi.org/10.1090/S0894-0347-08-00613-9
Chen, B.: Jacobi’s elliptic functions and Lagrangian immersions. Proc. R. Soc. Edinburgh Sect. A 126(4), 687–704 (1996). https://doi.org/10.1017/S0308210500023003
Chen, B.: Some new obstructions to minimal and Lagrangian isometric immersions. Jpn. J. Math. 26(1), 105–127 (2000). https://doi.org/10.4099/math1924.26.105
Cui, Q., Sun, L.: Some differentiable sphere theorems. Calc. Var. Partial Differ. Equ. 58(2), 58:43 (2019). https://doi.org/10.1007/s00526-019-1487-2
Gromov, M.: A topological technique for the construction of solutions of differential equations and inequalities, 221–225 (1971)
Gromov, M.: Pseudo holomorphic curves in symplectic manifolds. Invent. Math. 82(2), 307–347 (1985). https://doi.org/10.1007/BF01388806
Gu, J., Xu, H.: The sphere theorems for manifolds with positive scalar curvature. J. Differ. Geom. 92(3), 507–545 (2012). http://projecteuclid.org/euclid.jdg/1354110198
Hamilton, R.: Three-manifolds with positive Ricci curvature. J. Differ. Geom. 17(2), 255–306 (1982). http://projecteuclid.org/euclid.jdg/1214436922
Harvey, R., Lawson, H.: Calibrated geometries. Acta Math. 148, 47–157 (1982). https://doi.org/10.1007/BF02392726
Karcher, H.: A short proof of Berger’s curvature tensor estimates. Proc. Amer. Math. Soc. 26, 642–644 (1970). https://doi.org/10.2307/2037127
Lawson, H., Simons, J.: On stable currents and their application to global problems in real and complex geometry. Ann. Math. 2(98), 427–450 (1973). https://doi.org/10.2307/1970913
Li, H., Wang, X.: A differentiable sphere theorem for compact Lagrangian submanifolds in complex Euclidean space and complex projective space. Commun. Anal. Geom. 22(2), 269–288 (2014). https://doi.org/10.4310/CAG.2014.v22.n2.a4
Micallef, M., Moore, J.: Minimal two-spheres and the topology of manifolds with positive curvature on totally isotropic two-planes. Ann. Math. 127(1), 199–227 (1988). https://doi.org/10.2307/1971420
Micallef, M., Wang, M.: Metrics with nonnegative isotropic curvature. Duke Math. J. 72(3), 649–672 (1993). https://doi.org/10.1215/S0012-7094-93-07224-9
Pipoli, G., Sinestrari, C.: Mean curvature flow of pinched submanifolds of \(\mathbb{CP}^n\). Commun. Anal. Geom. 25(4), 799–846 (2017). https://doi.org/10.4310/CAG.2017.v25.n4.a3
Seshadri, H.: Manifolds with nonnegative isotropic curvature. Commun. Anal. Geom. 17(4), 621–635 (2009). https://doi.org/10.4310/CAG.2009.v17.n4.a2
Strominger, A., Yau, S., Zaslow, E.: Mirror symmetry is \(T\)-duality. Nuclear Phys. B 479(1–2), 243–259 (1996). https://doi.org/10.1016/0550-3213(96)00434-8
Sun, J., Sun, L.: Sphere theorems for submanifolds in Kähler manifold. Accepted by Math. Res, Let (2019)
Xu, H., Gu, J.: An optimal differentiable sphere theorem for complete manifolds. Math. Res. Lett. 17(6), 1111–1124 (2010). https://doi.org/10.4310/MRL.2010.v17.n6.a10
Xu, H., Gu, J.: Geometric, topological and differentiable rigidity of submanifolds in space forms. Geom. Funct. Anal. 23(5), 1684–1703 (2013). https://doi.org/10.1007/s00039-013-0231-x
Yano, K., Kon, M.: Structures on manifolds. Vol. 3 of Series in Pure Mathematics. World Scientific Publishing Co., Singapore (1984)
Acknowledgements
The authors would like to thank the referee for his/her careful reading and useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Jost.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was supported by the National Natural Science Foundation of China (Grant No. 11401440). Part of the work was finished when the first author was a visiting scholar at MIT supported by China Scholarship Council (CSC) and the Youth Talent Training Program of Wuhan University. The author would like to express his gratitude to Professor Tobias Colding for his invitation and to MIT for their hospitality. The second author was supported by the National Natural Science Foundation of China (Grant Nos. 11801420, 11971358) and the Youth Talent Training Program of Wuhan University. The author thanks the Max Planck Institute for Mathematics in the Sciences for good working conditions when this work was carried out. They also thank Dr. Yong Luo for helpful discussions.