Mathematics – Group Theory
Scientific paper
2010-09-08
Mathematics
Group Theory
41 pages, 4 figures made from 11 picture files. Version 2 contains some corrections to the proofs in the appendices, mainly se
Scientific paper
For every simplicial complex X, we construct a locally CAT(0) cubical complex T_X, a cellular isometric involution i on T_X and a map t_X from T_X to X with the following properties: t_Xi = t_X; t_X is a homology isomorphism; the induced map from the quotient of T_X by the involution i to X is a homotopy equivalence; the induced map from the fixed point subspace for i in T_X to X is a homology isomorphism. The construction is functorial in X. One corollary is an equivariant Kan-Thurston theorem: every connected proper G-CW-complex has the same equivariant homology as the classifying space for proper actions of some other group. From this we obtain an extension of Quillen's theorem on the spectrum of an equivariant cohomology ring and an extension of a result of Block concerning assembly conjectures. Another corollary of our main result is that there can be no algorithm to decide whether a CAT(0) cubical group is generated by torsion. In appendices we prove some foundational results concerning cubical complexes, including the infinite dimensional case. We characterize the cubical complexes for which the natural metric is complete; we establish Gromov's criterion for infinite-dimensional cubical complexes; we show that every CAT(0) cube complex is cubical; we deduce that the second cubical subdivision of any locally CAT(0) cube complex is cubical.
No associations
LandOfFree
A metric Kan-Thurston theorem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A metric Kan-Thurston theorem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A metric Kan-Thurston theorem will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-32891