Euclidean, hyperbolic, discrete, convex, coarse geometry, comparisons in Riemannian geometry, symmetric spaces.

learn more… | top users | synonyms (1)

11
votes
1answer
235 views

Hausdorff convergence of submanifolds in Riemannian manifolds

Let $(M^n,g)$ be a smooth compact Riemannian manifold. It is well known that any sequence $\{X_i\}$ of compact subsets of $M$ has a subsequence which converges in the Hausdorff metric to a compact ...
1
vote
0answers
30 views

Example of compact $CD(K,\infty)$ space, but doubling condition fails

It's well known that the doubling condition may not hold on $CD(K,\infty)$ space. Can one give an example such that: $(X,d)$ is a compact metric space, $\mu$ is a Borel probability measure and $(X,d,\...
3
votes
1answer
94 views

The volume of a region arising from planar linkages

Let $x_0,\dots,x_n$ be a collection of variable points in $\mathbb{R}^2$ and let $c>0$ be a fixed constant. Is there any way I could compute an upper bound of the volume of the region in $\mathbb{...
0
votes
0answers
63 views

Joint point of coarse geometry and dynamical system?

My major interest is on dynamical systems, but I did REU in a coarse embedding problem. I wonder whether there's some significant connection between those two subjects. I've tried to google for a ...
8
votes
2answers
528 views

Interpret Fourier transform as limit of Fourier series

Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n =\text{Hom}(\...
1
vote
2answers
137 views

Antiproximanal subspace of $L_1[0,1]$

Could someone give a reference or construct an example of closed subspace of $Y\subset L_1[0,1]$ such that $\operatorname{dist}(x,Y)$ is not attained of for any $x\notin Y$. I read somewhere that $Y$ ...
4
votes
1answer
152 views

Does Alexandrov space satisfy a reverse doubling condition?

Let $X$ be an $n-$dim Alexandrov space with curvature $\geq k$. Does $X$ satisfy a reverse doubling condition? That is, does there exist a constant $C>1$, s.t., for any $x\in X$, $0<r<\...
15
votes
1answer
610 views

On convergence of convex bodies

Let $K\subset \mathbb{R}^n$ be a compact convex set of full dimension. Assume that $0\in \partial K$. Question 1. Is it true that there exists $\varepsilon_0>0$ such that for any $0<\...
4
votes
0answers
86 views

Is positively curved Alexandrov surface isometrically embeddable in $\mathbb R^3$?

I guess it is not. The example I have in mind is: $X^2$ is the spherical suspension of a circle $S^1(t)$ of length $0<t<2\pi$. Then $X$ has constant curvature =1 except at two suspension points, ...
7
votes
0answers
170 views

Shortest path to inspect a polyhedron

This is a variant of two as-yet unsolved MO questions cited below. Let $P$ be a closed polyhedron in $\mathbb{R}^3$. The task is to find a shortest path $\sigma$ on the surface of $P$ from which all ...
23
votes
2answers
923 views

How can you compute the maximum volume of an envelope(used to enclose a letter)?

It's obvious that the volume of a envelope is 0 when flat and non-0 when you open it up. However, if you were to fill it with liquid, there must be some shape where it has a maximum volume. Is there a ...
4
votes
2answers
190 views

Finitely isometrically persistent metric spaces

The goal of this question is to develop further the discussion initiated in Under which conditions is it possible to find points with same distances under bi-Lipschitz map. The mentioned question was ...
9
votes
0answers
223 views

Is $\ell_p$ $(1<p<\infty)$ finitely isometrically distortable?

Let $Y$ be a Banach space isomorphic to $\ell_p$, $1<p<\infty$. Is it true that any finite subset of $\ell_p$ is isometric to some finite subset of $Y$? It seems to me that it is an interesting ...
1
vote
0answers
63 views

Completely incongruent box partitions

Let $B$ be a rectangular box with corners in $\mathbb{Z}^d$ and sides parallel to the axes. A completely incongruent partition of $B$ is a partition into $d$-dimensional boxes, each of whose integer ...
3
votes
2answers
118 views

Sub-sector covers for disks and balls

Define an open $k$-sector of a disk as the portion between two radii separated by an angle of $2\pi/k$, but open along the two radii (and closed along the circle boundary). Call a set a sub-$k$-sector ...
3
votes
0answers
81 views

Calculating the length of curve using dyadic partition [closed]

Let $\gamma:[0,1] \rightarrow \mathbb{R}^n$ be a continuous function. The length of $\gamma$ is usually defined as $$\sup_{0 = t_1 < t_2 < \cdots < t_n = 1} \sum_{i=1}^{n-1} d_{\mathbb{R}^n}...
1
vote
1answer
168 views

Intuition behind the “Lapse Function”

I came across the following definite of the Lapse Function: $N=\sqrt{\frac{1}{2}g(L,\overline{L})}$ where $L,\overline{L}$ are the null geodesic vector fields. Further, I have been looking at this ...
2
votes
1answer
115 views

Under which conditions is it possible to find points with same distances under bi-Lipschitz map [closed]

Given two metric spaces $(X,d_X), (Y, d_Y)$, a bi-Lipschitz map $f:X \to Y$ and a finite set of points $\{x_1, \ldots, x_n\} \in X$. Consider in addition, that $X$ is a vector space over $\mathbb{R}$, ...
2
votes
1answer
93 views

What is the maximal diameter of a cell in a particular partition of the simplex?

Consider a standard simplex with points $(p_1, \dots, p_n)$, $p_i \ge 0$, and $\sum_i p_i = 1$. Fix a set $\{q_k\}_{k=1}^K$ with $0\leq q_k \leq \infty$ and $i,j\in\{1, \dots, n\}$. Partition it via ...
6
votes
1answer
195 views

Compact Eucledean hypersurfaces with “almost” constant H_k curvature

Let $M$ be an Eucledean $n$-dimensional compact hypersurface with constant $H_k$ curvature, where $k=1,...n$. A theorem by A.Ros tell us that so $M$ is an Eucledean sphere. Does anybody know if there ...
6
votes
1answer
293 views

Embedding of real trees into $\ell_1(\Gamma)$

It seems plausible that any real tree or ${\mathbb{R}}$-tree in the sense of the definition in https://en.wikipedia.org/wiki/Real_tree admits an isometric embedding into the Banach space $\ell_1(\...
1
vote
0answers
59 views

Lipschitzian extension of mapping between Alexandrov spaces

Let $X$ be an $n-$dim (compact, if needed) Alexandrov space with curvature $\geq -k$, with $k\geq0$, and let $Y$ be an Alexandrov space with curvature $\leq0$ globally. Given any bounded nonempty $E\...
0
votes
0answers
283 views

Geodesic Digons in Reductive Spaces

Consider a naturally reductive homogeneous space $M$ of positive curvature. Is it necessarily the case that there exists a geodesic digon whose interior angles sum to less than $2\pi$? Angles are ...
14
votes
1answer
392 views

Generalizing the Mazur-Ulam theorem to convex sets with empty interior in Banach spaces

The Mazur-Ulam theorem (1932) states that any isometry of a normed linear space is affine. See Nica (Expo. Math. 30 (2012), 397-398; arXiv:1306.2380) for a very elegant proof. Question: Let $M$ be a ...
10
votes
1answer
230 views

Optimization of points on a plane

Suppose we have $n$ points on a plane. Let $D$ be the sum of the squares of all the pairwise distances between the points. Let $A$ be the area of the convex hull. What is the minimum possible value of ...
5
votes
1answer
146 views

Question about the normal bundle of a totally geodesic submanifold of a Cartan-Hadamard manifold

I'm reading the exposition in Lang's Fundamentals of Differential Geometry of the following generalization of the Cartan-Hadamard theorem: Suppose $X$ is a Cartan-Hadamard manifold (i.e. a complete, ...
6
votes
0answers
223 views

Axiom of choice and a set in the plane that intersects every line in two points

In this question Subset of the plane that intersects every line exactly twice someone ask for a reference of a paper where they proof the result : ''There exist a subset of the plane that intersects ...
1
vote
0answers
49 views

Starlike curve tangent condition

Assume that $\gamma$ is a starlike Jordan curve in the complex plane w.r.t. 0. Let $\alpha\in (0,\pi/2]$. For each $z\in\gamma$, $z\neq x$, we let $\alpha(z,x)$ denote the acute angle which the ...
0
votes
0answers
81 views

Is there a metric defined on the product space of orthogonal groups?

If one considers just the orthogonal group, then there is a natural metric given by [1]: $$\begin{align} \theta & =\frac{1}{2} \| \log(R_1^{-1}R_2) \| \\ & = \frac{1}{2} \| \log(\exp(-[\...
9
votes
2answers
230 views

Generalization of Stewart's theorem?

I'm curious about the generalization of Stewart's theorem to more dimensions. MathWorld mentions that there is a generalization done by Bottema, but I could not find much information on it. All I ...
0
votes
0answers
56 views

What is the minimal number of lines needed to partition a simplex into cells of diameter at most $\epsilon$?

I am studying a problem that requires me to partition the simplex into cells using a particular family of hyperplanes. For concreteness, consider the 2-simplex. I would like to construct lines ...
6
votes
1answer
97 views

metric condition forcing convex position

Let $A_1,A_2,\ldots, A_n$ be distinct in the plane. For every $1\le i \le n$, let $S_i=\sum\limits_{j=1}^n d(A_i,A_j)$ be the sum of distances from $A_i$ to all the other points. Assume that $S_i=S_j$...
3
votes
1answer
130 views

a property implying co-circularity

Let $A_1, A_2,\ldots, A_n$ be $n$ distinct points in the plane. For every $1\le i\le n$, let $D_i$ be the sum of the distances from point $A_i$ to all the other points. Suppose that $D_i=D_j$ for ...
8
votes
0answers
121 views

Boomerangs in Polya's orchard

Polya's orchard problem asks for what radius $r$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the exterior of the orchard. The answer is known; $r$ ...
7
votes
1answer
122 views

When a Riemannian manifold with boundary is an Alexandrov space?

Let $M$ be a smooth Riemannian manifold (without boundary). Let $X\subset M$ be a smooth compact submanifold with boundary, $\dim X=\dim M$. Under what conditions $X$, equipped with the induced ...
1
vote
1answer
62 views

Existence or otherwise of a set of “sufficiently intricate” open cells

In my question Existence or otherwise of a set of "sufficiently intricate" open sets, I asked about whether it is possible to partition Lebesgue-almost all of $\mathbb{R}^d$ into a finite ...
4
votes
1answer
114 views

Closest point to a dual lattice point (in particular for root lattices!)

Given a lattice $\Lambda\subset \mathbb{R}^n$ and a point $p\in\mathbb{R}^n$ outside the lattice, then I known it is a hard question to determine the set $S\subset \Lambda$ of all lattice points with ...
3
votes
1answer
100 views

Existence or otherwise of a set of “sufficiently intricate” open sets

Fix $d \in \mathbb{N}$. Do there exist mutually disjoint connected open sets $V_1,\ldots,V_n \subset \mathbb{R}^d$ and $\mathbf{v} \in \mathbb{R}^d$ such that $\mathbb{R}^d \setminus (\bigcup_{i=1}^...
5
votes
0answers
76 views

What is the maximal convex hull in $\mathbb R^3$ of a tree with fixed total length?

Denote by $\mathcal T_n$ the set of all trees on $n$ nodes. For a tree $T\in\mathcal T_n$, we assign to each edge a non-negative length such that the sum of all lengths is 1. Denote by $v(T)$ the ...
5
votes
0answers
122 views

Volume growth of balls

Let $G$ be a locally compact group and $K\subset G$ a compact subgroup. Suppose that on the homogeneous space $X=G/K$ we have a $G$-invariant proper metric $d$. For $R>0$ let $B(R)$ be the open ...
1
vote
1answer
92 views

Lamination as limit of arcs

I am reading Bonahon's notes on closed curves, in particular the part about hyperbolic laminations. In his notes Bonahon illustrates some examples as why laminations should be "limit curves" on ...
4
votes
1answer
153 views

Classification of 2-dimensional Alexandrov spaces

Is it possible to classify explicitly compact 2-dimensional Alexandrov spaces with curvature bounded below (either with or without boundary)? If yes, a reference would be helpful. EDIT: If the ...
5
votes
2answers
266 views

Which surfaces admit unbounded-length simple geodesics?

Let $S$ be a surface embedded in $\mathbb{R}^3$. A simple geodesic on $S$ is one that does not self-intersect. Some surfaces have simple geodesics whose length exceeds any given bound $L$. For example,...
3
votes
0answers
164 views

Distance between quadratic forms

In notes here http://math.univ-lyon1.fr/homes-www/gille/prenotes/lens.pdf on page $2$ a formulation of distance between two positive quadratic form $[q],[q']$ is given by $$d([q],[q'])=\frac{\sup_{x\...
5
votes
1answer
116 views

Geometry of convex subsets in Alexandrov space/ Riemannian manifold

Let $X^n$ be an $n$-dimensional complete Alexandrov space with curvature bounded below (or a smooth Riemannian manifold, possibly with boundary). Let $U\subset X$ be an open dense subset with the ...
5
votes
1answer
137 views

Are the primary parallelotopes classified? (equivalently, Voronoi cells of lattices)

A primary parallelohedron is a polyhedron that can fill space with infinite translated copies. It is known (e.g., Coxeter, H. S. M. Regular Polytopes, 3rd ed. New York: Dover, pp. 29-30, 1973; or, ...
1
vote
1answer
68 views

Optimal covering with finite subcollection of open sets

This is mainly a reference request. Consider a finite collection of (let's say, for simplicity) of open balls $B_i, i = 1, 2, ..., m$ in (again, for simplicity) $\mathbb{R}^n$. I am looking for ...
4
votes
2answers
179 views

Volume of the convex hull of the set of all graphic sequences of a given length

Consider the set of all graphic sequences with $n$ elements as a subset of $\mathbb{R}^{n}$, namely let $$D(n)=\{(d_{1},\dots,d_{n})\in\mathbb{Z}_{+}^{n}:d_{1}\geq\dots\geq d_{n},\ \sum_{i=1}^{n}d_{i}\...
7
votes
1answer
77 views

Convergence of functions on Alexandrov spaces

Consider a sequence of $n-$dim Alexandrov spaces with curvature $\geq$ -1 $\{(M_i,p_i)\}$ Gromov-Hausdroff converging to an $n-$dim Alexandrov space $(M,p)$. Let $f:M\mapsto \mathbb R$ be a Lipschitz ...
2
votes
1answer
73 views

A property of concave functions on Alexandrov spaces

EDIT: Let $X$ be an $n$-dimensional Alexandrov space with curvature bounded below. Let $f_1,\dots, f_n\colon X\to \mathbb{R}$ be $\lambda$-concave functions. Assume that at a fixed point $p$ there ...