Abstract
We prove an abstract structure theorem for weighted manifolds supporting a weighted f-Poincaré inequality and whose ends satisfy a suitable non-integrability condition. We then study how our arguments can be used to obtain full topological control on two important classes of hypersurfaces of the Euclidean space, namely translators and self-expanders for the mean curvature flow, under either stability or curvature asumptions. As an important intermediate step in order to get our results we get the validity of a Poincaré inequality with respect to the natural weighted measure on any translator and we prove that any end of a translator must have infinite weighted volume. Similar tools can be obtained for properly immersed self-expanders permitting to get topological rigidity under curvature assumptions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
1.1 Main Definitions
Translators for the mean curvature flow give rise to a special class of eternal solutions for the flow that, besides having their own intrinsic interest, are models of Type II singularities when starting from an initial mean convex closed hypersurface. An isometrically immersed complete (orientable) hypersurface of the Euclidean space \(x:\Sigma ^m\rightarrow (\mathbb {R}^{m+1}, \left\langle \,,\,\right\rangle )\) is said to be a translator for the mean curvature flow if its mean curvature vector field satisfies the equation
for some parallel unit length vector field \(\bar{V}\) in \(\mathbb {R}^{m+1}\), where \((\cdot )^{\bot }\) denotes the projection on the normal bundle of \(\Sigma \). Letting \(\left\{ \bar{E}_{1},\ldots ,\bar{E}_{m+1}\right\} \) be the standard orthonormal basis of \(\mathbb {R}^{m+1}\), we assume from now on, without loss of generality, that \(\bar{V}=\bar{E}_{m+1}\) in (1).
One can actually look at these objects also from a variational point of view. Indeed, it is by now well-known that equation (1) turns out to be the Euler-Lagrange equation for the weighted volume functional
when choosing \(f=-\left\langle x,\bar{E}_{m+1}\right\rangle =-x_{m+1}\). This variational characterization permits to talk about stability properties and these latters are understood by looking at the second variation for the weighted area functional. In particular, since the Bakry-Èmery Ricci curvature \(\overline{\textrm{Ric}}_{f}\doteq \overline{\textrm{Ric}}+\overline{\textrm{Hess}}(f)\) of the ambient Euclidean space identically vanishes, stability properties are taken into account by spectral properties of the weighted Jacobi operator of \(\Sigma \) given by
where \(\Delta _{f}\doteq \Delta -\langle \nabla f, \nabla \rangle \), \(\Delta \doteq \textrm{div}(\nabla )\); for more details see e.g. [22]. It can be easily proved, by an adaptation of a result by Fischer-Colbrie and Schoen, [12], that translators with mean curvature that does not change sign (i.e. those which are graphical w.r.t. the translating direction \(\bar{E}_{m+1}\)) are either f-stable or have identically vanishing mean curvature (see [23]). In this latter case they actually split as the product of a line parallel to the translating direction and a stable minimal hypersurface in the orthogonal complement of this line. More generally, a similar reasoning actually yields that translators which are graphical w.r.t. to any direction are f-stable.
In recent years a great effort has been made on one hand to construct a wide panorama of examples and on the other hand to obtain classification results for these objects. Indeed plenty of examples of translators were constructed by various authors, and these go far beyond the graphical setting and the trivial topological structure; see e.g. [8, 9, 17, 19, 20, 30] and e.g. [14] for an almost updated survey on known examples in the 2-dimensional case. Moreover, exploiting fundamental results in [38] and [36], it was recently reached the full classification of 2-dimensional vertical graphical translators, [18], and of 2-dimensional semigraphical translators, [20].
Another fundamental class of hypersurfaces to be understood is that of self-expanders for mean curvature flow. These objects are expected to describe both the asymptotic long term behaviour of the flow and the local structure after singularities in the very short time, [2, 11, 37]. An isometrically immersed complete (orientable) hypersurface of the Euclidean space \(x:\Sigma ^m\rightarrow (\mathbb {R}^{m+1}, \left\langle ,\,\right\rangle )\) is said to be a self-expander for the mean curvature flow if its mean curvature vector field satisfies the equation
Lately there was much activity in literature for studying geometric properties of self-expanders, with a particular focus on those which are asimptotically conical. For some key references and recent works on self-expanders see e.g. [1, 3, 4, 7, 10, 13, 16, 21, 35].
It is well-known that also self-expanders have a variational interpretation, being critical points of the weighted volume functional \(\textrm{vol}_{f}\) when choosing \(f=-\frac{|x|^2}{2}\). Some results about the spectrum of the corresponding weighted Laplacian \(\Delta _f\) where proved in [7]. In particular, in [7] it is obtained the discreteness of the spectrum for properly immersed self-expanders and a sharp universal lower bound for the bottom of the spectrum.
The present paper is devoted to the study of topological rigidity properties of translators and self-expanders for the mean curvature flow in the Euclidean space under either stability or curvature assumptions. From an abstract viewpoint the key ideas in order to get our results, are contained in the proof of an abstract theorem of independent interest which we state in the general setting of weighted manifolds.
1.2 An Abstract Structure Theorem for Weighted Manifolds Supporting a Weighted Poincaré Inequality
Recall that, letting (M, g) be a complete Riemannian manifold and given a smooth function f on M, we can consider the weighted manifold \(M_{f}=(M, g, e^{-f}d\textrm{vol})\). Associated to the weighted manifold \(M_f\) there is a natural divergence form second order diffusion operator, the f-Laplacian, defined on u as
This is clearly symmetric on the space \(L^{2}(M_f)\) of square integrable function w.r.t. the weighted measure. The geometry of weighted manifolds is visible in the weighted metric structure, i.e. in the weighted measure of (intrinsic) metric objects, and it is controlled by suitable concepts of curvature adapted to the density of the measure. An important generalization of the Ricci tensor in this setting is the so-called Bakry-Émery Ricci tensor, defined as
Structure theorems for complete Riemannian manifolds satisfying both a Ricci curvature lower bound and a (weigthed) Poincaré inequality were classically investigated starting form papers by Li and Wang; [26, 28]. Usually, these results permit to get geometric information about connected components at infinity (i.e. ends). Moreover, note that in presence of a genuine Poincaré inequality, if all ends have infinite volume, a key role in controlling the topology at infinity is played by the first de Rham’s cohomology group with compact support; see [6, Proposition 2.4]. Here we combine these ideas, in the setting of weighted manifolds, getting that when a weighted manifold \(M_f\) supports a weighted f-Poincaré inequality and its ends satisfy a certain weighted non-integrability condition, then a suitable lower bound on the Bakry-Émery Ricci curvature implies topological rigidity. This is the content of the following
Theorem 1.1
Let \((M,g,e^{-f}d\textrm{vol})\) be a complete weighted manifold satisfying the weighted f-Poincaré inequality
where \(\rho \) is a positive smooth function on M satisfying, on any end E of M,
Assume that
for some smooth function a satisfying \(a(x)\le \frac{\rho (x)}{\delta }\), for some \(\delta >1\). Then:
-
(1)
M is connected at infinity (that is, M has only one end);
-
(2)
M admits no codimension one cycle that does not disconnect M. In particular, if \(\textrm{dim}(M)=2\) then M has genus zero.
Remark 1.2
Besides the fact that we are working in the setting of weighted manifolds, there are two main novelties in the last statement we would like to stress:
-
(i)
Differently from [6] we are assuming a truly weighted Poincarè inequality (3) with non-necessarily constant \(\rho \). Assumption (4) is the suitable replacement in this setting for the request that all ends have infinite volume.
-
(ii)
Passing again through the first de Rham’s cohomology group with compact support, thanks to point (2) of Theorem 1.1, we can actually get a full control on the topology of the weighted manifold. The proof of this fact exploits again ideas of Carron; see [6] and [25, Proposition 3.3] for a precise statement.
1.3 Topological Rigidity for Translators and Self-Expanders
In the second part of the paper we apply the ideas of the proof of Theorem 1.1 to obtain analogous conclusions for translators and self-expanders for the mean curvature flow. These two classes of hypersurfaces turn out to fit very well the theory. Indeed, we can prove the following two results.
Theorem 1.3
Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a translator for the mean curvature flow and let \(f=-x_{m+1}\). Then:
-
(a)
the following f-Poincaré inequality holds
$$\begin{aligned} \frac{1}{4}\int _\Sigma \varphi ^2 e^{-f}d\textrm{vol}_{\Sigma } \le \frac{1}{4}\int _\Sigma (1+H^2) \varphi ^2 e^{-f}d\textrm{vol}_{\Sigma } \le \int _\Sigma |\nabla \varphi |^2 e^{-f}d\textrm{vol}_{\Sigma }, \end{aligned}$$for any \(\varphi \in C^{\infty }_c(\Sigma )\);
-
(b)
every end of \(\Sigma \) has infinite f-volume.
Theorem 1.4
Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a self-expander of the mean curvature flow and let \(f=-|x|^2/2\). Then:
-
(a)
the following f-Poincaré inequality holds
$$\begin{aligned} m\int _\Sigma \varphi ^2 e^{-f}d\textrm{vol}_{\Sigma }\le \int _\Sigma (m+H^2) \varphi ^2 e^{-f}d\textrm{vol}_{\Sigma }\le \int _\Sigma |\nabla \varphi |^2 e^{-f}d\textrm{vol}_{\Sigma }, \end{aligned}$$for any \(\varphi \in C^{\infty }_c(\Sigma )\);
-
(b)
if x is a proper immersion then every end of \(\Sigma \) has infinite f-volume.
Remark 1.5
Note that point (a) in Theorem 1.4 was originally proved in [7], whereas Theorem 1.3 and also the point (b) in Theorem 1.4 are, to the best of our knowledge, completely new.
In the setting of translators, by Gauss’ equation, a direct computation yields that
where we are denoting by A the second fundamental form of the immersion. Hence, by Theorem 1.3, one could apply the abstract Theorem 1.1 to prove topological rigidity under the curvature assumption
with \(\delta >1\). On the other hand, exploiting rigidity results for translators, it is possible to weaken the curvature assumption to the limit case \(\delta =1\). In this respect note that, assuming \(\delta =1\) in the assumptions of the abstract Theorem 1.1, one can not obtain in general the full rigidity statement, as one can see from the proofs given in Sect. 2 below. Furthermore, a further application of the standard result in [12], permits to use the same circle of ideas to reach the same conclusions in the more general setting of f-stable translators. More precisely we prove the following
Theorem 1.6
Let \(x:\Sigma ^{m}\rightarrow \mathbb {R}^{m+1}\), \(m\ge 2\) be a complete translator satisfying the curvature condition
Then \(\Sigma \) admits no codimension one cycle that does not disconnects it and it must have only one end. In particular, when \(m=2\), \(\Sigma \) must be simply connected.
More generally, the same conclusions hold by replacing the curvature condition with the request that the immersion is f-stable.
Reasoning in a similar way and exploiting Theorem 1.4, we are able to obtain an analogous structure theorem for self-expanders.
Theorem 1.7
Let \(x:\Sigma ^{m}\rightarrow \mathbb {R}^{m+1}\), \(m\ge 2\) be a complete properly immersed self-expander. If the scalar curvature of \(\Sigma \) satisfies
then \(\Sigma \) admits no codimension one cycle that does not disconnect it and it must have only one end. In particular, when \(m=2\), \(\Sigma \) must be simply connected.
1.4 Structure of the Paper
The paper is organized as follows. Section 2 is devoted to the proof of Theorem 1.1. In Sect. 3 we focus on translators and we prove both Theorem 1.3 and Theorem 1.6. In Sect. 4 we instead concentrate on self-expanders giving a proof of Theorem 1.4 and Theorem 1.7. A final appendix contains a detailed discussion of how the results in this paper permit to give a shortcut in order to obtain the full statement of Theorem C and Theorem D in our previous paper [23] (see also the discussion in Appendix A of [24]) and also to refine results in [24].
2 Proof of the Abstract Structure Theorem
The proof of Theorem 1.1 relies on the following two lemmas. The first is a vanishing result proved in [34], which adapts to the weighted setting a result originally obtained in [31, 33]; see also [32].
Lemma 2.1
(Theorem 8 in [34]) Assume that on a weighted manifold \(M_f\) the locally Lipschitz functions \(u\ge 0\), \(v>0\) satisfy
and
for some constant \(\delta \ge 1\) and \(a(x)\in C^0(M)\). If \(u\in L^{2\beta }\left( M_f\right) \), \(1\le \beta \le \delta \), then there exists a constant \(C\ge 0\) such that
Furthermore,
-
(i)
If \(\delta >1\) then u is constant on M and either \(a\equiv 0\) or \(u\equiv 0\);
-
(ii)
If \(\delta =1\) and \(u\not \equiv 0\), v and therefore \(u^\delta \) satisfy (6) with equality sign.
Recall that, given a Riemannian manifold M, we can define the cohomology with compact support \(H_c^k(M)\) as follows. Consider the exact sequence:
Then one can define
Let Z be a p-dimensional oriented, connected, compact manifold without boundary and \(\varphi :Z\rightarrow M^n\) be an embedding. The pair \((Z,\varphi )\) is called a p-cycle on M. We say that an \((m-1)\)-cycle (aka codimension one cycle) Z does not disconnect M if \(M\backslash \varphi (Z)\) is connected.
It is a well known fact that the first cohomology group with compact support gives a control on the topology of the manifold M. This is the content of the following proposition, which combines Lemma 2.1 in [6] and Proposition 3.3 in [25].
Proposition 2.2
([6, 25]) Let (M, g) be a non-compact connected Riemannian manifold. Then
-
(i)
If M has at least k ends then
$$\begin{aligned} \textrm{dim}H_{c}^{1}(M)\ge k-1; \end{aligned}$$ -
(ii)
If there exists a codimension one cycle which does not disconnect M, then there exists a closed 1-form \(\alpha \) with compact support and a 1-cycle \(\gamma \) such that
$$\begin{aligned} \int _{\gamma }\alpha =1. \end{aligned}$$Therefore \(H_{c}^{1}(M)\ne \left\{ 0\right\} \).
Let us now denote by \(\mathcal {H}^{1}_{f}(M)\) the space of f-harmonic 1-forms which are square integrable with respect to the weighted measure:
where \(\delta _{f}=\delta +i_{\nabla f}\) and \(\delta \) is the usual codifferential. As a consequence of the previous proposition we can prove the following
Lemma 2.3
Let \(M_f\) be a complete weighted manifold. Assume that \(M_f\) enjoys the weighted f-Poincaré inequality (3) for some positive smooth function \(\rho \) satisfying, on any end E of M,
Suppose that one of the following assumptions is satisfied:
-
(i)
M has at least two ends;
-
(ii)
M admits a codimension one cycle that does not disconnect it.
Then \(\mathcal {H}^{1}_{f}(M)\ne \left\{ 0\right\} \).
Proof
We claim that if
for any \(\varphi \in C_{c}^{\infty }(M)\), and (4) holds, then
Once proved this claim, the result is a direct consequence of Proposition 2.2.
As for the claim, note that in [5] it was proved the following decomposition of the space \(L^{2,f}(\Lambda ^1T^*M)\) of square integrable one forms on M with respect to the weighted measure:
where
the closure been taken with respect to the weighted \(L^2\)-norm. Denote by \(Z^1_f(M)\) the space of \(L^{2,f}\) closed 1-forms, i.e.
It then follows that
We now consider the map
and we claim that i is injective. This is equivalent to prove that if \(\beta \) is a closed 1-form which is zero with respect to the \(L^{2,f}\) cohomology, then there exists \(v\in C_{c}^{\infty }(M)\) such that \(\beta =dv\). First note that if \(\beta \) is zero with respect to the \(L^{2,f}\) cohomology then there exists a sequence \(v_j\in C^{\infty }_c(M)\) such that
Lemma 3.1 in [25] implies that there exists \(v\in C^{\infty }(M)\) such that \(dv=\beta \). Moreover, the validity of the weighted f-Poincaré inequality (3) implies that \(\{v_j\}\) converges to the function v in \(L^2(M, \rho e^{-f}d\textrm{vol})\). Since \(\beta \) has compact support, v must be locally constant at infinity. On the other hand, since \(v\in L^2(M, \rho e^{-f}d\textrm{vol})\) and (4) holds, this implies that v must have compact support, proving the claim.
To conclude the proof note that the injectivity of the map i implies that
\(\square \)
Proof of Theorem 1.1
We have that the validity of the weighted f-Poincaré inequality (3) implies the existence of a function \(v>0\) satisfying the equality
As a consequence note that M must have infinite f-volume. Indeed if we assume by contradiction that \(\textrm{vol}_{f}(M)<\infty \) then \(M_f\) is f-parabolic, i.e. any f-superharmonic function which is bounded from below must be constant; see e.g. [15]. This would imply that the function v above should be constant and thus that \(\rho \) should vanish identically, which is not the case. Moreover, since \(\rho (x)\ge \delta a(x)\), we obtain that the function v is a solution of inequality (6).
Assume now by contradiction that either \(\Sigma \) has at least two ends or that there exists a codimension one cycle that does not disconnect M. Lemma 2.3 gives that there exists a non-trivial \(\omega \in \mathcal {H}^1_f(M)\). As a consequence of f-Weitzenböck and Kato’s inequalities, it holds that
Hence the function \(u=|\omega |\) is a solution of inequality (5) satisfying \(u\in L^{2\beta }(M_f)\) with \(\beta =1\). We can then apply Lemma 2.1 and conclude that \(u=|\omega |\) is a non-zero constant. However, this is in contradiction to the fact that M has infinite f-volume. \(\square \)
3 Poincaré Inequality and Topological Rigidity of Translators Under Stability Assumptions
Let \(x:\Sigma ^m\rightarrow \mathbb {R}^{m+1}\) be a translator for the mean curvature flow. We first recall some basic identities that will be useful in what follows. For a proof we refer to [24, Lemma 2.1].
Lemma 3.1
Set \(f=-\left\langle x,\bar{E}_{m+1}\right\rangle \) and denote by \(\nu \) the unit normal vector to \(\Sigma \), by A the second fundamental form of the immersion, and by \(E_{i}\) the projections of \(\bar{E}_{i}\) on \(T\Sigma \). Let \(\xi \in \chi (\Sigma )\), then
The next lemma is an adaptation to the weighted setting of Proposition 1.1 in [26].
Lemma 3.2
Let \(M_f\) be a weighted manifold. Assume that there exists a nonnegative function g defined on M, that is not identically 0, satisfying
with \(\rho \) a non-negative function on M. Then the following weighted f-Poincaré inequality holds
for all \(\varphi \in C^\infty _c(M)\).
Proof
Let \(\Omega \subset M\) be a smooth compact subdomain of M. Denote by \(\lambda _1^f(\rho ,\Omega )\) the first Dirichlet eigenvalue on \(\Omega \) for the operator
and let u be the first eigenfunction satisfying
In particular, \(u>0\) in \(\textrm{int}(\Omega )\) and, as a consequence of the Hopf Lemma, \(\partial u/\partial \nu \le 0\) on \(\partial \Omega \). Here \(\nu \) denotes the outward unit normal of \(\partial \Omega \). Integration by parts yields:
Since both \(u>0\) and \(g\ge 0\) are not identically 0, this implies that \(\lambda _1^f(\rho ,\Omega )\ge 0\). Now, by the min-max principle,
for all \(\varphi \in C^{\infty }_0(\Omega )\). Since \(\Omega \) is arbitrary, this implies the validity of the weighted f-Poincaré inequality on the whole M. \(\square \)
As a consequence of Lemma 3.2 we get the following
Theorem 3.3
Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a translator for the mean curvature flow. Then the following f-Poincaré inequality holds
for any \(\varphi \in C^{\infty }_c(\Sigma )\).
Proof
Set \(h=\langle x,E_{m+1}\rangle \) and let \(\alpha :\mathbb {R}\rightarrow \mathbb {R}\), \(\alpha (t)=e^{-t/2}\). By Lemma 3.1 we have that \(\Delta _f h=1\) and
The conclusion follows now by Lemma 3.2 with the choices \(g=\alpha \circ h\), \(\rho =(1+H^2)/4\). \(\square \)
On the other hand, a direct argument yields the following
Proposition 3.4
Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a complete translator. Then every end of \(\Sigma \) has infinite f-volume.
Proof
Let o be a reference point on \(\Sigma \) and let \(E\subseteq \Sigma \backslash B^\Sigma _{R_0}(o)\) be an end with respect to the compact set \(B^\Sigma _{R_0}(o)\). Given \(R>R_{0}\), denote by \(E_R=E\cap B^\Sigma _{R}(o)\). Given \(\varepsilon >0\), let \(\varphi \) be a smooth cut-off function satisfying
where C is a constant that does not depend on R. It follows by Lemma 3.1 that
Integrating the previous identity and denoting by \(\nu _{E}\) the outward pointing unit normal to \(\partial E\), we get
Letting \(\varepsilon \rightarrow 0\) and using the coarea formula we thus obtain
Let w(R) be the unique solution of the Cauchy problem
Then
for some constant A depending on \(R_{0}, \textrm{vol}_{f}(\partial E)\) and C. Letting \(R\rightarrow \infty \) in the previous inequality we obtain that the end E must have infinite f-volume. \(\square \)
Remark 3.5
Recall that an end E of a weighted manifold \(M_f\) with respect to a relatively compact domain \(\Omega \) is said to be non-f-parabolic if there exists a non-constant function u satisfying
The end is said to be f-parabolic otherwise. By [22, Lemma 1] (with \(\alpha =0\)) we know that every end of a weighted manifold satisfying an f-Poincaré inequality is either non-f-parabolic or it has finite f-volume. Thanks to Proposition 3.4, we can hence conclude that every end of a complete translator \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) is non-f-parabolic.
Using Theorem 1.3 and Proposition 3.4 we are able to prove Theorem 1.6.
Proof of Theorem 1.6
We argue by contradiction and assume that either \(\Sigma \) has at least two ends or it admits a codimension one cycle that does not disconnect it. We reason as in the proof of Theorem 1.1, with the choices \(\rho =\frac{1+H^2}{4}\), \(v>0\) as in Theorem 1.1, \(a=-\Vert A\Vert ^2\), and \(u=|\omega |\in \mathcal {H}^1_f(\Sigma )\). Letting \(\delta =1\) we can then apply part (ii) of Lemma 2.1, to obtain that \(v=|\omega |\) and that the inequalities (6) and (5) must hold with equality sign. However, this implies that
Fix an arbitrary point \(p\in \Sigma \) and let \(\{e_{i}(p)\}_{i=1}^{m}\) be an orthonormal basis for \(T_{p}\Sigma \) such that \(e_{1}(p)=\frac{\omega ^\sharp }{|\omega |}(p)\). Since, at p,
we get that
and this implies that \(\Vert A\Vert ^2(p)=H^2(p)\). Since p is arbitrary this yields that \(\Vert A\Vert ^2=H^2\) on \(\Sigma \). In particular, as a consequence of Gauss’ equation, the scalar curvature of \(\Sigma \) vanishes identically. Using Corollary 2.4 in [29] we conclude that \(\Sigma \) has to be either a member of the tilted grim reaper family or a translator hyperplane. However all these hypersurfaces have only one end and do not admit any codimension one cycle that does not disconnect them.
As for the last part of the statement, let us assume that the translator is f-stable, that is, the operator \(L_{f}\) defined above is nonnegative. Then by [12] (see also [22]) there exists \(v>0\) satisfying (6) with \(\rho =a=-\Vert A\Vert ^2\) and \(\delta =1\) and we can reason exactly as above. \(\square \)
4 Poincaré Inequality and Topological Rigidity of Self-Expanders Under Curvature Assumptions
In the following lemma we collect some basic equations valid on any self-expander.
Lemma 4.1
Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a self-expander of the mean curvature flow and let \(f=-|x|^2/2\). Then
-
(1)
\(\nabla f=-x+H\nu \);
-
(2)
\(\Delta _f f=-m+2f\);
-
(3)
\(\textrm{Ric}^\Sigma _f\ge -1-\Vert A\Vert ^2\).
Proof
Let \(\Sigma \) be a self-expander for the mean curvature flow. Then,
Point (1) is a direct consequence of the previous computation and of the expander equation (2). As for point (2), let \(Y\in T\Sigma \). Then
where we are denoting by \(\overline{\nabla }\) the connection of the ambient space. Hence
Finally, as for point (3), note that by Gauss’ equation
\(\square \)
The following two results hold.
Proposition 4.2
(Theorem 1.2 in [7]) Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a self-expander of the mean curvature flow and let \(f=-|x|^2/2\). Then the following f-Poincaré inequality holds
for any \(\varphi \in C^{\infty }_c(\Sigma )\).
Proof
By Lemma 4.1 we have that
The conclusion follows now by Lemma 3.2 with the choices \(g=e^f\), \(\rho =m+H^2\). \(\square \)
Proposition 4.3
Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a properly immersed self-expander of the mean curvature flow and let \(f=-|x|^2/2\). Then any end of \(\Sigma \) has infinite f-volume.
Proof
Let E be an end of \(\Sigma \) with respect to a compact set K. Consider the function \(e^{-\frac{|x|^2}{4}}=e^{\frac{f}{2}}\). A simple computation using Lemma 4.1 and (2) shows that
Hence \(u=e^{\frac{f}{2}}\) is a positive f-superharmonic function. Assume by contradiction that E has finite f-volume. Then, as a consequence of Remark 3.5, E must be f-parabolic and hence any f-superharmonic function bounded from below must attain its infimum on the boundary of E. On the other hand, since \(\Sigma \) is properly immersed, \(\sup _E |x|^2=+\infty \) and hence \(\inf _E u=0<\inf _{\partial E} u\), leading to a contradiction. \(\square \)
With these tools, we can show, as promised, topological rigidity for self-expanders under curvature assumptions.
Proof of Theorem 1.7
We argue by contradiction and assume that \(\Sigma \) has at least two ends and it admits a codimension one cycle that does not disconnect it. We use Gauss’ equation and reason as in the proof of Theorem 1.1, with the choices \(\rho =m+H^2\), \(v>0\) as in Theorem 1.1, \(a=-\Vert A\Vert ^2-1\), \(u=|\omega |\in \mathcal {H}^1_f(\Sigma )\). In this case we can choose \(\delta =1\) and apply part (ii) of Lemma 2.1, to obtain that \(v=|\omega |\) and that the inequalities (6) and (5) must hold with equality sign. However, this implies that
Fix an arbitrary point \(p\in \Sigma \) and let \(\{e_{i}(p)\}_{i=1}^{m}\) be an orthonormal basis for \(T_{p}\Sigma \) such that \(e_{1}(p)=\frac{\omega ^\sharp }{|\omega |}(p)\). Hence at p,
from which we obtain
We thus deduce that \(\Vert A\Vert ^2(p)=H^2(p)\). Since p is arbitrary this implies that \(\Vert A\Vert ^2=H^2\) on \(\Sigma \). In particular, as a consequence of Gauss’ equation, the scalar curvature of \(\Sigma \) vanishes identically. Using Theorem 6.1 in [1] we conclude that \(\Sigma =\Gamma \times \mathbb {R}^{m-1}\), where \(\Gamma \) is a complete self-expander curve immersed in \(\mathbb {R}^2\). However, this contradicts the assumption that either \(\Sigma \) has at least two ends or that it admits a codimension one cycle that does not disconnect it. \(\square \)
Remark 4.4
In [1, Corollary 1.1] it is proved that the condition on the scalar curvature \(\textrm{Scal}\ge -(m-1)\) implies f-stability of self-expanders. One could be tempted, also in this setting, to use directly the f-stability in order to obtain topological rigidity. However in this case
while the f-stability assumption could be phrased, through [12], by the existence of \(v>0\) such that
Hence one immediately realises that it is not possible to apply the vanishing theorem to conclude.
Data availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Ancari, S., Cheng, X.: Volume properties and rigidity on self-expanders of mean curvature flow. Geom. Dedicata 216(2), 24 (2022)
Angenent, S., Ilmanen, T., Chopp, D.L.: A computed example of nonuniqueness of mean curvature flow in \(\textbf{R} ^3\). Comm. Partial Differ. Equ. 20(11–12), 1937–1958 (1995)
Bernstein, J., Wang, L.: Topological uniqueness for self-expanders of small entropy. Camb. J. Math. 10(4), 785–833 (2022)
Bernstein, J., Wang, L.: An integer degree for asymptotically conical self-expanders. Calc. Var. Partial Differ. Equ. 62(7), 200 (2023)
Bueler, E.L.: The heat kernel weighted Hodge Laplacian on noncompact manifolds. Trans. Amer. Math. Soc. 351(2), 683–713 (1999)
Carron, G.: \(L^2\) harmonic forms on non-compact Riemannian manifolds, Surveys in analysis and operator theory (Canberra, 2001), Proc. Centre Math. Appl. Austral. Nat. Univ., vol. 40, Austral. Nat. Univ., Canberra, pp. 49–59 (2002)
Cheng, X., Zhou, D.: Spectral properties and rigidity for self-expanding solutions of the mean curvature flows. Math. Ann. 371(1–2), 371–389 (2018)
Clutterbuck, J., Schnürer, O.C., Schulze, F.: Stability of translating solutions to mean curvature flow. Calc. Var. Partial Differ. Equ. 29(3), 281–293 (2007)
Dávila, J., del Pino, M., Nguyen, X.H.: Finite topology self-translating surfaces for the mean curvature flow in \({\mathbb{R} }^3\). Adv. Math. 320, 674–729 (2017)
Ding, Q.: Minimal cones and self-expanding solutions for mean curvature flows. Math. Ann. 376(1–2), 359–405 (2020)
Ecker, K., Huisken, G.: Mean curvature evolution of entire graphs. Ann. Math. (2) 130(3), 453–471 (1989)
Fischer-Colbrie, D., Schoen, R.: The structure of complete stable minimal surfaces in \(3\)-manifolds of nonnegative scalar curvature. Comm. Pure Appl. Math. 33(2), 199–211 (1980)
Fong, F.T.-H., McGrath, P.: Rotational symmetry of asymptotically conical mean curvature flow self-expanders. Comm. Anal. Geom. 27(3), 599–618 (2019)
Gama, E.S., Martín, F., Møller, N.M.: Finite entropy translating solitons in slabs, arXiv (2022)
Grigor’yan, A.: Heat kernels on weighted manifolds and applications, The ubiquitous heat kernel, Contemp. Math., vol. 398, Amer. Math. Soc., Providence, RI, pp. 93–191 (2006)
Helmensdorfer, S.: Solitons of geometric flows and their applications. PhD thesis, University of Warwick (2012)
Hoffman, D., Martín, F., White, B.: Translating annuli for mean curvature flow, arXiv (2023)
Hoffman, D., Ilmanen, T., Martín, F., White, B.: Graphical translators for mean curvature flow. Calc. Var. Partial Differ. Equ. 58(4), 117 (2019)
Hoffman, D., Martín, F., White, B.: Scherk-like translators for mean curvature flow. J. Differ. Geomet. 122(3), 421–465 (2022)
Hoffman, D., Martín, F., White, B.: Nguyen’s tridents and the classification of semigraphical translators for mean curvature flow. J. Reine Angew. Math. 786, 79–105 (2022)
Ilmanen, T.: Lectures on mean curvature flow and related equations. Unpublished notes (1995)
Impera, D., Rimoldi, M.: Stability properties and topology at infinity of \(f\)-minimal hypersurfaces. Geom. Dedicata 178, 21–47 (2015)
Impera, D., Rimoldi, M.: Rigidity results and topology at infinity of translating solitons of the mean curvature flow. Commun. Contemp. Math. 19(6), 1750002 (2017)
Impera, D., Rimoldi, M.: Quantitative index bounds for translators via topology. Math. Z. 292(1–2), 513–527 (2019)
Kunikawa, K., Saito, S.: Remarks on topology of stable translating solitons. Geom. Dedicata 202, 1–8 (2019)
Li, Peter, Wang, Jiaping: Weighted Poincaré inequality and rigidity of complete manifolds. Ann. Sci. École Norm. Sup. (4) 39(6), 921–982 (2006)
Li, P., Tam, L.-F.: Harmonic functions and the structure of complete manifolds. J. Differential Geom. 35(2), 359–383 (1992)
Li, P., Wang, J.: Complete manifolds with positive spectrum. J. Differential Geom. 58(3), 501–534 (2001)
Martín, F., Savas-Halilaj, A., Smoczyk, K.: On the topology of translating solitons of the mean curvature flow. Calc. Var. Partial Differ. Equ. 54(3), 2853–2882 (2015)
Nguyen, X.H.: Translating tridents. Comm. Partial. Differ. Equ. 34(1–3), 257–280 (2009)
Pigola, S., Rigoli, M., Setti, A.G.: Vanishing and finiteness results in geometric analysis, Progress in Mathematics, vol. 266, Birkhäuser Verlag, Basel, (2008). A generalization of the Bochner technique
Pigola, S., Veronelli, G.: Remarks on \({L}^{p}\)-vanishing results in geometric analysis. Int. J. Math. 23, 1250008 (2012)
Pigola, S., Rigoli, M., Setti, A.G.: Vanishing theorems on Riemannian manifolds, and geometric applications. J. Funct. Anal. 229(2), 424–461 (2005)
Rimoldi, M.: On a classification theorem for self-shrinkers. Proc. Amer. Math. Soc. 142(10), 3605–3613 (2014)
Smoczyk, K.: Self-expanders of the mean curvature flow. Vietnam J. Math. 49(2), 433–445 (2021)
Spruck, J., Xiao, L.: Complete translating solitons to the mean curvature flow in \(\mathbb{R} ^3\) with nonnegative mean curvature. Amer. J. Math. 142(3), 993–1015 (2020)
Stavrou, N.: Selfsimilar solutions to the mean curvature flow. J. Reine Angew. Math. 499, 189–198 (1998)
Wang, X.-J.: Convex solutions to the mean curvature flow. Ann. Math. (2) 173(3), 1185–1239 (2011)
Funding
Open access funding provided by Politecnico di Torino within the CRUI-CARE Agreement.
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.
D. Impera is partially supported by INdAM-GNSAGA and M. Rimoldi is partially supported by INdAM-GNAMPA. The authors acknowledge partial support by the PRIN 2022 project “Real and Complex Manifolds: Geometry and Holomorphic Dynamics” - 2022AP8HZ9.
Appendix A. A Note About Theorems C and D in [23]
Appendix A. A Note About Theorems C and D in [23]
This appendix is devoted to a comparison of the approach taken in the present paper with that of our previous papers [23] and [24], where we established estimates on the f-index of translators via topology. Moreover, we explicitly note that the approach via Poincaré inequality permits to fix a gap in the proof of Theorem C and Theorem D in [23] (see Appendix A in [24]) and to get a proof of the full statement of these results without any additional assumption.
Recall that the f-index of a translator \(x:\Sigma ^{m}\rightarrow \mathbb {R}^{m+1}\) is defined in terms of the generalized Morse index of \(L_{f}\) on \(\Sigma \). Namely, given a relatively compact domain \(\Omega \Subset \Sigma \) we define
The f-index of \(\Sigma \) is then defined as
If \(\textrm{Ind}_{f}(\Sigma )<\infty \) we note that it is a consequence of [22, Theorem 3] (see also the considerations before Corollary 1 in [22]) that \(\textrm{dim} \left( \mathcal {H}^{1}_{f}(\Sigma )\right) <\infty \).
In [23] and [24], we used an adaptation to the weighted setting of Li-Tam’s theory, [27], that allows to control the number of non-f-parabolic ends in terms of the dimension of the space of bounded f-harmonic functions with finite Dirichlet energy. This latter in turn is controlled from above by \(\textrm{dim}(\mathcal {H}^{1}_{f}(\Sigma ))\). Hence, in order to obtain a control of the f-index via the topology at infinity we used the validity of an \(L^{2,f}\) Sobolev inequality (which we are able to guarantee assuming an upper halfspace confinement for \(x(\Sigma )\) and the dimensional restriction \(m\ge 3\)) in order to prove that all the ends are in fact non-f-parabolic.
In the present paper, the validity of the f-Poincaré inequality and the fact that all the ends have infinite f-volume permit us to bypass Li-Tam’s theory, thus working directly with the first cohomology group with compact support. This in particular permits to avoid the upper half-space assumption and the restriction on the dimension in both the qualitative index estimate (Theorems C and D in [23]; see also the remarks in Appendix A in [24]) and the quantitative estimate for the generalized index (Theorem A in [24]). In particular, as for the unstable case, we are able to prove the following
Proposition A.1
Let \(x:\Sigma ^{m\ge 2}\rightarrow \mathbb {R}^{m+1}\) be a complete translator. If \(\Sigma \) has finite f-index then it has finitely many ends. Moroever if \(\Vert A\Vert ^2\in L^{\infty }(\Sigma )\) then
where \(\textrm{Null}_{f}(\Sigma )\) is the dimension of the space of Jacobi functions which are square integrable with respect to the weighted measure.
Remark A.2
Since, by Remark 3.5 all the ends of a translator are actually non-f-parabolic, one could also proceed as in [23], and through an adaptation to the weighted setting of Li-Tam’s theory get to the same conclusion in a less direct way.
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
Impera, D., Rimoldi, M. Poincaré Inequality and Topological Rigidity of Translators and Self-Expanders for the Mean Curvature Flow. J Geom Anal 34, 263 (2024). https://doi.org/10.1007/s12220-024-01711-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01711-9
Keywords
- Weighted manifolds
- Translators
- Self-expanders
- Poincarè inequality
- Topological rigidity
- Genus
- Number of ends
- Index estimates