Free construction of CAT(1) spaces

Koichi Nagano

DOI: https://doi.org/10.1007/s00013-006-1708-8

2007-02-01

Archiv der Mathematik

Abstract:Abstract.We construct several non-trivial examples of CAT(1) spaces by using the idea of free construction.

mathematics

What problem does this paper attempt to address?

EXPLICIT CONSTRUCTION FOR LOCAL ISOMETRIC IMMERSIONS OF SPACE FORMS

Q He,YB Shen

DOI: https://doi.org/10.1142/s0252959903000104

2003-01-01

Chinese Annals of Mathematics Series B

Abstract:By using Darboux transformations, the authors give the explicit construction for local isometric immersions of space forms Mn（c） into space forms M2n-1（c + ε2） via purely algebraic algorithm.
On non-locally connected boundaries of CAT(0) spaces

Tetsuya Hosaka

DOI: https://doi.org/10.48550/arXiv.math/0606019

2006-06-01

Group Theory

Abstract:In this paper, we study CAT(0) spaces with non-locally connected boundary. We give some condition of a CAT(0) space whose boundary is not locally connected.
Asymptotic topological regularity of CAT(0) spaces

Koichi Nagano

DOI: https://doi.org/10.1007/s10455-021-09820-2

2022-01-05

Annals of Global Analysis and Geometry

Abstract:We study asymptotic topological regularity of CAT(0)documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$${ ext {CAT}}(0)$$end{document} spaces. We prove that if a purely n-dimensional, proper, geodesically complete CAT(0)documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$${ ext {CAT}}(0)$$end{document} space has small volume growth, then it is homeomorphic to the n-dimensional Euclidean space. We also discuss asymptotic geometry of proper, geodesically complete CAT(0)documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$${ ext {CAT}}(0)$$end{document} spaces of small volume growth.

mathematics
CAT(0) Spaces of Higher Rank I

Stephan Stadler

DOI: https://doi.org/10.1007/s00039-024-00661-2

2024-02-04

Geometric and Functional Analysis

Abstract:A CAT(0) space has rank at least n if every geodesic lies in an n -flat. Ballmann's Higher Rank Rigidity Conjecture predicts that a CAT(0) space of rank at least 2 with a geometric group action is rigid – isometric to a Riemannian symmetric space, a Euclidean building, or splits as a metric product. This paper is the first in a series motivated by Ballmann's conjecture. Here we prove that a CAT(0) space of rank at least n ≥2 is rigid if it contains a periodic n -flat and its Tits boundary has dimension ( n −1). This does not require a geometric group action. The result relies essentially on the study of flats which do not bound flat half-spaces – so-called Morse flats . We show that the Tits boundary ∂ T F of a periodic Morse n -flat F contains a regular point – a point with a Tits-neighborhood entirely contained in ∂ T F . More precisely, we show that the set of singular points in ∂ T F can be covered by finitely many round spheres of positive codimension.

mathematics
Cocompact CAT(0) spaces are almost geodesically complete

Pedro Ontaneda

DOI: https://doi.org/10.1016/j.top.2004.01.010

2005-01-01

Topology

Abstract:We prove that, under mild conditions, a cocompact CAT(0) space is almost geodesically complete.

English Else
On the semi-direct product structure of CAT(0) groups

Tetsuya Hosaka

DOI: https://doi.org/10.48550/arXiv.0912.0059

2009-12-01

Group Theory

Abstract:In this paper, we investigate finitely generated groups of isometries of CAT(0) spaces containing some central hyperbolic isometry, and study CAT(0) groups. We show that every CAT(0) group $\Gamma$ has the semi-direct product structure $\Gamma=(\cdots(((\Gamma'\rtimes\langle\delta_{n}\rangle)\rtimes\langle\delta_{n-1}\rangle)\rtimes\langle\delta_{n-2}\rangle)\cdots)\rtimes\langle\delta_{1}\rangle$ where $\Gamma'$ is a CAT(0) group with finite center and $\delta_i\in \Gamma$ for $i=1,\dots,n$, and $\Gamma$ contains a finite-index subgroup $\Gamma'\times A$ where $A$ is isomorphic to ${\mathbb{Z}}^n$. We introduce some examples and remarks. Also we provide an example of a virtually irreducible CAT(0) group with trivial-center that acts geometrically on some CAT(0) space that splits as a product $T \times {\mathbb{R}}$.
Free decomposition spaces

Philip Hackney,Joachim Kock

DOI: https://doi.org/10.1007/s13348-024-00446-8

2024-09-03

Collectanea mathematica

Abstract:We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by inert maps. We show that left Kan extension along the inclusion takes general objects to Möbius decomposition spaces and general maps to CULF maps. We establish an equivalence of -categories . Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. We give an extensive list of examples, including quasi-symmetric functions.

mathematics, applied
When is the Outer Space of a free product CAT(0)?

Rylee Alanza Lyman

2024-01-11

Abstract:Generalizing Culler and Vogtmann's Outer Space for the free group, Guirardel and Levitt construct an Outer Space for a free product of groups. We completely characterize when this space (or really its simplicial spine) supports an equivariant piecewise-Euclidean or piecewise-hyperbolic CAT(0) metric. Our results are mostly negative, extending thesis work of Bridson and related to thesis work of Cunningham. In particular, provided the dimension of the spine is at least three, it is never CAT(0). Surprisingly, we exhibit one family of free products for which the Outer Space is two-dimensional and \emph{does} support an equivariant CAT(0) metric.

Group Theory
Conformal deformations of CAT(0) spaces

Alexander Lytchak,Stephan Stadler

DOI: https://doi.org/10.1007/s00208-018-1703-y

2018-06-06

Mathematische Annalen

Abstract:We show that the class of CAT(0) spaces is closed under suitable conformal changes. In particular, any CAT(0) space admits a large variety of non-trivial deformations.

mathematics
Mann’s Algorithm for Nonexpansive Mappings in CAT(κ) Spaces

J. S. He,D. H. Fang,G. Lopez,C. Li

DOI: https://doi.org/10.1016/j.na.2011.07.070

IF: 1.743

2012-01-01

Nonlinear Analysis

Abstract:In this paper, it is proved that the sequence defined by Mann’s algorithm Δ-converges to a fixed point in complete CAT(κ) spaces.
CAT(0) spaces with polynomial divergence of geodesics

Nataša Macura

DOI: https://doi.org/10.1007/s10711-012-9754-9

2012-07-19

Geometriae Dedicata

Abstract:We construct a family of finite 2-complexes whose universal covers are CAT(0) and have polynomial divergence of desired degree. This answers a question of Gersten, namely whether such CAT(0) complexes exist.

mathematics
A Gentle Introduction to CAT(0) Spaces

Søren Poulsen

2024-06-14

Abstract:In this project we explore the geometry of general metric spaces, where we do not necessarily have the tools of differential geometry on our side. Some metric spaces (X,d) allow us to define geodesics, permitting us to compare geodesic triangles in (X,d) to geodesic triangles in a so called model space. In Chapters 1 and 2 we first discuss how to define the length of curves, and geodesics on (X,d), and then using these to portray the notion of ``non-positive curvature'' for a metric space. Chapter 3 concerns itself with special cases of such non-positively curved metric spaces, called CAT(0) spaces. These satisfy particularly nice properties, such as being uniquely geodesic, contractible, and having a convex metric, among others. We mainly follow the book by Martin R. Bridson and André Haefliger, with some differences. Firstly, we restrict ourselves to using the Euclidean plane E^2 as our model space, which is all that is necessary to define CAT(0) spaces. Secondly, we skip many sections of the mentioned book, as many are not relevant for our specific purposes. Finally, we add details to some of the proofs, which can be sparse in details or completely non-existent in the original literature. In this way we hope to create a more streamlined, self-contained, and accessible introduction to CAT(0) spaces.

Metric Geometry,Group Theory
Hyperbolic models for CAT(0) spaces

Harry Petyt,Davide Spriano,Abdul Zalloum

2024-07-01

Abstract:We introduce two new tools for studying CAT(0) spaces: \emph{curtains}, versions of cubical hyperplanes; and the \emph{curtain model}, a counterpart of the curve graph. These tools shed new light on CAT(0) spaces, allowing us to prove a dichotomy of a rank-rigidity flavour, establish Ivanov-style rigidity theorems for isometries of the curtain model, find isometry-invariant copies of its Gromov boundary in the visual boundary of the underlying CAT(0) space, and characterise rank-one isometries both in terms of their action on the curtain model and in terms of curtains. Finally, we show that the curtain model is universal for WPD actions over all groups acting properly on the CAT(0) space.

Metric Geometry,Group Theory
Groups acting on CAT(0) cube complexes

Graham A. Niblo,Lawrence Reeves

DOI: https://doi.org/10.2140/gt.1997.1.1

1997-02-07

Abstract:We show that groups satisfying Kazhdan's property (T) have no unbounded actions on finite dimensional CAT(0) cube complexes, and deduce that there is a locally CAT(-1) Riemannian manifold which is not homotopy equivalent to any finite dimensional, locally CAT(0) cube complex.

Group Theory,Differential Geometry
Topological Stability and Latschev-type Reconstruction Theorems for $\boldsymbol{\mathrm{CAT}(κ)}$ Spaces

Rafal Komendarczyk,Sushovan Majhi,Will Tran

2024-06-07

Abstract:We consider the problem of homotopy-type reconstruction of compact shapes $X\subset\mathbb{R}^N$ that are $\mathrm{CAT}(\kappa)$ in the intrinsic length metric. The reconstructed spaces are in the form of Vietoris--Rips complexes computed from a compact sample $S$, Hausdorff--close to the unknown shape $X$. Instead of the Euclidean metric on the sample, our reconstruction technique leverages a path-based metric to compute these complexes. As naturally emerging in the framework of reconstruction, we also study the Gromov--Hausdorff topological stability and finiteness problem for general compact $\mathrm{CAT}(\kappa)$ spaces. Our techniques provide novel sampling conditions alternative to the existing and commonly used techniques using weak feature size and $\mu$--reach. In particular, we introduce a new parameter, called the {\em restricted distortion}, which is a generalization of the well-known global distortion of embedding. We show examples of Euclidean subspaces, for which the known parameters such as the reach, $\mu$--reach and weak features size vanish, whereas the restricted distortion is finite, making our reconstruction results applicable for such spaces.

Algebraic Topology,Computational Geometry,Metric Geometry
The Curtain Model is Not a Quasi-Isometry Invariant of CAT(0) Spaces

Elliott Vest

DOI: https://doi.org/10.48550/arXiv.2312.16325

2023-12-27

Abstract:Petyt-Spriano-Zalloum recently developed the notion of a \textit{curtain model}, which is a hyperbolic space associated to any CAT(0) space. It plays a similar role for CAT(0) spaces that curve graphs do for mapping class groups of finite-type surfaces. Those authors asked whether this curtain model is a quasi-isometry invariant, namely if quasi-isometric CAT(0) spaces have quasi-isometric curtain models. In this short note, we provide an explicit example answering this question in the negative.

Metric Geometry
Semistability and CAT(0) Geometry

Ross Geoghegan

DOI: https://doi.org/10.48550/arXiv.1703.07003

2017-03-20

Group Theory

Abstract:We explain why semistability of a one-ended proper CAT(0) space can be determined by the geodesic rays. This is applied to boundaries of CAT(0) groups.
Regular elements in CAT(0) groups

Pierre-Emmanuel Caprace,Gašper Zadnik

DOI: https://doi.org/10.48550/arXiv.1112.4637

2011-12-20

Abstract:Let X be a locally compact geodesically complete CAT(0) space and G be a discrete group acting properly and cocompactly on X. We show that G contains an element acting as a hyperbolic isometry on each indecomposable de Rham factor of X. It follows that if X is a product of d factors, then G contains free abelian group of rank d.

Group Theory
On the capacity dimension of the boundary of CAT(0) spaces

Dawei Wang

DOI: https://doi.org/10.48550/arXiv.1904.01609

2019-04-02

Geometric Topology

Abstract:In this paper, we study the capacity dimension of the boundary of $CAT(0)$ spaces. We first compare the two metrics on the boundary of a hyperbolic $CAT(0)$ space, i.e., the visual metric and the conical metric, and prove that they give the same capacity dimension of the boundary. Then we study the capacity dimension of the boundary of buildings, which is an important class of $CAT(0)$ spaces. Finally, we give a possible method to prove the finiteness of the asymptotic dimension of $CAT(0)$ spaces.

Free construction of CAT(1) spaces

EXPLICIT CONSTRUCTION FOR LOCAL ISOMETRIC IMMERSIONS OF SPACE FORMS

On non-locally connected boundaries of CAT(0) spaces

Asymptotic topological regularity of CAT(0) spaces

CAT(0) Spaces of Higher Rank I

Cocompact CAT(0) spaces are almost geodesically complete

On the semi-direct product structure of CAT(0) groups

Free decomposition spaces

When is the Outer Space of a free product CAT(0)?

Conformal deformations of CAT(0) spaces

Mann’s Algorithm for Nonexpansive Mappings in CAT(κ) Spaces

CAT(0) spaces with polynomial divergence of geodesics

A Gentle Introduction to CAT(0) Spaces

Hyperbolic models for CAT(0) spaces

Groups acting on CAT(0) cube complexes

Topological Stability and Latschev-type Reconstruction Theorems for $\boldsymbol{\mathrm{CAT}(κ)}$ Spaces

The Curtain Model is Not a Quasi-Isometry Invariant of CAT(0) Spaces

Semistability and CAT(0) Geometry

Regular elements in CAT(0) groups

On the capacity dimension of the boundary of CAT(0) spaces