Geometric Group Theory
An action on a CAT(0) space is a way for a group to interact with a geometric space that satisfies the CAT(0) curvature condition, meaning that geodesic triangles in the space are 'thinner' than their Euclidean counterparts. This type of action reveals both geometric and algebraic properties of the group, as groups acting on CAT(0) spaces often have interesting features such as the existence of a proper action, or properties related to their growth and word metrics.
congrats on reading the definition of action on a CAT(0) space. now let's actually learn it.