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 by this action is denoted , the {lens space associated to .
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 , so it is odd - phew!
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
with some constant not depending on which satisfies
So the job of essential manifolds is to be the domain where Gromov's theorem holds. As far as I know, it is not so clear whether there exist larger classes of manifolds that satisfy such a systolic inequality. The theorem is a generalisation of a theorem on tori: Theorem (Loewner)
Let be a shortest closed geodesic in a flat torus . Then
Let be a 2-torus (with arbitrary metric), then
and .
The 2-torus realising equality in this inequality is the quotient of by the hexagonal lattice spanned by the 3rd roots of unity.
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!