# Equivariant handle decompositions

Suppose I have some smooth closed high-dimensional manifold $M$ acted on smoothly by a finite group $G$. By a metric averaging procedure, we can equip $M$ with a smooth Riemannian metric so that $G$ acts by isometries. I can't necessarily pick a $G$-invariant morse function $f:M\to\mathbb R$, but nevertheless, I can certainly pick a smooth function $f:M\to\mathbb R$ which, though perhaps not Morse, still has only isolated "nice" critical points in some precise sense. We therefore conclude:

There is a "handle" decomposition of $M$ (where I haven't said what I mean by "handle") which is preserved by $G$. Thus $G$ just permutes (and/or acts on individually) the handles.

I am interested in knowing to what extent this can be generalized to the case of an "action up to homotopy". More specifically, suppose we have $G\to\operatorname{Homeo}(M)/\text{homotopy}$. To what extent can we "decompose" M into simple pieces in a $G$-invariant way? If it helps, then it is OK to assume that the action of $G$ is "close to the identity" in a vague coarse sense.

(I am essentially just interested on the case of high-dimensional $M$, but of course the question makes sense in any dimension).

-
This does not answer your question, but provides a different approach to the Morse theory in the first part. A theorem of Illman says that if $M$ is a manifold and $G$ is a finite group acting on $M$, then $M$ has a $G$-invariant triangulation. You could get an equivariant handle decomposition from this, but it is in some sense more rigid. See MR1770606 (2001j:57032) Illman, Sören(FIN-HELS) Existence and uniqueness of equivariant triangulations of smooth proper G-manifolds with some applications to equivariant Whitehead torsion. J. Reine Angew. Math. 524 (2000), 129–183. – Andy Putman Aug 9 '12 at 3:15
Can you be more precise about the meaning of "$G\to\operatorname{Homeo}(M)/\text{homotopy}.$" ? – John Klein Aug 9 '12 at 13:40
Say that two elements of $\operatorname{Homeo}(M)$ are equivalent iff they are homotopic as maps $M\to M$. This is an equivalence relation, and the group operation on $\operatorname{Homeo}(M)$ descends to the quotient. – John Pardon Aug 9 '12 at 15:45