MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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).

share|cite|improve this question
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

This foundational paper: Arthur G. Wasserman, Equivariant Differential Topology, Topology, 8(1967), 127-150, has section 4 dealing with equivariant Morse theory for manifolds with a smooth action of a compact Lie group, including equivariant handle attaching, equivariant Morse Lemma, etc. See MathSciNet Review. The last result of the paper concludes that a compact G-manifold is a union of "handle bundles over orbits".

share|cite|improve this answer
This is a good reference for my boxed statement, but that's not what my question is about. I want to know about when the action is only defined "up to homotopy". Also, all my groups are finite. – John Pardon Aug 9 '12 at 15:48

Your Answer


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.