Questions tagged [non-positive-curvature]
The non-positive-curvature tag has no summary.
38 questions
1
vote
0
answers
50
views
Classical comparison theorems for geodesics starting from a submanifold whose sectional curvature is bounded from below
I am studying the following proof and would like to clarify a few points listed at the end of this post.
Setup:
Let $M$ be a 3-dimensional Cartan–Hadamard manifold (complete, simply connected, ...
1
vote
0
answers
77
views
Extending Kleiner’s proof of isoperimetric inequality in Cartan-Hadamard manifold to isoperimetric regions with nonsmooth boundary
Let $M^n$ be a Cartan--Hadamard manifold and $B \subset M$ a geodesic ball. In Kleiner’s proof of the Cartan--Hadamard conjecture in dimension 3, the estimate
$$
\max_{\partial E} H_{\partial E} \ge ...
2
votes
0
answers
74
views
Reference request: stability of the barycenter under the logarithm map in Hadamard spaces
Let $X$ be an Hadamard space.
For $p\in X$ let $\log_p:X\to T_pX$ be the logarithm map that maps points in $X$ to the corresponding points in the tangent space $T_pX$.
Let $μ$ be a Borel probability ...
2
votes
0
answers
114
views
Nested convex hulls in Hadamard manifold
Let $F$ be a finite set in a Hadamard manifold $H$, and $W\supset F$ is its neighborhood.
Is it true that the closure of the convex hull of $F$ lies in the interior of the convex hull of $W$?
...
8
votes
2
answers
566
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 $...
4
votes
1
answer
169
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)...
3
votes
1
answer
227
views
Parallel Jacobi fields in a Hadamard manifold
Let $M$ be a Hadamard manifold and let $c: \mathbb{R}\rightarrow M$ be a geodesic. A Jacobi field $Y$ along $c$ is called parallel if $Y'(t) = 0$ for every $t\in \mathbb{R}$. If we assume that $M$ is ...
4
votes
0
answers
97
views
Representing homotopy classes of Kähler manifolds by harmonic maps
Let $(M,g_M)$ be a compact Kähler manifold with negative bisectional curvature. Let $\alpha : (S,g_S) \to M$ be a continuous map from a compact Riemannian manifold $(S,g_S)$.
Is $\alpha$ homotopic to ...
2
votes
1
answer
199
views
Upper bound on volume growth of area minimizers
Let $M^n$ be a complete simply connected Riemannian manifold with $\operatorname{sec}_M \leq 0$ (i.e. a Hadamard manifold) and assume that there is a constant $a \geq 0$ such that $\operatorname{sec}...
1
vote
0
answers
93
views
Are Carnot groups ever CAT(𝜅) spaces?
Let $G$ be a free Carnot group of homogeneous dimension $d$, equipped with the Carnot–Carathéodory metric. Is $(G,d)$ ever $\operatorname{CAT}(\kappa)$ for some $\kappa\in \mathbb{R}$?
4
votes
1
answer
202
views
Are geometric actions on CAT(0) spaces with isolated flats minimal on the boundary?
Suppose $X$ is a $CAT(0)$ space with isolated flats, $\partial X$ its visual boundary and $G$ acts properly discontinuously amd cocompactly on $X$. Must the $G$ action on $\partial X$ have a dense ...
3
votes
0
answers
227
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)$ ...
10
votes
0
answers
688
views
Volume of a geodesic ball in $\operatorname{SL}(n) / {\operatorname{SO}(n)}$?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Crossposted on MSE: https://math.stackexchange.com/questions/4261809/volume-of-a-geodesic-ball-in-sln-son
Question: What is the volume of a ...
1
vote
1
answer
146
views
$L^p$-barycenters via continuous selectors
Let $\mathbb{P}$ be a Borel probability measure on $\mathbb{R}^n$ with $\int_{x \in \mathbb{R}^n} \|x\|^p\mathbb{P}(dx)<\infty$. For which $p\in [1,\infty)$ (other than $p=2$) is the following ...
0
votes
0
answers
113
views
Gromov–Hausdorff closure of non-positively curved graphs
Setup:
Let $\Gamma$ be the set of non-positively curved weighted connected graphs, with finitely many points, which are isometrically embedded in $\mathbb{R}^n$; for some $n\in \mathbb{N}$;$n\geq 2$. ...