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

Hi,

Up until now I've kind of taken this issue for granted, but I'm trying to think about it now and nothing seems to be making the situation much clearer.

The problem is (in short), what the correct notion of the based loop space (or even based path space)should be for 1-connected spaces $X$ with a free $G$-action ($G$ a discrete group). I am requiring the freeness condition because what I am really interested in is the quotient space, and more precisely the action of the fundamental group ($G$) on the higher homotopy, and so the freeness condition is to ensure that $X$ is the universal cover of $X/G$. The way you would like to define an action (simply by using the action on X to induce an action on $Maps(S^1, X)$) doesn't work straight off, as it's not well defined: since the action is free, for any choice of basepoint, the constant loop will be moved by any non-identity element to a loop not based at the correct basepoint.

Morally, because equivariantly points are supposed to correspond to orbits in some way, I feel like the answer (for the equivariant path space $PX$) should be something like $PX=Maps(EG\times [0,1], X)$, where $[0,1]$ has the trivial G-action and a basepoint $0$, and we use a free $G$-cell construction of $EG$ and $X$ with exactly one equivariant $0$-cell in each, and the maps in the $PX$ are required to fix this $0$-cell (on the $[0,1]$ side, the $0$-cell appears as $G\times {0} $), and of course, all maps are $G$-maps. This still doesn't feel ideal, as we don't have a specified basepoint, and I don't know whether (in the usual $G$-model structure) the homotopy pullback of $PX\to X\leftarrow PX$ is the loopspace, which (under the above story) would be $\Omega X=Maps(EG\times S^1, X)$.

I guess more generally my question is how one defines an action on homotopy pullbacks in the equivariant case? I know there must be an answer, as the G-model structure does exist with fibrations and weak equivalences those which are fibrations and weak equivalences on fixed point spaces. Any help or comments would be much appreciated.

Thanks,

Tom

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

"Basepoints" of "based" $G$-spaces are required to be $G$-fixed. Conceptually, a "basepoint" in an object $X$ of any category with a terminal object wants to be a map from the terminal object into $X$, and the terminal object in $G$-spaces is the one-point $G$-space. As you have observed, free $G$-spaces can't have such basepoints. Homotopy pullbacks are no problem in the model categories of unbased $G$-spaces or of based $G$-spaces; the latter category excludes free $G$-spaces (which can be reinterpreted there as having disjoint base points.)

share|improve this answer
    
Thanks very much for your answer Peter. I'd managed to confuse myself in a couple of places. –  Tom Sutton Mar 20 '13 at 9:17
1  
It seems to me you could also look at the use of the fundamental groupoid, since if $G$ acts on $X$ then it also acts on the fundamental groupoid $\pi_1 X$ and also on $\pi_1(X,A)$ provided $A$ is a union of orbits. For more details, and applications to determining $\pi_1 X/G$, see Chapter 11 of my book "Topology and Groupoids". These methods have not been extended to determine $\pi_n(X/G,A/G)$, $n \geqslant 2$, as far as I am aware. There could be interest in path models of $\pi_1(X,A). –  Ronnie Brown Mar 20 '13 at 11:21
add comment

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.