All Questions
Tagged with dg.differential-geometry convex-geometry
78 questions
0
votes
0
answers
30
views
Converse of Scherk–Segre theorem on the number of vertices of a convex space curve
It is well known that any smooth simple closed convex curve $\gamma$ in $\mathbb{R}^{3}$ that meets no plane in more than 4 points has exactly 4 vertices, i.e., points of vanishing torsion; here "...
2
votes
0
answers
85
views
On the trajectory followed by a point P on a planar convex region C when P is mapped repeatedly to the farthest point to it on C
Consider a planar convex region $C$. Let us define a mapping of a point $P$ on $C$ to that point on C that is farthest from $P$. Obviously, if from an initial position of $P$, we do this mapping ...
1
vote
0
answers
118
views
'Uniformity' of surfaces of 3D convex solids
We try to go a little further from Which convex solids have geodesics on the surface that lie entirely in a plane?
Definitions: The surface of a finite 3D convex body may be called a convex surface. ...
1
vote
0
answers
99
views
Shortest loop through vertices of a convex polytope
Let $P$ be a convex polytope in Euclidean space $\mathbf{R}^3$ and $\Gamma$ be a closed curve which passes through all vertices of $P$. How small can the length $L$ of $\Gamma$ be? More specifically, ...
1
vote
0
answers
109
views
Which convex solids have geodesics on the surface that lie entirely in a plane?
We add a bit to On partitioning the surface of a convex solid into geodesically convex equal area regions
Consider a convex 3D solid body C - not necessarily a polyhedral body. What could be said ...
0
votes
1
answer
91
views
On nontrapping manifolds
Suppose that $(M,g)$ is a compact connected smooth Riemannian manifold without boundary.
Let $U \subset M$ be a smooth submanifold of codimension zero with smooth boundary and assume that $U$ is ...
1
vote
0
answers
91
views
Does convexity of boundary implies geodesic convexity?
I came across the following result (mentioned on Pg. 3 of this talk) that states that
If $D$ is an open connected subset of a complete Riemannian manifold with smooth metric then $\partial D$ convex ...
7
votes
3
answers
703
views
A continuous version of Carathéodory's convex hull theorem
A well-known theorem of Caratheodory states that any point in the convex hull of a set $X\subset R^n$ lies in the convex hull of at most $n+1$ points of $X$. I am wondering about a version of this ...
8
votes
1
answer
473
views
Is the gradient of a strictly convex, continuously differentiable function a homeomorphism?
Let $X\subseteq\mathbb{R}^n$ be a convex set. Let $f:X\to\mathbb{R}$ be a strictly convex function that is differentiable on the (non-empty) relative interior of $X$.
$\nabla f$ is a bijection, but is ...
4
votes
1
answer
139
views
Characterization of convexity by connectedness of hyperplane sections
Let $S$ be a smooth closed connected embedded hypersurface in $\mathbb R^n$.
Is it true that $S$ is convex, i.e. is a boundary of a convex set, if and only if any section of $S$ by a hyperplane is ...
4
votes
1
answer
186
views
Convex hull of 3 points in Cartan-Hadamard manifolds
Can the convex hull of $3$ points in a Cartan-Hadamard manifold be smooth?
A Cartan-Hadamard manifold $M$ is a complete simply connected manifold with nonpositive curvature (so it includes the ...
1
vote
0
answers
107
views
Planar sections of convex sets in Cartan-Hadamard manifolds
Let $X$ be a convex set in Euclidean space $\mathbf{R}^n$ and $p\in\mathbf{R}^n$ be a fixed point. Then any plane $\Pi$ passing through $p$ intersects $X$ in a convex set. Conversely, this property ...
8
votes
1
answer
223
views
Convex hulls of compact sets in a 2-manifold
Let $(\mathbb{R}^2,g)$ be a complete Riemannian manifold. Let $K\subset \mathbb{R}^2$ be a compact, connected set, and let $\text{conv}(K)$ be its convex hull, i.e., the intersection of all ...
2
votes
1
answer
83
views
On equipartitions of surfaces of 3D convex regions
Let S be the surface of a 3D convex region (a 'convex surface'). Let S' be a subset of S. We shall refer to S' as geodetically convex in S if the following condition holds: If A and B are two points ...
0
votes
0
answers
126
views
Question about symmetric bilinear form and convex geometry
Consider a Finsler norm $\varphi$ in $R^4$, and a positive definite symmetric bilinear form $S$, there also exists a vector-valued symmetric linear form $Q$, such that if $S(v, w) = 0$, then $Q(v, w)$ ...
3
votes
0
answers
70
views
Characterizing image of integral transform applied to sections of a fiber bundle
Geometry is not my area, and so, I am not sure the title accurately captures what I am interested in exactly... I hope the tags are appropriate.
For any vector $v$, denote it's $i$-th component by $v_{...
1
vote
0
answers
111
views
Maximizing the minimum curvature of a convex shape with a given volume in higher dimensions
Given any $d$-dimensional convex shape $S$ in the Euclidean space with $d\gg 1$, let $K_{\min}(S)$ be the minimum value of the Gaussian curvature of its boundary.
Question: What is the maximum value $...
2
votes
0
answers
33
views
Decreasing magnitude of spherical centroid (simplex version)
Let $\sigma$ be the uniform measure on $\mathbb{S}^{d-1}\subset \mathbb{R}^d$. For any region $R\subset \mathbb{S}^{d-1}$, let $X_R$ be a random variable which is uniformly distributed across $R$. We ...
2
votes
0
answers
134
views
Norm of the Lipschitz-Killing differential forms
I am currently learning about the theory of Normal Cycles which makes use of the language of currents and differential forms. They are defined in the following way
The Lipschitz-Killing curvature form ...
6
votes
2
answers
377
views
Convex surfaces with minimal total curvature in Cartan-Hadamard 3-space
A Cartan-Hadamard 3-space $M$ is a complete simply connected 3-dimensional Riemannian manifold with nonpositive sectional curvature. A (smooth) convex surface $\Gamma\subset M$ is an embedded ...
1
vote
1
answer
139
views
On the Lipschitz continuity of the unit-normal vector field of a polytope
Let $\mu$ be a probability measure on $\mathbb R^n$ and let $P$ be a compact polytope in $\mathbb R^n$. For any $x \in \mathbb R^n \setminus P$, let $p(x) \in P$ be (unique!) point in $P$ which is ...
9
votes
2
answers
379
views
Which convex bodies roll straight?
Let $K$ be a convex body in $\mathbb{R}^3$.
Suppose $K$ is held at some position and orientation on an inclined plane,
and released.
Let there be sufficient friction so that it rolls without slippage.
...
4
votes
1
answer
110
views
Separation of convexity on uniquely geodesic space
A metric $d: X \times X \to [0,\infty)$
is said to be intrinsic provided that the distance between any two points is the infimum of the lengths of
paths joining the points. A space is an inner metric ...
5
votes
1
answer
226
views
Sufficient condition for geodesic convexity/connectedness
Let $(\Sigma,g)$ be a connected smooth Riemannian manifold without boundary. By a minimizing geodesic I mean a geodesic whose length equals the distance between its endpoints. Let us consider the ...
1
vote
1
answer
304
views
Does projective transformation preserve convexity? [closed]
Does projective transformation preserve convexity?
Notice: Ignore the trivial case which projects a convex curve to a straight line.
7
votes
2
answers
358
views
Cone unfolding of space curves
There is a natural length-preserving operation which transforms any rectifiable space curve $\gamma\colon [a,b]\to R^n$ into a planar curve $\tilde\gamma \colon [a,b]\to R^2$. This operation, which ...
6
votes
1
answer
337
views
Is Gauss map of a free boundary convex disk a diffeomorphism?
I asked this question on MSE, but obtained no answer. Maybe this is the right place to post it.
Let $D$ be a properly embedded free boundary disk in the closed unit ball $\mathbb{B}^3$ of $\mathbb{R}^...
2
votes
0
answers
98
views
For a manifold of positive curvature, can we lower bound the distance between unit normals?
Suppose $M \subset \mathbb R^d$ is a $C^2$ $(d-1)$-manifold. In particular I am interested in when $M$ is the set $\{x \in \mathbb R^d: f(x) \le 1\}$ for some $C^2$ function $f:\mathbb R^d \to \...
2
votes
1
answer
152
views
How to define "interior" for the unit arc? [closed]
Let the unit arc be,
$$\{x \in \mathbb{R}^2| x_1^2 + x_2^2 =1, x_1 \geq 0, x_2 \geq 0\}$$
There is something I found curious about the unit arc which is that,
It has an empty interior viewed as a ...
7
votes
1
answer
483
views
Furthest distance half the diameter?
Let $S$ be the surface of a convex body, polyhedral or smooth,
embedded in $\mathbb{R}^3$.
For a point $x \in S$, let $F(x)$ be the set of furthest points
from $x$, measured by shortest paths on the ...
1
vote
0
answers
99
views
Inheriting quasiconvexity from convex function after re-parametrisation of space into the Stiefel manifold
Consider a function $f(S): \mathcal{S} \to \mathbb{R}$, where $\mathcal{S}$ is the convex cone of all positive semidefinite complex $M\times M$ Hermitian matrices.
The function $f(\cdot )$ is concave ...
3
votes
1
answer
484
views
Is there exists (strictly) convex function on hemisphere?
Given $\mathbb{S}^n_+:=\{x\in \mathbb{R}^{n+1}: |x|=1,x_{n+1}>0\}$ be the open domain in $\mathbb{S}^n$, or be viewed as the geodesic ball centered at the pole with radius $\frac{\pi}{2}$ in $\...
3
votes
0
answers
194
views
About Minkowski's problem
Let $f$ be a positive function over the unit sphere $S^{d-1}$. Minkowski's problem is to find a convex body $K$ in ${\mathbb R}^d$, whose Gauss curvature is prescribed as a function of the normal ...
1
vote
0
answers
68
views
Curvature of projection function onto a smooth curve
Suppose we have a smooth curve $C$ lying in $\mathbb{R}^2$, and let us consider the orthogonal projection function $P_C(x)$ onto the curve, described by
$$P_C(x) = argmin_{y \in C} \Vert x - y \Vert$$...
1
vote
1
answer
223
views
Does $f$ have the same minimiser as $\|\nabla f \|$ for $f$ strictly convex?
This question is migrated from MathStackExchange where it seemed to be too hard. I wonder does anyone here have any ideas?
Suppose $f: K \to \mathbb R$ is $\mathcal C^2$ and strictly convex on some ...
17
votes
3
answers
972
views
What is known about sufficient conditions for the rigidity of a convex surface?
A convex surface is a connected open subset of the boundary of a convex body in $\mathbb{R}^3$.
An "infinitesimal bending" of a convex surface $S$ is a deformation of $S$ given by a velocity field $v:...
3
votes
1
answer
258
views
Polygon of convex arcs
Convex polygons in the plane $R^2$ arise in linear programming where the constraints are linear. The objective linear function attains its maximum at a vertex of the feasible region(if exists).
Assume ...
9
votes
1
answer
341
views
Log-concavity of areas of level sets
Suppose $f: \mathbb{R}^d \to \mathbb{R}$ is a smooth convex function.
Consider the level sets of the function, namely $M_s = \{x: f(x) = s\}$.
Is it true/known that the surface areas of $M_s$ are ...
0
votes
3
answers
111
views
On the properness of the graph of a convex function
Let $f : \Omega \subseteq \mathbb{R}^n \to \mathbb{R}$ be a smooth and convex function. Let us assume that $\Gamma_f = \mathrm{graph}(f) $ is a complete hypersurface of $\mathbb{R}^{n+1}$. Then I know ...
14
votes
4
answers
963
views
Steiner's inequality reference request
I remember seeing somewhere that for every connected compact set $\Omega$ in $\mathbb{R}^2$ with piecewise $C^1$ boundary we have
$$A(\Omega_r)\leq A(\Omega)+L(\partial \Omega)r+ \pi r^2,$$
where
$$\...
6
votes
1
answer
254
views
Triangulations of convex surfaces
Let $M$ be a smooth closed positively curved surface in Euclidean 3-space, $T$ be a geodesic triangulation of $M$, and $E$ be the edge graph of the convex hull of vertices of $T$.
It is easy to see ...
5
votes
1
answer
295
views
Existence of geodesic convex functions
By a result of Shing-Tung Yau [1974, Mathematische Annalen 207: 269-270], there are no non-trivial continuous geodesic convex functions on complete manifolds with finite volume.
What happened if we ...
12
votes
1
answer
281
views
Rigidity of doubled convex caps
Suppose that we have a convex cap, i.e., a convex surface in $R^3$ homeomorphic to a disk whose boundary lies in a plane. Reflect the cap through the plane of its boundary and glue it back to the ...
1
vote
0
answers
43
views
Quantitative error control in Minkowski-Stein formula
Let $K\subseteq\mathbb R^d$ be a compact convex body with non-empty interior, and $E$ be a $(d-1)$-dimensional linear subspace of $\mathbb R^d$. Let $\theta\in\mathbb R^d$ be the unit vector such that ...
7
votes
1
answer
419
views
The concept of convex foliation
A $n-1$ dimensional submanifold $N\subset \mathbb{R}^n$ is called a convex submanifold if for every $x\in N$ ,ther is a neighborhood $W$ of $x$ in $N$ such that $W$ entirly lies at one side of $T_x N$...
1
vote
0
answers
131
views
Maximum of the Dirichlet eigenvalue of Monge-Ampere equation arrived at regular simplex
There is a article http://pages.iu.edu/~nqle/MA_EVP.pdf of NAM Q.LE state a conjecture of when the eigenvalue of Monge-Ampere equation will arrive the maximum.
It divide into two part:
Conjecture ...
2
votes
0
answers
34
views
Do internal stable sets contain big manifolds?
Given two strictly concave functions $u_{i}$ with continuous derivatives in $\mathbb{R}^{k}$. We define their upper levels at a point $x$ of these functions as the set of points y such that $u_i(y)>...
1
vote
0
answers
126
views
What is an umbilic point of a convex polyhedron?
An umbilic point of a smooth ($C^2$) convex surface in Euclidean 3-space is a point where the principal curvatures are equal. Is there some good way to generalize this notion to convex polyhedra? See ...
13
votes
2
answers
872
views
Intrinsic vs Extrinsic geometry of convex surfaces
By Alexandrov's isometric embedding theorem, any locally convex metric prescribed on the sphere admits a realization as a convex surface in Euclidean 3-space, which, by Pogorelov's rigidity result, is ...
10
votes
0
answers
265
views
Plank invariant measures on convex bodies
Let $K\subset R^2$ be a convex body, i.e., a compact convex set with interior points. A plank $P$ is the region between a pair of parallel lines in $R^2$. Let us say that $P$ intersects $K$ properly ...