Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that:
$X_{n}$ is a regular$^1$ CW-complex of constant local dimension$^3$ $n$, it is of finite type$^4$, boundaryless$^2$, unbounded, uniform$^5$, and it is the $n$-skeleton of $X_{n+1}$, which is n-connected. Moreover, the distances $d_{n}$ , $d_{n+1}$ generate the same topology on $X_{n}$ and $\forall x,y \in X_{n} \ d_{n+1}(x,y) \le d_{n}(x,y)$.
Finally $(X_{n},d_{n})$ is quasi-isometric to $(X_{n+1},d_{n+1})$, through the inclusion map $X_{n} \subset X_{n+1}$, and a distance $d$ on $ \bigcup{X_{n}}$ is defined (for $x, y \in X_{n_0}$) by $d(x,y) := \lim_{n (\ge n_0) \to \infty} d_{n}(x,y)$.

Rigidity assumption: if $S$ is a connected subspace of $X_{n}$ such that $S$ contains the geodesic paths between all its points, for $d_{n}$ and $d_{n+1}$, then $d_{n} = d_{n+1}$ on $S$.

Definition : Let $X:=\overline{\bigcup{X_{n}}}$ be the completion of the metric space $\bigcup{X_{n}}$ with $d$.
Question : Is $X$ weakly contractible ?

Remark: Some of these conditions could be useless for a proof, and others, highly generalized.
Motivation: See here for applications to geometric group theory and noncommutative geometry.

$^1$Regular (for a CW complex) : the attaching maps are homeomorphism (see this post).
$^2$Boundaryless (for a regular CW complex) : the boundary of each closed cell is contained is the union of the boundaries of other closed cells.
$^3$Constant local dimension : the topological dimension of all neighborhood of all point, is constant.
$^4$Finite type : finitely many $r$-cells ending in a fixed $(r-1)$-cell.
$^5$Uniform : For all $r$-cell $c_{1}$ and $c_{2}$, there is a neighborhood $n_{1}$ of $c_{1}$ and $n_{2}$ of $c_{1}$, such that $n_{1}$ is homeomorphic to $n_{2}$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.