Abstract
In this paper, we generalize some halfspace type theorems for self-shrinkers of codimension 1 to the case of arbitrary codimension.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The halfspace theorem says that “There is no non-planar, complete, minimal surface properly immersed in a halfspace of \({\mathbb {R}}^3.\)” The theorem is due to Hoffman and Meeks. In fact they proved a stronger version, the strong halfspace theorem, “Two disjoint complete properly immersed minimal surfaces in \({\mathbb {R}}^3\) are planes” (see [14]).
The halfspace theorem is essentially a three-dimensional one. In \({\mathbb {R}}^n, n> 3,\) the halfspace theorem is false because there are minimal Catenoids with bounded height.
Many generalizations of the theorem have been made by several authors, see [8, 9, 19, 20, 22, 23] and references therein.
The first halfspace theorem for self-shrinker in codimension 1 was proved in [21] based on the weighted parabolicity of self-shrinkers. A similar result in a more general setting was proved recently in [15].
Theorem 1
[Theorem 3 in [21]; Theorem 1.1 in [2]] Let P be a hyperplane passing through the origin. The only properly immersed self-shrinker contained in one of the closed halfspace determined by P is \(\Sigma = P.\)
In contrast with the case of minimal surfaces, the halfspace theorem for self-shrinkers holds true in any dimension. Moreover, one can consider a type of halfspace theorems for self-shrinker containing inside or outside a hypercylinder.
In 2016, Cavalcante and Espinar [2] showed some halfspace type theorems for self-shrinkers of codimension 1 including Theorem 1 with a different proof.
Theorem 2
[Theorem 1.2 in [2]] The only complete self-shrinker properly immersed in a closed cylinder \(\overline{B^{k+1}(R)} \times {\mathbb {R}}^{n-k}\subset {\mathbb {R}}^{n+1},\) for some \(k\in \{1, 2, \dots , n\}\) and radius \(R, R\le \sqrt{2k},\) is the cylinder \(S^k(\sqrt{2k})\times {\mathbb {R}}^{n-k}.\)
Theorem 3
[Theorem 1.3 in [2]] The only complete self-shrinker properly immersed in an exterior closed cylinder \(\overline{E^{k+1}(R)}\times {\mathbb {R}}^{n-k} \subset {\mathbb {R}}^{n+1},\) for some \(k \in \{1, 2, \ldots , n\}\) and radius \(R, R\ge \sqrt{2k},\) is the cylinder \(S^k(\sqrt{2k}) \times {\mathbb {R}}^{n-k}.\) Here \(E^{k+1}(R)=R^{k+1}-\overline{B^{k+1}(R)}.\)
In 2018, Vieira and Zhou [26] proved similar results, where spheres or balls center at the origin are replaced by ones with arbitrary centers and suitable radii. Recently, Impera, Pigola and Rimoldi [18] recovered Cavalcante and Espinar’s results with short proofs by using potential theoretic arguments.
The aim of this paper is to generalize the above hasflpace type results to the case of arbitrary codimension. The first step in our approach is somewhat similar to the one in [18] for codimension 1 but the use of maximal principle for weighted superharmonic functions together with the weighted parabolicity of self-shrinkers is replaced by an application of a divergence type theorem (Theorem 6). In fact our proofs recovered some key formulas originally proved by Colding and Minicozzi [7] for codimension 1 self-shrinkers and extended for higher codimension by Arezzo and Sun [1].
We would like to thank Vieire, Rimoldi, Rosales for introducing us to their interesting works and the others for helpful comments and suggestions.
2 Preliminaries
In this paper, we use the following notations:
-
1.
\(B^k(a, R),\) the k-ball with center a and radius R;
-
2.
\(E^k(a, R)={\mathbb {R}}^k-\overline{B^k(a, R)},\) the complement of \(\overline{B^k(a,R)};\)
-
3.
\(S^k(a, R),\) the k-sphere with center a and radius R.
When the center of spheres or balls is the origin we simply write \(B^k(R), E^k(R), S^k(R).\)
2.1 Self-shrinkers
An n-dimensional submanifold \(\Sigma \) immersed in \({\mathbb {R}}^m, m>n, \) is called a self-shrinker, if
where \(\textbf{H}\) is the mean curvature vector of \(\Sigma , X\) is the position vector, and \(X^N\) denotes the normal part of X.
Self-shrinkers are self-similar solutions to the mean curvature flow and play an important role in the study of its singularities. For more information about self-shrinkers as well as singularities, we refer the readers to [5, 6, 16, 17].
A complete manifold \(\Sigma ^{n}\) in \({\mathbb {R}}^{m}\) is said to have polynomial volume growth if there exist constants C and d such that for all \(R\ge 1,\) there holds
In [10], Ding-Xin proved that:
Theorem 4
[Theorem 1.1 in [10]] A complete non-compact properly immersed self-shrinker \(\Sigma ^{n}\) in \({\mathbb {R}}^{m}, m>n,\) has Euclidean volume growth at most, i.e.
for \(R\ge 1.\)
This result was previously proved by Cheng and Zhou [4] in the codimension one case.
2.2 Some typical examples
It is not hard to verify all of the followings are n-dimensional complete self-shrinkers in \({\mathbb {R}}^m.\)
-
1.
An n-plane passing through the origin.
-
2.
\(S^n(\sqrt{2n})\subset {\mathbb {R}}^{n+1}.\)
-
3.
The cylinder \(S^k(\sqrt{2k})\times {\mathbb {R}}^{n-k}\subset {\mathbb {R}}^{n+1}, 0<k<n. \)
-
4.
\(S^{n_1}(\sqrt{2n_1})\times S^{n_2}(\sqrt{2n_2})\times \ldots \times S^{n_k}(\sqrt{2n_k})\subset {\mathbb {R}}^{n+1},\) \( n_1+n_2+\ldots + n_k=n.\)
-
5.
\(S^{n_1}(\sqrt{2n_1})\times S^{n_2}(\sqrt{2n_2})\times \ldots \times S^{n_k}(\sqrt{2n_k})\times {\mathbb {R}}^p\subset {\mathbb {R}}^{n+1},\) \( p\ge 1\) and \(n_1+n_2+\ldots +n_k+p=n.\)
-
6.
n-dimensional complete minimal submanifolds of the sphere \(S^{m-1}(\sqrt{2n})\) (see Theorem 4.1 in [1] or subsection 1.4 in [25]).
For some more well-known results about complete self-shrinkers, we refer the readers to [7, 17, 21] for the case of codimension 1 and [3, 24] for the case of arbitrary codimension.
2.3 Some basic formulas
In this subsection, we calculate the surface divergence of some vector fields that will be used in the proofs of the main results. The calculations are straightforward, but for the sake of completeness we present them here.
Let \(e_1,e_2, \ldots , e_m\) be the coordinate vector fields for \({\mathbb {R}}^m,\) \( \Sigma ^n\) be a complete self-shrinker in \({\mathbb {R}}^m, \{E_1,E_2,\ldots , E_n\}\) be an orthonormal basis for \(T_X\Sigma , X=\sum _{i=1}^{m}x_ie_i\) be the position vector field and \(u=\sum _{i=1}^{k+1}x_ie_i, k\le m-1.\) We have the following lemma.
Lemma 5
-
1.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma X^T=n-\frac{1}{2} |X^N|^2. \end{aligned}$$(3)
-
2.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma e_l^T=-\frac{1}{2}\langle X, e_l^N\rangle ,\ l=1,2,\ldots , m. \end{aligned}$$(4)
-
3.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma x_le_l^T=|e_l^T|^2-\frac{1}{2}x_l\langle X, e_l^N\rangle ,\ l=1,2,\ldots , m. \end{aligned}$$(5)
-
4.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma u^T=(k+1) -\frac{1}{2}|u^N|^2-\sum _{i=1}^{k+1}|e_i^N|^2. \end{aligned}$$(6)
-
5.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma \frac{1}{|u|}u^T=\frac{1}{|u|}\left[ k -\frac{1}{2}|u^N|^2-\sum _{i=1}^{k+1}|e_i^N|^2+\frac{|u^N|^2}{|u|^2}\right] . \end{aligned}$$(7)
Proof
We use the summation convention.
-
1.
We have
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma X=n, \end{aligned}$$and
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma X^N&=\langle E_i, \nabla _{E_i}X^N\rangle =\nabla _{E_i}\langle E_i, X^N\rangle -\langle \nabla _{E_i}E_i, X^N\rangle \\&=\nabla _{E_i}(0)-\langle (\nabla _{E_i}E_i)^N, X\rangle =-\langle \textbf{H}, X\rangle =\frac{1}{2} |X^N|^2. \end{aligned}$$Therefore,
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma X^T=n-\frac{1}{2} |X^N|^2. \end{aligned}$$ -
2.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma e_l^T&={{\,\textrm{div}\,}}_\Sigma e_l-{{\,\textrm{div}\,}}_\Sigma e_l^N = 0- \langle E_i,\nabla _{E_i}e_l^N\rangle \\&=\langle \nabla _{E_i}E_i, e_l^N\rangle =\langle (\nabla _{E_i}E_i)^N, e_l\rangle =\langle \textbf{H}, e_l\rangle \\&=-\frac{1}{2}\langle X, e_l^N\rangle . \end{aligned}$$
-
3.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma x_le_l^T&={{\,\textrm{div}\,}}_\Sigma x_le_l -{{\,\textrm{div}\,}}_\Sigma x_le_l^N= |e_l^T|^2- \langle E_i,\nabla _{E_i}x_le_k^N\rangle \\&=|e_l^T|^2+\langle (\nabla _{E_i}E_i)^N, x_le_l\rangle =|e_l^T|^2+\langle \textbf{H}, x_le_l\rangle \\&=|e_l^T|^2-\frac{1}{2}x_l\langle X, e_l^N\rangle . \end{aligned}$$
-
4.
For \(v\in T_p\Sigma ,\)
$$\begin{aligned} \nabla _vu=\pi _1(v)=\langle v, e_1\rangle e_1+\langle v, e_2\rangle e_2+\ldots + \langle v, e_{k+1}\rangle e_{k+1}. \end{aligned}$$We have
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma (u)&=\langle E_i, \nabla _{E_i}u\rangle =\sum _{j=1}^{k+1}\sum _{i=1}^n\langle E_i, e_j\rangle ^2\\&=\sum _{j=1}^{k+1}|e_j^T|^2=(k+1)-\sum _{j=1}^{k+1}|e_j^N|^2,\\ \end{aligned}$$and
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma u^N&=\langle E_i, \nabla _{E_i}u^N\rangle =\nabla _{E_i}\langle E_i, u^N\rangle -\langle \nabla _{E_i}E_i, u^N\rangle \\&=\nabla _{E_i}(0)-\langle (\nabla _{E_i}E_i)^N, u\rangle =-\langle \textbf{H}, u\rangle =\frac{1}{2}|u^N|^2. \end{aligned}$$Therefore,
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma u^T=(k+1) -\frac{1}{2}|u^N|^2-\sum _{i=1}^{k+1}|e_i^N|^2. \end{aligned}$$ -
5.
$$\begin{aligned} {{\,\textrm{div}\,}}_\Sigma \frac{1}{|u|}u^T&=\left\langle \nabla _\Sigma \frac{1}{|u|}, u^T\right\rangle +\frac{1}{|u|}{{\,\textrm{div}\,}}u^T\\&=-\frac{|u^T|^2}{|u|^3}+\frac{1}{|u|}[(k+1) -\frac{1}{2}|u^N|^2-\sum _{i=1}^{k+1}|e_i^N|^2]\\&=\frac{1}{|u|}\left[ k -\frac{1}{2}|u^N|^2-\sum _{i=1}^{k+1}|e_i^N|^2+\frac{|u^N|^2}{|u|^2}\right] . \end{aligned}$$
\(\square \)
3 A divergence type theorem
In this section, \(\Sigma \) is assumed to be an n-dimensional complete (without boundary) self-shrinker properly immersed in \({\mathbb {R}}^m, m>n.\)
The condition of polynomial volume growth is essential for using an integral formula that is similar to the generalized divergence theorem for compact manifolds. We have the following theorem.
Theorem 6
Let F be a smooth tangent vector field on \(\Sigma .\) Assume that there exist positive constants C and d such that \( |{{\,\textrm{div}\,}}_\Sigma F(X)|\le C|X|^{d}.\) Then
Proof
Suppose that \(\Sigma \) is inside a ball, since it is proper it must be compact and the theorem holds true by divergence theorem. Now suppose that \(\Sigma \) is not inside any ball, i.e. \(\partial (B_R\cap \Sigma )\ne \emptyset \) when R is large enough. Since F is tangent to \(\Sigma ,\) the generalized divergence theorem for \(e^{-\frac{|X|^2}{4}}F\) yields
Taking the limit when \(R\rightarrow \infty ,\) the theorem is proved because
The first and the second inequalities hold true because of the assumption and Theorem 4, respectively. \(\square \)
Applying Theorem 6 with suitable choices of tangent vector fields F, we obtain the main results of the paper.
3.1 Halfspace type result w.r.t. hyperplanes
The following theorem says that \(\Sigma \) intersects every hyperplane passing through the origin.
Theorem 7
Let P be a hyperplane passing through the origin. If \(\Sigma \) lies in a closed halfspace determined by P, then \(\Sigma \subset P.\)
Proof
Without loss of generality, we can suppose that P is the hyperplane \(x_m=0\) and \(\Sigma \) is in the closed halfspace \(\{(x_1, x_2,\ldots , x_m):x_m\ge 0\}.\)
By (4),
Then Theorem 6 applying for \(F=e_m^T\) yields (see [7] for the case of codimension 1, also see [1])
Therefore, \(x_m=0,\) i.e. \(\Sigma \subset P.\)
\(\square \)
Remark 8
If \(n=m-1,\) then \(\Sigma = P\) ([21], Theorem 3; [2], Theorem 1.1).
Corollary 9
If there exist \(m-n\) orthonormal vectors \(v_1, v_2,\ldots , v_{m-n}\) such that for \(i=1,2,\ldots , m-n, \langle X, v_i\rangle \) does not change sign, then \(\Sigma \) is an n-plane passing through the origin.
Proof
Without loss of generality, we can assume that \(v_i=e_{n+i}\) if \(\langle X, v_i\rangle \ge 0\) and \(v_i=-e_{n+i}\) if \(\langle X, v_i\rangle \le 0.\) The assumption guarantees that \(\Sigma \) is in the closed halfspace \(\{(x_1,x_2,\ldots , x_m): x_{n+i}\ge 0, i=1,2,\ldots , m-n\}.\) The proof is then followed by applying Theorem 7 in turn for \(v_1, v_2,\ldots , v_{m-n}.\) \(\square \)
Based on the Bernstein result for self-shrinkers of codimension 1, “An entire graphic self-shrinker must be a hyperplane passing through the origin” (see [11, 13, 27]), and with the same argument as in the proof of Corollary 9, we have the following.
Corollary 10
[A Bernstein type theorem] Let \(F:{\mathbb {R}}^n\rightarrow {\mathbb {R}}^{m-n}, F(\textbf{x})=(f_1(\textbf{x}), f_2(\textbf{x}),\ldots ,f_{m-n}(\textbf{x}))\) be a smooth function and \(\Sigma =\{(\textbf{x}, F(\textbf{x})): \textbf{x}\in {\mathbb {R}}^n\}\) be its graph. If there exist at least \((m-n-1)\) functions \(f_i\) that do not change sign, then \(\Sigma \) is an n-plane passing through the origin.
3.2 Self-shrinkers inside or outside a ball
The following theorem says that a complete properly immersed self-shrinker \(\Sigma ^n\) and \(S^{m-1}(\sqrt{2n})\) must be intersected.
Theorem 11
If \(\Sigma \subset \overline{E^m(\sqrt{2n})}\) or \(\Sigma \subset \overline{B^{m}(\sqrt{2n})},\) then \(\Sigma \) is compact and \(\Sigma \subset S^{m-1}(\sqrt{2n}),\) i.e. \(\Sigma \) is a minimal submanifold of \(S^{m-1}(\sqrt{2n}).\) Moreover, if \(n=m-1,\) then \(\Sigma = S^{n}(\sqrt{2n}).\)
Proof
By (3),
Applying Theorem 6 with \(F=X^T\) (see [7] for the case of codimension 1, also see [1]),
If \(\Sigma \subset \overline{E^m(\sqrt{2n})}\) (\(\Sigma \subset \overline{B^{m}(\sqrt{2n})}\)), then \(2n-|X|^2\le 0\) (\(2n-|X|^2\ge 0\)). By (10), it follows that \(2n-|X|^2= 0,\) i.e. \(\Sigma \subset S^{m-1}(\sqrt{2n}).\) Since \(\Sigma \) is proper, it must be compact.
The case of \(n=m-1\) is obvious. \(\square \)
The following theorem can be seen as an arbitrary codimension version of Theorem 1 in [26]. Here the proof is also applied to the case of self-shrinkers that are outside of spheres.
Theorem 12
-
1.
Any complete self-shrinker \(\Sigma ^n\) properly immersed in \({\mathbb {R}}^m, m>n,\) intersects all members of the collection \( {{\mathcal {C}}}\) given by
$$\begin{aligned} {{\mathcal {C}}} := \{S^{m-1}(a, \sqrt{2n + |a|^2}): a\ {\text { is a vector in}}\ {\mathbb {R}}^m\}. \end{aligned}$$ -
2.
If the \(\Sigma \) lies in \(\overline{B^m(a,\sqrt{2n + |a|^2})}\) or in \({\mathbb {R}}^m-B^m(a,\sqrt{2n + |a|^2})\) then \(\Sigma \subset S^{m-1}(a,\sqrt{2n + |a|^2}).\) Moreover, if \(n=m-1,\) then \(\Sigma \) is the sphere \(S^{n}(\sqrt{2n}).\)
Proof
From (9), it follows that
Therefore, (10) and (11) yields
The theorem is proved easily by some arguments as in the proof of Theorem 11. Note that, for codimension 1 case, the sphere \(S^{n}(a,\sqrt{2n + |a|^2})\) is a self-shrinker if and only if \(a=0.\)
\(\square \)
Remark 13
Theorem 5.1 in [12] shows another version of Theorem 11, where self-shrinkers are assumed to be parabolic instead of proper. And a different proof of Theorem 11, stated in terms of \(\lambda \)-self-shrinkers, was also done in [12] (Theorem 6.3).
3.3 Halfspace type results w. r. t. cylinders
Theorem 14
[Self-shrinker inside a hypercylinder] Let \(k \in \{m-n, m-n+1,\ldots , m-2\}, p=m-k-1\) and \(R=\sqrt{2(n-p)}.\) If \(\Sigma \) is inside the closed cylinder \(\overline{B^{k+1}(R)}\times {\mathbb {R}}^p,\) then \(\Sigma \subset S^{k}(R)\times {\mathbb {R}}^p .\)
Proof
By (5)
Applying Theorem 6 with \(F=x_ie_i^T, \) we have (see [7] for the case of codimension 1, also see [1])
Let \(\{e_1,e_2,\ldots , e_m\}\) be the standard basis in \({\mathbb {R}}^m,\) where \(\{e_1, e_2, \ldots , e_{k+1}\}\subset {\mathbb {R}}^{k+1}\) and \(\{e_{k+2}, e_{k+3}, \ldots , e_{m}\}\subset {\mathbb {R}}^{p}.\) Denote \(X=(u, v),\) where \(u\in {\mathbb {R}}^{k+1}, v\in {\mathbb {R}}^p.\)
Since \(|e_i^T|^2=1-|e_i^N|^2,\) it follows that
The assumption that \(\Sigma \) is inside the closed cylinder \(\overline{B^{k+1}(R)}\times {\mathbb {R}}^p,\) means
Therefore,
i.e. \(\Sigma \subset S^{k}(R)\times {\mathbb {R}}^p .\) \(\square \)
Remark 15
-
1.
We see in the above proof that \(e_i^N=0,\) i.e. \(e_i=e_i^T, i=k+2,\ldots , m.\) Therefore, \(\Sigma =\Gamma \times {\mathbb {R}}^p,\) where \(\Gamma \subset S^{k}\) is an \((n-p)\)-dimensional self-shrinker, i.e. an \((n-p)\)-dimensional minimal submanifold of \(S^{k}.\)
-
2.
If \(n=m-1,\) then \(\Sigma =S^{k}(\sqrt{2k})\times {\mathbb {R}}^{n-k}\) ( [2], Theorem 1.2).
Theorem 16
[Self-shrinker outside a hypercylinder] Let \(k \in \{1, 2,. . . , n\}.\) If \(\Sigma \) is contained in \(\overline{E^{k+1}(\sqrt{2k})}\times {\mathbb {R}}^{m-k-1},\) then \(\Sigma \subset S^{k}(\sqrt{2k})\times {\mathbb {R}}^{m-k-1}.\)
Proof
Let \(u=\sum _{i=1}^{k+1}x_ie_i.\) By (7)
It is not hard to check that
Indeed, we have
Applying Theorem 6 with \(\displaystyle F=\frac{1}{|u|}u^T,\)
But the assumption that \(\Sigma \) is in \(\overline{E^{k+1}(\sqrt{2k})}\times {\mathbb {R}}^{m-k-1}\) means
Therefore, \(|u|^2-2k=0,\) i.e. \(\Sigma \subset S^{k}(\sqrt{2k})\times {\mathbb {R}}^{m-k-1}.\) \(\square \)
Remark 17
If \(n=m-1,\) then \(\Sigma =S^{k}(\sqrt{2k})\times {\mathbb {R}}^{n-k}\) ( [2], Theorem 1.3).
With the same arguments as in the proof of Theorem 12, we have the following theorem (see Colollary 1, [26] for the case of codimension 1).
Theorem 18
-
1.
If the self-shrinker \(\Sigma ^n\) lies inside the closed cylinder
$$\begin{aligned} \overline{B^{k+1}(a,\sqrt{2(n-p)+|a|^2}})\times {\mathbb {R}}^p, \end{aligned}$$where \(a\in {\mathbb {R}}^{k+1},\) then \(\Sigma \subset S^{k}(a,\sqrt{2(n-p)+|a|^2})\times {\mathbb {R}}^p.\) Moreover, if \(n=m-1,\) then \(\Sigma =S^{k}(\sqrt{2k})\times {\mathbb {R}}^{n-k}.\)
-
2.
The self-shrinker cannot lie outside the closed cylinder
$$\begin{aligned} \overline{B^{k+1}(a,\sqrt{2(k+1)+|a|^2}})\times {\mathbb {R}}^p, \end{aligned}$$for any vector a in \({\mathbb {R}}^{k+1}.\)
References
Arezzo, C., Sun, J.: Self-shrinkers for the mean curvature flow in arbitrary codimension. Math. Z. 274(3–4), 993–1027 (2013)
Cavalcante, M.P., Espinar, J.M.: Halfspace type theorems for self-shrinkers. Bull. Lond. Math. Soc. 48(2), 242–250 (2016)
Cheng, Q.-M., Peng, Y.: Complete self-shrinkers of the mean curvature flow. Calc. Var. Partial Differ. Equ. 52(3–4), 497–506 (2015)
Cheng, X., Zhou, D.: Volume estimate about shrinkers. Proc. Am. Math. Soc. 141(2), 687–696 (2013)
Colding, T.H., Minicozzi, W.P., II.: A Course in Minimal Surfaces, Graduate Studies in Mathematics, vol. 121. American Mathematical Society, Providence (2011)
Colding, T.H., Minicozzi, W.P., II.: Smooth compactness of self-shrinkers. Comment. Math. Helv. 87(2), 463–475 (2012)
Colding, T.H., Minicozzi, W.P.: Generic mean curvature flow I generic singularities. Ann. Math. 175(2), 755–833 (2012)
Daniel, B., Hauswirth, L.: Half-space theorem, embedded minimal annuli and minimal graphs in the Heisenberg group. Proc. Lond. Math. Soc. 98(2), 445–470 (2009)
Daniel, B., Meeks, W.H., III., Rosenberg, H.: Half-space theorems for minimal surfaces in \({\rm Nil}_3\) and \({\rm Sol}_3,\). J. Differ. Geom. 88(1), 41–59 (2011)
Ding, Q., Xin, Y.L.: Volume growth, eigenvalue and compactness for self-shrinkers. Asian J. Math. 17(3), 443–456 (2013)
Ecker, K., Huisken, G.: Mean curvature evolution of entire graphs. Ann. Math. 130, 453–471 (1989)
Gimeno, V., Palmer, V.: Parabolicity, Brownian exit time and properness of solitons of the direct and inverse mean curvature flow. J. Geom. Anal. 31(1), 579–618 (2021)
Hieu, D.T.: A weighted volume estimate and its application to Bernstein type theorems in Gauss space Colloq. Math. 159(1), 25–28 (2020)
Hoffman, D., Meeks, W.H., III.: The strong halfspace theorem for minimal surfaces. Invent. Math. 101(2), 373–377 (1990)
Hurtado, A., Palmer, V., Rosales, C.: Parabolicity criteria and characterization results for submanifolds of bounded mean curvature in model manifolds with weights. Nonlinear Anal. 192, 111681 (2020)
Huisken, G.: Asymptotic behavior for singularities of the mean curvature flow. J. Differ. Geom. 31(1), 285–299 (1990)
Huisken, G.: Local and global behaviour of hypersurfaces moving by mean curvature, In: Greene, R., Yau, S.T. (eds.), Differential Geometry: Partial Differential Equations on Manifolds, Los Angeles, Proceedings of Symposium on Pure Mathematics, vol. 54, Amer. Math. Soc, Providence (1990)
Impera, D., Pigola, S., Rimoldi, M.: The Frankel property for self-shrinkers from the viewpoint of elliptic PDE’s. J. Reine Angew. Math. 773, 1–20 (2021)
Mazet, L.: A general halfspace theorem for constant mean curvature surfaces. Am. J. Math. 135, 801–834 (2013)
Nelli, B., Sa Earp, R.: A halfspace theorem for mean curvature \(H = 1/2\) surfaces in \(H^2\times {\mathbb{R} }\). J. Math. Anal. Appl. 365(1), 167–170 (2010)
Pigola, S., Rimoldi, M.: Complete self-shrinkers confined into some regions of the space. Ann. Global Anal. Geom. 45, 47–65 (2014)
Rodriguez, L., Rosenberg, H.: Half-space theorems for mean curvature one surfaces in hyperbolic space. Proc. Am. Math. Soc. 126(9), 2755–2762 (1998)
Rosenberg, H., Schultze, F., Spruck, J.: The halfspace property and entire minimal graphs in \(M \times {\mathbb{R} },\). J. Differ. Geom. 95, 321–336 (2013)
Smoczyk, K.: Self-shrinkers of the mean curvature flow in arbitrary codimension. Int. Math. Res. Not. 48, 2983–3004 (2005)
Xin, Y.: Minimal Submanifolds and Related Topics, [MR2035469], 2nd edn. Nankai Tracts in Mathematics, vol. 16, World Scientific Publishing Co. Pte. Ltd., Hackensack (2019)
Vieira, M., Zhou, D.: Geometric properties of self-shrinkers in cylinder shrinking Ricci solitons. J. Geom. Anal. 28(1), 170–189 (2018)
Wang, L.: A Bernstein type theorem for self-similar shrinkers. Geom. Dedicata 151, 297–303 (2011)
Acknowledgements
The authors would like to thank the reviewer for carefully reading the paper and for his/her valuable comments and suggestions which helped to improve the manuscript.
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
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Doan, H.T., Nguyen, D.T.M. Halfspace type theorems for self-shrinkers in arbitrary codimension. Collect. Math. 75, 425–435 (2024). https://doi.org/10.1007/s13348-023-00393-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13348-023-00393-w