No Arabic abstract
In this article, we will use the harmonic mean curvature flow to prove a new class of Alexandrov-Fenchel type inequalities for strictly convex hypersurfaces in hyperbolic space in terms of total curvature, which is the integral of Gaussian curvature on the hypersurface. We will also use the harmonic mean curvature flow to prove a new class of geometric inequalities for horospherically convex hypersurfaces in hyperbolic space. Using these new Alexandrov-Fenchel type inequalities and the inverse mean curvature flow, we obtain an Alexandrov-Fenchel inequality for strictly convex hypersurfaces in hyperbolic space, which was previously proved for horospherically convex hypersurfaces by Wang and Xia [44]. Finally, we use the mean curvature flow to prove a new Heintze-Karcher type inequality for hypersurfaces with positive Ricci curvature in hyperbolic space.
In the last 15 years, White and Huisken-Sinestrari developed a far-reaching structure theory for the mean curvature flow of mean convex hypersurfaces. Their papers provide a package of estimates and structural results that yield a precise description of singularities and of high curvature regions in a mean convex flow. In the present paper, we give a new treatment of the theory of mean convex (and k-convex) flows. This includes: (1) an estimate for derivatives of curvatures, (2) a convexity estimate, (3) a cylindrical estimate, (4) a global convergence theorem, (5) a structure theorem for ancient solutions, and (6) a partial regularity theorem. Our new proofs are both more elementary and substantially shorter than the original arguments. Our estimates are local and universal. A key ingredient in our new approach is the new non- collapsing result of Andrews. Some parts are also inspired by the work of Perelman. In a forthcoming paper, we will give a new construction of mean curvature flow with surgery based on the theorems established in the present paper.
We give a twistorial interpretation of geometric structures on a Riemannian manifold, as sections of homogeneous fibre bundles, following an original insight by Wood (2003). The natural Dirichlet energy induces an abstract harmonicity condition, which gives rise to a geometric gradient flow. We establish a number of analytic properties for this flow, such as uniqueness, smoothness, short-time existence, and some sufficient conditions for long-time existence. This description potentially subsumes a large class of geometric PDE problems from different contexts. As applications, we recover and unify a number of results in the literature: for the isometric flow of ${rm G}_2$-structures, by Grigorian (2017, 2019), Bagaglini (2019), and Dwivedi-Gianniotis-Karigiannis (2019); and for harmonic almost complex structures, by He (2019) and He-Li (2019). Our theory also establishes original properties regarding harmonic flows of parallelisms and almost contact structures.
We prove the mean curvature flow of a spacelike graph in $(Sigma_1times Sigma_2, g_1-g_2)$ of a map $f:Sigma_1to Sigma_2$ from a closed Riemannian manifold $(Sigma_1,g_1)$ with $Ricci_1> 0$ to a complete Riemannian manifold $(Sigma_2,g_2)$ with bounded curvature tensor and derivatives, and with sectional curvatures satisfying $K_2leq K_1$, remains a spacelike graph, exists for all time, and converges to a slice at infinity. We also show, with no need of the assumption $K_2leq K_1$, that if $K_1>0$, or if $Ricci_1>0$ and $K_2leq -c$, $c>0$ constant, any map $f:Sigma_1to Sigma_2$ is trivially homotopic provided $f^*g_2<rho g_1$ where $rho=min_{Sigma_1}K_1/sup_{Sigma_2}K_2^+geq 0$, in case $K_1>0$, and $rho=+infty$ in case $K_2leq 0$. This largely extends some known results for $K_i$ constant and $Sigma_2$ compact, obtained using the Riemannian structure of $Sigma_1times Sigma_2$, and also shows how regularity theory on the mean curvature flow is simpler and more natural in pseudo-Riemannian setting then in the Riemannian one.
We prove some non-existence theorems for translating solutions to Lagrangian mean curvature flow. More precisely, we show that translating solutions with an $L^2$ bound on the mean curvature are planes and that almost-calibrated translating solutions which are static are also planes. Recent work of D. Joyce, Y.-I. Lee, and M.-P. Tsui, shows that these conditions are optimal.
By studying the monotonicity of the first nonzero eigenvalues of Laplace and p-Laplace operators on a closed convex hypersurface $M^n$ which evolves under inverse mean curvature flow in $mathbb{R}^{n+1}$, the isoperimetric lower bounds for both eigenvalues were founded.