The non-positive-curvature tag has no usage guidance.

**5**

votes

**1**answer

63 views

### Convex embedding with a positivity condition

We have a $n$-dimensional hypersurface $\Sigma$ embedded in the Euclidean $(n+1)$-space $\mathbb{R}^{n+1}$. We know that $\Sigma$ is compact without boundary, convex (not necessarly strictly convex), ...

**5**

votes

**0**answers

65 views

### Convexity of Isoperimetric Domains

I am interested in what is known about the convexity of isoperimetric domains in compact Cartan-Hadamard manifolds (Riemannian manifolds that are complete and simply-connected and have non-positive ...

**1**

vote

**1**answer

69 views

### Understanding the definition of an F-connected simplicial complex

I'm reading the classic paper "Harmonic maps into singular spaces and p-adic superrigidity for lattices in groups of rank one" by Gromov-Schoen. In Section 6, they define the notion of F-connectedness ...

**6**

votes

**1**answer

191 views

### Is the center of gravity in a CAT(0) space contained in the convex hull?

In reading Greg Kuperberg's partial answer to this question Convex hull in CAT(0) ,
I started wondering if the center of gravity is always contained in the closed convex hull.
More precisely, given ...

**3**

votes

**0**answers

46 views

### Convex hulls of quasi-convex sets in proper CAT(0) spaces

Let $A$ be a quasi-convex set in some proper CAT(0) space, $X$, and let $\mbox{Hull}(A)$ be the intersection of all convex sets containing A. Can we conclude that $\mbox{Hull}(A)$ is in some bounded ...

**8**

votes

**0**answers

90 views

### What are the extremal CAT(0) metrics?

(Split off from Does every CAT(0) space embed in a product of trees? )
Fix an integer $k \ge 2$, and let
$MC0_k \subset \mathbb{R}^{\binom{k}{2}}$ be the set of possible squared-distances between $k$ ...

**11**

votes

**2**answers

311 views

### Does every CAT(0) space embed in a measurable integral of $\mathbb{R}$-trees?

Question 1. Does every CAT(0) space embed isometrically inside an integral of $\mathbb{R}$-trees?
Here an integral of $\mathbb{R}$ trees means the set of functions from a measure space $\mathcal{F}$ ...

**3**

votes

**1**answer

97 views

### Geodesic comparison in Hadamard space

Let $X$ be a hadamard space and $\gamma_1, \gamma_2 \colon \mathbb{R}\rightarrow X$ be two geodesics. Part 2 of Coroallary 2.5 in
...

**5**

votes

**0**answers

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

**14**

votes

**3**answers

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

**6**

votes

**0**answers

227 views

### Negative curvature in the middle of $R^{3}$

What's a simple example of metric on $R^{3}$ which has negative scalar curvature inside of a (limited) set N, and is equal to the standard (Euclidean) metric outside?
Basically, I am asking for a ...

**3**

votes

**1**answer

299 views

### Volume of a geodesic simplex on a manifold of non-positive curvature.

Let $M$ be a simply connected manifold that admits a metric of non-positive curvature. For example take $\mathbb{R}^k\times \mathbb{H}^n$. Take $m+1$ points $x_0$, $x_1, \ldots$ $x_m$, $m>k+1$ and ...