Related papers: Convexity of Hypersurfaces in Spherical Spaces

It is known that every closed curve of length \leq 4 in R^n (n>0) can be surrounded by a sphere of radius 1, and that this is the best bound. Letting S denote the circle of circumference 4, with the arc-length metric, we here express this…

We give a short proof of the contractibility of the space of geodesic triangulations with fixed combinatorial type of a convex polygon in the Euclidean plane. Moreover, for any $n>0$, we show that there exists a space of geodesic…

Let $P$ be a set of $n$ points on the plane in general position. We say that a set $\Gamma$ of convex polygons with vertices in $P$ is a convex decomposition of $P$ if: Union of all elements in $\Gamma$ is the convex hull of $P,$ every…

We prove that finite area isolated singularities of surfaces with constant positive curvature in R^3 are removable singularities, branch points or immersed conical singularities. We describe the space of immersed conical singularities of…

We investigate how to glue hyperconvex (or injective) metric spaces such that the resulting space remains hyperconvex. We give two new criteria, saying that on the one hand gluing along strongly convex subsets and on the other hand gluing…

Consider a random set of points on the unit sphere in $\mathbb{R}^d$, which can be either uniformly sampled or a Poisson point process. Its convex hull is a random inscribed polytope, whose boundary approximates the sphere. We focus on the…

An affine hypersurface $M$ is said to admit a pointwise symmetry, if there exists a subgroup $G$ of ${\rm Aut}(T_p M)$ for all $p\in M$, which preserves (pointwise) the affine metric $h$, the difference tensor $K$ and the affine shape…

We prove that if every chain on a strictly pseudoconvex hypersurface $M$ in $\mathbb{C}^2$ coincides with the boundary of a stationary disc, then $M$ is locally spherical.

In smooth and convex multiobjective optimization problems the set of Pareto optima is diffeomorphic to an $m-1$ dimensional simplex, where $m$ is the number of objective functions. The vertices of the simplex are the optima of the…

It is well known that a compact two dimensional surface is homeomorphic to a polygon with the edges identified in pairs. This paper not only presents a new proof of this statement but also generalizes it for any connected n-dimensional…

A convex projective surface is the quotient of a properly convex open $\Omega$ of $\mathbb{P}(\R)$ by a discret subgroup $\Gamma$ of $\mathrm{SL}_3(\R)$. We give some caracterisations of the fact that a convex projective surface is of…

A topologically minimal surface may be isotoped into a normal form with respect to a fixed triangulation. If the intersection with each tetrahedron is simply connected, then the pieces of this normal form are triangles, quadrilaterals, and…

Y. Benoist proved that if a closed three-manifold M admits an indecomposable convex real projective structure, then M is topologically the union along tori and Klein bottles of finitely many sub-manifolds each of which admits a complete…

Given two arbitrary closed sets in Euclidean space, a simple transversality condition guarantees that the method of alternating projections converges locally, at linear rate, to a point in the intersection. Exact projection onto nonconvex…

Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…

We prove the theorem mentioned in the title, for ${\mathbb{R}}^n$, where $n \ge 3$. The case of the simplex was known previously. Also, the case $n=2$ was settled, but there the infimum was some well-defined function of the side lengths. We…

We show that there are strictly pseudoconvex, real algebraic hypersurfaces in $\bC^{n+1}$ that cannot be locally embedded into a sphere in $\bC^{N+1}$ for any $N$. In fact, we show that there are strictly pseudoconvex, real algebraic…

In 1968, Simons introduced the concept of index for hypersurfaces immersed into the Euclidean sphere S^{n+1}. Intuitively, the index measures the number of independent directions in which a given hypersurface fails to minimize area. The…

We obtain an upper bound for the volume of the convex hull of a simple closed Frenet curve with exactly four vertices, i.e., four points of vanishing torsion, and lying on the boundary of its convex hull. Moreover, we show that the upper…

A set $A$ in a finite dimensional Euclidean space is \emph{monovex} if for every two points $x,y \in A$ there is a continuous path within the set that connects $x$ and $y$ and is monotone (nonincreasing or nondecreasing) in each coordinate.…