Abstract
Consider a compact manifold N (with or without boundary) of dimension n. Positive m-intermediate curvature interpolates between positive Ricci curvature (\(m = 1\)) and positive scalar curvature (\(m = n-1\)), and it is obstructed on partial tori \(N^n = M^{n-m} \times \mathbb {T}^m\). Given Riemannian metrics \(g, {\bar{g}}\) on \((N, \partial N)\) with positive m-intermediate curvature and m-positive difference \(h_g - h_{{\bar{g}}}\) of second fundamental forms we show that there exists a smooth family of Riemannian metrics with positive m-intermediate curvature interpolating between g and \({\bar{g}}\). Moreover, we apply this result to prove a non-existence result for partial torical bands with positive m-intermediate curvature and strictly m-convex boundaries.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The existence of Riemannian metrics with positive curvature implies obstructions on the topology of closed manifolds: Manifolds with topology \(N^n = M^{n-1} \times \mathbb {S}^1\) do not admit metrics of positive Ricci curvature by the Theorem of Bonnet–Myers, while manifolds with topology \(N^n = \mathbb {T}^n\) do not admit metrics of positive scalar curvature by the resolution of the Geroch conjecture due to Schoen and Yau [1] (for \(3 \le n \le 7\) by using minimal hypersurfaces) and Gromov and Lawson [2] (by using spinors and the Atiyah–Singer index theorem).
The above results yield obstructions for positive curvature on the the partial tori \(N^n = M^{n-m} \times \mathbb {T}^m\) for the limit cases \(m = 1\) and \(m = n-1\). Recently, Brendle et al. introduced the notion of positive intermediate curvature (see Sect. 2 for a precise definition), which interpolates between positive Ricci curvature \((m=1)\) and positive scalar curvature \((m = n-1)\). They obtained the following obstruction result on partial tori:
Theorem 1.1
(Generalized Geroch conjecture, Theorem 1.5 in [3]) Assume \(n \le 7\) and \(1 \le m \le n-1\). Let \(N^n\) be a closed and orientable manifold of dimension n, and suppose that there exists a closed and orientable manifold \(M^{n-m}\) and a map \(F: N^n \rightarrow M^{n-m} \times \mathbb {T}^m\) with non-zero degree. Then the manifold N does not admit a metric with positive m-intermediate curvature.
The associated rigidity question was studied by Chu et al. [4] in ambient dimension at most five. Chen [5] extended the obstruction result to manifolds with arbitrary ends. Moreover, Xu [6] showed sharpness of the result in [3] by constructing counterexamples for dimensions \(n > 7\) and \(3 \le m \le n-3\). The above result was recently used by Labbi [7] to compute the Riemann invariant of products of spheres and tori.
In this work, we study the interaction of the internal geometry and the boundary geometry for metrics of positive intermediate curvature. The corresponding question for positive scalar curvature and mean curvature on the boundary dates back to work by Gromov and Lawson [8]. A similar interaction appears in the proof of the positive mass theorem by Schoen and Yau [9]—planes with positive mean curvature act as barriers for minimal hypersurfaces in the bulk region with positive scalar curvature. Related is work by Shi and Tam [10], where they proved an estimate for the integral of the mean curvature over the boundary in manifolds with non-negative scalar curvature. Miao [11] proved a positive mass theorem on manifolds with corners by performing a suitable intrinsic bending construction. A pertubation argument, which made the boundary totally geodesic while keeping the scalar curvature non-decreasing, allowed Brendle et al. [12] to construct counterexamples to the Min-Oo conjecture.
Recently, the first author proved a general result [13, Main Theorem 1] on the interaction of internal geometry and boundary geometry by suitably gluing Riemannian metrics. The result applies to a wide range of positive curvature conditions, for example to metrics with positive curvature operator, PIC 2, PIC 1 (with convex boundary), positive isotropic curvature (with two-convex boundary) and positive scalar curvature (with mean-convex boundary). For a different approach to the gluing problem, see also the thesis by Schlichting, [14].
The first result of our work extends the gluing result of the first author to m-intermediate curvature with the natural condition of m-convexity on the boundary:
Theorem 1.2
(Preserving positive m-intermediate curvature) Suppose that \(N^n\) is a compact smooth manifold with smooth boundary \(\partial N\) of dimension \(\dim N = n\). Let \(g, {\tilde{g}}\) be Riemannian metrics on N, such that \(g = {\tilde{g}}\) on the boundary \(\partial N\).
Then, there exists \(\lambda _0 > 0\), a family of smooth Riemannian metrics \(\{{\hat{g}}_{\lambda }\}_{\lambda > \lambda _0}\), and a neighborhood U of the boundary \(\partial N\), such that the metric \({\hat{g}}_{\lambda }\) agrees with the metric g outside of U, and the metric \({\hat{g}}_{\lambda }\) agrees with the metric \({\tilde{g}}\) in a neighbourhood of \(\partial N\). Additionally, we have \({\hat{g}}_{\lambda } \rightarrow g\) as \(\lambda \rightarrow \infty \) in \(C^{\alpha }\) for any \(\alpha \in (0,1)\).
Moreover, let \(1 \le m \le n-1\). If
-
(1)
The Riemannian manifolds (N, g) and \((N, {\tilde{g}})\) have positive m-intermediate curvature,
-
(2)
The difference \(h_g - h_{{\tilde{g}}}\) is strictly m-convex (i.e. strictly m-positive),
then the Riemannian manifold \((N, {\hat{g}}_{\lambda })\) has positive m-intermediate curvature for all \(\lambda > \lambda _0\).
The main ingredient in the proof is Proposition 3.1 relating the cone of positive m-intermediate curvature to the Kulkarni–Nomizu product of m-convex symmetric two-tensors.
In the second part of the paper we consider Riemannian manifolds with m-positive intermediate curvature and strictly m-convex boundary: Let us first recall the doubling lemma by Gromov and Lawson for manifolds with positive scalar curvature and strictly mean convex boundaries.
Lemma 1.3
(Doubling of positive scalar curvature metrics, Gromov and Lawson [8]) Suppose (N, g) is an orientable compact smooth Riemannian manifold with smooth boundary \(\partial N\). Assume the metric g has positive scalar curvature and is strictly mean convex (i.e. \(H_{\partial N} > 0\)) with respect to the outward unit normal. Then the double of N carries a metric of positive scalar curvature.
This lemma (in conjunction with the nonexistence of positive scalar curvature metrics on the torus) then implies the following obstruction to positive scalar curvature on torical bands:
Theorem 1.4
(Boundaries of a torical band, Gromov and Lawson, [8]) Consider the smooth manifold with boundary \(N = \mathbb {T}^{n-1}\times [-1, 1]\) and let g be a Riemannian metric on N with positive scalar curvature. Then the boundary \(\partial N\) cannot be strictly mean convex.
Räde extended the above result to a scalar curvature and mean curvature comparison result on more general bands [15].
We extend the above result on scalar curvature, mean curvature and torical bands to partially torical bands by proving a generalization of the doubling lemma of Gromov and Lawson.
Theorem 1.5
(Boundaries of a partially torical band) Let \(n \le 7\) and \(1 \le m \le n-1\). Suppose \(M^{n-m}\) is a closed orientable manifold. Consider the smooth manifold with boundary \(N = M^{n-m}\times \mathbb {T}^{m-1}\times [-1, 1]\) and a Riemannian metric g with positive m-intermediate curvature on N. Then, the boundary \(\partial N\) cannot be strictly m-convex.
The work is structured as follows: In Sect. 2 we introduce our notation and recall the definition of intermediate curvature. In Sect. 3 we prove an algebraic lemma connecting the cone of positive m-intermediate curvature and m-convexity. In Sects. 4 and 5 we prove the gluing result and in Sect. 6 we perform the doubling constructions.
2 Preliminaries
Let \((V, \langle \cdot , \cdot \rangle )\) be a n-dimensional real inner product space. The space of algebraic curvature tensors on V denoted by \(C_B(V)\) is given by multilinear maps \(R: V \times V \times V \times V \rightarrow \mathbb {R}\) with the symmetries of the curvature tensor, i.e.
for all \(v_1, v_2, v_3, v_4 \in V\), and satisfying the first Bianchi identity, i.e.
for all \(v_1, v_2, v_3, v_4 \in V\).
We denote the space of symmetric bilinear maps \(T: V \times V \rightarrow \mathbb {R}\) by \({{\,\textrm{Sym}\,}}^2 V\). The Kulkarni–Nomizu product is defined by
![](http://media.springernature.com/lw461/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ47_HTML.png)
for \(v_1, v_2, v_3, v_4 \in V\).
Following Definition 1.1 in work of the Brendle et al. [3] we define the cone \({\mathcal {C}}_m(V)\) of non-negative m-intermediate curvature in the space of algebraic curvature tensors by
For a Riemannian manifold \((N^n,g)\) with boundary \(\partial N\) we consider its Levi-Civita connection D and its Riemann curvature tensor \({{\,\textrm{Rm}\,}}_N\) given by the formula
for vector fields \(X,Y,Z,W \in \Gamma (TN)\).
The Riemannian manifold \((N^n,g)\) has positive m-intermediate curvature, if \({{\,\textrm{Rm}\,}}_N(p) \in {{\,\textrm{Int}\,}}({\mathcal {C}}_m)\) for all \(p \in N\) (compare with Definition 1.1 in [3]).
Let \(\nu \) be the inward pointing unit normal vector field on the boundary \(\partial N\). The scalar-valued second fundamental form \(h_g: T(\partial N) \otimes T(\partial N) \rightarrow C^{\infty }(\partial N)\) of the boundary \(\partial N\) with respect to the Riemannian metric g is defined by
for \(X,Y \in \Gamma (TN)\). With this convention the scalar-valued second fundamental form is positive on the standard sphere \(\mathbb {S}^n \subset \mathbb {R}^{n+1}\) with respect to the inward pointing unit normal vector \(\nu = -x\).
We say that the boundary \(\partial N\) is strictly m-convex (where \(1 \le m \le n-1\)), if the bilinear form \(h_g(p)\) is m-positive for all \(p \in \partial N\), i.e. if \(\lambda _1 \le \lambda _2 \le \dots \lambda _{n-1}\) denote the eigenvalues of \(h_g(p)\), then \(\lambda _1 + \dots + \lambda _m > 0\). For \(m = 1\) we recover the notion of strict convexity, and for \(m = n-1\) we recover the notion of strict mean convexity.
3 Connecting m-Convexity and m-Intermediate Curvature
In this section, we prove a lemma in linear algebra, which allows us to connect the cone of positive m-intermediate curvature and strict m-convexity.
Proposition 3.1
(m-intermediate curvature cone and m-convexity) Let \((V, \langle \cdot , \cdot \rangle )\) be a n-dimensional inner product space and \(S: V \times V \rightarrow \mathbb {R}\) be a symmetric bilinear form. Let \(W \subset V\) be a \((n-1)\)-dimensional subspace, and let \(\nu \in W^{\perp }\) be a unit vector. Let \(S|_W\) be the restriction of S on W. Fix \(1 \le m \le n -1\). Then the bilinear form \(S|_W\) is m-positive, if and only if
![](http://media.springernature.com/lw195/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ48_HTML.png)
Proof
Suppose that the bilinear form \(S|_W\) is m-positive. We extend the bilinear form \(S|_W\) to a bilinear T on V by setting
for \(v,w \in V\). Here \(v^{\parallel }\) denotes the orthogonal projection from V to W.
The assumption on the m-positivity of the bilinear form \(S|_W\) on W implies that the bilinear form T is \((m+1)\)-positive on V.
We first want to show that T being \((m+1)\)-positive implies .
Let \(\{e_1, \dots , e_n\}\) be an orthonormal basis of V with respect to the inner product \(\langle \cdot , \cdot \rangle \). We denote the components of the vector \(\nu \) with respect to this orthonormal basis by \(a_p\), i.e. \(a_p = \langle \nu , e_p \rangle \).
We have
![](http://media.springernature.com/lw551/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ49_HTML.png)
for \(1 \le p, q \le n\) by definition of the Kulkarni–Nomizu product. We observe the identity
![](http://media.springernature.com/lw444/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ50_HTML.png)
We evaluate the first term in the above sum:
![](http://media.springernature.com/lw374/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ51_HTML.png)
We evaluate the second term in the above sum:
![](http://media.springernature.com/lw452/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ52_HTML.png)
This implies
![](http://media.springernature.com/lw301/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ1_HTML.png)
If \(a_p = 0\) for all \(m+1 \le p \le n\), then we deduce the estimate
![](http://media.springernature.com/lw439/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ53_HTML.png)
since the bilinear form T is \((m+1)\)-positive by construction and hence n-positive. Hence we deduce in this case.
Now suppose that \(a_p \ne 0\) for some \(m + 1 \le p \le n\). We define the unit vector
With this definition we deduce from Eq. (1) the identity
![](http://media.springernature.com/lw403/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ54_HTML.png)
The first term involving the trace \({{\,\textrm{tr}\,}}_V(T)\) is positive as above. The term in the bracket is positive, since the bilinear form T is \((m+1)\)-positive, and \(w \perp {{\,\textrm{span}\,}}\{e_1, \dots , e_m\}\) by construction. Hence the sum is positive and we deduce .
On the other hand, by the construction of T, the restriction of \(S-T\) to the subspace W vanishes. Therefore, we may write
where \(\omega \) is a suitable 1-form. Note that
![](http://media.springernature.com/lw250/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ55_HTML.png)
by symmetry. Hence,
![](http://media.springernature.com/lw195/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ56_HTML.png)
The other implication in the equivalence follows by taking the orthonormal basis \(\{f_1, \dots , f_{n-1}, \nu \}\) of the vector space V, where \(\{f_1, \dots , f_{n-1}\}\) is an orthonormal basis of the subspace W. \(\square \)
4 Preserving Curvature Conditions
In this section, we assume that g and \({\tilde{g}}\) are Riemannian metrics on N such that \(g - {\tilde{g}} = 0\) along \(\partial N\). We describe our choice of perturbation as in work of Brendle et al. [12]. We fix a neighborhood U of the boundary \(\partial N\) and a smooth boundary defining function \(\rho : N\rightarrow [0,\infty )\) by taking it to be the distance function from the boundary \(\partial N\) with respect to the metric g. Then, we have \(|D\rho |_g =1\). Since \(g-{\tilde{g}}=0\) along the boundary \(\partial N\), we can find a symmetric (0, 2)-tensor S such that \({\tilde{g}}=g+\rho S\) in a neighborhood of \(\partial N\) and \(S=0\) outside U. The scalar-valued second fundamental forms and the boundary defining function satisfy
for all \(X,Y \in \Gamma (T (\partial N))\). This implies that the identity
holds on the boundary \(\partial N\) for all \(X,Y\in \Gamma (T(\partial N))\).
We choose a smooth cut-off function \(\chi :[0,\infty )\rightarrow [0,1]\) with the following properties (compare with [12, Lemma 17]):
-
\(\chi (s)=s-\frac{1}{2}s^2\) for \(s\in [0,\frac{1}{2}]\);
-
\(\chi (s)\) is constant for \(s\ge 1\);
-
\(\chi ''(s)<0\) for \(s\in [0,1)\).
Moreover, we choose a smooth cut-off function \(\beta :(-\infty ,0]\rightarrow [0,1]\) such that
-
\(\beta (s)=\frac{1}{2}\) for \(s\in [-1,0]\);
-
\(\beta (s)=0\) for \(s\in (-\infty ,-2]\).
For \(\lambda > 0\) sufficiently large we define a smooth metric \({\hat{g}}_{\lambda }\) on the manifold N by the formula
In the sequel, we will show that \({\hat{g}}_{\lambda }\) preserves positive m-intermediate curvature of g and \({\tilde{g}}\) for sufficiently large \(\lambda > 0\). Note that we have the identity \({\hat{g}}_{\lambda }={\tilde{g}}\) in the region \(\{\rho \le e^{-2\lambda ^2}\}\) and \({\hat{g}}_{\lambda }=g\) outside the neighbourhood U. Moreover, from the construction it follows that \({\hat{g}}_{\lambda } \rightarrow g\) as \(\lambda \rightarrow \infty \) in \(C^{\alpha }\) for any \(\alpha \in (0,1)\).
We first derive a lower bound for the m-intermediate curvature of the metric \({\hat{g}}_{\lambda }\). We first consider the region \(\{\rho \ge e^{-\lambda ^2}\}\).
Proposition 4.1
(Curvature estimates in inner gluing region) Suppose that \(h_g - h_{{\tilde{g}}}\) is m-positive on the boundary \(\partial N\). Let \(\epsilon > 0\) be given. If \(\lambda =\lambda (\epsilon , \chi )>0\) is sufficiently large, then
for any \({\hat{g}}_{\lambda }\)-orthonormal frame \(\{e_1, \dots , e_n\}\) and any \(x \in N\) in the region \(\{\rho (x)\ge e^{-\lambda ^2}\}\).
Proof
We fix a point \(x \in N\) such that \(\rho (x)\ge e^{-\lambda ^2}\). Let \(\{e_1, \dots , e_n\}\) be a geodesic normal frame around the point x with respect to the metric \({\hat{g}}_{\lambda }\). Let \(\varphi \) be a two-form. We write \(\varphi =\sum _{i,j}\varphi ^{ij}e_i\wedge e_j\) for coefficients \(\varphi ^{ij}\), which are anti-symmetric in i and j. In the following the Einstein summation convention will be adopted freely. Since \(\varphi \) is in particular a (2, 0)-tensor, \(\varphi \) induces by the fundamental principle of tensor calculus a linear map \([\varphi ]: (T_x N)^*\rightarrow T_x N\) via the action \([\varphi ]w:= \varphi ^{ij}w(e_i)e_j\). Equation (5) in work of the first author [13] yields the estimate
where \(C>0\) is a positive constant independent of \(\lambda \).
To pick up the sectional curvatures, we choose for \(1 \le p,q \le n\) the two-form \(\varphi _{pq}\) by specifying the components \((\varphi _{pq})^{ij} = \delta _p^i\delta _q^j - \delta _p^j\delta _q^i\). This implies the identities
Recall that S is supported in U, so \(D\rho \) and \(D^2\rho \) are uniformly bounded with respect to the metric \({\hat{g}}_{\lambda }\). Thus, the above estimate implies after summation the inequality
in the region \(\{\rho \ge e^{-\lambda ^2}\}\). Here the constant C is independent of \(\lambda \), but it does depend on \(S, g, \rho , N\).
By our assumption on the scalar-valued second fundamental forms and Proposition 3.1 we deduce
![](http://media.springernature.com/lw176/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ57_HTML.png)
(with respect to the metric g) at each point on \(\partial N\). This allows us to fix a small number \(a>0\) such that
![](http://media.springernature.com/lw264/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ58_HTML.png)
(with respect to the metric g) in a small neighborhood of \(\partial N\) where \(\rho \ge e^{-\lambda ^2}\). From the construction of the metric \({\hat{g}}_{\lambda }\) we deduce
![](http://media.springernature.com/lw264/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ59_HTML.png)
(with respect to the metric \({\hat{g}}_{\lambda }\)) in a small neighborhood of \(\partial N\) where \(\rho \ge e^{-\lambda ^2}\). Moreover, we observe that
![](http://media.springernature.com/lw511/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ60_HTML.png)
For a positive constant we observe the estimate
![](http://media.springernature.com/lw351/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ5_HTML.png)
in a small neighborhood of the boundary \(\partial N\) where \(\rho \ge e^{-\lambda ^2}\). Combining the estimate Eq. (4) and the estimate Eq. (5) we obtain the estimate
in the region \(\{\rho \ge e^{-\lambda ^2}\}\).
We split the region into two sub-regions as follows. Let us fix a real number \(s_0\in [0,1)\) such that \(C\chi '(s_0) < \frac{\epsilon }{2}\). By the construction of the cut-off function \(\chi \), we have \(\inf _{0\le s\le s_0} (-\chi ''(s)) > 0\). This implies in the region \(\{e^{-\lambda ^2}\le \rho < s_0\lambda ^{-1}\}\) the estimate
Thus, we obtain
as \(\lambda \rightarrow \infty \). Moreover, in the region \(\{ \rho \ge s_0\lambda ^{-1}\}\) we have
Since \(C\chi '(s_0) < \frac{\epsilon }{2}\), it follows that
if \(\lambda > 0\) is sufficiently large. Putting the above together, we conclude that
if \(\lambda > 0\) is sufficiently large. This completes the proof of Proposition 4.1. \(\square \)
We next consider the region \(\{\rho <e^{-\lambda ^2}\}\):
Proposition 4.2
(Curvature estimates in outer gluing region) Suppose that \(h_g - h_{{\tilde{g}}}\) is m-positive on the boundary \(\partial N\). Let \(\epsilon > 0\) be an arbitrary positive real number. If \(\lambda = \lambda (\epsilon , \beta ) >0\) is sufficiently large, then
for any \({\hat{g}}_{\lambda }\)-orthonormal frame \(\{e_1, \dots , e_n\}\) and any \(x\in N\) in the region \(\{\rho (x)< e^{-\lambda ^2}\}\).
Proof
In the region \(\{\rho <e^{-\lambda ^2}\}\), we have \({\hat{g}}_{\lambda }={\tilde{g}}+{\tilde{h}}_{\lambda }\), where \({\tilde{h}}_{\lambda }\) is defined by
Let \(\{e_1, \dots , e_n\}\) be a geodesic normal frame around x with respect to the metric \({\hat{g}}_{\lambda }\). Equation (12) in work of the first author [13] implies
for any two-form \(\varphi = \varphi ^{ij}e_i\wedge e_j\) and a positive constant \(L > 0\) independent of \(\lambda \). Choosing for \(1 \le p,q \le n\) the two-form \(\varphi _{pq}\) by \((\varphi _{pq})^{ij} = \delta _p^i\delta _q^j - \delta _p^j\delta _q^i\) in Eq. (7) and summing over p, q, we obtain
Proceeding similarly as in the proof of Proposition 4.1, we have
(with respect to the metric \({\hat{g}}_{\lambda }\)) in a neighborhood of \(\partial N\) where \(\rho < e^{-\lambda ^2}\). This implies
in the region \(\{\rho <e^{-\lambda ^2}\}\). Hence, if \(\lambda >0\) is sufficiently large, then we have
From this, the assertion follows. \(\square \)
Combining Propositions 4.1 and 4.2, we can summarize the results in this section:
Corollary 4.3
Suppose that \(h_g - h_{{\tilde{g}}}\) is m-positive on the boundary \(\partial N\). Let \(\epsilon >0\) be an arbitrary positive real number. If \(\lambda = \lambda (\epsilon , \chi , \beta ) >0\) is sufficiently large, then we have the pointwise inequality
for any \({\hat{g}}_{\lambda }\)-orthonormal frame \(\{e_1, \dots , e_n\}\) and any \(x\in N\).
5 Proof of Theorem 1.2 on Preserving Positive Intermediate Curvature
Suppose that \(h_g - h_{{\tilde{g}}}\) is m-positive on the boundary \(\partial N\). Suppose also that (N, g) and \((N, {\tilde{g}})\) have positive m-intermediate curvature.
Fix a point \(x \in N\) and let \(\{E_1, \dots , E_N\}\) be an orthonormal basis of the tangent space \(T_x N\) with respect to the Riemannian metric \({\hat{g}}_{\lambda }\). We want to show that
We divide the proof into two cases: In the first case \(x \in N\) is in the inner gluing region \(\{\rho \ge e^{-\lambda ^2}\}\); and in the second case \(x \in N\) is in the outer gluing region \(\{\rho < e^{-\lambda ^2}\}\).
For the first case, we have \(g = {\hat{g}}_{\lambda } - h_{\lambda }\) where \(h_{\lambda }(x)=\lambda ^{-1}\chi (\lambda \rho )S(x)\). Fix a point \(x\in N\). We evolve the orthonormal basis \(\{E_1, \dots , E_n\}\) in the tangent space \(T_x N\) by the linear ordinary differential equation
Then we see that the basis \(\{E_i(s)\}\) remains orthonormal with respect to the metric \(g_s= {\hat{g}}_{\lambda }-sh_{\lambda }\). We define \(e_i:= E_i(1)\). Then the basis \(\{e_1, \dots , e_n\}\) is orthonormal with respect to the metric \(g = {\hat{g}}_{\lambda } - h_{\lambda }\). It follows that
In view of Corollary 4.3, it suffices to show that
By writing \(E_i(s)=A_i^k(s)E_k\), we observe that
for any \(s\in [0,1]\). This implies the estimate
where C is a positive constant depending only on \(N,g,{\tilde{g}}\) and \(\chi \). This implies that
Hence we have
if \(\lambda >0\) is sufficiently large.
For the second case, we have \({\tilde{g}} = {\hat{g}}_{\lambda } + \lambda \rho ^2\beta (\lambda ^{-2}\log \rho )S\). Thus \(h_{\lambda } = \lambda \rho ^2\beta (\lambda ^{-2}\log \rho )S\). Following the same argument as in the first case and using the fact that
in the region \(\{\rho <e^{-\lambda ^2}\}\) for sufficiently large \(\lambda >0\), we also deduce
for sufficiently large \(\lambda > 0\).
Combining the two cases together, Corollary 4.3 implies that
for sufficiently large \(\lambda >0\). Since the point \(x\in N\) and the orthonormal basis \(\{E_1,...,E_n\}\subset T_x N\) are arbitrary, we conclude that
on N for sufficiently large \(\lambda > 0\). This finishes the proof of the theorem.
6 Proof of Theorem 1.5 on Boundaries of Partially Torical Bands
In this section, we prove Theorem 1.5 by using the strategy outlined by Gromov and Lawson. We prove a generalization of their doubling lemma (as stated in Lemma 1.3).
Once we have established the doubling lemma Theorem 1.5 follows directly by the generalization of the Geroch conjecture, Theorem 1.1.
Lemma 6.1
(Doubling for positive \(m-\)intermediate curvature) Suppose \((N^n,g)\) is an orientable compact smooth Riemannian manifold with smooth boundary \(\partial N\), such that the metric g has positive m-intermediate curvature, and the boundary \(\partial N\) is strictly m-convex (possibly finitely many connected components). Then, the double of N carries a metric of positive m-intermediate curvature.
We mimic the doubling process by Gromov and Lawson, see Theorem 5.7 in [8]. We will closely follow their notations and constructions. For completeness we describe their construction in detail.
We first shrink the manifold N a little bit while preserving its boundary condition as follow: let \(N_1=N\backslash C\) where C is a thin collar of the boundary \(\partial N\) and \(N_1\) is chosen so that \(\partial N_1\) is still strictly m-mean convex. We then consider the Riemannian product \(N\times I\) with Riemannian metric \(g_N+dt\otimes dt\) and define \(D(N) = \{p \in N\times I \mid \text {dist}(p, N_1) = \epsilon \}\), where \(0 <\epsilon \ll 1\). Note that D(N) is homeomorphic to the double of N.
Now, we fix a point \(x\in \partial N_1\), and let \(\sigma \) be the geodesic segment in \(N_1\) emanating orthogonally from \(\partial N_1\) at x. Then the product \(\sigma \times I\) will be totally geodesic in the product \(N\times I\).
Let \(\mu _1,...\mu _{n-1}\) be the principal curvatures of \(\partial N_1\) at x. By the construction of M. Gromov and H.-B. Lawson the principle curvatures of D(N) will be of the following form for a point \(x_{\theta }\) corresponding to an angle \(\theta \) (see Fig. 8 in [8]):
As in the Fig. 8 in [8], we have a natural polar coordinates describing these \(x_\theta \), let us denote \(pr_N(x_\theta )\) the projection of \(x_\theta \) to the corresponding point on \(\partial N_1\). Since the bilinear forms \(h_{\partial N_1}\) at \(pr_N(x_\theta )\) and \(h_{D(N)}\) at \(x_{\theta }\) are diagonalized simultaneously in this construction, we have the following relation:
We apply the Gauss equation to D(N) as a submanifold of \(N\times I\) at the point \(x_\theta \): We have for any orthonormal basis \(\{e_i\}_{i=1}^n\) at the point \(x_\theta \) the relation
We note that the second fundamental form terms of D(N) are related to the second fundamental form terms of the boundary \(\partial N_1\). This implies
![](http://media.springernature.com/lw473/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ61_HTML.png)
where the terms of order \(O(\frac{1}{\epsilon ^2})\) cancelled.
Summation of Eq. (11) yields the following identity for the m-intermediate curvature:
![](http://media.springernature.com/lw621/springer-static/image/art%3A10.1007%2Fs12220-023-01419-2/MediaObjects/12220_2023_1419_Equ62_HTML.png)
The result then follows from Proposition 3.1 by choosing \(\epsilon >0\) sufficient small.
References
Schoen, R., Yau, S.-T.: On the structure of manifolds with positive scalar curvature. Manuscr. Math. 28, 159–183 (1979)
Gromov, M., Lawson, H.-B.: Positive scalar curvature and the Dirac operator on complete Riemannian manifolds. Inst. Hautes Etudes Sci. Publ. Math. 58(1984), 84–196 (1983)
Brendle, S., Hirsch, S., Johne, F.: A generalization of Geroch’s conjecture, to appear in Communications on Pure and Applied Mathematics. Preprint at arXiv:2207.08617 (2022)
Chu, J., Kwong, K.-K., Lee, M.-C.: Rigidity on non-negative intermediate curvature. Preprint at arXiv:2008.12240 (2022)
Chen, S.: A generalization of the Geroch conjecture with arbitrary ends. Mathematische Annalen (2023)
Xu, K.: Dimension constraints in some problems involving intermediate curvature. Preprint at arXiv:2301.02730 (2023)
Labbi, M. L.: On a pre-ordering of compact PSC manifolds and PSC Riemannian metrics. Preprint at arXiv:2301.05270 (2023)
Gromov, M., Lawson, H.-B.: Spin and scalar curvature in the presence of a fundamental group. Ann. Math. 1980, 209–230 (1980)
Schoen, R., Yau, S.-T.: On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys. 65, 45–76 (1979)
Shi, Y., Tam, L.-F.: Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature. J. Differential. Geom. 62, 79–125 (2002)
Miao, P.: Positive mass theorem on manifolds admitting corners along a hypersurface. Adv. Theor. Math. Phys. 6, 1163–1182 (2002)
Brendle, S., Marques, F.C., Neves, A.: Deformations of the hemisphere that increase scalar curvature. Invent. Math. 185, 175–197 (2011)
Chow, T.-K.A.: Positivity of curvature on manifolds with boundary. Int. Math. Res. Not. 15, 11401–11426 (2022)
Schlichting, A.: Smoothing Singularities of Riemannian Metrics While Preserving Lower Curvature Bounds. Ph.D. thesis, Otto von Guericke University Magdeburg (2014)
Räde, D.: Scalar and mean curvature comparison via \(\mu \)-bubbles. Preprint at arXiv:2104.10120 (2021)
Acknowledgements
The authors would like to thank Simon Brendle for discussions and encouragement, and the anonymous referee for careful reading of the article.
Funding
Open Access funding provided by the MIT Libraries.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Chow, TK.A., Johne, F. & Wan, J. Preserving Positive Intermediate Curvature. J Geom Anal 33, 366 (2023). https://doi.org/10.1007/s12220-023-01419-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01419-2