# 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
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9497638940811157, "perplexity": 243.42783154749333}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-48/segments/1448398450659.10/warc/CC-MAIN-20151124205410-00344-ip-10-71-132-137.ec2.internal.warc.gz"}