All Questions
Tagged with mg.metric-geometry gt.geometric-topology
241 questions
25
votes
2
answers
2k
views
Is there a continuous partition of space into circles?
Question 1. Is there a continuous partition of space $\mathbb{R}^3$ into circles?
I strongly suspect not.
It is well-known by diverse arguments that space can be partitioned into circles. There is an ...
- 236k
5
votes
3
answers
286
views
On a metrized $n$-dimensional manifold $X$, does every $x \in X$ have a small ball $B_\delta(x)$ that is homeomorphic to $\mathbb R^n$?
Suppose that $X$ is an $n$-dimensional topological manifold that is also metrizable, and hence equipped with some metric that induces the topology.
For every point $x \in X$, let $B_\delta(x)$ be the ...
- 5,327
2
votes
0
answers
82
views
Is isoperimetric hypersurface unique up to homeomorphism?
Is there a Riemannian structure on $\mathbb{R}^n $with two non homeomorphic compact hypersurfaces $M,N$ such that both satisfy the isoperimetric inequality. I precisely meanthe following:
$$\...
- 356
6
votes
1
answer
200
views
Are finitely generated subgroups of $\text{GL}_n(\mathbb{Q})$ virtually special?
This might be a silly question--but are there any examples of finitely generated subgroups of $\text{GL}_n(\mathbb{Q})$ that are known to not be virtually special?
- 103
2
votes
0
answers
100
views
Distributions of random walks on boundaries of balls in hyperbolic metric spaces
Suppose $G$ is a finitely-generated non-elementary hyperbolic group and consider a symmetric random walk on the Cayley graph $\text{Cay}(G,S)$ with generating set $S$. Denote the set of points $B_{\...
- 21
4
votes
1
answer
143
views
On the history of cone-3-manifolds
A cone-3-manifold (of constant curvature) is a geometric 3-manifold locally modelled either on the Euclidean/hyperbolic/spherical 3-space or on the respective metric cones over spherical cone-surfaces ...
- 353
1
vote
1
answer
84
views
Simple convergence of convex compact set implies Hausdorff convergence
I am wondering about the following :
In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that for every $x \in \mathbb{R}^n$ $$ \mathbb{1}_{...
- 125
9
votes
0
answers
251
views
Existence of $1$-separated and $(1-\varepsilon)$-dense set in metric spaces
Is it know which metric spaces $M$ do have the following property: there is $\varepsilon>0$ and a maximal $1$-separated set which is $(1-\varepsilon)$-dense?
In other words, when does at set $S\...
- 799
1
vote
0
answers
92
views
$L^p$-compression of metabelian groups
Question: Is there a metabelian group, so that for some $\epsilon >0$ and all $p \in [1, \infty[$ the [equivariant] compression exponent in [any] $L^p$-space is bounded by $1-\epsilon$ (bound does ...
- 4,432
8
votes
2
answers
489
views
Amalgamated product acting on CAT(0) cube complex
I was reading the following result from the book Metric spaces of non-positive curvature by Bridson and Haefliger.
Result:
Let $F_0,F_1$ and $H$ be groups acting properly
by isometries on complete $...
- 349
2
votes
0
answers
135
views
Need help understanding the geometry of a particular building structure
$\DeclareMathOperator\SL{SL}$I’m not primarily a geometer, so apologies if this question is worded poorly. I’ve been looking at asymptotic cones of connected semisimple Lie groups with at least one ...
- 21
3
votes
0
answers
99
views
Relation of geometric and polyhedral convergence
By Proposition 3.10(i) of Jorgensen and Marden's 1990 Algebraic and geometric convergence of Kleinian groups, "[A] sequence $\{G_n\}$ of Kleinian groups converges geometrically to a Kleinian ...
- 61
1
vote
0
answers
32
views
Unusual parameterization of the ring Dupin cyclide
I discovered the following by playing with the formulas given in the paper Sculptures in $S^3$ by Schleimer and Segerman.
First, define the following parameterization of the Clifford torus:
$$
p(\...
- 2,560
4
votes
1
answer
131
views
Does the Alexandrov angle define convex functions along geodesics in CAT(0) spaces?
Let $X$ be a CAT(0) space and suppose $a,b,c,d\in X$ satisfy
$$
\max\{\angle_a(b,c),\angle_a(b,d)\}<\frac{\pi}{2}.
$$
Let $\gamma:[0,\ell]\to X$ be the geodesic with $\gamma(0)=c$ and $\gamma(\ell)...
- 743
5
votes
1
answer
242
views
Cancellation of elements in the Gromov boundary of a free group
Let $A$ be a finite set of free generators and their inverses and $F$ the free group generated by elements in $A$ (some call $A$ the alphabet of $F$). For each $g\in F$, use $\vert\,g\,\vert$ to ...
- 307
7
votes
2
answers
646
views
A generic metric on $X\cup\mathbb Z$
$\newcommand\abs[1]{\lvert#1\rvert}$Let $(X,d_X)$ be a countable metric space such that $X\cap\mathbb Z=\{0\}$.
Problem. Is there a metric $d$ on the union $Y=X\cup\mathbb Z$ such that
$d(x,y)=d_X(x,...
- 41.8k
6
votes
1
answer
500
views
A characterization of metric spaces, isometric to subspaces of Euclidean spaces
I am looking for the reference to the following (surely known) characterization of metric spaces that embed into $\mathbb R^n$:
Theorem. Let $n$ be positive integer number. A metric space $X$ is ...
- 41.8k
10
votes
1
answer
460
views
An incomplete characterisation of the Euclidean line?
We say that a metric space $(X, d)$ is a Banakh space if for every $\rho \in \mathbb{R}_{> 0}$ and every $x \in X$, there are
$a,b \in X$ such that $\{y \in X \, \vert \, d(x, y) = \rho\} = \{a, b\}...
- 7,893
4
votes
0
answers
182
views
Symmetric line spaces are homeomorphic to Euclidean spaces
For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$.
Definition: A metric space $(X,d)$...
- 41.8k
47
votes
3
answers
3k
views
A metric characterization of the real line
Is the following metric characterization of the real line true (and known)?
A nonempty complete metric space $(X,d)$ is isometric to the real line if and only if for every $c\in X$ and positive real ...
- 41.8k
3
votes
0
answers
75
views
non-negative curvature condition for polyhedral manifolds
A polyhedral manifold P, i.e, a topological manifold with a triangulation where each simplex is isometric to a simplex in Euclidean space (other constant curvature spaces are allowed), is said to have ...
- 85
4
votes
0
answers
263
views
Does this "join-like complex" of $K_5$ and $K_3$ embed in $\Bbb R^4$?
Consider the following 2-dimensional CW-complex: its 1-skeleton is $K_8$, which we write as an edge-disjoint union $K_5\cup K_{5,3}\cup K_3$.
Then for any two edges $ab\in E(K_5)$ and $cd\in E(K_3)$ ...
- 13.6k
3
votes
1
answer
171
views
Spaces satisfying a strong Cartan-Hadamard theorem
Let $(X,d)$ be a connected geodesic metric space. When does there there exists a covering map $\pi:H\rightarrow X$ which is a local-isometry where $H$ is either a Hilbert space or a Euclidean space?
...
- 364
2
votes
1
answer
190
views
Estimating the volume of a convex shape in higher dimensions based only on normal sections
We are given a $d$-dimensional convex shape $S$ inscribed in the hypercube $[-1,1]^d$. We want find an approximation of its volume based only on a set of curves given by the intersection of the $S$ ...
- 1,677
5
votes
1
answer
151
views
Nonexistence of sphere with one conical point [reference request]
It seems to be considered a classical fact that one cannot have a spherical polyhedral/cone-metric on the 2-sphere with precisely one conical point. However, I've never actually seen it proven ...
- 458
1
vote
0
answers
88
views
If all the chocolate is within distance r of the outer boundary of the choco egg, what is the max.quantity of chocolate contained within a unit ball?
We have proved the following statement, but wonder if this result is actually known (reference??)
It solves the following problem. Suppose you have a (possibly) hollow chocolate egg whose outer ...
- 258
3
votes
1
answer
244
views
Partitioning a smooth manifold into geodesically convex sets
Let $X$ be a connected and compact $d$-dimensional smooth manifold; where $d$ is a positive integer. Does (or rather, when does) there exist a metric $\rho$ on $X$ generating $X$'s topology and a ...
- 5,405
5
votes
1
answer
430
views
Volume of a shape whose boundary consists of portions of spheres symmetrically placed about the origin in $d\gg 1$ dimensions
We are given a convex shape $S$ in the $d$-dimensional Euclidean space, whose boundary is formed by portions of $2d$ different spheres, one portion per sphere. The radius of each sphere is the same, $...
- 1,677
0
votes
1
answer
513
views
Distance between two points using triangulation
Suppose we have two points $p_1$ and $p_2$ in a metric space with unknown dimensionality, with no way to directly compute the distance between them, e.g. no coordinates.
Say we can randomly sample a ...
1
vote
0
answers
98
views
Question about coarse fixed point property in large-scale geometry
I read the article of Steven Hair "A degree-theoretic proof of a coarse fixed point principle". I have the following question.
I start with some main definitions from this article. A coarse ...
- 103
3
votes
1
answer
75
views
Conjugacy of topological actions on aspherical three manifolds to isometric actions
Edited: Due to work of Raymond and Scott, there exist diffemorphisms (of certain three-dimensional nil-manifolds) whose $n$th power is diffeotopic to the identity, but which are not themselves ...
- 2,630
8
votes
0
answers
123
views
Is every simplicial $d$-sphere linearly embeddable in $\Bbb R^{d+1}$?
A simplicial $d$-sphere is a simplicial complex homeomorphic to the $d$-sphere. It is known that not every such complex can be embedded into $\Bbb R^{d+1}$ as the boundary complex of a convex ...
- 13.6k
10
votes
1
answer
561
views
Does a compact contractible metric space have a point that is fixed by all isometries?
Let $(X,d)$ be a compact and contractible metric space. Let $\operatorname{Isom}(X)=\{\phi\colon X\to X\}$ be its group of isometries.
Question: Is there a point $x\in X$ fixed by all $\phi\in\...
- 13.6k
8
votes
2
answers
278
views
Symmetries of contractable subsets of $\Bbb R^n$
Let $K\subset\Bbb R^n$ be a non-empty compact subset of $\Bbb R^n$. A symmetry of $K$ is an isometry of $\Bbb R^n$ that fixes $K$ set-wise. Since $K$ is compact, there is always a point $x\in\Bbb R^n$ ...
- 13.6k
2
votes
0
answers
65
views
Connection between a function and its usage in geometry [closed]
I know nothing about geometry, but I found a function which seems to have something to do with geometry.
This function is, $$f(x,y,z) = \dfrac{(x,y,z)}{\sqrt{1 + x^2 + y^2 + z^2}}$$
where $x,y,z$ is ...
- 121
0
votes
0
answers
169
views
Do all manifolds admit metrics with Euclidean balls?
Let $M$ be a compact topological n-manifold. Suppose we are given a locally flat embedding $M \subset \mathbb{R}^{n+k}$. This induces a metric on $M$ by restriction. Is it true that for $\epsilon$ ...
- 5,839
18
votes
2
answers
1k
views
Are hyperbolic spaces actually better for embedding trees than Euclidean spaces?
There is a folklore in the empirical computer-science literature that, given a tree $(X,d)$, one can find a bi-Lipschitz embedding into a hyperbolic space $\mathbb{H}^n$ and that $n$ is "much ...
- 195
3
votes
1
answer
133
views
Lattice-like structure with maximum spacing between vertices
I'll first describe my problem in layman's terms. I have a map with $m$ countries and I want to color each country with a different color (this has nothing to do with the 4-color theorem). How do I ...
- 3,098
4
votes
1
answer
230
views
Generalizing a result about hyperbolic 2-folds to hyperbolic 3-folds
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}$Let $ \Sigma_g $ be a compact orientable surface of genus $ g $. Let the subgroup $ \pi_1(\Sigma) $ of $ \SL_2(\...
- 4,081
3
votes
1
answer
342
views
Embedding coboundedly into ultracomplete hyperbolic space
A Gromov-hyperbolic space $X$ is called ultracomplete if any two distinct points $x,y\in\overline{X}$ in the Gromov bordification can be connected by a geodesic segment, ray or line (depending on ...
- 225
5
votes
1
answer
394
views
Embedding round manifolds into low dimensional spheres
Robert Bryant's answer to Isometric embedding of SO(3) into an euclidean space mentions that there is an isometric embedding of the round tetrahedral space $ SO_3/A_4 $ into the round sphere $ S^6 $.
...
- 4,081
3
votes
1
answer
180
views
When is a graph a $\operatorname{CAT}(\kappa)$ space?
Let $G:=(E,V,W)$ be a weighted graph and let $d_G$ be its graph metric, defined by on any two edges $e_1,e_2\in E$ by
$$
d_G(e_1,e_2)\triangleq
\inf_{\gamma}\, \sum_{v\in \gamma} W(v),\qquad\tag{0}\...
- 195
7
votes
1
answer
311
views
Open covering of $S^n$ by sets not containing antipodal points
Given an $n$-dimensional sphere $S^n$ and an open cover such that none of the open sets contain antipodal points, does there exist a point on $S^n$ that belongs to at least $n+1$ open sets from the ...
- 71
9
votes
0
answers
336
views
Nash embedding for 3 manifolds
The Nash embedding theorem tells us that every smooth Riemannian m-manifold can be embedded in $R^n$ for, say, $n = m^2 + 5m + 3$ (edit: 14 is a better bound for compact 3 manifolds thanks @mme). What ...
- 4,081
3
votes
0
answers
177
views
When do Polish spaces admit complete metric making them $\mathrm{CAT}(\kappa)$?
Question
$\DeclareMathOperator\CAT{CAT}$Let $X$ be a Polish space. When are there known conditions under which $X$'s topology can be metrized by a metric $d$ such that $(X,d)$ is a:
$\CAT(\kappa)$ ...
- 195
1
vote
1
answer
175
views
A question about Gromov-Lawson construction
We all know that if we consider the connected sum $S^n\# S^n$ of two spheres $S^n$ for $n\geq 3$, then by Gromov-Lawson construction(cf. Gromov, Mikhael; Lawson, H.Blaine Jun., The classification of ...
- 563
3
votes
1
answer
173
views
Parameterizing the space of convex quadrilaterals
If $P=\mathbb{R}^2$ is the plane, is there a continuous surjection from $P^4$ to the space of convex quadrilaterals?
Specifically, I'm looking for a continuous $f:P^4\to P^4$ such that:
[convexity] ...
user44143
4
votes
1
answer
381
views
Injectivity of map of fundamental groups from totally geodesic hypersurface
Let $X$ be a compact manifold of non-positive sectional curvature which carries a connected totally geodesic hypersurface $X_0\subset X$. Let $K$ be any compact subset of $X-X_0$. That's to say we ...
- 563
2
votes
0
answers
177
views
Structure of hyperbolic manifolds of finite volume
Let $X$ be a hyperbolic manifold of finite volume.
I want to prove that $X$ has ends of the form $N\times \mathbb{R}$ where $N$ has a finite covering by a nilmanifold and $\pi_1N\to \pi_1 X$ is ...
- 563
4
votes
1
answer
124
views
Gromov hyperbolicity for (non-geodesic) metrics on the upper-half plane invariant with respect to SL(2, R) action
$\DeclareMathOperator\SL{SL}$Let $d$ be a metric on the upper-half plane $\mathbb H = \{(x,y) : y > 0\}$ which is invariant with respect to the action of $\SL(2, \mathbb R)$ to $\mathbb H$ which is ...
- 195