CAT (0) space
CAT (0) spaces are a geometry term used to generalize properties of manifolds of non-positive curvature to general metric spaces. Their defining property is that triangles should be thinner than comparison triangles in the Euclidean plane.
definition
Comparison triangles
Be a geodetic metric space . A geodesic triangle in is a triangle with corners whose three sides are geodesic. For every geodetic triangle there is a comparison triangle (which is unique apart from congruence ) in the with
- .
You then have a comparison image
- ,
which (for example) assigns each point on the side the corresponding point on the side (i.e. the unique point with ), analogously for the other two sides.
CAT (0) spaces
A geodetic metric space is a CAT (0) -space if for every geodetic triangle in with comparison the inequality
- applies to all .
Clearly: every geodetic triangle is at least as thin as its comparison triangle.
Examples
- Simply connected complete Riemannian manifolds of non-positive section curvature are CAT (0) -spaces. These include the Euclidean , the hyperbolic space , more generally, all symmetric spaces without compact factor.
- Simply connected complete Riemannian manifolds of non-positive section curvature are also called Hadamard manifolds . Complete CAT (0) spaces are called Hadamard spaces .
- Finite products of CAT (0) spaces are CAT (0) spaces.
- Trees and Euclidean or hyperbolic buildings are CAT (0) spaces.
- Hilbert spaces are CAT (0) spaces.
- A contractible manifold of dimension carries a geodetically complete CAT (0) -metric if and only if it is collapsible .
- Gromov's theorem : A cubic complex is a CAT (0) -space if and only if it is simply connected and the link of each vertex is a complex of plumes .
properties
- In a CAT (0) space , two points can be connected by a unique geodesic. The geodesic constantly depends on its endpoints.
- The Ptolemaic inequality applies in CAT (0) spaces
- for everyone .
- For geodesics the function is convex .
- CAT (0) spaces are contractible .
Geodetic margin
Geodesic rays in a CAT (0) space are called asymptotic if they are finite apart. This defines an equivalence relation on the set of geodetic rays. The geodetic boundary of the CAT (0) space is the set of equivalence classes of geodetic rays parameterized to arc length.
Every point in can be connected to every point in by a unique geodesic. Different points in do not always have to be connected by a geodesic.
Cone topology
The topology on can be expanded to a topology on , so that the following applies: A sequence converges to and only if (for anything ) the sequence of the and connecting geodesics locally evenly converges to the and connecting geodesics.
This topology is known as the cone topology .
Example: If a simply connected, complete n-dimensional Riemann manifold is non-positive sectional curvature, then with the cone topology it is homeomorphic to the (n-1) -dimensional sphere.
Tits metric
The Tits metric is defined by
- ,
where to are asymptotic geodesics.
Here (generally for ) the angle is defined as the angle at the comparison triangle in .
The Tits metric does not generally induce the cone topology .
Examples: If a simply connected, complete Riemann manifold is of negative sectional curvature, then for all , the Tits metric induces the discrete topology . If is Euclidean space, then it is homeomorphic to the sphere.
Horospheres
To a point , and a geodesic with one defines the Busemann function by
- .
If is complete and and two are too asymptotic geodesics, then is constant. In particular, the decomposition of into the level sets of depends only on and not on the choice of the geodesic to be asymptotic . The levels of are called horospheres of .
Isometrics
Every isometry of a complete CAT (0) space falls into one of the following 3 classes:
- elliptical :has a fixed point in,
- hyperbolic :has no fixed point in, but leaves a geodesic invariant,
- parabolic :leaves a pointand its horospheres invariant.
CAT (0) groups
A CAT (0) group is a group that actually acts discontinuously and co-compactly through isometrics on a finite-dimensional CAT (0) space.
Local CAT (0) spaces
A complete, connected, metric space is locally called CAT (0) if every point has a neighborhood which (with the restricted metric) is a CAT (0) space.
A generalization of the Cartan-Hadamard theorem states that if there is a local CAT (0) space, then there is a unique metric on the universal overlay such that
- the overlay is a local isometric drawing , and
- is a CAT (0) space.
swell
- ↑ Adiprasito-Funar: Hyperbolicity of contractible manifolds
- ^ Bridson-Haefliger: Metric spaces of nonpositive curvature. (PDF file; 3.83 MB), definition II.8.5
- ↑ Fujiwara: "CAT (0) spaces for Riemannian geometers" (PDF file; 116 kB)