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

learn more… | top users | synonyms (1)

3
votes
1answer
58 views

Is the boundary of Alexandrov space again an Alexandrov space?

Let $X$ be a finite dimensional (possibly compact) Alexandrov space with curvature $\geq K$. Is it true that its boundary is again Alexandrov space with curvature bounded from below? If yes, is the ...
6
votes
2answers
99 views

Equality of triangles in normed spaces

Hilbert space satisfies the following condition: if two triangles $\triangle ABC$, $\triangle A_1B_1C_1$ have equal sides lengths: $|AB|=|A_1B_1|$, $|BC|=|B_1C_1|$, $|AC|=|A_1C_1|$ they also have ...
11
votes
2answers
415 views

Embedding Z into Z^2 with large distortion

Is it possible to find a 2-way infinite (self-avoiding) path $\{x_i\}_{i\in \mathbb Z}$ in the standard Cayley graph of $\mathbb Z^2$, i.e. the square grid, such that the distance between $x_i$ and ...
2
votes
1answer
73 views

A property of geodesic triangles in Alexandrov spaces

Let $X$ be an $n$-dimensional Alexandrov space with curvature at least -1. Assume that at every point it has an $(n,\delta)$-strainer of length $\mu$, where $\delta$ and $\mu$ are independent of a ...
7
votes
1answer
290 views

Area of square to wrap a torus

The Nash-Kuiper $C^1$ isometric embedding of flat torus into $\mathbb{R}^3$ has recently been spectacularly visualized by the Hevea Project. This suggests two questions. Q1. What is the area of ...
7
votes
0answers
114 views

Bang's open question strengthening Tarski's planks problem

Tarski's Planks problem, solved by Thøger Bang in 1951, says (in a simplified $\mathbb{R}^2$ version) that it requires "planks" (parallel strips) of total width $\ge d$ in order to completely cover a ...
2
votes
0answers
89 views

What is the metric on the Fuchsian model? [closed]

Let $\mathbb{H}$ be the upper half plane, and $\Gamma < SL(2, \mathbb{R})$ be a Fuchsian group. How is the distance between any two points $x, y \in \mathbb{H} / \Gamma$ in the Fuchsian model ...
9
votes
2answers
306 views

Isometric imbedding of a sphere with positively curved metric

QUESTION. Given a Riemannian metric on the sphere $S^n$ with positive sectional survature. Can it be isometrically imbedded into $\mathbb{R}^{n+1}$ (of any class of regularity) as a boundary of a ...
4
votes
1answer
90 views

A property of geodesic triangles in manifolds with lower bounds on curvature and injectivity radius

Does there exist a function $\tau(\varepsilon)=\tau(\varepsilon,n,K,\mu)$ such that $\lim_{\varepsilon\to +0}\tau(\varepsilon)=0$ and for any $n$-dimensional complete Riemannian manifold $M^n$ with ...
4
votes
0answers
77 views

Sharp isoperimetry in the discrete Heisenberg group

The exact shape of the set which has the best isoperimetry in the continuous Heisenberg is (from what I know) a difficult open problem. This brought to wonder what is known in the discrete case? More ...
3
votes
1answer
109 views

Lebesgue differentiation theorem holds on locally doubling space?

It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...
1
vote
1answer
30 views

Multiplicity of a subcovering in spaces of given Hausdorff dimension

Let $X$ be a locally compact metric space of integer Hausdorff dimension $n$. Let $K\subset X$ be a compact subset. Let $\{B_i\}_i$ be a finite family of balls covering $K$. One may assume that all ...
4
votes
1answer
117 views

local quasi geodesics in hyperbolic spaces

I asked this question on math stackexchange (see here) but didn't get any answer so I thought I post it here too. We have the following two well-known Theorems: T1) For all $\delta > 0, ...
1
vote
1answer
83 views

Pairs of rays in euclidean buildings

In section 4.1.3 of Kleiner and Leeb's paper on symmetric spaces and euclidean buildings, there's a result about pairs of rays from the same point initially spanning a flat triangle (or being ...
0
votes
0answers
66 views

construction of grassmannian manifolds as collection of subspaces of Euclidean space

The grassmannian $G_k(\mathbb{R}^n)$ is the collection of all $k$-dimensional linear subspaces of $\mathbb{R}^n$ equipped with the quotient topology. The cohomology ring of $G_k(\mathbb{R}^n)$ has ...
4
votes
1answer
143 views

$|\exp_p(x)\exp_q(T(x))|$ controlled by $|pq|?$ $T$ is parallel transportation in Alexandrov space

Let $M$ be an Alexandrov space with $sec \geqslant 0$. Let $p$ and $q$ be points of shortest path $\gamma$ in $M$, that are not end point. Then the tangent cone can split as $C_p=L_p \times ...
1
vote
1answer
251 views

Is the map $\exp_x(\nabla_x \sum_{i=1}^m d^2(x_i,x))$ Lipschitz?

The last question is too general, this is a modification. Let $M$ be an $n$ dimensional Riemannian manifold. Fix $m$ points $x_1,...,x_m$. Suppose $y$ is not in the cut locus of $x_i$ for $1 ...
11
votes
3answers
259 views

Curvature of a finite metric space

I am sorry to ask a very vague question, but: What are good ways to define the curvature of a finite metric space? The best way I can think of is: the curvature of a finite metric space $M$ is ...
5
votes
1answer
71 views

Volume satisfying inequality constraints (simplex subset)

Is there a way to find the volume of the "feasible region" of a standard simplex satisfying simple range constraints? $x_1+x_2+...+x_n = 1$ $a_1 \le x_1 \le b_1$ $a_2 \le x_2 \le b_2$ $...$ $a_n \le ...
1
vote
0answers
62 views

Choosing the weights of a Voronoi diagram — is this function always the gradient of another function?

This question is related to the earlier question Weighted area of a Voronoi cell . As in that question, let $X = \{ x_1,\dots,x_n\} $ denote a set of $n$ points in the unit square $S = ...
3
votes
2answers
84 views

Basic question about discrete minimal surfaces

Let $P$ be a convex polygon with $n > 3$ vertices $v_1, \ldots, v_n \in \mathbb{R}^2$, let $x$ be a point in the interior of $P$, and let $u$ be a function with prescribed values at the vertices of ...
1
vote
0answers
77 views

A compact Alexandrov space with curvature bounded below has curvature bouneded above? [closed]

For a compact Riemannian manifold, Since the curvature tensor is continuous, we know that the sectional curvature is bounded, i.e. bounded above and below. Now let $M$ be a compact Alexandrov space ...
8
votes
2answers
325 views

For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature? An obvious case is when $Y$ ...
6
votes
2answers
424 views

Geodesics on SO(3)

I have two 3D rotations about the origin, represented as $3 \times 3$ orthogonal matrices $M_1$ and $M_2$ (specified by numerical entries), and I would like to interpolate (and compute) a continuous ...
3
votes
0answers
98 views

Are ultralimits the Gromov-Hausdorff limits of a subsequence?

Let $(M_i,p_i)$ be a sequence of $n$-dimensional Riemannian manifolds with lower Ricci curvature bound $-1$. Fix a non-orincipal ultrafilter and let X be the ultralimit of the sequence. Does there ...
5
votes
1answer
114 views

If all balls around fixed basepoints are isometric, are the spaces as well (length spaces)?

Let $X$ and $Y$ be two complete proper length spaces, $x \in X$ and $y \in Y$. Assume for every $r>0$ the closed balls $\overline{B_r(x)}$ and $\overline{B_r(y)}$ are isometric. Does there exist ...
6
votes
2answers
581 views

Square of the distance function on a Riemannian manifold

Let $(M^n,g)$ be a smooth Riemannian manifold. Consider the square of the distance function $$dist^2\colon M\times M\to \mathbb{R}$$ given by $(x,y)\mapsto dist^2(x,y)$. It is easy to see that this ...
2
votes
1answer
153 views

Embedding graphs into hyperbolic spaces

Do we know of a characterization as to when does a graph have a "good" embedding into a hyperbolic space? (And does having such an embedding have a spectral or wavelet analysis signature?) I don't ...
2
votes
1answer
86 views

Is a cocompact CAT(0) periodic?

Let $X$ be a CAT(0) space and $G$ its group of isometries. Then $X$ is said to be cocompact, if there exists a compact set $K\subset X$ with $X=G.K$. The space $X$ is called periodic, if there exists ...
14
votes
1answer
744 views

Is it possible for a metric on a smooth manifold to be smooth?

Are there any smooth manifolds $M$ with the following property: There exist a realizing metric $d$ (i.e $d$ induces the topology on $M$), and $d$ is smooth on all of $M \times M$? If not, is it ...
4
votes
0answers
82 views

Tetrahedron incenter iteration tree

This is driven more by curiosity than by research, but nevertheless may be of some interest. Start with a regular tetrahedron $T$ with corners $(a,b,c,d)$, and let $x$ be its incenter—the ...
2
votes
0answers
97 views

Obtaining a quasi-isometry of the 'boundary'

It is well-known that a quasi-isometry induces a homeomorphism on the space of ends of say a locally finite graph for simplicity. Clearly the converse is not true. In other words the concept of ends ...
5
votes
3answers
255 views

set of centers of sphere inscribed in tetrahedron

Having a sphere and three diffrent point $A,B,C$ on this sphere. Find set of all centers of spheres inscribed in a tetrahedron $ABCD$, where $D$ is some point on the given sphere. The problem reduced ...
10
votes
2answers
348 views

Is every metric space quasi-isometric to a graph?

I've proved that if $(X, d)$ is a geodesic metric space then there exists a graph which is quasi-isometric to $X$...during this proof I've precisely used the fact that given two point in $X$ there ...
7
votes
2answers
140 views

Kissing number and overlapping number

Let $S$ be a certain family of geometric objects (e.g, the family of unit squares). The kissing number of $S$ is the maximum number of nonoverlapping elements of $S$ that can touch one element of ...
0
votes
0answers
133 views

Best measure for curve similarity

I would like to measure similarity between two curves represented by two arrays of points. The similarity measure should not depend on the size of these shapes. Two similar shapes but have different ...
1
vote
0answers
115 views

understanding geometry of eigen values of Ricci tensor [closed]

As per I can visualize the eigen value $\lambda$ of a linear map $T:V \rightarrow V$, defined by $Tv=\lambda v$, is actually the scaling factor of the vector in the same direction as of $v$.My ...
1
vote
1answer
80 views

Understanding the definition of an F-connected simplicial complex

I'm reading the classic paper "Harmonic maps into singular spaces and p-adic superrigidity for lattices in groups of rank one" by Gromov-Schoen. In Section 6, they define the notion of F-connectedness ...
2
votes
1answer
48 views

Is there a curve on a surface where an integrable function is pointwise bounded?

I consider $\Sigma:=S^2$, as a unit radius sphere in $\mathbb R^3$ so that it has an induced metric, measure etc on it. Is the following statement true? For a large constant $K$, there exist ...
6
votes
4answers
445 views

SO$(4)$ (& SO$(n)$) characterization?

I believe it is the case that any finite subgroup of SO$(3)$ (the $3 \times 3$ orthogonal matrices of determinant $1$) is either a cyclic group $C_n$, or a dihedral group $D_n$, or one of the groups ...
3
votes
0answers
226 views

Why only Normed Linear Spaces? [closed]

It is well known that "Norm on a vector space can be used to obtain a metric on that space." I think easily we can generalize the notion of norms to groups and rings. My questions are, Why ...
25
votes
3answers
2k views

Distributing points evenly on a sphere

I am looking for an algorithm to put $n$-points on a sphere, so that the minimum distance between any two points is as large as possible. I have found some related questions on stackoverflow but ...
0
votes
0answers
31 views

c-superdifferential is unique +cost function is differentiable, then the potential function is differentiable?

Let $M$ be a compact Riemannian manifold, $\mu$ and $\nu$ are two Borel probability measures, the cost function $c(x,y)=\frac{d^2(x,y)}{2}$. It's well known that the infimum of the Kontorovich's ...
4
votes
0answers
117 views

Gromov's compactness theorem for manifolds with boundary

The Gromov's compactness theorem says that if $\{M_i^n\}$ is a sequence of closed Riemannian manifolds of dimension $n$ with uniformly bounded diameter and uniformly bounded from below Ricci curvature ...
0
votes
2answers
82 views

Pairwise distance distribution for point clouds (normal distribution) [closed]

I have a point cloud (2D for now) of $N$ normally distributed points (with a certain $\sigma$). My first question would be how the pairwise distance distribution looks (just by chance I discovered a ...
13
votes
1answer
463 views

On the global structure of the Gromov-Hausdorff metric space

This is a purely idle question, which emerged during a conversation with a friend about what is (not) known about the space of compact metric spaces. I originally asked this question at ...
0
votes
0answers
31 views

Concave functions on a cone over Alexandrov space

Let $\Sigma$ be an Alexandrov space of curvature $\geq 1$ without boundary. Let $X$ be the cone over $\Sigma$. $X$ is well known to be non-negatively curved. Let $f\colon X\to \mathbb{R}$ be a ...
1
vote
1answer
63 views

Two geodesics with angle $\pi$ in Alexandrov space

Let two geodesic segments in an Alexandrov space with curvature bounded from below start at the same point and the angle between them equals $\pi$. It is possible that these segments are not the two ...
1
vote
0answers
35 views

Perimeters of the cells of a convex tessellation

Let $C$ be a compact, convex region in $\mathbb{R}^2$, and say we have scalars $a_i, b_i, c_i$ for $i\in\{1,\dots,n\}$. Consider the tessellation $R_1,\dots,R_n$ of $C$ defined by letting ...
1
vote
0answers
44 views

Inscribed polytopal approximation to a convex body

This question is on the continuation of the post Approximation of convex body by polytopes The central problem I am interested is an explicit construction of inscribed polytope with at most $n$ ...