A Gentle Introduction to CAT(0) Spaces

S{\o}ren Poulsen

arxiv: 2406.09883 · v2 · pith:LK3QXFCOnew · submitted 2024-06-14 · 🧮 math.MG · math.GR

A Gentle Introduction to CAT(0) Spaces

S{\o}ren Poulsen This is my paper

Pith reviewed 2026-05-23 23:58 UTC · model grok-4.3

classification 🧮 math.MG math.GR

keywords CAT(0) spacesmetric spacesgeodesicsnon-positive curvaturecomparison trianglesconvex metricscontractible spaces

0 comments

The pith

CAT(0) spaces are metric spaces whose geodesic triangles satisfy the same distance bounds as triangles in the Euclidean plane.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper constructs an accessible definition of CAT(0) spaces by comparing geodesic triangles in a general metric space to triangles in the Euclidean plane. It shows that this comparison condition implies the space is uniquely geodesic, contractible, and has a convex metric. The text follows a standard reference but restricts the model space to the plane and fills in missing proof details to create a self-contained account. Readers interested in geometry beyond differential manifolds may find these properties useful for studying length spaces and their global behavior.

Core claim

CAT(0) spaces are defined so that every geodesic triangle in the space is at most as thick as the corresponding triangle in the Euclidean plane. Under this definition the spaces turn out to be uniquely geodesic, contractible, and equipped with a convex metric function. The presentation adds details to several proofs from the source literature while restricting attention to the Euclidean model space.

What carries the argument

The CAT(0) inequality obtained by comparing a geodesic triangle in the metric space to a triangle of the same side lengths in the Euclidean plane.

Load-bearing premise

That using only the Euclidean plane as the model space captures the full definition of CAT(0) spaces and that the elaborated proofs remain faithful to the original arguments.

What would settle it

A concrete metric space containing two distinct geodesics between the same pair of points while still satisfying the Euclidean triangle comparison inequality would contradict the uniqueness claim.

Figures

Figures reproduced from arXiv: 2406.09883 by S{\o}ren Poulsen.

**Figure 2.1.** Figure 2.1: [2] The comparison angle changes depending on which points along the geodesics we [PITH_FULL_IMAGE:figures/full_fig_p012_2_1.png] view at source ↗

**Figure 3.1.** Figure 3.1: [1] The CAT(0)-inequality. The distance between the points x and y is no greater than the distance between their comparison points x and y Definition 3.1.2. A metric space (X, d) is said to be non-positively curved or locally CAT(0) if for every x ∈ X there exists an rx > 0 such that B(x, rx) is a CAT(0)-space. Remark 3.1.3. As the CAT(0) inequality holds for all points, it must in particular hold for mi… view at source ↗

**Figure 3.2.** Figure 3.2: [1] Alexandrov’s patchwork: each of the small triangles are contained in CAT(0) [PITH_FULL_IMAGE:figures/full_fig_p034_3_2.png] view at source ↗

read the original 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\'e Haefliger, with some differences. Firstly, we restrict ourselves to using the Euclidean plane $\mathbb{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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is a straightforward expository note on CAT(0) spaces that follows Bridson-Haefliger with added proof details and a narrower model-space focus, but adds no new mathematics.

read the letter

The core fact is that this paper claims no new results and positions itself as a streamlined introduction drawn from Bridson and Haefliger. It restricts the comparison space to the Euclidean plane, which is the standard and sufficient choice for the CAT(0) definition, skips sections of the source book that are not needed, and supplies extra steps in some proofs that the original leaves thin or absent. That is the entire contribution. The listed properties (unique geodesics, contractibility, convex metric) are the usual theorems for these spaces and require no new argument here. The approach is honest about its sources and goals. The main risk is whether the inserted proof details stay correct; expanding sparse arguments can introduce small gaps or unclear steps, though the abstract gives no sign of that happening and the stress-test note finds no internal contradictions. The writing plan itself is clear and proportionate to an educational aim. This text is aimed at readers who already know basic metric geometry but want a gentler or more self-contained path into CAT(0) material than the full book provides. It will not change how experts think about the subject. For a research journal the right move is desk rejection; the work is derivative by its own description and does not need referee time. If a venue specifically wants short expository notes, it could be considered on those terms, but that is a different question from mathematical novelty or depth.

Referee Report

0 major / 3 minor

Summary. The manuscript is an expository text introducing the geometry of metric spaces, beginning with the definition of curve length and geodesics, then defining non-positive curvature via comparison of geodesic triangles to those in a model space. It specializes to CAT(0) spaces (using the Euclidean plane E² as the sole model space), derives their standard properties including unique geodesics, contractibility, and convex metrics, and follows Bridson-Haefliger while adding details to selected proofs and omitting irrelevant sections.

Significance. If the added proof details are accurate and the presentation remains self-contained, the work could serve as a useful pedagogical resource for readers seeking an accessible entry to CAT(0) geometry without consulting the full reference text. The choice of E² as model space is the conventional and sufficient one for the CAT(0) definition, and the listed properties are correctly identified as standard theorems. No novel results are claimed.

minor comments (3)

The abstract refers to 'Chapters 1 and 2' and 'Chapter 3' but the manuscript structure is not described; clarify whether this is a multi-chapter document or a single article and ensure section numbering is consistent throughout.
The claim that 'we add details to some of the proofs' is stated without identifying which proofs receive elaboration; a brief list or footnote indicating the specific Bridson-Haefliger results that were expanded would improve transparency for readers comparing with the source.
Notation for the metric d and the model space E² should be introduced once in a dedicated notation section or at first use and then used uniformly; minor inconsistencies in spacing or font for math symbols may appear in the compiled version.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript as a potential pedagogical resource. We appreciate the recommendation of minor revision and the note that the work follows Bridson-Haefliger while adding selected proof details. Since the report contains no specific major comments requiring changes, we interpret the minor revision as a general request to confirm self-containment and accuracy of the added details.

Circularity Check

0 steps flagged

No significant circularity; purely expository presentation of established results

full rationale

The manuscript is an introductory exposition that follows the definitions and theorems of Bridson-Haefliger (external reference) without introducing new derivations, predictions, fitted parameters, or self-citations. The restriction to the Euclidean plane as model space is the standard definition for CAT(0) spaces, not a novel ansatz. All listed properties (unique geodesics, contractibility, convex metric) are standard theorems presented as such, with no internal reduction of claims to their own inputs. No load-bearing steps exist that could exhibit circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is an exposition of existing material in metric geometry and introduces no new free parameters, ad-hoc axioms, or invented entities.

axioms (1)

standard math Standard definitions of length of curves and geodesics in metric spaces
Invoked in Chapters 1 and 2 to set up comparison of triangles.

pith-pipeline@v0.9.0 · 5784 in / 1024 out tokens · 38048 ms · 2026-05-23T23:58:58.770313+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

CAT(0) spaces satisfy particularly nice properties, such as being uniquely geodesic, contractible, and having a convex metric
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 3.1.1 … CAT(0)-inequality … d(p,q) ≤ d(p̄,q̄)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Bridson and André Haefliger,Metric spaces of non-positive curvature , Grundlehren der mathematis- chen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

Martin R. Bridson and André Haefliger,Metric spaces of non-positive curvature , Grundlehren der mathematis- chen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin,

work page
[2]

https://jpmacmanus.me/2020/10/02/alexandrov.html

Alexandrov angles visualized. https://jpmacmanus.me/2020/10/02/alexandrov.html. 34

work page 2020

[1] [1]

Bridson and André Haefliger,Metric spaces of non-positive curvature , Grundlehren der mathematis- chen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

Martin R. Bridson and André Haefliger,Metric spaces of non-positive curvature , Grundlehren der mathematis- chen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin,

work page

[2] [2]

https://jpmacmanus.me/2020/10/02/alexandrov.html

Alexandrov angles visualized. https://jpmacmanus.me/2020/10/02/alexandrov.html. 34

work page 2020