- Essential manifold
In
mathematics , inalgebraic topology anddifferential geometry , the notion of an essential manifold seems to have been first introduced explicitly inMikhail Gromov 's classic text in '83 (see below).Definition
A closed
manifold "M" is called essential if itsfundamental class ["M"] defines a nonzero element in thehomology of itsfundamental group "π", or more precisely in the homology of the correspondingEilenberg–MacLane space "K"("π", 1), via the natural homomorphism:, where "n" is the dimension of "M". Here the fundamental class is taken in homology with integer coefficients if the manifold is orientable, and in coefficients modulo 2, otherwise.Examples
All closed surfaces (i.e. 2-dimensional manifolds) are essential with the exception of the 2-sphere "S2".
Real projective space "RPn" is essential since the inclusion
:
is injective in homology, where
:
is the Eilenberg-MacLane space of the finite cyclic group of order 2.
Further examples of essential manifolds include
aspherical manifold s andlens space s.References
* Gromov, M.: Filling Riemannian manifolds, J. Diff. Geom. 18 (1983), 1-147.
ee also
*
Gromov's systolic inequality for essential manifolds
*Systolic geometry
Wikimedia Foundation. 2010.