## Return to Answer

2 added 13 characters in body

The niceness condition you want is on the action, not on the space $X$. Specifically, you want to have that $X\to X/G$ is a principle $G$-bundle, so that we have a Serre spectral sequence as you describefor $G\to X\to X/G$. Of course, since you're assuming that $G$ is a finite discrete group, the singular cohomology of $G$ is free, and only in degree 0. In fact, the requirement of being a "principle $G$-bundle" is the same as $X\to X/G$ being a covering space.

The problem: though the spectral sequence looks simple, and collapses immediately at the $E_2$ page, it's not really very useful, since all the interesting data is hidden in the local coefficient system (which is absolutely not trivial unless $G=0$.)

However, we can perhaps get the relationship you want in a much easier way if you're willing to modify the coefficient ring a bit. In particular, the answer is much simpler if you use a ring in which the order of $G$ is a unit. In that case, it's not hard to show directly (using covering space theory) that `$H^*(X/G)\to H^*(X)$` is an isomorphism onto the invariants of $G$, i.e. the subring `$H^*(X)^G$` of classes which are invariant under the action of $G$. This is an exercise in Milnor's Characteristic Classes, and I believe some form of it appears in Hatcher as well.

1

The niceness condition you want is on the action, not on the space $X$. Specifically, you want to have that $X\to X/G$ is a principle $G$-bundle, so that we have a Serre spectral sequence as you describe. Of course, since you're assuming that $G$ is a finite discrete group, the cohomology of $G$ is free, and only in degree 0. In fact, the requirement of being a "principle $G$-bundle" is the same as $X\to X/G$ being a covering space.

The problem: though the spectral sequence looks simple, and collapses immediately at the $E_2$ page, it's not really very useful, since all the interesting data is hidden in the local coefficient system (which is absolutely not trivial unless $G=0$.)

However, we can perhaps get the relationship you want in a much easier way if you're willing to modify the coefficient ring a bit. In particular, the answer is much simpler if you use a ring in which the order of $G$ is a unit. In that case, it's not hard to show directly (using covering space theory) that `$H^*(X/G)\to H^*(X)$` is an isomorphism onto the invariants of $G$, i.e. the subring `$H^*(X)^G$` of classes which are invariant under the action of $G$. This is an exercise in Milnor's Characteristic Classes, and I believe some form of it appears in Hatcher as well.
{"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": 25, "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}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.968184769153595, "perplexity_flag": "head"}