Essential manifolds
Saturday, August 13th, 2011 | Author: Konrad Voelkel
Now I'll explain a little bit what essential manifolds are and what they're good for.
Definition
A (connected closed orientable topological) n-manifold is called essential, if there exists a continuous map
such that the induced morphism on the top homology
maps the fundamental class
to some non-zero element
.
To have a very explicit example, take a n-torus , that is a manifold of dimension n which is homotopy equivalent to a product of n copies of
. Each such
yields a different non-contractible loop on
, so there are n non-homotopic loops
and the fundamental group is just
, the free abelian group generated by the
. The homology is the exterior algebra over the fundamental group. The cohomology is the exterior algebra over the dual of the fundamental group, i.e.
. The fundamental class is just
. The universal cover of a n-torus is n-dimensional euclidean space, which is contractible, so
has a contractible universal cover, thus it is acyclic, in other words, a
. Taking the identity map
, this induces on top homology the identity map (since homology is functorial) and thus maps the fundamental class to itself, a non-zero element. So we have seen that any torus is essential. Note that we haven't looked at metric properties at all, because essentialness is a purely homotopy theoretic notion.
If you look closer, you see that we haven't actually used that the space was a torus - we just used that it is an aspherical space, so every aspherical manifold is essential.
The Borel conjecture predicts that closed aspherical manifolds are topologically rigid. The most common examples of non-topologically rigid spaces are lens spaces - there are many non-homeomorphic lens spaces of the same homotopy type. Lens spaces are closed, and they are good examples of non-aspherical essential manifolds, so they don't disprove the Borel conjecture.
Definition
Let and
be integers (for some
), with
coprime to
for each
. Define
. Take the unit sphere in
, which is a
and let
act on it by
The quotient of



This is a -dimensional closed manifold with fundamental group
. The universal cover is given by the quotient map
, so the universal cover is clearly non-contractible and in fact very spherical. This shows that lens spaces are never aspherical.
In the literature on homology and homotopy, you'll often find 3-dimensional lens spaces . For these, there exists a nice classification of homeomorphism types via Reidemeister torsion (or: simple homotopy type), ultimately boiling down the question to arithmetic relation between different
, modulo
.
To see that lens spaces are essential, we have to produce a map which on top homology maps the fundamental class to a non-zero element. The homology of
is well-known, it is
The dimension of a lens space is

Now we need an explicit model for . One such model is given by the infinite lens space
, where
is seen as the union of spheres where the n-sphere sits inside the (n+1)-sphere as equator. The group
acts by multiplication with p-th roots of unity in each coordinate, which is possible by putting the
in a
by taking the limit over the embeddings
.
We can modify this construction slightly, by starting with the lens space and taking the limit over all
for
and
for all i. This yields the same
up to homotopy and even better, it admits an inclusion map from
. On homology, the inclusion map maps the fundamental form to a generator of
, which is non-zero. Therefore, lens spaces are essential.
With a very similar idea, one can prove that real projective spaces are essential, by looking at the inclusion into
, which is aspherical with the same fundamental group
.
In general, it suffices to find a continuous map of non-zero degree from a manifold onto an essential manifold to deduce that
is essential.
To give a counter-example, look at the spherical space (for
) with trivial fundamental group. It is certainly not aspherical (its higher homotopy groups are quite interesting) but there is an inclusion map
(as above). This inclusion map has to be the zero map on top degree homology, since
for all
(because
is contractible). This shows that spheres are never essential.
Finally, you might ask
What are essential manifolds good for?
In his 1983 paper "Filling Riemannian Manifolds", Gromov defined essential manifolds the first time, to state (and prove) his "main isosystolic inequality".
To formulate it, we have to say what a systole is first:
Definition
Let be a Riemannian manifold. Then the systole of
is
, where the infimum goes over all non-contractible loops
in
(in fact it is a minimum).
Theorem (Gromov)
Let be a closed essential Riemannian manifold of dimension
. Then


Let


Let


The 2-torus realising equality in this inequality is the quotient of

Pu proved a similar systolic inequality on , so it is very reasonable to look for a class of closed manifolds that contain tori and real projective space and furthermore allow systolic inequalities.
Well, that's enough for today!