Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a topological group and let $X$ and $Y$ be connected, well-pointed $G$-spaces. Suppose $f:X\to Y$ is a pointed homotopy equivalence and a $G$-equivariant map (but not an equivariant homotopy equivalence). I know that $f$ induces a (weak) homotopy equivalence on the Borel constructions, $EG\times_G X\to EG\times_G Y$, but what about the induced map on the pointed Borel constructions, $EG_+\wedge_G X\to EG_+\wedge_G Y$? Is it a homotopy equivalence too? As far as I can see it is a homology equivalence and a stable homotopy equivalence but I would like a stronger result.

share|improve this question

1 Answer 1

up vote 7 down vote accepted

In the pointed Borel construction, you clearly mean $\wedge$ and not $\times$. Thus $$EG_+\wedge_G X = EG\times_G X/EG\times_G\ast.$$ Out of laziness, I'll assume that your $X$ and $Y$ are of the $G$-homotopy types of $G$-CW complexes. The based $G$-map $id\times f\colon EG\times X\longrightarrow EG\times Y$ is a homotopy equivalence on passage to $H$-fixed points for all $H\subset G$: the condition is empty unless $H=e$, when it is your hypothesis. Therefore $id\times f$ is a $G$-homotopy equivalence. Via the inclusions of $EG$ in source and target given by the basepoints of $X$ and $Y$, $id\times f$ is a map over $EG$ and therefore a $G$-homotopy equivalence over $EG$ since the inclusions of $EG$ in source and target are $G$-cofibrations by your well-pointed hypothesis. On passage to orbits over $G$ and quotient spaces, it follows that $$id\wedge_G f\colon EG_+\wedge_G X \longrightarrow EG_+\wedge_G Y$$ is a based homotopy equivalence.

share|improve this answer
    
Thanks, I did mean $\wedge$, I have updated the question. What if the spaces are not of the G-homotopy types of G-CW complexes? In particular I am thinking of configuration spaces and the scanning map - I have seen this claimed in a paper by Bödigheimer and Madsen when $G$ is a compact lie group. –  Richard Manthorpe Aug 21 '12 at 16:04
1  
$G$-CW isn't too restrictive (includes all smooth $G$-manifolds when $G$ is compact Lie). But here is an argument for weak equivalence without that assumption. A comparison of the Borel bundles for $X$ and $Y$ ($X\to EG\times_G X \to BG$) shows that the map of Borel constructions is a weak equivalence. The reduced Borel construction is the pushout of the maps $BG \to \ast$ and $BG \to EG\times_G X$. The latter map is a cofibration, so the gluing lemma for weak equivalences gives that the map of reduced Borel constructions is a weak equivalence. –  Peter May Aug 21 '12 at 17:24
    
Thank you that is exactly what I was looking for. And I guess the result for the scanning map is indeed for $G$-CW complexes. –  Richard Manthorpe Aug 21 '12 at 17:41

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.