In this paper we obtain an analogue of Toponogov theorem in dimension 3 for compact manifolds $M^3$ with nonnegative Ricci curvature and strictly convex boundary $\partial M$. Here we obtain a sharp upper bound for the length $L(\partialΣ)$ of the boundary $\partialΣ$ of a free boundary minimal surface $Σ^2$ in $M^3$ in terms of the genus of $Σ$ and the number of connected components of $\partialΣ$, assuming $Σ$ has index one. After, under a natural hypothesis on the geometry of $M$ along $\partial M$, we prove that if $L(\partialΣ)$ saturates the respective upper bound, then $M^3$ is isometric to the Euclidean 3-ball and $Σ^2$ is isometric to the Euclidean disk. In particular, we get a sharp upper bound for the area of $Σ$, when $M^3$ is a strictly convex body in $\mathbb R^3$, which is saturated only on the Euclidean 3-balls (by the Euclidean disks). We also consider similar results for stationary stable surfaces.
We prove that every entire self-shrinking solution on $\mathbb{C}^n$ to the Kähler-Ricci flow with strictly real convex potential must be quadratic. The very same argument also gives a pointwise proof for the rigidity of entire self-shrinking solutions to Lagrangian mean curvature flow in pseudo-Euclidean space obtained by Q. Ding and Y.L. Xin. Furthermore, we show that our argument works for a larger class of equations.
We prove rigidity of oriented isometric immersions of complete surfaces in the homo- geneous 3-manifolds E(k; τ) (different from the space forms) having the same positive extrinsic curvature.
We prove entropy rigidity for finite volume strictly convex projective manifolds in dimensions $\geq 3$, generalizing the work of arXiv:1708.03983 to the finite volume setting. The rigidity theorem uses the techniques of Besson, Courtois, and Gallot's entropy rigidity theorem. It implies uniform lower bounds on the volume of any finite volume strictly convex projective manifold in dimensions $\geq 3$.
Let (M, g) be a compact Einstein manifold with non-empty boundary. We prove that Killing fields at the boundary extend to Killing fields of any (M, g) provided the boundary is weakly convex and a simple condition on the fundamental group holds. This gives a new proof of the classical infinitesimal rigidity of convex surfaces in Euclidean space and generalizes the result to Einstein metrics of any dimension.
We prove that all entire smooth strictly convex self-shrinking solutions on $\mathbb{R}^n$ to the Hessian quotient flows must be quadratic. This generalizes the rigidity theorem for entire self-shrinking solutions to the Lagrangian mean curvature flow in pseudo-Euclidean space due to Ding-Xin \cite{DX}. Moreover, we show that our argument works for a larger class of equations. In particular, we obtain rigidity results for entire self-shrinking solutions on $\mathbb{C}^n$ to the Kähler-Ricci flow under certain conditions.
The main motivation here is a question: whether any polyhedron which can be subdivided into convex pieces without adding a vertex, and which has the same vertices as a convex polyhedron, is infinitesimally rigid. We prove that it is indeed the case for two classes of polyhedra: those obtained from a convex polyhedron by ``denting'' at most two edges at a common vertex, and suspensions with a natural subdivision.
It was proved in \cite{NS1} that obstacles $K$ in $\R^d$ that are finite disjoint unions of strictly convex domains with $C^3$ boundaries are uniquely determined by the travelling times of billiard trajectories in their exteriors and also by their so called scattering length spectra. However the case $d = 2$ is not properly covered in \cite{NS1}. In the present paper we give a separate different proof of the same result in the case $d = 2$.
The paper is centered around a new proof of the infinitesimal rigidity of smooth closed surfaces with everywhere positive Gauss curvature. We use a reformulation that replaces deformation of an embedding by deformation of the metric inside the body bounded by the surface. The proof is obtained by studying derivatives of the Hilbert-Einstein functional with boundary term. This approach is in a sense dual to proving the Gauss infinitesimal rigidity, that is rigidity with respect to the Gauss curvature parametrized by the Gauss map, by studying derivatives of the volume bounded by the surface. We…
In this paper we consider the lens rigidity problem with partial data for conformal metrics in the presence of a magnetic field on a compact manifold of dimension $\geq 3$ with boundary. We show that one can uniquely determine the conformal factor and the magnetic field near a strictly convex (with respect to the magnetic geodesics) boundary point where the lens data is accessible. We also prove a boundary rigidity result with partial data assuming the lengths of magnetic geodesics joining boundary points near a strictly convex boundary point are known. The local lens rigidity result also lead…
Self-shrinkers model singularities of the mean curvature flow; they are defined as the special solutions that contract homothetically under the flow. Colding-Ilmanen-Minicozzi showed that cylindrical self-shrinkers are rigid in a strong sense - that is, any self-shrinker that is mean convex with uniformly bounded curvature on a large, but compact, set must be a round cylinder. Using this result, Colding and Minicozzi were able to establish uniqueness of blowups at cylindrical singularities, and provide a detailed description of the singular set of generic mean curvature flows. In this paper, w…
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 introduce a new family of affine metrics on a locally strictly convex surface $M$ in affine 4-space. Then, we define the symmetric and antisymmetric equiaffine planes associated with each metric. We show that if $M$ is immersed in a locally strictly convex hyperquadric, then the symmetric and the antisymmetric planes coincide and contain the affine normal to the hyperquadric. In particular, any surface immersed in a locally strictly convex hyperquadric is affine semiumbilical with respect to the symmetric or antisymmetric equiaffine planes.
In this paper, we give some rigidity results for both harmonic and pseudoharmonic maps from CR manifolds into Riemannian manifolds or Kahler manifolds. Some basicity, pluriharmonicity and Siu-Sampson type results are established for both harmonic maps and pseudoharmonic maps.
In [AMW], it is proved that if a compact $3$-manifold has positive Ricci curvature and strictly convex boundary, then this manifold is diffeomorphic to the standard $3$-dimensional Euclidean disk. In this paper, we prove its higher-dimensional generalization: if a compact $n$-manifold has positive curvature operator and strictly convex boundary, then this manifold is diffeomorphic to the standard $n$-dimensional Euclidean disk.
The Stoker problem, first formulated in 1968, consists in understanding to what extent a convex polyhedron is determined by its dihedral angles. By means of the double construction, this problem is intimately related to rigidity issues for 3-dimensional cone-manifolds. In a former paper, two such rigidity results were proven, implying that the infinitesimal version of the Stoker conjecture is true in the hyperbolic and Euclidean cases. In this second article, we prove that local rigidity holds and obtain that the space of convex hyperbolic polyhedra with given combinatorial type is locally par…
This paper deals with Hopf type rigidity for convex billiards on surfaces of constant curvature. We prove that the only convex billiard without conjugate points on the Hyperbolic plane or on the Hemisphere is circular billiard.
In a complete simply connected Riemannian manifold X of pinched negative curvature, we give a sharp criterion for a subset C to be the epsilon-neighbourhood of some convex subset of X, in terms of the extrinsic curvatures of the boundary of C.
In contrast to the many examples of convex divisible domains in real projective space, we prove that up to projective isomorphism there is only one convex divisible domain in the Grassmannian of $p$-planes in $\mathbb{R}^{2p}$ when $p > 1$. Moreover, this convex divisible domain is a model of the symmetric space associated to the simple Lie group SO$(p, p)$.
We survey the main extensions of the classical Hadamard, Liebmann and Cohn-Vossen rigidity theorems on convex surfaces of $3$-Euclidean space to the context of convex hypersurfaces of Riemannian manifolds. The results we present include the one by Professor Renato Tribuzy (in collaboration with H. Rosenberg) on rigidity of convex surfaces of homogeneous $3$-manifolds.
We prove a local splitting theorem for three-manifolds with mean convex boundary and scalar curvature bounded from below that contain certain locally area-minimizing free boundary surfaces. Our methods are based on those of Micallef and Moraru. We use this local result to establish a global rigidity theorem for area-minimizing free boundary disks. In the negative scalar curvature case, this global result implies a rigidity theorem for solutions of the Plateau problem with length-minimizing boundary.
We consider the existence problem for `Steiner networks' (trivalent graphs with 120 degree angles at each junction) in strictly convex domains, with `Neumann' boundary conditions (orthogonal intersection with the domain boundary.) For each of the three possible combinatorial possibilities, sufficient conditions on the domain are derived for existence; in addition, in each case explicit examples of nonexistence are given.
The paper is centered around a new proof of the infinitesimal rigidity of convex polyhedra. The proof is based on studying derivatives of the discrete Hilbert-Einstein functional on the space of "warped polyhedra" with a fixed metric on the boundary. This approach is in a sense dual to using derivatives of the volume in order to prove the Gauss infinitesimal rigidity of convex polyhedra, which deals with deformations that preserve face normals and face areas. In the spherical and in the hyperbolic-de Sitter space, there is a perfect duality between the Hilbert-Einstein functional and the volum…
Consider a strictly convex bounded regular domain $C$ of $\R^3$. For any arbitrary finite topological type we find a compact Riemann surface $\mathcal{M}$, an open domain $M\subset \mathcal{M}$ with the fixed topological type, and a conformal complete proper minimal immersion $X:M\to C$ which can be extended to a continuous map $X:\overline{M}\to \overline{C}$.
An open convex set in real projective space is called divisible if there exists a discrete group of projective automorphisms which acts co-compactly. There are many examples of such sets and a theorem of Benoist implies that many of these examples are strictly convex, have $C^1$ boundary, and have word hyperbolic dividing group. In this paper we study a notion of convexity in complex projective space and show that the only divisible complex convex sets with $C^1$ boundary are the projective balls.
We consider the volume expansion of the Blaschke metric, which is a projectively invariant metric on a strictly convex domain in a locally flat projective manifold. When the boundary is even dimensional, we express the logarithmic coefficient L as the integral of affine invariants over the boundary. We also formulate an intrinsic geometry of the boundary as a conformal Codazzi structure and show that L gives a global conformal invariant of the boundary.
In this paper we show that many projective Anosov representations act convex cocompactly on some properly convex domain in real projective space. In particular, if a non-elementary word hyperbolic group is not commensurable to a non-trivial free product or the fundamental group of a closed hyperbolic surface, then any projective Anosov representation of that group acts convex cocompactly on some properly convex domain in real projective space. We also show that if a projective Anosov representation preserves a properly convex domain, then it acts convex cocompactly on some (possibly different)…
For an $n$-dimensional real hyperbolic manifold $M$, we calculate the Zariski tangent space of a character variety $χ(π_1(M),SL(n+1,\mathbb R)), n>2$ at Fuchisan loci to show that the tangent space consists of cubic forms. Furthermore we prove the Weil's local rigidity theorem for uniforml hyperbolic lattices using real projective structures.
We show that a compact Riemannian $3$-manifold $M$ with strictly convex simply connected boundary and sectional curvature $K\leq a\leq 0$ is isometric to a convex domain in a complete simply connected space of constant curvature $a$, provided that $K\equiv a$ on planes tangent to the boundary of $M$. This yields a characterization of strictly convex surfaces with minimal total curvature in Cartan-Hadamard $3$-manifolds, and extends some rigidity results of Greene-Wu, Gromov, and Schroeder-Strake. Our proof is based on a recent comparison formula for total curvature of Riemannian hypersurfaces,…
In this paper a compact Riemannian manifold with strictly convex boundary is reconstructed from its partial travel time data. This data assumes that an open measurement region on the boundary is given, and that for every point in the manifold, the respective distance function to the points on the measurement region is known. This geometric inverse problem has many connections to seismology, in particular to micro seismicity. The reconstruction is based on embedding the manifold in a function space. This requires the differentiation of the distance functions. Therefore this paper also studies s…
We study the boundary rigidity problem with partial data consisting of determining locally the Riemannian metric of a Riemannian manifold with boundary from the distance function measured at pairs of points near a fixed point on the boundary. We show that one can recover uniquely and in a stable way a conformal factor near a strictly convex point where we have the information. In particular, this implies that we can determine locally the isotropic sound speed of a medium by measuring the travel times of waves joining points close to a convex point on the boundary. The local results lead to a g…
We show that, on an oriented compact surface, two sufficiently $C^2$-close Riemannian metrics with strictly convex boundary, no conjugate points, hyperbolic trapped set for their geodesic flows, and same marked boundary distance, are isometric via a diffeomorphism that fixes the boundary. We also prove that the same conclusion holds on a compact surface for any two negatively curved Riemannian metrics with strictly convex boundary and same marked boundary distance, extending a result of Croke and Otal.
We study the boundary and lens rigidity problems on domains without assuming the convexity of the boundary. We show that such rigidities hold when the domain is a simply connected compact Riemannian surface without conjugate points. For the more general class of non-trapping compact Riemannian surfaces with no conjugate points, we show lens rigidity. We also prove the injectivity of the X-ray transform on tensors in a variety of settings with non-convex boundary and, in some situations, allowing a non-empty trapped set.
A compact Fuchsian manifold with boundary is a hyperbolic 3-manifold homeomorphic to $S_g \times [0; 1]$ such that the boundary component $S_g \times \{ 0\}$ is geodesic. We prove that a compact Fuchsian manifold with convex boundary is uniquely determined by the induced path metric on $S_g \times \{1\}$. We do not put further restrictions on the boundary except convexity.
We prove splitting theorems for mean convex open subsets in RCD (Riemannian curvature-dimension) spaces that extend results by Kasue, Croke and Kleiner for Riemannian manifolds with boundary to a non-smooth setting. A corollary is for instance Frankel's theorem. Then, we prove that our notion of mean curvature bounded from below for the boundary of an open subset is stable w.r.t. to uniform convergence of the corresponding boundary distance function. We apply this to prove almost rigidity theorems for uniform domains whose boundary has a lower mean curvature bound.
Let $P \subset \R^3$ be a polyhedron. It was conjectured that if $P$ is weakly convex (i. e. its vertices lie on the boundary of a strictly convex domain) and decomposable (i. e. $P$ can be triangulated without adding new vertices), then it is infinitesimally rigid. We prove this conjecture under a weak additional assumption of codecomposability. The proof relies on a result of independent interest concerning the Hilbert-Einstein function of a triangulated convex polyhedron. We determine the signature of the Hessian of that function with respect to deformations of the interior edges. In partic…
Let $P$ be a (non necessarily convex) embedded polyhedron in $\R^3$, with its vertices on an ellipsoid. Suppose that the interior of $P$ can be decomposed into convex polytopes without adding any vertex. Then $P$ is infinitesimally rigid. More generally, let $P$ be a polyhedron bounding a domain which is the union of polytopes $C_1, ..., C_n$ with disjoint interiors, whose vertices are the vertices of $P$. Suppose that there exists an ellipsoid which contains no vertex of $P$ but intersects all the edges of the $C_i$. Then $P$ is infinitesimally rigid. The proof is based on some geometric prop…
Under the assumption that the X-ray transform over symmetric solenoidal 2-tensors is injective, we prove that smooth compact connected manifolds with strictly convex boundary, no conjugate points and a hyperbolic trapped set are locally marked boundary rigid.
