If a nontrivial finite group acted freely on , a prime-order cyclic subgroup would too. The quotient is an -manifold with contractible universal cover. The singular version of cellular free resolution from a contractible universal cover identifies its cohomology with group cohomology of . The periodic resolution of a finite cyclic group gives for every . But Poincaré duality for noncompact manifolds makes the quotient cohomology zero above dimension . This contradiction excludes the action, for arbitrary homeomorphisms, not only Euclidean isometries.
Articles by others on the same topic
There are currently no matching articles.