Coarse CAT(0) Property

• Coarse CAT(0) property is a geometric condition on length spaces that generalizes nonpositively curved and hyperbolic spaces by allowing additive errors in triangle comparisons.
• It provides a unified framework that bridges CAT(0) spaces and Gromov hyperbolic spaces, encompassing non-geodesic and non-proper settings.
• The associated bouquet boundary theory extends classical ideal and Gromov boundaries, ensuring useful topological properties like Hausdorffness and compactness in proper spaces.

The coarse CAT(0) property, also known as the rough CAT(0) (rCAT(0)) property, defines a class of metric spaces that generalizes both CAT(0) (nonpositively curved) and Gromov hyperbolic spaces. Developed to capture the essential features of nonpositive curvature in a coarse geometric setting, the rCAT(0) property introduces relaxed comparison conditions parameterized by a constant $C \geq 0$, allowing for additive errors in the triangle comparison axioms. This framework is robust, encompassing non-geodesic and non-proper length spaces, and yields a boundary theory extending both the ideal boundary of CAT(0) spaces and the Gromov boundary of hyperbolic spaces, thus providing a unified approach to the bordification of spaces with negative or nonpositive curvature characteristics (Buckley et al., 2012).

1. Definition and Formulation

Let $(X, d)$ be a length space and fix $C \geq 0$. For $h \geq 0$, an $h$-short segment $[x, y]_h$ is a path joining $x$ to $y$ of length $\leq d(x, y) + h$. An $h$-short triangle $(X, d)$0 consists of three $(X, d)$1-short sides $(X, d)$2, $(X, d)$3, and $(X, d)$4. Each triangle is compared with a unique Euclidean triangle $(X, d)$5, where $(X, d)$6, etc.

Define

$(X, d)$7

$(X, d)$8 is said to be $(X, d)$9-rough CAT(0) ($C \geq 0$0-rCAT(0)) if, for every triple $C \geq 0$1 and every $C \geq 0$2-short triangle $C \geq 0$3 with $C \geq 0$4, the rough CAT(0) inequality holds: for any $C \geq 0$5, $C \geq 0$6 and corresponding $C \geq 0$7-comparison points $C \geq 0$8 in the model triangle,

$C \geq 0$9

A space $h \geq 0$0 is rough CAT(0) (rCAT(0)) if it is $h \geq 0$1-rCAT(0) for some $h \geq 0$2.

2. Equivalent Characterizations and Associated Inequalities

2.1 Weak and Metric Characterizations

A weak but equivalent condition (up to normalization of constants) for rCAT(0) asserts that for every $h \geq 0$3-short triangle $h \geq 0$4, if $h \geq 0$5 subdivides $h \geq 0$6 in the ratio $h \geq 0$7,

$h \geq 0$8

This coincides with the classical CAT(0) inequality when $h \geq 0$9 but allows for controlled additive error.

Buckley–Hanson showed that for $h$0, one can replace the triangle comparison with a purely metric "rough $h$1-point condition." This generalizes the 4-point inequality used in CAT(0) geometry, now at the cost of increasing the number of points and accommodating additive errors.

2.2 Relations to Other Notions

A very weak form of rCAT(0), considering only comparisons between a point on one side and a vertex, is quantitatively equivalent to the "bolicity" condition introduced by Kasparov–Skandalis. This aligns rCAT(0) with classes of Boltzmann ("bolic") spaces.

A $h$2-hyperbolic length space is $h$3-rCAT(0) with $h$4, so Gromov hyperbolic and CAT(0) spaces both lie within the rCAT(0) class.

3. Fundamental Examples

3.1 Canonical Instances

• Every complete CAT(0) space is $h$5-rCAT(0) for any $h$6 (arbitrarily small $h$7 if the short-segment bound is weakened). Euclidean space and symmetric spaces of nonpositive curvature are included.
• Every Gromov $h$8-hyperbolic length space is $h$9-rCAT(0) with $[x, y]_h$0.
• Non-geodesic proper length spaces that arise as limits or gluings of CAT(0) pieces, even when not geodesic, remain rCAT(0).
• Certain subspaces of the plane can be CAT(0) with no geodesic rays (empty ideal boundary) but are rCAT(0) with a nontrivial bouquet boundary.

3.2 Table of Example Classes

Space Class	$[x, y]_h$1-rCAT(0) Constant	Notable Feature
Complete CAT(0) space	any $[x, y]_h$2	Admits usual CAT(0) boundary
Gromov $[x, y]_h$3-hyperbolic length space	$[x, y]_h$4	Admits Gromov boundary
Gluings/limits of CAT(0) spaces	some $[x, y]_h$5	Can lack geodesicity, yet rCAT(0)
Non-geodesic CAT(0) subspace (bouquet case)	some $[x, y]_h$6	Empty ideal boundary, rCAT(0) holds

4. Structural Theorems and Fundamental Properties

• Proposition 3.3 (Buckley–Falk): If $[x, y]_h$7 is CAT(0), then $[x, y]_h$8 is $[x, y]_h$9-rCAT(0) with $x$0; specifically, $x$1 is $x$2-rCAT(0;*) for all $x$3.
• Proposition 3.4: If $x$4 is $x$5-hyperbolic, then $x$6 is $x$7-rCAT(0).
• Rough convexity (Lemma 3.6): In a $x$8-rCAT(0) space, any pair of $x$9-short paths $y$0 from $y$1 to $y$2 satisfy

$y$3

for all $y$4. This extends the classical convexity property in CAT(0) geometry with an additive error.

A $y$5-hyperbolic space can be seen as rCAT(0) by employing the 4-point hyperbolicity condition and the tripod lemma, establishing that rCAT(0) subsumes both CAT(0) and hyperbolic spaces.

5. Boundary Theory: Bouquets and Bordification

For classical CAT(0) spaces, the ideal boundary $y$6 consists of equivalence classes of geodesic rays. rCAT(0) spaces may lack geodesic rays or well-behaved ray structure; thus, Buckley–Falk introduced the theory of bouquets of short paths.

A standard bouquet based at $y$7 is a sequence of unit-speed $y$8-short paths $y$9 ($\leq d(x, y) + h$0, $\leq d(x, y) + h$1) such that, for $\leq d(x, y) + h$2 and $\leq d(x, y) + h$3,

$\leq d(x, y) + h$4

Bouquets $\leq d(x, y) + h$5 are equivalent if they remain at bounded distance at each $\leq d(x, y) + h$6. The bouquet boundary $\leq d(x, y) + h$7 is the set of equivalence classes of bouquets.

The boundary theory satisfies:

• For complete CAT(0) spaces, $\leq d(x, y) + h$8 coincides (homeomorphically, in the cone topology) with the usual ideal boundary $\leq d(x, y) + h$9.
• For $h$0-hyperbolic spaces, $h$1 coincides with the Gromov boundary $h$2.
• In any rCAT(0) space $h$3, the bordification $h$4 can be topologized so that it is Hausdorff, first countable, and $h$5 is dense. If $h$6 is proper, the bordification is compact.

6. Sketches of Key Proof Strategies

The validation that rCAT(0) generalizes both CAT(0) and Gromov hyperbolic spaces invokes:

• Hyperbolic $h$7 rCAT(0): In $h$8-hyperbolic spaces, any two short segments between the same endpoints stay within the required additive error compared to the Euclidean model, by applying the 4-point hyperbolicity condition and the tripod lemma.
• CAT(0) $h$9 weak rCAT(0): Geodesic segments are approximated by $(X, d)$00-short paths; applying the exact CAT(0) comparison with bounded accumulated error yields the rCAT(0) inequality.
• Rough convexity: The $(X, d)$01-rough CAT(0) inequality implies that, at proportional times, subpaths on different short sides of a triangle remain within a controlled additive distance, paralleling the usual convexity in CAT(0) theory, adjusted for coarse geometry.
• Boundary convergence: The bouquet boundary is stable under pruning bouquets and changing basepoints, as ensured by the rough CAT(0) and rough convexity properties, making boundary constructions robust within the coarse geometric framework.

7. Context and Significance

The coarse CAT(0) property delineates the minimal natural coarse-geometric class encompassing both CAT(0) and Gromov hyperbolic spaces, demonstrating stability under limiting operations. The bouquet boundary provides a unified bordification at infinity, coinciding with classical boundaries in CAT(0) and hyperbolic extremes, and remaining meaningful even where ideal/geodesic ray boundaries are vacuous. This construction facilitates deeper understanding of boundary phenomena and coarse geometry for spaces with nonpositive or negative curvature traits (Buckley et al., 2012).