Aspherical manifolds
(→Invariants) |
(→Classification/Characterization (if available)) |
||
Line 38: | Line 38: | ||
</wikitex> | </wikitex> | ||
− | == Classification | + | == Classification == |
<wikitex>; | <wikitex>; | ||
− | + | The main conjecture organising the classification of aspherical manifolds is the Borel Conjecture. | |
+ | {{beginthm|Conjecture}} | ||
+ | Let $f : N \simeq M$ be a homotopy equivalence between aspherical manifolds. Then $f$ is homotopic to a homeomorphism. | ||
+ | {{endthm}} | ||
</wikitex> | </wikitex> | ||
Revision as of 12:11, 30 November 2009
An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print. You may view the version used for publication as of 12:23, 27 September 2012 and the changes since publication. |
Contents |
1 Introduction
A path-connected space is called aspherical is its higher homotopy groups vanish: for all . This article is about closed, aspherical manifolds which are connected manifolds with contractible universal cover .
2 Construction and examples
- is aspherical.
- Any surface , not homeomorphic to or is aspherical.
- A closed, oriented -manifold is aspherical if and only if it is irreducible and is torsion free.
- In any dimension, if admits a metric of non-positive sectional curvature then is aspherical.
- If is a Lie group with finite, is a maximal compact subgroup of and is a discrete torsion free lattice in then
is aspherical.
3 Invariants
The primary invariant of an aspherical manifold is its fundamental group, .
- is finitely presented and torsion free.
- for by definition.
Two aspherical manifolds and are homotopy equivalent if and only if there is an isomorphism .
As each aspherical manifold is a , the homology and cohomology of are by definition the homology and cohomology of . For any coefficient module
4 Classification
The main conjecture organising the classification of aspherical manifolds is the Borel Conjecture.
Conjecture 4.1. Let be a homotopy equivalence between aspherical manifolds. Then is homotopic to a homeomorphism.
5 Further discussion
YOUR TEXT HERE ...
6 References
This page has not been refereed. The information given here might be incomplete or provisional. |