1: \begin{abstract} 

2: For every simplicial complex $X$, we construct a locally CAT(0)

3: cubical complex $T_X$, a cellular isometric involution $\tau$ on 

4: $T_X$ and a map $t_X:T_X\rightarrow X$ with the following properties: 

5: $t_X\tau = t_X$; $t_X$ is a homology isomorphism; the induced map from

6: the quotient space $T_X/\langle\tau\rangle$ to $X$ is a homotopy

7: equivalence; the induced map from the fixed point space $T_X^\tau$ to

8: $X$ is a homology isomorphism.  The construction is functorial in

9: $X$. 

10: 

11: One corollary is an equivariant Kan-Thurston theorem:

12: every connected proper $G$-CW-complex has the same equivariant

13: homology as the classifying space for proper actions, $\ebar \tilg$,

14: of some other group $\tilg$.  From this we obtain extensions of a 

15: theorem of Quillen on the spectrum of a (Borel) equivariant cohomology 

16: ring and a result of Block concerning assembly conjectures.  

17: Another corollary of our main result is that there can be

18: no algorithm to decide whether a CAT(0) cubical group is generated by

19: torsion.

20: 

21: In appendices we prove some foundational results concerning cubical

22: complexes, including the infinite dimensional case.  We characterize

23: the cubical complexes for which the natural metric is complete; we

24: establish Gromov's criterion for infinite-dimensional cubical

25: complexes; we show that every CAT(0) cube complex is cubical; we

26: deduce that the second cubical subdivision of any locally CAT(0) cube

27: complex is cubical.

28: \end{abstract}