We study the structure of the set of algebraic curvature operators satisfying a sectional curvature bound under the light of the emerging field of Convex Algebraic Geometry. More precisely, we determine in which dimensions $n$ this convex semialgebraic set is a spectrahedron or a spectrahedral shadow; in particular, for $n\geq5$, these give new counter-examples to the Helton--Nie Conjecture. Moreover, efficient algorithms are provided if $n=4$ to test membership in such a set. For $n\geq5$, algorithms using semidefinite programming are obtained from hierarchies of inner approximations by spectrahedral shadows and outer relaxations by spectrahedra.
We examine algebraic conditions for the sectional positivity of the Riemann curvature operator. We describe sufficient conditions for dimension $n=4$, and complete characterization for a dense open subset of the space of operators in dimension $4$. We also briefly examine higher-dimentional curvature operators.
In this paper we prove that the only algebraic constant mean curvature (cmc) surfaces in R^3 of order less than four are the planes, the spheres and the cylinders. The method used heavily depends on the efficiency of algorithms to compute Groebner Bases and also on the memory capacity of the computer used to do the computations. We will also prove that the problem of finding algebraic constant mean curvature hypersurfaces in the Euclidean space completely reduces to the problem of solving a system of polynomial equations.
We prove that there are no regular algebraic hypersurfaces with non-zero constant mean curvature in the Euclidean space $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of odd degree. Also we prove that the hyperspheres and the round cylinders are the only regular algebraic hypersurfaces with non-zero constant mean curvature in $\mathbb R^{n+1}$, $n\geq 2$, defined by polynomials of degree less than or equal to three. These results give partial answers to a question raised by Barbosa and do Carmo.
We approximate boundaries of convex polytopes by smooth hypersurfaces $Y=Y_\varepsilon$ with {\it positive mean curvatures} and, by using basic geometric relations between the scalar curvatures of Riemannin manifolds and the mean curvatures of their boundaries, establish {\it lower bound on the dihedral angles} of these polytopes.
Let R be an algebraic curvature tensor for a non-degenerate inner product of signature(p,q) where q>4. If $π$ is a spacelike 2 plane, let $R(π)$ be the associated skew-symmetric curvature operator. We classify the algebraic curvature tensors so R(-) has constant rank 2 and show these are geometrically realizable by hypersurfaces in flat spaces. We also classify the Ivanov-Petrova algebraic curvature tensors of rank 2; these are the algebraic curvature tensors of constant rank 2 such that the complex Jordan normal form of R(-) is constant.
We investigate the existence, convergence and uniqueness of modified general curvature flow of convex hypersurfaces in hyperbolic space with a prescribed asymptotic boundary.
We study fully nonlinear geometric flows that deform strictly $k$-convex hypersurfaces in Euclidean space with pointwise normal speed given by a concave function of the principal curvatures. Specifically, the speeds we consider are obtained by performing a nonlinear interpolation between the mean and the $k$-harmonic mean of the principal curvatures. Our main result is a convexity estimate showing that, on compact solutions, regions of high curvature are approximately convex. In contrast to the mean curvature flow, the fully nonlinear flows considered here preserve $k$-convexity in a Riemannia…
We prove that any complete immersed globally orientable uniformly 2-convex translating soliton $Σ\subset \mathbb{R}^{n+1}$ for the mean curvature flow is locally strictly convex. It follows that a uniformly 2-convex entire graphical translating soliton in $\mathbb{R}^{n+1},\, n\geq 3 $ is the axisymmetric "bowl soliton".
We propose a new approach to the study of compact Riemannian manifolds with nonnegative Ricci curvature and strictly convex boundary or positive Ricci curvature and convex boundary. Several conjectures are formulated. Some partial results that support these conjectures are established.
On R^n endowed with a riemannian metric of bounded nonpositive curvature, the weakly convex closed subsets are topologically trivial. The stability of such subsets under intersection characterizes the euclidean spaces.
We prove the convexity estimates of Huisken-Sinestrari for finite-time singularities of mean-convex, mean curvature flow with free boundary in a barrier $S$. Here $S$ can be any properly embedded, oriented surface in $R^{n+1}$ of bounded geometry. We also give an alternative proof that convex mean curvature flows with free boundary in $S^n$ pinch to umbilic.
In this paper we find strictly locally convex hypersurfaces in $\mathbb{R}^{n+1}$ with prescribed curvature and boundary. The main result is that if the given data admits a strictly locally convex radial graph as a subsolution, we can find a radial graph realizing the prescribed curvature and boundary. As an application we show any smooth domain on the boundary of a compact strictly convex body can be deformed to a smooth hypersurface with the same boundary (inside the convex body) and realizing any prescribed curvature function smaller than the curvature of the body.
We study the 8 natural GL equivariant geometric realization questions for the space of generalized algebraic curvature tensors. All but one of them is solvable; a non-zero projectively flat Ricci antisymmetric generalized algebraic curvature is not geometrically realizable by a projectively flat Ricci antisymmetric torsion free connection.
In this paper, we generalize a previous result to higher dimension. We prove that uniformly 3-convex translating solitons of mean curvature flow in $\mathbb{R}^{n+1}$ which arise as blow up limit of embedded, mean convex mean curvature flow must have $SO(n-1)$ symmetry.
We consider convex hypersurfaces for which the ratio of principal curvatures at each point is bounded by a function of the maximum principal curvature with limit 1 at infinity. We prove that the ratio of circumradius to inradius is bounded by a function of the circumradius with limit 1 at zero. We apply this result to the motion of hypersurfaces by arbitrary speeds which are smooth homogeneous functions of the principal curvatures of degree greater than one. For smooth, strictly convex initial hypersurfaces with ratio of principal curvatures sufficiently close to one at each point, we prove th…
Using the convex functions in Grassmannian manifolds we can carry out interior estimates for mean curvature flow of higher codimension. In this way some of the results of Ecker-Huisken can be generalized to higher codimension
The existence of a smooth complete strictly locally convex hypersurface with prescribed scalar curvature and asymptotic boundary at infinity in $\mathbb{H}^{3}$ is proved under the assumption that there exists a strictly locally convex subsolution.
We obtain estimates on both size and dimensions of the singular set at the first blow-up time of the mean curvature flow of hypersurfaces whose initial data is $σ_k$-convex.
We classify the algebraic curvature tensors which are both Osserman and complex Osserman in all but a finite number of exceptional dimensions.Information concerning the possible eigenvalue structures, which is provided by methods of algebraic topology, plays a central role in the analysis.
We classify the self-similar solutions to a class of Weingarten curvature flow of connected compact convex hypersurfaces, isometrically immersed into space forms with non-positive curvature, and obtain a new characterization of a sphere in a Euclidean space $\R^{n+1}$.
We prove that any smooth Riemannian manifold of non-negative scalar curvature and with a strictly mean convex and compact boundary component can be (C^2) extended beyond the component to have non-negative scalar curvature and to enjoy anyone of the following three types of (new) boundary: strictly convex, totally geodesic or strictly concave. The extension procedure can be applied for instance to "positive mass" type of theorems.
In this paper we prove that the H^k (k is odd and larger than 2) mean curvature flow of a closed convex hypersurface can be extended over the maximal time provided that the total L^p integral of the mean curvature is finite for some p
We prove that there exists, in every dimension, a unique (modulo rotations about the origin and time translations) convex ancient mean curvature flow in the ball with free boundary on the sphere.
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.
We prove that for an algebraic curvature tensor on a pseudo-Euclidean space, the Jordan-Osserman condition implies the Rakić duality principle, and that the Osserman condition and the duality principle are equivalent in the diagonalisable case.
In this paper, we establish the curvature estimates for $p$-convex hypersurfaces in $\mathbb{R}^{n+1}$ of prescribed curvature with $p\geq \frac{n}{2}$. The existence of a star-shaped hypersurface of prescribed curvature is obtained. We also prove a type of interior $C^2$ estimates for solutions to the Dirichlet problem of the corresponding equation.
By means of dual convex bodies, we obtain regularity of solutions to the expanding Gauss curvature flows with homogeneity degrees $-p$, $0<p<1$. At the end, we remark that our method can also be used to obtain regularity of solutions to the shrinking Gauss curvature flows with homogeneity degrees less than one.
We study solutions of the mean curvature flow which are defined for all negative curvature times, usually called ancient solutions. We give various conditions ensuring that a closed convex ancient solution is a shrinking sphere. Examples of such conditions are: a uniform pinching condition on the curvatures, a suitable growth bound on the diameter or a reverse isoperimetric inequality. We also study the behaviour of uniformly k-convex solutions, and consider generalizations to ancient solutions immersed in a sphere.
We provide a direct proof of a non-collapsing estimate for compact hypersurfaces with positive mean curvature moving under the mean curvature flow: Precisely, if every point on the initial hypersurface admits an interior sphere with radius inversely proportional to the mean curvature at that point, then this remains true for all positive times in the interval of existence.
We present a novel and comprehensive approach to the study of the parametric Plateau problem for locally strictly convex (LSC) hypersurfaces of prescribed curvature for general convex curvature functions inside general Riemannian manifolds. We prove existence of solutions to the Plateau problem with outer barrier for LSC hypersurfaces of constant or prescribed curvature for general curvature functions inside general Hadamard manifolds modulo a single scalar condition. In particular, convex curvature functions of bounded type are fully treated.
We study topological obstructions to the existence of a Riemannian metric on manifolds with boundary such that the scalar curvature is non-negative and the boundary is mean convex. We construct many compact manifolds with boundary which admit no Riemannian metric with non-negative scalar curvature and mean convex boundary. For example, we show that the manifold $(T^{n-2}\times Σ)\# N$, where $Σ$ is a compact, connected and orientable surface which is not a disk or a cylinder and $N$ is a closed $n$-dimensional manifold, does not admit a metric of non-negative scalar curvature and mean convex b…
The notion of different kind of algebraic Casorati curvatures are introduced. Some results expressing basic Casorati inequalities for algebraic Casorati curvatures are presented. Equality cases are also discussed. As a simple application, basic Casorati inequalities for different $δ$-Casorati curvatures for Riemannian submanifolds are presented. Further applying these results, Casorati inequalities for Riemannian submanifolds of real space forms are obtained. Finally, some problems are presented for further studies.
In this paper we provide a family of algebraic space-like surfaces in the three dimensional anti de Sitter space that shows that this Lorentzian manifold admits algebraic maximal examples of any order. Then, we classify all the space-like order two algebraic maximal hypersurfaces in the anti de Sitter $N$-dimensional space. Finally, we provide two families of examples of Lorentzian order two algebraic zero mean curvature in the de Sitter space.
In this paper we consider three-manifolds with weakly umbilic boundary (the Second Fundamental form of the boundary is a constant multiple of the metric). We show that if the initial manifold has positive Ricci curvature and the boundary is convex (nonnegative Second Fundamental form), its metric can be deformed via the Ricci flow to a metric of constant curvature and totally geodesic boundary.
In this paper, we study the Dirichlet problem for $p$-convex hypersurfaces with prescribed curvature. We prove that there exists a graphic hypersurface satisfying the prescribed curvature equation with homogeneous boundary condition. An interior curvature estimate is also obtained.
We classify the connected pseudo-Riemannian manifolds of signature $(p,q)$ with $q\ge5$ so that at each point of $M$ the skew-symmetric curvature operator has constant rank 2 and constant Jordan normal form on the set of spacelike 2 planes and so that the skew-symmetric curvature operator is not nilpotent for at least one point of $M$.
We construct new examples of algebraic curvature tensors so that the Jordan normal form of the higher order Jacobi operator is constant on the Grassmannian of subspaces of type $(r,s)$ in a vector space of signature $(p,q)$. We then use these examples to establish some results concerning higher order Osserman and higher order Jordan Osserman algebraic curvature tensors.
We consider the evolution by mean curvature of smooth $n$-dimensional submanifolds in $\mathbb{R}^{n+k}$ which are compact and quadratically pinched. We will be primarily interested in flows of high codimension, the case $k\geq 2$. We prove that our submanifold is asymptotically convex, that is the first eigenvalue of the second fundamental form in the principal mean curvature direction blows up at a strictly slower rate than the mean curvature vector. We use this convexity estimate to show that at a singular time of the flow, there exists a rescaling that converges to a smooth codimension-one…
Let $R$ be an algebraic curvature tensor on a vector space of signature $(p,q)$ defining a spacelike Jordan Osserman Jacobi operator $\JJ_R$. We show that the eigenvalues of $\JJ_R$ are real and that $\JJ_R$ is diagonalizable if $p<q$.
In this paper we prove that a Finsler metrics has constant flag curvature if and only if the curvature of the induced nonlinear connection satisfies an algebraic identity with respect to some arbitrary second rank tensors. Such algebraic identity appears as an obstruction to the formal integrability of some operators in Finsler geometry, [4,7]. This algebraic characterisation for Finsler metrics of constant flag curvature allows to provide yet another proof for the Finslerian version of Beltrami's Theorem, [2,3].
Solving a long-standing open question in convex geometry, we will show that typical convex surfaces contain points of infinite curvature in all tangent directions. To prove this, we use an easy curvature definition imitating the idea of Alexandrov spaces of bounded curvature, and show continuity properties for this notion. Along the way, we show a theorem for the approximation of convex surfaces by smooth surfaces.
We study the mean curvature flow of complete space-like submanifolds in pseudo-Euclidean space with bounded Gauss image, as well as that of complete submanifolds in Euclidean space with convex Gauss image. By using the confinable property of the Gauss image under the mean curvature flow we prove the long time existence results in both cases. We also study the asymptotic behavior of these solutions when $t\to\infty$.
We consider a convex Euclidean hypersurface that evolves by a volume or area preserving flow with speed given by a general nonhomogeneous function of the mean curvature. For a broad class of possible speed functions, we show that any closed convex hypersurface converges to a round sphere. The proof is based on the monotonicity of the isoperimetric ratio, which allows to control the inner and outer radius of the hypersurface and to deduce uniform bounds on the curvature by maximum principle arguments.
For the minimal graph defined on a convex ring in the space form with nonnegative curvature, we obtain the regularity and the strict convexity about its level sets by the continuity method.
We show that any strictly mean convex translator of dimension $n\geq 3$ which admits a cylindrical estimate and a corresponding gradient estimate is rotationally symmetric. As a consequence, we deduce that any translating solution of the mean curvature flow which arises as a blow-up limit of a two-convex mean curvature flow of compact immersed hypersurfaces of dimension $n\geq 3$ is rotationally symmetric. The proof is rather robust, and applies to a more general class of translator equations. As a particular application, we prove an analogous result for a class of flows of embedded hypersurfa…
We provide several characterisations of collapsing and noncollapsing in convex ancient mean curvature flow, establishing in particular that collapsing occurs if and only if the flow is asymptotic to at least one Grim hyperplane. As a consequence, we rule out collapsing singularity models in $(n-1)$-convex mean curvature flow (even when the initial datum is only immersed). Explicit counterexamples show that $(n-1)$-convexity is optimal. We are also able to rule out collapsing singularity models for suitably pinched solutions of higher codimension.
A submanifold $M^m$ of a Euclidean space $R^{m+p}$ is said to have harmonic mean curvature vector field if $Δ\vec{H}=0$, where $\vec{H}$ is the mean curvature vector field of $M\hookrightarrow R^{m+p}$ and $Δ$ is the rough Laplacian on $M$. There is a conjecture named after Bangyen Chen which states that submanifolds of Euclidean spaces with harmonic mean curvature vector fields are minimal. In this paper we prove that weakly convex hypersurfaces (i.e. hypersurfaces whose principle curvatures are nonnegative) with harmonic mean curvature vector fields in Euclidean spaces are minimal. Furthermo…
