%0 Journal Article %T Koszul duality and equivariant cohomology %A Matthias Franz %J Mathematics %D 2003 %I arXiv %X Let G be a topological group such that its homology H(G) with coefficients in a principal ideal domain R is an exterior algebra, generated in odd degrees. We show that the singular cochain functor carries the duality between G-spaces and spaces over BG to the Koszul duality between modules up to homotopy over H(G) and H^*(BG). This gives in particular a Cartan-type model for the equivariant cohomology of a G-space. As another corollary, we obtain a multiplicative quasi-isomorphism C^*(BG) -> H^*(BG). A key step in the proof is to show that a differential Hopf algebra is formal in the category of A-infinity algebras provided that it is free over R and its homology an exterior algebra. %U http://arxiv.org/abs/math/0307115v2