Topological obstructions to nonnegative scalar curvature and mean convex boundary
Abstract.
We study topological obstructions to the existence of a Riemannian metric on manifolds with boundary such that the scalar curvature is nonnegative and the boundary is mean convex. In particular, we construct many examples of compact manifolds with boundary which admit no Riemannian metric with nonnegative scalar curvature and mean convex boundary.
1. Introduction
A central problem in modern differential geometry concerns the connection between curvatures and topology of a manifold. Consider, firstly, the case of surfaces. Let be a compact twodimensional Riemannian manifold with nonempty boundary . The GaussBonnet theorem states that
where denotes the Gaussian curvature, is the geodesic curvature of the boundary, is the Euler characteristic, is the element of area and is the element of length. Note that the topological invariant gives a topological obstruction to the existence of a certain type of Riemannian metrics on the surface . For instance, a compact surface with negative (nonpositive) Euler characteristic does not admit a Riemannian metric with nonnegative (positive) Gaussian curvature and nonnegative geodesic curvature.
In higher dimensions, the relationship between curvatures and the topology of a manifold is much more complicated. The scalar curvature of the manifold and the mean curvature of its boundary are commonly studied. A classical theorem due to Gromov [Grom2], assuming no control on the boundary, states that every compact manifold with nonempty boundary admits a Riemannian metric of positive sectional curvature. However, there are topological obstructions if one further imposes convexity restrictions on the boundary. For instance, it is a result of Gromoll [Grom1] that a compact Riemannian manifold of positive sectional curvature with nonempty convex boundary is diffeomorphic to the standard disc. However, positive sectional curvature is more restrictive than the escalar curvature. In dimension 3, a 3dimensional manifold with positive Ricci curvature and convex boundary (positive definite second fundamental form) is diffeomorphic to a 3ball. For the scalar curvature and mean curvature of the boundary, its not clear which topological obstructions can appear. In particular, the existence of compact, orientable and essential surface properly embedded in which is not a disk or a cylinder is a topological obstruction for existence of a metric with nonnegative scalar curvature and mean convex boundary in . For instance, define , where is a compact, connected and orientable surface with boundary which is not a disk or a cylinder. Note that is essential in . Hence, there is no metric on with nonnegative scalar curvature and convex boundary. However, if has an essential cylinder, can exists a such metric on . Again, for instance, consider the manifold with the product metric , where is the standard metric on and is the flat metric on . Such Riemannian manifold is flat with totally geodesic boundary. In this notes, we show that the existence of a compact, orientable and essential surface properly embedded in which is not a disk, is a topological obstruction for the existence of a metric with nonnegative scalar curvature and strictly mean convex boundary or with positive scalar curvature and mean convex boundary in . Furthermore, we show that the existence of an essential cylinder properly embedded in a compact and orientable dimensional Riemannian manifold with nonnegative scalar curvature and mean convex boundary forces the metric to be flat with totally geodesic boundary. To be more precise, we prove the following result:
Theorem 1.1.
Let be a connected, compact and orientable 3dimensional manifold with nonempty boundary . Assume that the connected components of are spheres or incompressible tori, but at least one of the components is a torus. Then there is no Riemannian metric on with nonnegative scalar curvature and strictly mean convex boundary or positive scalar curvature and mean convex boundary. In particular, if there exists a Riemannian metric on with nonnegative scalar curvature and mean convex boundary then should be flat with totally geodesic boundary.
As a direct consequence of the theorem above, we obtain that the 3dimensional manifolds and have no metric with nonnegative scalar curvature and mean convex boundary, where is a torus minus an open disk, and is a closed, connected and orientable 3dimensional manifold. Moreover, the 3dimensional manifolds , , , , have no metric with nonnegative scalar curvature and strictly mean convex boundary or with positive scalar curvature and mean convex boundary. Also, let be a closed 3dimensional manifold. Then the manifold has no metric with nonnegative scalar curvature and strictly mean convex boundary. If it has a metric with nonnegative scalar curvature and mean convex boundary, it should be flat with totally geodesic boundary.Thus, from this last claim, we can glue two copies of along the boundary and build a flat closed 3dimensional manifold which is a connected sum of a 3dimensional torus and a closed 3dimensional manifold.
For high dimension , we want to prove that, if is a closed dimensional manifold, then does not admit a metric of nonnegative scalar curvature and mean convex boundary and does not admit a metric of positive scalar curvature and mean convex boundary.
Finally, we study freeboundary slicing in order to extend the results above for any dimension .
2. Preliminaries and Technical Results
Let , , be a compact orientable Riemannian manifold with nonempty boundary . Assume that and , where denote the mean curvature of with respect to the outward unit normal vector. For each Riemannian metric on consider and satisfying:
where denote the outward unit normal vector of the boundary in and . Note that, as we are considering, we can assume that .
Moreover, note that
Therefore,
Lemma 2.1.
Let , , be a compact orientable Riemannian manifold with nonempty boundary such that and . If then
for every symmetric tensor .
Proof.
Firstly, note that implies that and . Let be a symmetric tensor. Consider for each a smooth family of Riemannian metrics on in a such way that e . Denote by
As and , we obtain that
We divide the proof in some steps.

We have that
Hence,
where and .
Einstein convention and notation:

Without a summation symbol, lower and upper index indicate a summation from to .

denote the Riemannian connection of , ;

denote the second fundamental form of in
Consider a local chart on such that is a local chart on and .

Computation of in .
We have that
It follows that
and
Thus,
In , we get that and , for every . Hence,

Computation of :
We have . Hence,
Lets focus our attention on . We have that
where
Claim 1.
For every , we obtain that
It follows from the claim 1 that
Claim 2.
In ,
Proof.
In , we have and , for all and . Thus,
and
Moreover, for all , we have that
and
Denote by
Note that
Also,
Hence,
∎
It follows from the claim 2 that
However,
since
It implies that
Hence,
Consequently,
As , we obtain that
Claim 3.
In ,
Proof.
Denote by
Note that, in , we have
Then, in , we obtain that
∎
It follows from the claim 3 that
Therefore,
(2.1) 
Claim 4.
In , we have
for some
Proof.
It follows from the claim 3 that, in ,
For , in , we can write
where is the Riemannian connection of
Hence, since , we obtain that
This implies that, in ,
Define as
Note that
Then, in ,
∎
Hence,
We conclude, since is a closed manifold, that
∎
Proposition 2.2.
Let , , be a compact orientable Riemannian manifold with boundary such that , and . The metric is a critical point of the functional if and only if is Ricci flat with totally geodesic boundary.
Remark 2.3.
Let , , be a compact orientable Riemannian manifold with boundary. Define the following pair of operators acting in :
where denotes the outward unit normal vector of the boundary in and . Consider the first eigenvalue of with boundary condition :
(2.2) 
We have that,
We can choose a positive function solution of (2.2). The conformal metric is such that
In particular, this implies that if then and .
Proposition 2.4.
Let , , be a compact orientable Riemannian manifold with boundary such that and . Then either admits a metric with positive scalar curvature and minimal boundary or is Ricci flat with totally geodesic boundary.
Proof.
We can assume that . Hence, we obtain . If , then there exists a metric on with positive scalar curvature and minimal boundary (See remark 2.3).
Then, assume that . If , we have that is a critical point of the functional . Consequently, and . If , there exists a symmetric tensor such that . Consider a family of metrics on , , Since , we obtain that there exists such that the function is an increase function. Since , we get that for all . Therefore, for each there is a metric on such that and (See remark 2.3). ∎
Proposition 2.5.
Let , , be a compact orientable Riemannian manifold with nonempty boundary such that and . Then every freeboundary stable minimal hypersurface in has a metric with positive scalar curvature and minimal boundary.
Proof.
Consider a compact orientable freeboundary stable minimal in . It follows from the second variation formula for the volume that
for every , where denote a unit vector field on in . As , it follows from the Gauss equation that
Hence
for every . Since , and teis a freeboundary hypersurface in , we obtain
Thus,
for every . Consequently,
for every