Abstract:In this article we extend an unknottedness theorem for compact self shrinkers to the mean curvature flow to shrinkers with one asymptotically conical end, which conjecturally comprises the entire set of self shrinkers with finite topology and one end. The mean curvature flow itself is used in the argument presented.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper attempts to solve the problem of the topological properties of noncompact self - shrinkers, especially whether they are "unknotted". Specifically, the author extends the previous unknottedness theorem for compact self - shrinkers and applies it to noncompact self - shrinkers with finite topology and a single asymptotic conical end.
### Main contributions
1. **Extension of the unknottedness theorem**:
- The author proves that for a two - dimensional embedded self - shrinker \( M^2\subset\mathbb{R}^3\), if it is compact or has a single asymptotic conical end, then \( M\) is topologically standard (i.e., unknotted).
- This result extends the previous unknottedness theorem and makes it applicable to a wider range of self - shrinker types.
2. **Use of mean curvature flow**:
- The author uses the renormalized mean curvature flow (RMCF) to prove this result. By constructing an appropriate flow and using the properties of the flow, the author shows that if a self - shrinker is topologically non - standard, then a contradiction can be derived from the properties of the flow.
3. **Technical details**:
- The author discusses in detail how to deal with the technical difficulties of noncompact self - shrinkers, including how to define and construct the surgery flow, and how to use the pseudolocality theorem to control the behavior of the flow.
- Through these technical means, the author successfully proves that under specific conditions, noncompact self - shrinkers are also unknotted.
### Formulas and symbols
- **Definition of self - shrinkers**:
- A self - shrinker \( M^n\subset\mathbb{R}^{n + 1}\) satisfies one of the following equivalent definitions:
1. \( H-\langle X,\nu\rangle/2 = 0\), where \( X\) is the position vector.
2. A minimal hypersurface under the Gaussian metric \( G_{ij}=e^{-|x|^2/2n}\delta_{ij}\).
3. The ancient flow \( M_t\) generated by the hypersurface \( M\) satisfies \( M_t=\sqrt{-t}M\) (\( t < 0\)) through scaling motion.
- **Renormalized mean curvature flow**:
- The renormalized mean curvature flow \(\frac{dX}{dt}=\vec{H}+\frac{X}{2}\).
- Geometrically equivalent to \(\frac{dX}{dt}=-(H - \langle X,\nu\rangle/2)\nu\).
- **Gaussian area**:
- The Gaussian area function \( F_{x_0,r}(M)\) is defined as the area under the Gaussian metric, and after translation and scaling, the maximum is taken \(\lambda(M)=\sup_{x_0,r}F_{x_0,r}(M)\).
- **Curvature condition**:
- For an asymptotic conical hypersurface \( M\), there exist constants \( c,\alpha> 0\) such that \( H-\langle X,\nu\rangle/2\geq c(1 + |X|^2)^{-\alpha}\).
### Conclusion
Through the above techniques and methods, the author successfully proves that noncompact self - shrinkers with finite topology and a single asymptotic conical end are unknotted. This result not only extends the previous unknottedness theorem but also provides a new perspective for understanding the topological properties of noncompact self - shrinkers.