The purpose of this article is to prove that, under suitable constrains on the electrovacuum spacetime $M$, if $Σ\subset M$ is an embedded strictly stable minimal two-sphere which locally maximizes the charged Hawking mass, then there exist a neighborhood of it in $M$ isometric to the Reissner-Nordström-de Sitter space. At the same time, motived by \cite{Brendle}, we will deduce an estimate for area of a two-sphere which is locally area minimizing in an electrovacuum spacetime. Moreover, if the equality holds, then there exist a neighborhood of it in $M$ isometric to the charged Nariai space.
We show a uniqueness result for the n-dimensional spatial Reissner-Nordström manifold: a static, electrovacuum, asymptotically flat system which is asymptotically Reissner-Nordström is a subextremal Reissner-Nordström manifold with positive mass, provided that its inner boundary is a (possibly disconnected) photon sphere that fulfils a suitably defined quasilocal subextremality condition. Our result implies a number of earlier uniqueness results for the Schwarzschild and the Reissner-Nordström manifolds in the static, (electro-)vacuum, asymptotically flat context, both for photon sphere and bl…
We revisit the problem of extension of a Killing vector field in a spacetime which is solution to the Einstein-Maxwell equation. This extension has been proved to be unique in the case of a Killing vector field which is normal to a bifurcate horizon by Yu. Here we generalize the extension of the vector field to a strong null convex domain in an electrovacuum spacetime, inspired by the same technique used by Ionescu-Klainerman in the setting of Ricci flat manifolds. We also prove a result concerning non-extendibility: we show that one can find local, stationary electrovacuum extension of a Kerr…
We prove a topological rigidity theorem for closed hypersurfaces of the Euclidean sphere and of an elliptic space form. It asserts that, under a lower bound hypothesis on the absolute value of the principal curvatures, the hypersurface is diffeomorphic to a sphere or to a quotient of a sphere by a group action. We also prove another topological rigidity result for hypersurfaces of the sphere that involves the spherical image of its usual Gauss map.
We consider the mean curvature rigidity problem of an equatorial zone on a sphere which is symmetric about the equator with width $2w$. There are two different notions on rigidity, i.e. strong rigidity and local rigidity. We prove that for each kind of these rigidity problems, there exists a critical value such that the rigidity holds true if, and only if, the zone width is smaller than that value. For the rigidity part, we used the tangency principle and a specific lemma (the trap-slice lemma we established before). For the non-rigidity part, we construct the nontrivial perturbations by a glu…
We prove that the least area of the non-contractible immersed spheres is no more than $4π$ in any oriented compact manifold with dimension $n+2\leq 7$ which satisfies $R\geq 2$ and admits a map to $\mathbf S^2\times T^n$ with nonzero degree. We also prove a rigidity result for the equality case. This can be viewed as a generalization of the result in [2] to higher dimensions.
In this paper, we prove the global rigidity of sphere packings on 3-dimensional manifolds. This is a 3-dimensional analogue of the rigidity theorem of Andreev-Thurston and was conjectured by Cooper and Rivin. We also prove a global rigidity result using a combinatorial scalar curvature introduced by Ge and the author.
Geometry of conformal minimal two-spheres immersed in $G(2,6;\mathbb{R})$ is studied in this paper by harmonic maps. We construct a non-homogeneous constant curved minimal two-sphere in $G(2,6;\mathbb{R})$, and give a classification theorem of linearly full conformal minimal immersions of constant curvature from $S^2$ to $G(2,6;\mathbb{R})$, or equivalently, a complex hyperquadric $Q_{4}$, which illustrates minimal two-spheres of constant curvature in $Q_{4}$ are in general not congruent.
We show that the product of two round shrinking spheres is an isolated self-shrinker in any codimension, modulo rotations. Moreover we prove explicit Łojasiewicz inequalities near such products. Łojasiewicz inequalities were previously used by Schulze to prove uniqueness of tangent mean curvature flows at compact shrinkers; our results provide an explicit rate of convergence to products of two spheres.
A differential operator introduced by A. Gray on the unit sphere bundle of a Kähler-Einstein manifold is studied. A lower bound for the first eigenvalue of the Laplacian for the Sasaki metric on the unit sphere bundle of a Kähler-Einstein manifold is derived. Some rigidity theorems classifying complex space forms amongst compact Hermitian surfaces and the product of two projective lines amongst all Kähler-Einstein surfaces are then derived.
We consider a class of overdetermined problems in rotationally symmetric spaces, which reduce to the classical Serrin's overdetermined problem in the case of the Euclidean space. We prove some general integral identities for rotationally symmetric spaces which imply a rigidity result in the case of the round sphere.
A contact stationary Legendrian submanifold (briefly, CSL submanifold) is a stationary point of the volume functional of Legendrian submanifolds in a Sasakian manifold. Much effort has been paid in the last two decades to construct examples of such manifolds, mainly by geometers using various geometric methods. But we have rare knowledge about their geometric properties till now. Recently, Y. Luo (\cite{ Luo2, Luo1}) proved that a closed CSL surface in $\mathbb{S}^5$ with the square length of its second fundamental form belonging to $[0,2]$ must be totally geodesic or be a flat minimal Legendr…
We prove a suite of asymptotically sharp quadratic curvature pinching estimates for mean curvature flow in the sphere which generalize Simons' rigidity theorem for minimal hypersurfaces. We then obtain derivative estimates for the second fundamental form which we utilize, via a compactness argument, to obtain a convexity estimate. Together, the convexity and cylindrical estimates yield a partial classification of singularity models. We also obtain new rigidity results for ancient solutions.
We provide an extension of Obata's theorem to Finsler geometry and establish some rigidity results based on a second order differential equation. Mainly, we prove that every complete connected Finsler manifold of positive constant flag curvature is isometrically homeomorphic to an Euclidean sphere endowed with a certain Finsler metric and vice versa. Based on these results, we present a classification of Finsler manifolds which admit a transnormal function. Specifically, we show that if a complete Finsler manifold admits a transnormal function with exactly two critical points, then it is homeo…
Let $M$ be an $n(\geq 4)$-dimensional compact submanifold in the simply connected space form $F^{n+p}(c)$ with constant curvature $c\geq 0$, where $H$ is the mean curvature of $M$. We verify that if the scalar curvature of $M$ satisfies $R>n(n-2)(c+H^2)$, and if $Ric_M\geq (n-2-\frac{2σ_n}{2n-σ_n})(c+H^2)$, then $M$ is homeomorphic to a sphere. Here $σ_n=sgn(n-4)((-1)^n+3)$, and $sgn(\cdot)$ is the standard sign function. This improves our previous sphere theorem \cite{XG2}. It should be emphasized that our pinching conditions above are optimal. We also obtain some new topological sphere theor…
We prove rigidity for hypersurfaces with boundary in the unit $(n+1)$-sphere with scalar curvature bounded below by $n(n-1)$. Under appropriate boundary conditions, the hypersurfaces are shown to be part of the equatorial spheres. The lower bound $n(n-1)$ is critical in the sense that the hypersurface may contain geodesic points and some natural differential operators are fully degenerate at geodesic points. We overcome the difficulty by studying the geometry of level sets of a height function, via new geometric inequalities. Some rigidity results of hyperplanes and generalized cylinders are a…
In this survey, we will focus on the mean curvature flow theory with sphere theorems, and discuss the recent developments on the convergence theorems for the mean curvature flow of arbitrary codimension inspired by the Yau rigidity theory of submanifolds. Several new differentiable sphere theorems for submanifolds are obtained as consequences of the convergence theorems for the mean curvature flow. It should be emphasized that Theorem 4.1 is an optimal convergence theorem for the mean curvature flow of arbitrary codimension, which implies the first optimal differentiable sphere theorem for sub…
Motivated by the Lipschitz rigidity problem in scalar curvature geometry, we prove that if a closed smooth spin manifold admits a distance decreasing continuous map of non-zero degree to a sphere, then either the scalar curvature is strictly less than the sphere somewhere or the map is a distance isometry. Moreover, the property also holds for continuous metrics with scalar curvature lower bound in some weak sense. This extends a result in the recent work of Cecchini-Hanke-Schick and answers a question of Gromov. The method is based on studying the harmonic map heat flow coupled with the Ricci…
Let $(M,g)$ be a compact manifold with boundary and $Ric_g\geq (n-1)g$, Hang and Wang proved that $(M,g)$ is isometric to the standard hemisphere if $\partial M$ is convex and isometric to $\mathbb{S}^{n-1}(1)$. We prove some rigidity theorems when $\partial M $ is isometric to a product manifold where one factor is the standard sphere.
Scalar-mean rigidity theorem and Llarull's theorem for nonspin manifolds
Beijing Institute of Mathematical Sciences and Applications（北京数学与交叉科学研究院）；Institute of Mathematics, Chinese Academy of Sciences（中国科学院数学研究所）；Department of Mathematics, Texas A&M University（德克萨斯农工大学数学系）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）
We study properties of non-minimal biharmonic hypersurfaces of spheres. The main result is a CMC Unique Continuation Theorem for biharmonic hypersurfaces of spheres. We then deduce new rigidity theorems to support the Conjecture that biharmonic submanifolds of Euclidean spheres must be of constant mean curvature.
Rigidity theorems for submetries in positive curvature
我们推导出子度量$f: M \to X$的一般结构和刚性定理，其中$M$是具有截面曲率的黎曼流形$\sec M \ge 1$。当应用于非平凡黎曼浸没时，可以得出$diam X \leq π/2 $。在相等的情况下，存在从单位球面的黎曼浸没$\mathbb{S} \to M$，并且作为结果，$f$已知直到度量同余。一个类似的刚性定理在黎曼叶理的一般情况下也成立。
In this paper, we study Lagrangian submanifolds of the homogeneous nearly Kähler $6$-dimensional unit sphere $\mathbb{S}^6(1)$. As the main result, we derive a Simons' type integral inequality in terms of the second fundamental form for compact Lagrangian submanifolds of $\mathbb{S}^6(1)$. Moreover, we show that the equality sign occurs if and only if the Lagrangian submanifold is either the totally geodesic $\mathbb{S}^3(1)$ or the Dillen-Verstraelen-Vrancken's Berger sphere $S^3$ discribed in J Math Soc Japan, 42: 565-584, 1990.
It is well-know that Hawking mass is nonnegative for a stable constant mean curvature ($CMC$) sphere in three manifold of nonnegative scalar curvature. R. Bartnik proposed the rigidity problem of Hawking mass of stable $CMC$ spheres. In this paper, we show partial rigidity results of Hawking mass for stable $CMC$ spheres in asymptotic flat ($AF$) manifolds with nonnegative scalar curvature. If the Hawking mass of a nearly round stable $CMC$ surface vanishes, then the surface must be standard sphere in $\mathbb{R}^3 $ and the interior of the surface is flat. The similar results also hold for as…
In a matter-filled spacetime, perhaps with positive cosmological constant, a stable marginally outer trapped 2-sphere must satisfy a certain area inequality. Namely, as discussed in the paper, its area must be bounded above by $4π/c$, where $c > 0$ is a lower bound on a natural energy-momentum term. We then consider the rigidity that results for stable, or weakly outermost, marginally outer trapped 2-spheres that achieve this upper bound on the area. In particular, we prove a splitting result for 3-dimensional initial data sets analogous to a result of Bray, Brendle and Neves [10] concerning a…
