5CAT(0) spaces and groups
IV Topics in Geometric Group Theory
5.1 Some basic motivations
Given a discrete group Γ, there are two basic problems you might want to solve.
Question. Can we solve the word problem in Γ?
Question. Can we compute the (co)homology of Γ?
The (co)homology of a group Γ is the
(co)homology of K(Γ, 1).
We can define this in terms of the group itself, but would require knowing
some extra homological algebra. A very closely related question is
Can we find an explicit
such that Γ =
We know that these problems are not solvable in general:
There exists a finitely-presented group
with an unsolvable word problem.
There exists a sequence of finitely generated groups Γ
such that H
) is not computable.
As before, we might expect that we can solve these problems if our groups
come with some nice geometry. In the previous chapter, we talked about
hyperbolic groups, which are negatively curved. In this section, we shall work
with slightly more general spaces, namely those that are non-positively curved.
be a compact manifold of non-positive sectional curvature. It is a
classical fact that such a manifold satisfies a quadratic isoperimetric inequality.
This is not too surprising, since the “worst case” we can get is a space with
constant zero curvature, which implies
If we know this, then by the Filling theorem, we know the Dehn function of
the fundamental group is at worst quadratic, and in particular it is computable.
This solves the first question.
What about the second question?
be a non-positively curved com-
pact manifold. Then
is diffeomorphic to
. In particular, it is contractible.
Thus, M = K(π
For example, this applies to the torus, which is not hyperbolic.
So non-positively curved manifolds are good. However, there aren’t enough
of them. Why? In general, the homology of a group can be very complicated,
and in particular can be infinite dimensional. However, manifolds always have
finite-dimensional homology groups. Moreover, they satisfy Poincar´e duality.
be an orientable compact
This is a very big constraint, and comes very close to characterizing manifolds.
In general, it is difficult to write down a group whose homology satisfies Poincar´e
duality, unless we started off with a manifold whose universal cover is contractible,
and then took its fundamental group.
Thus, we cannot hope to realize lots of groups as the
of a non-positively
curved manifold. The idea of CAT(0) spaces is to mimic the properties of
non-positively curved manifolds in a much more general setting.