# Tagged Questions

**2**

votes

**1**answer

61 views

### Characterization of the medial axis of a surface

I would like to know if the following "characterization" of the medial axis of a surface is correct, and if so, how to prove it.
Let $S$ be a continuous, piecewise smooth, compact surface embedded in ...

**3**

votes

**2**answers

196 views

### Is the hypersurface satisfying $\langle x-x_0,\nu\rangle>0$ diffeomorphic to sphere?

Let $p:M\to \mathbb{R}^{n+1}$ be the closed immersed hypersurface. Is the following thing right? If there exists a point $x_0$ in $\mathbb{R}^{n+1}$ such that $\langle x(p)-x_0,\nu(p)\rangle>0$ ...

**4**

votes

**0**answers

78 views

### Centralizers and intersections in the Gromov-boundary of the mapping class group

The mapping class group of a punctured surface $\Sigma$ is weakly relatively hyperbolic (see below), hence it is well defined the Gromov-boundary with respect to the relative metric.
First question: ...

**1**

vote

**0**answers

48 views

### Groups of equi-quasi-isometric diffeomorphisms of a Riemannian surface of bounded geometry

Let $M$ be an open Riemannian surface of bounded geometry. Let $\Gamma$ be a group of diffeomorphisms of $M$. Suppose that $\Gamma$ is equi-quasi-isometric; i.e., its elements are (differentiable) ...

**4**

votes

**1**answer

104 views

### Rationality of translation lengths in hyperbolic groups

Recall that the translation length $\tau(g)$ of an element $g \in G$ is the limit $d(1, g^n)/n$, where $d$ is the word metric on $G$ with resepct to some generating set.
It is a theorem of Gromov ...

**5**

votes

**1**answer

210 views

### Boundaries of relatively hyperbolic groups

When the interior of an n-manifold $M$ has a pinched negative curvature metric of finite volume, then its fundamental group $\Gamma=\pi_1M$ is relatively hyperbolic relative to the parabolic groups ...

**7**

votes

**1**answer

453 views

### Is this knot invariant already treated somewhere in the literature?

Fix a knot type $K \subset S^3$, and consider the set $$Y_K = \{ \mbox{Diagrams of }K \} / \mbox{planar isotopy}.$$
We can turn $Y_K$ into a metric space by considering the distance induced by ...

**1**

vote

**0**answers

89 views

### Entangled helical knots

Consider a pair of disjoint, congruent helices $H_1$ and $H_2$
passing through one another in the following sense.
(Caveat lector: This question is not of general interest! It is also long.)
$H_1$ is ...

**10**

votes

**1**answer

296 views

### Tverberg's theorem in CAT(0) spaces

Does Tverberg's theorem hold for CAT(0) spaces of covering dimension $d<\infty$:
Is it true that for any $d$-dimensional $CAT(0)$-space $X$ and a subset $E\subset X$ of cardinality $(d + 1)(r - ...

**10**

votes

**1**answer

205 views

### Why do convex polytope options constrict with dimension, rather than expand?

There are an infinite number of regular polygons in the plane,
five regular polyhedra,
six regular polytopes in $\mathbb{R}^4$,
and then three regular polytopes in every dimension $d > 4$.
There ...

**11**

votes

**1**answer

373 views

### Does Gromov's Waist Inequality imply Borsuk-Ulam?

I'm curious if anyone can see a route to get the Borsuk-Ulam theorem from Gromov's waist inequality. For the sake of notation, here's the inequality:
Let $S^n$ denote the round unit sphere in ...

**10**

votes

**1**answer

245 views

### Mapping class group and CAT(0) spaces

I hope the questions are not too vague.
Is the mapping class group of an orientable punctured surface $CAT(0)$ ?
Is any of the remarkable simplicial complexes (curve complex, arc complex...) built ...

**11**

votes

**3**answers

247 views

### Are there quanitative versions of Thurston's geometrization for manifolds which fiber over $S^1$?

The geometrization theorem tells us:
Theorem (Thurston) The mapping torus $M_\phi$ of a pseudo-Anosov diffeomorphism $\phi: S_g \rightarrow S_g$ from a genus $g$ surface to itself admits a ...

**2**

votes

**1**answer

115 views

### Are harmonic maps quasiconformal at the boundary of hyperbolic spaces?

Let $M$ be a hyperbolic $3$-manifold and $X$ a negatively curved, simply connected space with geometric boundary $\partial X$.
If $\rho:\pi_1M\rightarrow Isom(X)$ does not fix a point in $\partial ...

**7**

votes

**0**answers

188 views

### Right-angled polytopes

%This question is motivated by the little discussion here at the bottom.
The following thing are known about hyperbolic right-angled polytopes:
Compact hyperbolic right-angled polytopes do not ...

**5**

votes

**1**answer

218 views

### Standard (special) spines and hyperbolic structure on 3-manifolds

My question relates to constructing angled triangulations or hyperbolic triangulations for $3$--manifolds. Briefly, an angle triangulation can be considered as an assignment of a real number (called ...

**6**

votes

**1**answer

577 views

### How metric is Riemannian geometry

Let $(M, g)$ be a finite-dimensional Riemannian manifold. It is well-known, that the Riemannian metric induce a metric on the manifold by
$$d(x, y) = \text{inf} \int_a^b \| \dot\gamma(t) \| \, ...

**11**

votes

**3**answers

596 views

### What fraction of n-point sets in the unit ball have diameter smaller than 1?

This question is inspired by a recent talk by Matt Kahle on random geometric complexes.
Some simple notation: let $\mathcal{B} \subset \mathbb{R}^d$ be the unit ball in $d$-dimensional Euclidean ...

**0**

votes

**0**answers

209 views

### Proper Group action on a metric space

Let $(X,d)$ be a metric space and $C\subset X$ be a compact subset. Let furthermore $G$ be a group that acts on $X$ proper and by isometries. Does there exist an $\epsilon >0 $ such that: Let $U=$ ...

**1**

vote

**1**answer

184 views

### simplicial complex equipped with barycenric metric is complete [closed]

Consider a simplicial complex $C$. On its support $$|C|=\lbrace \alpha = \sum_{v\in C}\alpha_{v}v \mid 0\leq \alpha_{v} \leq 1 , \sum_{v\in C}\alpha_{v} =1\mbox{ and }v|{\alpha_{v}} \neq 0\mbox{ is a ...

**11**

votes

**1**answer

259 views

### Is every connected metrizable locally path connected space a length space?

Does every connected metrizable locally path connected topological space $X$ admit a compatible metric $d$ so that $(X,d)$ is a length space?
(Edit to correct definition: Recall that a metric space ...

**9**

votes

**0**answers

281 views

### Is the connected sum of knots an isometry?

Take $X$ as the set of knots in the 3-sphere (i.e. smooth embeddings of $S^1$ in $S^3$ up to smooth isotopy), endowed with the Gordian distance $d$.
For a fixed knot $K$ we can define the map ...

**6**

votes

**0**answers

292 views

### A conjecture of Thurston and possibly Weeks too

What is the status of the following conjecture:
"... [w]hen the shortest simple closed geodesics are repeatedly removed from any complete hyperbolic 3-manifold of finite volume, eventually one ...

**1**

vote

**1**answer

149 views

### Fractal dimension of 1D set, what if logN vs log(e) is a polygonal chain?

I have a finite set of points, and plot the graph log(N) vs. log(e). I see a polygonal chain (the final slope, starting at some size of e, is zero, of course). If the set represents some physical ...

**2**

votes

**0**answers

157 views

### Computing the Volume of Closed 3-Manifolds and the Geometrization Conjecture

My question is whether or not if I generalize Theorem 2(i) of "Contact Graphs of Unit Sphere Packings Revisited" [2012] by K. Bezdek and S. Reid (arXiv link) which states
The number of touching ...

**11**

votes

**0**answers

383 views

### Does every connected set that is not a line segment cross some dyadic square?

A dyadic square is a subset of $R^2$ of the form $x + 2^{-n} [0,1]^2$ with $x \in 2^{-m} Z^2$, for integers $m,n \geq 0$. We say that a set $A$ crosses a square $S$ if there exists a connected subset ...

**5**

votes

**1**answer

205 views

### QVH characterization of virtually special groups

Agol's recent VHC paper gave a characterization of virtually special groups in terms of being $\mathcal{QVH}$. He remarks that this may be taken as the defining property of virtually special groups ...

**11**

votes

**1**answer

233 views

### Walls of CAT(0) cube complex sufficiently far apart implies intersection of stabilizers finite

I was reading through Agol's paper on the Virtual Haken Conjecture and I came across a claim whose proof I am after. It seems to boil down to the following claim about the hyperplanes and their ...

**1**

vote

**2**answers

233 views

### Combination theorems for discrete subgroups of isometry groups

Maskit's combination theorem says: if $M=M_1\cup_\Sigma M_2$ is a union of hyperbolic 3-manifolds $M_1=\Gamma_1\backslash H^3, M_2=\Gamma_2\backslash H^3$ along a surface $\Sigma$, and if the limit ...

**13**

votes

**1**answer

329 views

### Is $\partial X$ a sphere for $X$ a complete CAT$(0)$ space?

Let $X$ be a complete CAT$(0)$ metric space, and $\partial X$ its boundary.
One way to define $\partial X$ is as the equivalence class of geodesic rays
$\gamma(t), \gamma'(t)$
that remain within a ...

**3**

votes

**1**answer

167 views

### Are faces of a compact, convex body “opposed” iff their extreme points are pairwise “opposed”?

Let $P$ be a compact, convex subset of $\mathbb{R}^n$ (infinite-dimensional generalisations welcome, but not necessary). Let's say that disjoint subsets $W_1$, $W_2$ $\subset P$ are opposed if there ...

**8**

votes

**2**answers

730 views

### Altitudes of a triangle

The three altitudes of a triangle are concurrent -- this is true in all three constant curvature geometries (Euclidean, hyperbolic, spherical), but, as far as I know, the proofs are different in the ...

**8**

votes

**1**answer

364 views

### Uniform Embedding into Euclidean Space

Given a locally compact, separable, metric space $X$.
When does $X$ uniformly embed into some Euclidean space?
This means, when does there exist some integer $n$ and a closed subset ...

**3**

votes

**1**answer

296 views

### Least cardinality of a set of points in the plane

What is the least possible cardinality $K$, of a set S of points in the plane, such that there exists a point P in the plane and an open ball B centered at P, such that for all points X in B, not all ...

**1**

vote

**1**answer

255 views

### Discrete subgroups of isometry group of proper metric space

Let $X$ be a proper metric space and consider its isometry group $\mathrm{ISO}(X)$ endowed with the compact-open topology. Let $G$ be a subgroup of $\mathrm{ISO}(X)$.
Consider the following ...

**20**

votes

**0**answers

605 views

### Boundaries of noncompact contractible manifolds

It is known that a manifold $B$ bounds a compact contractible topological manifold if and only if $B$ is a homology sphere. The "only if" direction follows by excising a small ball in the interior of ...

**1**

vote

**1**answer

146 views

### s-densities and conformal measures

I recently learnt about s-densities:
http://en.wikipedia.org/wiki/Density_on_a_manifold#s-densities_on_a_vector_space
For simplicity suppose that the vector space in this definition is \R. The prime ...

**2**

votes

**3**answers

290 views

### Local finiteness and coarse bounded geometry

I've just started learning these things and so probably my questions will be very easy. Please forgive me.
A metric space $(X,d)$ is called locally finite if every bounded set is finite.
A metric ...

**7**

votes

**1**answer

519 views

### Metric spheres in CAT(0) manifolds

Let $X$ be a topological manifold of dimension $n$, equipped with a compatible CAT(0) metric.
Are sufficiently small metric spheres in $X$ homeomorphic to metric spheres in Euclidean space ...

**1**

vote

**1**answer

188 views

### Warped product neighborhoods of geodesic hypersurfaces

Is it true that any totally geodesic hypersurface in a nonpositively curved manifold has a tubular neighborhood such that the metric on the neighborhood is a warped product?
At least, if the manifold ...

**1**

vote

**1**answer

156 views

### Is there a linear embedding of a simplical 3-complex in R^6?

I've heard that there always is an embedding in $R^7$ (can someone provide a reference for that?) and this number cannot be lowered in general. But I'm interested in a somewhat special case, namely: ...

**1**

vote

**2**answers

293 views

### Can a set of tetrahedra glued together by a common vertex be isometrically embedded in R^4?

A collection of triangles with a common vertex $A_1VA_2$, $A_2VA_3$, ... $A_NVA_1$ with specified side lengths can be isometrically embedded in $R^2$ provided the angles around $V$ add up to $2\pi$. ...

**5**

votes

**0**answers

171 views

### How do metrics behave under joining along a manifold embedded in the boundary?

How do metrics behave under joining along a manifold embedded in the boundary?
This is, more-or-less, part of Problem 4.66 in Kirby's List:
Problem 4.66 How do metrics (e.g. Riemannian, Lorentz, ...

**6**

votes

**1**answer

384 views

### Space-discriminating injective curve

Let $f\colon \mathbb R^1\to \mathbb R^3$ be a continuous and injective map. Is $\mathbb R^3\setminus f(\mathbb R^1)$ a path-connected space?

**4**

votes

**1**answer

686 views

### Example in dimension theory

Could you give me an example of a complete metric space wiht covering dimension $> n$ all of which compact subsets have covering dimension $\le n$?

**4**

votes

**2**answers

290 views

### How indepenedent of a chosen metric is the box-counting dimension? Is there a non-integral dimension which is defined for topological spaces?

Question 1. Given a topological space $X$ and two metrics $a$ and $b$ on it, compatible with the topology, what conditions should I impose on them so that box-counting (or other, for example ...

**40**

votes

**3**answers

2k views

### Explicit metrics

Every surface admits metrics of constant curvature, but there is usually a disconnect between
these metrics, the shapes of ordinary objects, and typical mathematical drawings of surfaces.
Can ...

**6**

votes

**2**answers

767 views

### G-spaces and manifolds

In his book "The geometry of geodesics" H. Busemann defines the notion of a G-space to be a space which satisfies the following axioms:
The space is metric
The space is finitely compact, i.e., a ...

**11**

votes

**2**answers

1k views

### De Rham decomposition theorem, generalisations and good references

De Rham decomposition theorem states that every simply-connected Riemannian manifold $M$
that admits complementary sub-bundles $T'(M)$ and $T''(M)$ of its tangent bundle parallel with respect to the ...

**3**

votes

**1**answer

538 views

### Do continuous maps give continuity in the 'topology' of Hausdorff distance?

I was reading this question:
limiting behaviour of converging loops on a torus
And I wanted to be able to give an argument along the lines of: "If your loops are converging in your torus, their ...