# Questions tagged [mg.metric-geometry]

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

2,341 questions

**4**

votes

**1**answer

114 views

### non-proper parabolic isometries of hyperbolic spaces

In his seminal paper on hyperbolic groups (see Section 8.1) Gromov defines an isometry $f$ of a hyperbolic space $X$ to be parabolic if the orbit of any point $x\in X$ under the action of $\langle f\...

**9**

votes

**1**answer

292 views

### Packing regular tetrahedra of edge length 1 with a vertex at the origin in a unit sphere

Consider the following problem:
How many regular tetrahedra of edge length 1 can be packed inside a unit sphere with each one has a vertex located at the origin?
The answer is at least 20, forming ...

**5**

votes

**1**answer

127 views

### Quantitative upper bound on mean curvature of an isometric embedding

By Nash embedding theorem, any complete Riemannian manifold $M$ can be isometrically embedded in $\mathbb{R}^N$, for sufficiently large $N$.
The proof of the theorem is quite involved, and it is not ...

**3**

votes

**2**answers

161 views

### How can the visible surface area of a box at any angle be found? [closed]

If a box with dimensions x, y, and z exists, an xyz axis is set with a camera having no rotation relative to it, and this box is rotated angle_x degrees, angle_y degrees, and angle_z degrees relative ...

**4**

votes

**0**answers

87 views

### How to think about dual space of a certain space of Lipschitz functions

Consider the following Banach space (for concreteness):
$$X=Lip(\bar{\mathbb{B}}^n)=\{f\in C^0(\bar{\mathbb{B}}^n): \Vert f \Vert_L<\infty \}$$
where
$$
\bar{\mathbb{B}}^n=\{\mathbf{x}\in \mathbb{...

**5**

votes

**1**answer

266 views

### Functions that map open balls to open balls of different radius?

For $n \geq 2$ we say a continuous function $f: \mathbb R^n \to \mathbb R^n$ such that the image of any bounded open ball is a bounded open ball of different radius is a balloon function.
...

**5**

votes

**3**answers

201 views

### Origin of term Ahlfors-David regular

Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-...

**4**

votes

**1**answer

310 views

### Spreading $n$ points in $\{0,1\}^n$ as far as possible

Given a positive integer $n$, the Hamming distance $d^H_n(x,y)$ of $x,y\in \{0,1\}^n$ is defined by $$d^H_n(x,y) = |\{k\in\{0,\ldots,n-1\}: x(k)\neq y(k)\}|.$$
We say that a positive integer $s$ is $...

**4**

votes

**1**answer

169 views

### Flat norm metrizes the weak* topology

I've come across the following statement in literature (without proof or reference) about the flat norm of currents
$$
F(T) = \sup \{ T(\omega) : \omega \in D^k(U), |\omega(x)| \leq 1, |d\omega(x)| \...

**27**

votes

**3**answers

672 views

### What is the structure preserved by strong equivalence of metrics?

Let $X$ be a set. Then we can define at least three equivalence relations on the set of metrics on $X$. We say that two metrics $d_1$ and $d_2$ are topologically equivalent if the identity maps $i:(...

**6**

votes

**0**answers

91 views

### Adjoint of the Hodge de Rham star operator under the integral pairing

Given a Riemannian manifold $(M, g)$ of dimension $n$, the Hodge star operator $\star: \Omega^k(M) \to \Omega^{n-k}(M)$ is defined. What is the (formal) adjoint of $\star$ under the integration ...

**15**

votes

**2**answers

1k views

### Integrating over a hypercube, not a hypersphere

Denote $\square_m=\{\pmb{x}=(x_1,\dots,x_m)\in\mathbb{R}^m: 0\leq x_i\leq1,\,\,\forall i\}$ be an $m$-dimensional cube.
It is all too familiar that $\int_{\square_1}\frac{dx}{1+x^2}=\frac{\pi}4$.
...

**1**

vote

**0**answers

96 views

### Some Problems On Apollonian Gasket

Since 2013, I found Some problems on Apollonian Gasket as following. These problem also is higher level of Eppstein Point. I am looking for a proof of one of these problems:
Let three $(A)$, $(B)$, $(...

**1**

vote

**1**answer

110 views

### Growth rate of bounded Lipschitz functions on compact finite-dimensional space

Let $\mathcal X$ be a metric space of diameter $D$ and "dimension" (e.g doubling dimension) $d$. Let $L \in [0, \infty]$ and $M \in [0, \infty)$ and consider the class $\mathcal H_{M,L}$ of $L$-...

**2**

votes

**0**answers

129 views

### A problem of four conics

I found a remarkable theorem of four conics as follows some years ago. But it has no proof; I am looking for a proof:
Theorem: Take three conics. Suppose that each of them touch a fourth conic at two ...

**11**

votes

**3**answers

291 views

### Mean maximum distance for N random points on a unit square

Following up on Mean minimum distance for N random points on a one-dimensional line and Mean minimum distance for N random points on a unit square (plane), I have the following questions.
Given N ...

**4**

votes

**1**answer

85 views

### Conformally flat homogeneous spaces

Let's say we have a homogeneous space $H\backslash G$.
Is it possible to tell whether this homogeneous space admits a conformally flat metric just from its group structure?
I am particularly ...

**5**

votes

**1**answer

113 views

### Is a symmetric, parallel (0,2)-tensor a metric?

I'm interested in affinely connected spaces, on which a metric is not necessarily defined, i.e. $(\mathcal{M},\Gamma)$. Since (as a physicist) my goal is to consider a generalized model of gravity, I ...

**1**

vote

**1**answer

77 views

### How do I find the correct distance spacing for distributing equidistant points on a sphere of a given diameter?

How do I find the correct distance spacing for distributing equidistant points on a sphere of a given diameter?
I don't need to fill the sphere with equidistant points. I just need less than a ...

**4**

votes

**0**answers

87 views

### Optimal placement of points on sphere to minimize size of projections

While studying some physical problem we stumbled across a geometrical problem, to which we could not find any solution.
Consider a unit sphere in 3D and a collection of $N$ points on its surface.
Now ...

**3**

votes

**0**answers

76 views

### Reference of generalized isometries

I'm wondering if these objects have a name or are studied. No one around me knows, so I thought to ask here.
Let $\Phi:\mathbb{R}^d\rightarrow \mathbb{R}^d$ be $C^2$-diffeomoprhism, and fix $p \geq ...

**5**

votes

**0**answers

129 views

### Does $G$ act 2-transitively on its Bruhat-Tits building?

Let $k$ be a finite extension of $\mathbb{Q}_p$ and let $G$ be a semisimple Lie group over $k$. We consider the action of $G$ on its Bruhat-Tits building $X$.
Question: If $x,y,x',y'$ are vertices, ...

**1**

vote

**1**answer

80 views

### A question on a special “metric”

Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...

**6**

votes

**2**answers

275 views

### What is the geometric meaning of one Riemannian metric bigger than the other one on a smooth manifold?

Gromov conjectured in 1985 and LLarull proved in 1998 that: If $g > g_0$ on the sphere, then there exists some point p on the sphere with $Sc(p) < Sc_0(p)$. Here $g, g_0$ are Riemannian metrics ...

**2**

votes

**0**answers

33 views

### Rough classification of segment metrics

For a dynamical project, I need to bound uniformly a quantity defined from a metric on the segment $I=[0,1]$ over all metrics inducing the usual topology. The details do not matter too much, I wonder ...

**0**

votes

**0**answers

45 views

### Does lattice mod preserve direction?

For high enough dimension $n$ there are lattices $L_n$ in $\mathbb{R}^n$ whose Voronoi partition's base regions encompass all but a negligible proportion of a $(1-\varepsilon)$-ball, and also nearly ...

**-1**

votes

**1**answer

46 views

### Characterisation of a superset of the simplex

Does there exist a nice description of the following set:
\begin{equation}
A:=\left\lbrace x\in\mathbb{R}^{n}\ \colon\ 0< x_{i}-\bar{x}+\frac{1}{n}< 1\ \text{for} \ i=1,\dots,n\right\rbrace,
\...

**7**

votes

**3**answers

340 views

### Sectional curvature of leaves of foliation

Given a $k$- dimensional foliation $F$ of a riemannian $n$-manifold $M$, with the property that the leaves of the foliation have constant sectional curvature $s$, for some $s$, is it true that $M$ ...

**21**

votes

**6**answers

2k views

### Smooth functions on sphere

Let $u$ be a smooth function defined on the unit sphere $S^2$. Assume $u$ has two local maxima, two local minima, and two saddle points (a total of 6 critical points). Does there exist a plane $P$ ...

**2**

votes

**2**answers

83 views

### Broken geodesic in Finsler polyhedral space

Here we assume that all norms has only one geodesic, i.e. locally
minimizing, between any two points.
Example : In $\mathbb{R}^2$, a line $y=kx,\ k>0$ divides
$\mathbb{R}^2$ into two regions. We ...

**7**

votes

**0**answers

120 views

### Can scalar curvature and diameter control volume? Round 2

This is a follow up to a question by Yiyue Zhang. Can scalar curvature and diameter control volume?
The original question asked whether scalar curvature bounds and small diameter bounds were enough ...

**14**

votes

**3**answers

347 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:...

**5**

votes

**2**answers

120 views

### Function as sum of distances over a connected, compact metric space

If $X$ is a connected, compact metric space with distance function $d : X^2 \rightarrow \mathbb{R}^+$, is it true that there exists a positive real number $a$, dependent on $X$ and $d$, such that for ...

**20**

votes

**2**answers

384 views

### Gluing hexagons to get a locally CAT(0) space

I believe that there are four ways to glue (all) the edges of a regular Euclidean hexagon to get a locally CAT(0) space:
The first two give the torus and the Klein bottle, respectively. What are the ...

**2**

votes

**0**answers

148 views

### An new equilateral triangle related to the Morley triangle

Morley equilateral triangle is the nice theorem in Eulidean Geometry. I found an equilateral triangle and a group circle related to the Morley triangle and angle trisectors:
Let $ABC$ be a triangle ...

**1**

vote

**0**answers

68 views

### Some hypersurface has a positive second fundamental form potentially

Notation : $r^2=x^2+y^2$.
Exercise : Define $$F_\sigma (x,y)= (f_\sigma
(x,y),\frac{x^2-y^2}{2},xy)$$ where $$f_\sigma (x,y)=(1- \sigma^2
r^2)(x-\sigma x^3,y-\sigma y^3)$$
Define $ G_\sigma: \mathbb{...

**6**

votes

**0**answers

110 views

### Do manifolds with non-negative Ricci curvature allow bi-Lipschitz embeddings into Euclidean spaces?

QUESTION: Let $n$ be a natural number. Is it true that there exist $N(n), D(n) > 0$ such that any complete $n$-dimensional Riemannian manifold of nonnegative Ricci curvature can be embedded into $N$...

**4**

votes

**2**answers

149 views

### largest diameter of intersection of two balls

Two closed balls with a common radius are positioned so that the centre of either ball is on the boundary of the other.
I am interested in the extremal diameter of their intersection, in an arbitrary ...

**4**

votes

**0**answers

135 views

### Non-algebraic quasi-isometric embeddings

What are examples of finitely generated groups $\Gamma$ and $\Lambda$ such that the metric space $\Lambda$ embeds into $\Gamma$ quasi-isometrically but such that $\Lambda$ is very much not a subgroup ...

**3**

votes

**0**answers

208 views

### Are these points known? [closed]

Let $ABC$ be a triangle and $P$ be a point on the plane, $PA$, $PB$, $PC$ meet $BC$, $CA$, $AB$ at $A'$, $B'$, $C'$ respectively.
From my construction by GeoGebra, I found two special points as ...

**1**

vote

**0**answers

93 views

### DIstance on a Riemannian manifold [closed]

Given a Riemannian manifold $(M,g)$ is it possible to calculate the distance between two points on this manifold. Is it possible the inverse? That means: given a formula of the distance, for example:
...

**6**

votes

**0**answers

96 views

### Geometric mean of three or more positive definite matrices

The geometric mean of two positive definite (Hermitian) matrices of same size is defined by $$A\natural B := A^{1/2}(A^{-1/2}BA^{-1/2})^{1/2}A^{1/2},$$equivalently,
$$A\natural B =(BA^{-1})^{1/2}A=A(A^...

**4**

votes

**0**answers

157 views

### Uniqueness of the boundary of a hierarchically hyperbolic group

Hierarchically hyperbolic groups and spaces (HHG and HHS for short) were defined by Behrstock, Hagen and Sisto (see here and here). Examples include mapping class groups, Right angled Artin groups, ...

**13**

votes

**0**answers

229 views

### Why are the medians of a triangle concurrent? In absolute geometry

This fact holds true in absolute geometry, and I would like to see an elementary synthetic proof not using the classification of absolute planes (Euclidean and hyperbolic planes) and specific models. ...

**3**

votes

**1**answer

142 views

### Are $CAT(0)$-polygonal complexes median spaces?

A median space is a metric space $X$ for which for any three points $x, y , z \in X $ there exists a unique point $m$ such that $d(x,m)+ d(m, y)= d(x , y ), d(x,m)+ d(m, z)= d(x , z ), d(y,m)+ d(m, z)=...

**1**

vote

**1**answer

139 views

### Approximate the following series on the euclidean grid

I had trouble in finding a closed form solution for the following series, so now I am trying to find a good approximation for it. The $\sqrt{i^2 + j^2}$ in the exponent comes from distances on the ...

**2**

votes

**1**answer

384 views

### Why the VC dimension of triangles in 2D space is not greater than 7?

I understand that there are sets of 7 points on a circle that can be fully
shattered using triangles.But, it is not clear to me why it cannot shatter 8 points.
Is there any intuitive way of arriving ...

**14**

votes

**1**answer

282 views

### Can the graph of a symmetric polytope have more symmetries than the polytope itself?

I consider convex polytopes $P\subseteq\Bbb R^d$ (convex hull of finitely many points) which are arc-transitive, i.e. where the automorphism group acts transitively on the 1-flags (incident vertex-...

**9**

votes

**2**answers

1k views

### Do two new special points in any triangle exist?

There are some special points in any triangle, as Fermat point, symmedian point, incenter, Morley center, et cetera.
Let $P$ be a point on the plane, $PA$, $PB$, $PC$ meet $BC$, $CA$, $AB$ at $...

**2**

votes

**0**answers

116 views

### Lebesgue density theorem for “doubling uniformly covering collections of subsets”

I am looking for a version of Lebesgue density theorem that works when restricting to "good" collections of balls with respect to (not necessarily doubling) metric measure spaces. Specifically
Let $(...