About every convex set in any generic Riemannian manifold

DOI10.1515/CRELLE-2021-0058MaRDI QIDQ2065874zbMATH OpenOpenAlexWikidataFDO

Authors Alexander Lytchak, Anton Petrunin

Publication date 13 January 2022

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.15189

zbMATH Keywords

boundaryconvex setRiemannian metricsmooth hypersurfacestrictly convex

Mathematics Subject Classification ID

Convex sets without dimension restrictions (aspects of convex geometry) (52A05) Geodesics in global differential geometry (53C22)

Abstract: We give a necessary condition on a geodesic in a Riemannian manifold that can run in some convex hypersurface. As a corollary we obtain peculiar properties that hold true for every convex set in any generic Riemannian manifold (M,g). For example, if a convex set in (M,g) is bounded by a smooth hypersurface, then it is strictly convex.

Review text

In Euclidean space, each convex polyhedron consists of some isolated vertex points, which are extreme points, spanning a convex hull mostly made of non-extreme points. According to this paper, intuitively, there is nothing remotely like a Euclidean polyhedron in a generic Riemannian manifold. The authors prove a surprising condition on curvature which is necessary for a Riemannian manifold to have a geodesic lie inside a convex hypersurface. They use this to prove the astonishing fact that, in the generic Riemannian manifold of dimension three or more, any convex set has each component either a geodesic or having its extreme points dense in its boundary.

Recommendations

• Convexity and some geometric properties
• scientific article; zbMATH DE number 1874625
• A note on \(p^{\lambda}\)-convex sets in a complete Riemannian manifold
• scientific article; zbMATH DE number 440053
• Almost convex subsets

Cites work

• A Panoramic View of Riemannian Geometry
• Extreme points in non-positive curvature
• scientific article; zbMATH DE number 480237 (Why is no real title available?)
• scientific article; zbMATH DE number 491073 (Why is no real title available?)
• scientific article; zbMATH DE number 1774909 (Why is no real title available?)
• On the differentiation of convex functions in finite and infinite dimensional spaces
• On the smoothness of the convex hull in negatively curved manifolds
• On the structure of complete manifolds of nonnegative curvature
• Parallel transportation for Alexandrov space with curvature bounded below
• Quantitative estimates on the singular sets of Alexandrov spaces
• Random manifolds have no totally geodesic submanifolds
• Riemannian Metrics with the Prescribed Curvature Tensor and all Its Covariant Derivatives at One Point
• Shortest curves on convex hypersurfaces

Cited in

(9)

• scientific article; zbMATH DE number 3883107 (Why is no real title available?)
• A short proof of the collapsing walls lemma
• Convex and starshaped sets in manifolds without conjugate points
• Peano property, two dimensional triangles, constant curvature
• A non-compact convex hull in generalized non-positive curvature
• Random 3-manifolds have no totally geodesic submanifolds
• An area bound for surfaces in Riemannian manifolds
• Recognizing weighted means in geodesic spaces
• A rigidity condition for the boundary of a submanifold in a Riemannian manifold

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: About every convex set in any generic Riemannian manifold

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065874)