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

learn more… | top users | synonyms (1)

1
vote
0answers
27 views

Limit space of a sequence of Riemannian manifolds with uniformly bounded below Ricci curvature

Let $\{M^n_i\}_{i=1}^\infty$ be a sequence of closed smooth Riemannian $n$-dimensional manifolds with uniformly bounded below Ricci curvature and uniformly bounded above diameter. The Gromov ...
5
votes
0answers
124 views

An inequality in cyclic polygon and tangential polygon

I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following: Let $A_1A_2.....A_n$ be a cyclic polygon and $B_1B_2....B_n$ be the its tangential polygon. Let P be ...
4
votes
1answer
216 views

A generalization of Erdős–Mordell inequality [on hold]

I proposed my conjecture generalization of Erdős–Mordell inequality as following: Let $A_1A_2....A_n$ be a polygon in a plane, $P$ be the point in $A_1A_2....A_n$. Let $d_i$ be the distances from $P$ ...
3
votes
1answer
84 views

Isoperimetric inequality via Crofton's formula

I have seen various assertions that one can derive the isoperimetric inequality in the plane from Crofton's formula in geometric probability. Unfortunately, I have not managed to figure out such a ...
4
votes
1answer
112 views

Curves embedding in plane

Given two closed simple(no self-intersection point) curves $C_1,C_2$ in the plane $\mathbb R^2$, is there a good way to judge whether one curve can be embedded inside the other one, here embedding ...
0
votes
1answer
96 views

Doubling metrics, doubling measures, Lebesgue density

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (...
0
votes
0answers
52 views

A generalization of the Tucker circle theorem and the Thomsen theorem associated with a conic

I gave a generalization of the Tucker circle theorem and the Thomsen theorem at here. Now, I give a more generalization of these theorems as following: Problem: Let $A_1A_2A_3A_4A_5A_6$ be a hexagon, ...
2
votes
2answers
184 views

approaches to Apollonius circle problems

I've been looking for solutions to finding the set of circles tangent to two other circles. one circle can be inverted to a line, but two circles can be mapped to a line and a circle or equivalently ...
4
votes
1answer
161 views

Does every smooth manifold admit a metric with bounded geometry and uniform growth?

Let $M$ be a smooth manifold, $g_M$ a Riemannian metric, and consider for $x\in M$ the volume growth function, $gr_x$ that maps $r>0$ to the volume $vol_{g_M}(B(x,r))$. My interest is to see ...
2
votes
0answers
25 views

Metrics on the group of unimodular polynomial matrices

The group of unimodular matrices $\mathbb{U}[s]^{n\times n}$ is given by the set of $n\times n$ square (real) matrix-valued polynomials $\mathbb{R}[s]^{n\times n}$ which admit a polynomial inverse. ...
3
votes
2answers
157 views

Existence of lattices whose circles have bounded number of points

For any plane lattice $\Lambda= \{ mA+nB: m,n \in \mathbb Z \}$, with $A,B$ linearly independent vectors in $\mathbb R^2$, we define the set of the circles in $\Lambda$ as $$\mathcal K(\Lambda) = \...
1
vote
1answer
57 views

The average length of vectors on spherical caps

Let $U$ denote the uniform distribution on the $n$-ball of radius $1$. What is the expected square-length of a vector under this distribution: $$ \mathbf{E}_U[\|x\|^2] $$ By standard concentration-...
1
vote
0answers
70 views

Three homothetic centers are collinear

I am looking a proof for the problem as follows: Let a hexagon, such that its principal diagonals are concurrent. For each side of the hexagon, extend the adjacent sides to their intersection, ...
4
votes
1answer
134 views

Uniform sampling from general simplex with a twist

This is part of a question I had asked elsewhere, and then some of the links redirected me to CS stack exchange. Given $0\leq a_1\leq\dots\leq a_D\leq1$ (all strictly positive), I want to draw points ...
1
vote
0answers
56 views

asymptotic behavior of Lipschitz constants of sectional curvature

I'm studying the paper "Measure Concentration and the Topology of Positively-Curved Riemannian Manifolds" (https://arxiv.org/pdf/1402.4947v1.pdf) and I have some problem in understanding the proof of ...
0
votes
0answers
36 views

Mathematical Definition of $n$-Brouillin Zone [duplicate]

I am having trouble finding a mathematical definition of the Brouillin zone beyond the first, which are basically the Voronoi cells or Wigner-Seitz cells. We could imagine the set of point closer to ...
2
votes
0answers
140 views

Negative-curvature behaviour of higher-rank symmetric spaces

Let $X$ be a symmetric space of noncompact type with $rk\ X\geq 2$ and let $G$ be the identity component of the isometry group. Pick points $p\in X$ and $\xi\in\partial_{\infty}X$, with $\xi$ regular, ...
0
votes
0answers
28 views

Area of a polyellipse

Pretty much like the title asks. I'll explain the situation. I have a set of points $N \in \mathbb{R^2}$. To select a next point $n_i$ to add to the set, select the node with the smallest combined ...
5
votes
1answer
167 views

CAT(0)-groups in dimension 2

Suppose I have a space $X$ which is connected, simply connected, CAT(0) of dimension 2 and a group $G$ which acts on $X$ freely, isometrically, properly discontinuously and cocompactly. What can be ...
6
votes
1answer
150 views

The radially symmetric isoperimetric problem

A solution to the $l$-isoperimetric problem on a Riemannian surface $(M,g)$ is a smooth closed curve $\gamma \subset M$ of length $l$ which minimizes the isoperimetric constant: $$h(\gamma) = \frac{l}{...
1
vote
1answer
52 views

Name for a uniform local boundedness property of a function

I am working with a function $f : \mathbb{R}^N \to \mathbb{R}$ having the property that for every $R > 0$, there exists $M > 0$ such that if $x, y \in \mathbb{R}^N$ and $\vert x - y \vert \le R$,...
4
votes
0answers
87 views

Yamaguchi submersion theorem

Let me remind first a theorem of Yamaguchi (1996). Given $n\in \mathbb{N}, \mu_0>0$. Then there exist $\delta_n>0$ and $\epsilon_n(\mu_0)>0$ with the following property. Let $X$ be an $n$-...
9
votes
2answers
473 views

Dissecting Ramanujan´s Cuboid: 1729 = 19 x 13 x 7

Consider the cuboid of dimensions 19 x 13 x 7 whose volume is 1729, the Hardy-Ramanujan number. What is the least number of smaller cuboids into which it can be dissected so that the resulting pieces ...
1
vote
1answer
53 views

Enclosing a convex plane domain in a disc

The following statement seems obvious to me: Let $\gamma:S^1\to\mathbb R^2$ be a smooth injection such that $\dot\gamma$ and $\ddot\gamma$ never vanish. Then $\gamma$ encloses a strictly convex ...
10
votes
1answer
388 views

The geometric median of a solid triangle

Let $\Omega\subset \mathbb R^n$ be a compact subset of dimension $n$. Define the geometric median on $\Omega$ as the point $m_{\Omega}\in \mathbb R^n$ such that the integral $\int_{\Omega}|x-m_{\Omega}...
8
votes
1answer
95 views

Differentiability of geodesics in Alexandrov subspaces of Riemannian manifolds

Let $M$ be a smooth Riemannian manifold. Let $X\subset M$ be a closed path connected subset which has curvature bounded below in the sense of Alexandrov with respect to the induced intrinsic metric. ...
2
votes
0answers
90 views

An elementary question about metrics on the real plane [closed]

Given the metric $d_p$ on the real plane, i.e. $$ d_p(x,y) = d_p((x_1, y_1), (x_2, y_2)) = [|x_1 - x_2|^p+ |y_1 - y_2|^p]^{1/p} $$ for which values of $p$ ($\geq 1$) is it true that the following ...
5
votes
0answers
69 views

Does the Hodge *-operator act on the tangent space at 0 to the space of integral (n-1)-cycles in a conformal manifold of dimension d=2n?

Suppose $M$ is a compact, oriented conformal manifold of even dimension $d=2n$. Write ${\cal D}^{\mathit{int}}_{k}(M)$ for the space of integral $k$-currents in $M$ and write ${\cal D}^{\mathit{int}}...
4
votes
0answers
152 views

Optimal instructions for the modular construction of rectlinear Lego structures

Let $X$ be a compact (or periodic) union of integer translates of unit cubes such that the interior of $X$ is connected. (If it makes any difference, suppose that the dimension $n$ of $X$ is 3.) I am ...
7
votes
1answer
132 views

A clarification on pointed Gromov-Hausdorff convergence

According to Burago-Burago-Ivanov, one says that the sequence of pointed metric spaces $(X_n,d_n,p_n)$ GH-converges to $(X,d,p)$ if for every $R>0,\varepsilon>0$, there exists a $N$ such that ...
3
votes
1answer
90 views

Sufficient conditions for a curve on the sphere to be the Gauß map of a closed path

I was wondering which curves on the $n-1$ sphere arise as the Gauss maps of closed paths in $\Bbb R^n$. Necessary conditions are obviously that the path on the sphere is the image of some smooth $S^1\...
2
votes
0answers
52 views

How much must a curve bend to intersect another curve twice?

Suppose $c_1$ and $c_2$ are segments of smooth plane curves. To be concrete, say $c_1$ and $c_2$ are graphs of smooth functions $f_i:[a_i,b_i]\to \mathbb R$, $i=1,2$. If the curves were lines, then ...
1
vote
1answer
82 views

Rigidity in a $CAT(-1)$ space

Summary: How to proove that a reunion of triangles in a $CAT(-1)$ space is isometric to the reunion of coresponding comparisons triangles ? Context and notations: Le $X$ be a $CAT(-1)$ metric space. ...
2
votes
3answers
128 views

What is the envelope formed by a triangle fixed to two points?

Take two fixed points in a plane and a triangle of fixed shape. Constrain two sides of the triangle to each touch one of the two points. As the triangle moves under this constraint the third side ...
0
votes
1answer
79 views

Showing convexity of a function in the unit ball

We have the unit sphere $S^2$ in $\mathbb{R}^3$ and two points, $X$ and $Y$ on the surface of the sphere. Then, a function is defined for any point $P$ inside of the unit ball as: $$f(P) = R\,d(P, XY)...
7
votes
2answers
576 views

Geometric or topological results from group theory

Do you know interesting examples of purely geometric or topological results which can be proved using group theory? To make precise what I have in mind, let us consider the two following examples: ...
5
votes
1answer
141 views

Comparison of angles in Alexandrov space

Let $X$ be a finite dimensional Alexandrov space with curvature bounded below. Let $p\in X$ be a fixed point. Is it true that for any $\varepsilon >0$ there exists $\delta>0$ such that for any $...
5
votes
3answers
347 views

Elementary reference for the isometry group of $\mathbb{RP}^2$

Endow the real projective plane with the distance defined by $d(L,L')$ := "the angle between the lines $L$ and $L'$ ". It is the case that every isometry from $RP^2$ onto $RP^2$ is induced by an ...
2
votes
1answer
168 views

Prove that a metric space is intrinsic

Let $(X,d)$ be a general locally compact metric space (in particular not a Riemannian manifold). Suppose we don't know if $(X,d)$ is complete. To prove $(X,d)$ is intrinsic. I have to compute the ...
7
votes
3answers
134 views

Ball ricochetting from a plane of close-packed spheres

Suppose the lower $z \le 0$ halfspace of $\mathbb{R}^3$ is filled with a rigid close-packing of unit-radius spheres. (I don't think it matters much for my purposes if it is an FCC or an HCP packing.)...
5
votes
0answers
104 views

Historical perspectives on CAT(0) spaces

Does there exist a survey on the early developments of CAT(k) spaces, with the first motivations and the first problems considered? I looked at Bridson and Haefliger's book On metric spaces of non-...
1
vote
0answers
110 views

Banach-Mazur distance from finite-dimensional subspaces of $\ell_p$ to the Hilbert space

I am reading a paper http://www.math.tamu.edu/~johnson/TF3.4.pdf by Bill Johnson and Andrzej Szankowski and having trouble grasping why $d_n(Z_m) \leq d_n(\ell_{p_{m+1}} ) = n^{|p_{m+1}-2|}$ in the ...
6
votes
2answers
162 views

Are rays in Carnot groups straight?

A famous open problem in Geometric Control Theory and in the study of sub-Riemannian manifolds is whether constant-speed length minimizers in a sub-Riemannian manifold are always smooth (see also this ...
5
votes
2answers
113 views

References for metrics in matrix groups

I am studying a very concrete matrix group with a riemaniann (right invariant) metric for solving a question on Applied Math. I need explicit formulas for the distance between two matrices, geodesics ...
13
votes
2answers
585 views

Lattice n-gons with ordered side lengths 1,2,3,…,n

Consider the octagon in the Cartesian plane with vertices at (0,0), (1,0), (1,2), (4,2), (4,6), (7,2), (7,8), and (0,8). Are there other (infinitely many) polygons, such as this, lying entirely in ...
2
votes
1answer
82 views

Volume of the subelliptic ball

Let $\Omega \in \mathbb{R}^n$ a bounded open set when $n\geq 2$, and let $X_{1},X_{2},\cdots,X_{m}$ be real smooth vector fields that satisfy Hormander condition on $\Omega$. If we denote $Q(x)$ as ...
2
votes
1answer
94 views

A centralised website for computational attempts in graph theory and metric geometry?

The set of questions below stems from this question. 1) does a website exist that contains (at least links to) code and data files, with the aim to centralise computational results in graph ...
4
votes
0answers
68 views

Rational $d$-simplices

Define a rational $d$-simplex as a simplex in $\mathbb{R}^d$ such that the measure of all its $k$-dimensional faces, $k \ge 1$, is rational. So a rational triangle has rational edge lengths and ...
0
votes
1answer
83 views

The pointwise Lipschitz-ness of a function on a dense set, implies its pointwise Lipschitz-ness everywhere?

Some definitions: Let $(M,d)$, $(M',d')$ be metric spaces. For $f:M\to M'$, $x\in M$ and $r>0$, define $$D_r(f)(x):= \sup\{r^{-1}d'(f(x),f(y)): y\in M,\,d(x,y)\leq r\}.$$ Define the pointwise ...
3
votes
0answers
55 views

Quasi-isometric quotients of finitely generated groups

Let $G$ be a finitely generated group, $S$ a finite symmetric system of generators of $G$, and let $H,K\subset G$ be subgroups. Then $S$ induces a metric on the quotients $G/H$ and $G/K$; for instance,...