# Tagged Questions

**5**

votes

**2**answers

196 views

### Are shortest halving curves simple closed geodesics?

Let $S$ be a smooth convex surface in $\mathbb{R}^3$
(although my question may as well be asked for the surface of a polyhedron).
Say that $\gamma$ is a shortest halving curve if
(a) it partitions the ...

**2**

votes

**0**answers

85 views

### Cusp points in Alexandrov spaces

Given a space of bounded integral curvature (by which I mean a topological surface with an intrinsic metric, such that the sum of excesses of any finite collection of non-overlapping simple triangles ...

**2**

votes

**0**answers

54 views

### isoperimetric problems on Alexandrov spaces

For an Alexandrov space M with curvature bounded from below, the isoperimetric profile $v \to I_M(v)$ defined for every $v\in (0,V(M))$ (the volume of M might be infinite), is given by
$$
...

**6**

votes

**1**answer

152 views

### Length inequalities in trees and CAT(0) spaces

I have a family of possibly related questions. Let me start with an elementary one:
Question 1. Fix an integer $n$. For which collections of real numbers $a_{ij}$, $i, j = 1, \dots, n$, is it true ...

**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 - ...

**5**

votes

**0**answers

107 views

### Fourier analysis for the discrete cube in CAT(0) spaces?

Is there a meaningful Fourier analysis of mappings from the discrete cube into CAT(0) spaces?
Examples for what I have in mind:
Fix a CAT(0) space $X$, a mapping $f:\{-1,1\}^n \to X$, and ...

**12**

votes

**3**answers

348 views

### Embedding expanders in CAT(0) spaces

It is well-known that expanders are hard to embed into Hilbert (or $\ell^p$) spaces - any embedding of an expander with $n$ vertices has distortion $\Omega(\log n)$.
Can anyone provide a reference ...

**1**

vote

**0**answers

80 views

### Alexandrov spaces satisty $BE(K,N)$ and $BE(K,\infty)$?

Assume the Dirichlet form $\varepsilon$ adimits a Carre du champ $\Gamma$ and introduce the multilinear form $\Gamma_2$ $$
\Gamma_2 [f,g;\phi]:=\frac12 \int_X (\Gamma (f,g)L\phi ...

**0**

votes

**0**answers

49 views

### curvature of subset of Alexandrov spaces

If M is a Riemannian manifold with $Ric \ge - \left( {n - 1} \right)$, $$ds_M^2 = d{t^2} + \exp \left( {2t} \right)ds_N^2$$ N is a submanifold of M. Then by Gauss-equation, we can prove $Ric\left( N ...

**3**

votes

**0**answers

95 views

### Generalized flag complex?

Assume we glue an $n$-dimensional simplicial complex $K$
from copies of an $n$-simplex $\Delta$ with fixed spherical metric.
We may think that $\Delta$ has colored vertices
and we glue so that the ...

**7**

votes

**2**answers

198 views

### Distortion of tree embedding in Alexandrov spaces

It is a well-known theorem first proved by Bourgain that any map $\varphi:T_n\to H$ from the binary tree of height $n$ to a Hilbert space has distortion at least $C \sqrt{\ln n}$ where $C$ is a ...

**4**

votes

**1**answer

161 views

### Does convex set in Alexandrov space has positive reach?

Let $M$ be a metric space, $A$ a subset of $M$. The reach (defined by Federer) of $A$ in $M$ is the largest $r_0\ge 0$ such that if $x\in M$ and the $d(x, A)< r_0$, then $A$ contains a unique point ...

**5**

votes

**1**answer

291 views

### Is the tangent cone of a totally convex subset again totally convex?

To need not worry about the possibly broadest context let:
$X$ be an Alexandrov's space with lower curvature bound and $C$ be a totally convex subset, i.e. for any $x,y \in C$ and any geodesic ...

**-2**

votes

**2**answers

229 views

### examples of totally geodesic subset

Could you give examples of totally geodesic subset of codim>1 in positively curved Alexandrov space?

**1**

vote

**1**answer

494 views

### a result of soul theorem,right?

X is an n-dim positively curved manifold and Y is a totally geodesic submanifold of codimension 1.Then cutting along Y we get n-dim positively curved manifolds without boundary,by soul theorem these ...

**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 ...

**4**

votes

**1**answer

267 views

### Extend the Wilking Connectiveity Theorem to Alexandrov spaces

In the conference "on Manifolds with Non-negative Sectional Curvature" held in 2007,
Problem 6 is:
Extend the Wilking Connectivity Theorem to Alexandrov spaces, i.e. if $X$ is a positively curved ...

**7**

votes

**2**answers

350 views

### Source for: Geodesics in CAT(0) spaces

I am seeking a good introductory reference that could lead to an understanding of
the properties of geodesics in
complete CAT(0) metric spaces.
I am especially interested in learning the differences ...

**9**

votes

**0**answers

265 views

### Is it overkill to invoke Kirszbraun theorem to prove the following fact ?

Given a small enough convex triangle $(abc)$ in a (smooth or Alexandrov) surface $(X,d)$ of curvature greater than $-1$, let $(\overline{abc})$ be its comparison triangle in $\mathbb{H}^2$. Then there ...

**7**

votes

**1**answer

466 views

### Smoothability of compact Alexandrov surfaces with curvature bounded from below.

Let $(X,d)$ be compact metric space of curvature greater than $-1$ (in the sense of comparison triangles), assume that its Hausdorff dimension is $2$. Then a result of Perelman says that $X$ is a ...

**5**

votes

**1**answer

239 views

### Flat sector in a proper cocompact CAT(0) space

Let $X$ be a complete CAT(0) space with a proper and cocompact group action by isometries, and suppose there are $\xi, \xi' \in \partial X$ with $\angle (\xi, \xi') < \pi$. Using proposition 9.5 ...

**12**

votes

**2**answers

593 views

### infinite dimensional CAT(0) groups

Usually a CAT(0) group is defined to be a group acting properly isometrically and cocompactly on a CAT(0) space, but I would like to consider only those groups that act properly, isometrically and ...

**4**

votes

**1**answer

311 views

### Examples of CAT(0)-groups

My question is the following:
Let M be a simply connected Riemannian manifold whose sectional curvatures
are all nonpositive and let G be a group. Suppose that G acts in M properly discontinuous and
...

**2**

votes

**3**answers

311 views

### Is this the CAT(0) metric on an affine building?

Let $R$ be a discrete valuation ring qith quotient field $Q$ and let $t\in R$ be a generator of the unique maximal ideal in $R$. Let $V$ be a finite-dimensional $Q$-vector space. Then one can consider ...

**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 ...

**8**

votes

**1**answer

495 views

### Metrically singular Alexandrov space.

Perelman's stability theorem shows in particular that a finite dimensional compact Alexandrov space $(X,d)$ such that $X$ is not a topological manifold cannot be approximated in the Gromov-Hausdorf ...

**8**

votes

**1**answer

1k views

### Rigidity of triangle comparison in Alexandrov spaces

For $CAT(\kappa)$ spaces $X$ we have following rigidity result: if equality holds in any of the comparison distances between a triangle $\Delta$ in $X$ and the corresponding comparison triangle ...

**12**

votes

**0**answers

553 views

### Are all these groups CAT(0) groups?

Given a geodesic metric space $X$ together with a choice of midpoints
$m:X\times X\rightarrow X$ (i.e. $d(m(x,y),x)=d(m(x,y),y)=d(x,y)/2$).
Assume furthermore, that the following nonpositive ...

**3**

votes

**1**answer

182 views

### Stability of midpoints in CAT(0) spaces

Given a CAT(0) space $X$ and a compact, convex subset $A$ of $X$. One can define its midpoint $m(A)$ as the point, at which the following function attains its minimum.
$f:A\rightarrow ...

**6**

votes

**1**answer

1k views

### Details of Perelman's example about soul of Alexandrov space

Reading Perelman's preprint(1991) Alexandrov space II now. Got confused about the last section 6.4, which contains an example which indicate that the statement ".... manifold is diffeomorphic to the ...

**8**

votes

**1**answer

626 views

### In a locally CAT(k) space, does uniqueness of geodesics imply the lack of conjugate points?

A complete, simply connected Riemannian manifold has no conjugate points if and only if every geodesic is length-minimizing. I just realized that I don't know whether the same is true for a locally ...

**3**

votes

**1**answer

266 views

### Is Level set of Regular functions in Alexandrov spaces again an Alex. space?

Let $X^n$ be an Alexandrov space, and $f: X^n\to \mathbb R^k$ a regular map, does the level set necessary be an Alexandrov space?
In my mind, the intrinsic metric on the level set is 'comparable' to ...

**4**

votes

**2**answers

705 views

### Are isometries the only geodesic preserving maps in a CAT(0)-space?

Given any CAT(0) space $X$, we can define a map $s:X\times X\times [0;1]\rightarrow X$, such that $s(x,y,-)$ is the constant speed geodesic from $x$ to $y$ . Any isometry $f$ of $X$ is compatible with ...

**2**

votes

**2**answers

581 views

### Soul theorem for non-negativly curved open Alexandrov manifolds?

Alexandrov manifold means Alexandrov space which happens to be a manifold, i.e. the space of directions is homeomorphic to shpere. Sorry for introducing this new term.
For such a open manifold does ...

**6**

votes

**2**answers

286 views

### Why is GL(n,C)/U(n) a CAT(0) space?

The title says it all. In one of his answers to the question "Convex hull in CAT(0)" (I don't have the points to post a link, if someone doesn't mind link-ifying this that would be cool), Greg ...

**6**

votes

**2**answers

842 views

### Example of non-closed convex hull in a CAT(0) space

this is related to this question but is simpler, and hopefully is well-known. There are a number of references that say that the convex hull of a collection of points in a CAT(0) space need not be ...