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

What problem does this paper attempt to address?

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
Gh-convergence of CAT(0)-spaces: stability of the Euclidean factor

Cavallucci, Nicola

DOI: https://doi.org/10.1007/s00208-024-02993-8

2024-09-22

Mathematische Annalen

Abstract:We prove that if a sequence of geodesically complete CAT(0)-spaces with uniformly cocompact discrete groups of isometries converges in the Gromov-Hausdorff sense to , then the dimension of the maximal Euclidean factor splitted off by and is the same, for j big enough. In other words, no additional Euclidean factors can appear in the limit.

mathematics
CAT(0) geometry of complex curve complements and families

Corey Bregman,Anatoly Libgober,Kejia Zhu

2024-11-27

Abstract:Motivated by the question of whether braid groups are CAT(0), we investigate the CAT(0) behavior of fundamental groups of plane curve complements and certain universal families. If $C$ is the branch locus of a generic projection of a smooth, complete intersection surface to $\PP^2$, we show that $\pi_1(\PP^2\setminus C)$ is CAT(0). In the other direction, we prove that the fundamental group of the universal family associated with the singularities of type $E_6$, $E_7$, and $E_8$ is not CAT(0).

Geometric Topology,Algebraic Geometry,Group Theory
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
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.
CAT(0) cube complexes and asymptotically rigid mapping class groups

Marie Abadie

2024-01-22

Abstract:In this article we study the asymptotically rigid mapping class groups of infinitely-punctured surfaces obtained by thickening planar trees. We present a family of CAT(0) cube complexes on which the latter groups act. Along the way, we determine in which cases the cube complexes introduced earlier by Genvois, Lonjou and Urech are CAT(0).

Group Theory,Geometric Topology
Convergence and collapsing of CAT$(0)$-lattices

Nicola Cavallucci,Andrea Sambusetti

2024-04-30

Abstract:We study the theory of convergence for CAT$(0)$-lattices (that is groups $\Gamma$ acting geometrically on proper, geodesically complete CAT$(0)$-spaces) and their quotients (CAT$(0)$-orbispaces). We describe some splitting and collapsing phenomena, explaining precisely how these action can degenerate to a possibly non-discrete limit action. Finally, we prove a compactness theorem for the class of compact CAT$(0)$-homology orbifolds, and some applications: an isolation result for flat orbispaces and an entropy-pinching theorem.

Metric Geometry,Differential 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
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
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
Boundary rigidity of 3D CAT(0) cube complexes

John Haslegrave,Alex Scott,Youri Tamitegama,Jane Tan

2023-09-08

Abstract:The boundary rigidity problem is a classical question from Riemannian geometry: if $(M, g)$ is a Riemannian manifold with smooth boundary, is the geometry of $M$ determined up to isometry by the metric $d_g$ induced on the boundary $\partial M$? In this paper, we consider a discrete version of this problem: can we determine the combinatorial type of a finite cube complex from its boundary distances? As in the continuous case, reconstruction is not possible in general, but one expects a positive answer under suitable contractibility and non-positive curvature conditions. Indeed, in two dimensions Haslegrave gave a positive answer to this question when the complex is a finite quadrangulation of the disc with no internal vertices of degree less than $4$. We prove a $3$-dimensional generalisation of this result: the combinatorial type of a finite CAT(0) cube complex with an embedding in $\mathbb{R}^3$ can be reconstructed from its boundary distances. Additionally, we prove a direct strengthening of Haslegrave's result: the combinatorial type of any finite 2-dimensional CAT(0) cube complex can be reconstructed from its boundary distances.

Combinatorics,Geometric Topology
Global Topology of Hyperbolic Components: Cantor Circle Case

Xiaoguang Wang,Yongcheng Yin

DOI: https://doi.org/10.1112/plms.12058

2017-01-01

Proceedings of the London Mathematical Society

Abstract:We prove that in the moduli space Md of degree d2 rational maps, any hyperbolic component in the disconnectedness locus and of Cantor circle type is a finite quotient of R4d-4-nxTn, where n is determined by dynamics. The proof uses some ideas from Riemann surface theory (Abel's Theorem), dynamical system and algebraic topology.
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
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}}$.
Central limit theorem on CAT(0) spaces with contracting isometries

Corentin Le Bars

2024-07-30

Abstract:Let $G$ be a group with a non-elementary action on a proper CAT(0) space $X$, and let $\mu$ be a measure on $G$ such that the random walk $(Z_n)_n$ generated by $\mu$ has finite second moment on $X$. Let $o$ be a basepoint in $X$, and assume that there exists a rank one isometry in $G$. We prove that in this context, $(Z_n o )_n$ satisfies a Central Limit Theorem, namely that the random variables $\frac{1}{\sqrt{n}}(d(Z_n o, o) - n \lambda) $ converge in law to a non-degenerate Gaussian distribution $N_\mu$, for $\lambda$ the (positive) drift of the random walk. The strategy relies on the use of hyperbolic models introduced by H. Petyt, A. Zalloum and D. Spriano, which are analogues of curve graphs and cubical hyperplanes for the class of CAT(0) spaces. As a side result, we prove that the probability that the nth-step $Z_n$ acts on $X$ as a contracting isometry goes to 1 as $n$ goes to infinity.

Group Theory,Dynamical Systems,Probability
Polyhedral CAT(0) metrics on locally finite complexes

Karim A. Adiprasito,Louis Funar

2024-04-23

Abstract:We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are arborescent. Moreover, a triangulated manifold admits a $CAT(0)$ polyhedral metric if and only if it admits arborescent triangulations. We prove eventually that every locally finite complex which is $CAT(0)$ with a polyhedral metric has a barycentric subdivision which is arborescent.

Geometric Topology,Combinatorics
Closed subsets of a CAT(0) 2-complex are intrinsically CAT(0)

Russell Ricks

DOI: https://doi.org/10.2140/agt.2021.21.1723

2019-08-31

Abstract:Let k be at most 0, and let X be a locally-finite CAT(k) polyhedral 2-complex X, each face with constant curvature k. Let E be a closed, rectifiably-connected subset of X with trivial first singular homology. We show that E, under the induced path metric, is a complete CAT(k) space.

Metric Geometry
Convex optimization on CAT(0) cubical complexes

Ariel Goodwin,Adrian S. Lewis,Genaro Lopez-Acedo,Adriana Nicolae

2024-05-03

Abstract:We consider geodesically convex optimization problems involving distances to a finite set of points $A$ in a CAT(0) cubical complex. Examples include the minimum enclosing ball problem, the weighted mean and median problems, and the feasibility and projection problems for intersecting balls with centers in $A$. We propose a decomposition approach relying on standard Euclidean cutting plane algorithms. The cutting planes are readily derivable from efficient algorithms for computing geodesics in the complex.

Optimization and Control
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

CAT(0) spaces with polynomial divergence of geodesics

Cocompact CAT(0) spaces are almost geodesically complete

Gh-convergence of CAT(0)-spaces: stability of the Euclidean factor

CAT(0) geometry of complex curve complements and families

Asymptotic topological regularity of CAT(0) spaces

CAT(0) Spaces of Higher Rank I

Semistability and CAT(0) Geometry

CAT(0) cube complexes and asymptotically rigid mapping class groups

Convergence and collapsing of CAT$(0)$-lattices

Groups acting on CAT(0) cube complexes

Conformal deformations of CAT(0) spaces

Hyperbolic models for CAT(0) spaces

Boundary rigidity of 3D CAT(0) cube complexes

Global Topology of Hyperbolic Components: Cantor Circle Case

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

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

Central limit theorem on CAT(0) spaces with contracting isometries

Polyhedral CAT(0) metrics on locally finite complexes

Closed subsets of a CAT(0) 2-complex are intrinsically CAT(0)

Convex optimization on CAT(0) cubical complexes

Regular elements in CAT(0) groups