Skip to main content

All Questions

Filter by
Sorted by
Tagged with
17 votes
1 answer
526 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 ...
Joseph O'Rourke's user avatar
16 votes
1 answer
1k 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 ...
Anonymous's user avatar
  • 828
12 votes
1 answer
504 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 - ...
Misha's user avatar
  • 31.2k
12 votes
1 answer
409 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 ...
K. Bulinski's user avatar
10 votes
1 answer
1k views

CAT(0) groups that does not act on CAT(0) cubical complex

CAT(0) groups are groups that act on a CAT(0) space properly and cocompactly. If a group acts on a CAT(0) cubical complex properly and cocompactly, then of course it is a CAT(0) Group. I am wondering ...
Xiaolei Wu's user avatar
  • 1,598
9 votes
1 answer
734 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 $\mathbb{E}^...
Qayum Khan's user avatar
8 votes
1 answer
412 views

Homeomorphism/ homotopy types of non-negatively curved manifolds

A (special case of a) theorem of Gromov says for any $n\in \mathbb{N}$ there exists a constant $C(n)$ such that for any smooth connected closed $n$-dimensional Riemannian manifold with non-negative ...
asv's user avatar
  • 21.8k
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 $...
bishop1989's user avatar
7 votes
2 answers
355 views

Convex subcomplexes of CAT(0) cubical complexes

Is the following statement true? If so, can anyone provide a reference? Let $X$ be a CAT(0) cubical complex, and let $Y$ be a connected subcomplex of $X$. Then the following are equivalent: ...
Jim Belk's user avatar
  • 8,493
6 votes
1 answer
336 views

Discrete approximations of Riemannian manifolds

MSE crosspost It's known (due to Perelman) that in class of Alexandrov spaces of fixed dimension and bounded from below curvature Gromov-Hausdorff distance separates homeomorphism types — every $\...
Denis T's user avatar
  • 4,600
4 votes
1 answer
259 views

Generalization of Radon's theorem

A Cat(0) metric space $(X,d)$ of constant and finite local dimension is approximately flat if there exists a dense subset $U\subset X$ such that every $x\in U$ has a flat neighborhood (i.e. isometric ...
user00169's user avatar
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)...
DavidHume's user avatar
  • 743
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 ...
Lucas L.'s user avatar