Can a finite group act freely (as homeomorphisms) on $mathbb R^n$
up vote
10
down vote
favorite
I am asking if whether or not a finite group acts freely (as homeomorphisms) on $mathbb R^n$.
To answer in the negative, it suffices to show: for any homeomorphism $f$ such that $f^d=text{id}_{mathbb R^n}$, then $f$ has a fixed point.
I am looking for a complete self-contained answer.
algebraic-topology
add a comment |
up vote
10
down vote
favorite
I am asking if whether or not a finite group acts freely (as homeomorphisms) on $mathbb R^n$.
To answer in the negative, it suffices to show: for any homeomorphism $f$ such that $f^d=text{id}_{mathbb R^n}$, then $f$ has a fixed point.
I am looking for a complete self-contained answer.
algebraic-topology
add a comment |
up vote
10
down vote
favorite
up vote
10
down vote
favorite
I am asking if whether or not a finite group acts freely (as homeomorphisms) on $mathbb R^n$.
To answer in the negative, it suffices to show: for any homeomorphism $f$ such that $f^d=text{id}_{mathbb R^n}$, then $f$ has a fixed point.
I am looking for a complete self-contained answer.
algebraic-topology
I am asking if whether or not a finite group acts freely (as homeomorphisms) on $mathbb R^n$.
To answer in the negative, it suffices to show: for any homeomorphism $f$ such that $f^d=text{id}_{mathbb R^n}$, then $f$ has a fixed point.
I am looking for a complete self-contained answer.
algebraic-topology
algebraic-topology
edited May 13 '16 at 7:38
user99914
asked Jan 3 '13 at 0:21
Ash GX
536318
536318
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
up vote
7
down vote
accepted
Any continuous map, $f: mathbb R^n rightarrow mathbb R^n$, such that $f^n = text{ id}$ for any natural number $n$ must have a fixed point. The proof is not entirely trivial and there are two ways to do it: either using Smith theory or using algebraic topology (see Bredon, Geometry and Topology, for instance where a scheme for such a proof is laid out). In general, if a group acts freely and properly discontinuously on $mathbb R^n$, it cannot have torsion. This is also the reason that classifying spaces of finite groups are infinite dimensional. For example, the classifying space of $Z/2$ is $Rmathbb P^infty$.
Thanks for your answer. I fixed a small font issue in your answer: italicized text can be marked with single asterisks.
– user53153
Jan 3 '13 at 0:42
4
That "also the reason that classifying spaces of finite groups are infinite dimensional" doesn't seem to hold water. There's no reason that the universal cover of such a group needs to look like $mathbb{R}^n$.
– Qiaochu Yuan
Jan 3 '13 at 1:05
I am actually more interested in the "Smith Theory"(actually the other proof was what I have in mind), but I can't find it anywhere. Could you supply some references?
– Ash GX
Jan 4 '13 at 0:13
add a comment |
up vote
5
down vote
This is an elaboration of the answer by user44441. Note that none of these proofs is elementary, meaning both use material going beyond what is typically covered in a graduate topology class, although the proof using cohomological dimension is much simpler, you just need to know sheaf cohomology and some basic material of cohomology of groups.
- Via Smith Theory. Let $G$ be a finite nontrivial group of homeomorphisms of $R^n$. Then the action of $G$ extends continuously to its action on $S^n$, the 1-point compactification of $R^n$. Let $C< G$ be a nontrivial cyclic subgroup of $G$, it has order $k>1$. Let $p$ be a prime divisor of $k$. Then $C$ contains a subgroup $H$ of order $p$, isomorphic to ${mathbb Z}/p$, cyclic group of order $p$. According to the Smith Theory, see Theorem 7.11 in
G.Bredon, "Introduction to Compact Transformation Groups", Elsevier, 1972.
the fixed point set $F$ of $H$ is a Chech cohomology sphere over $p$ of some dimension $rin [-1, n]$. In other words, the Chech cohomology groups $H^i(F, {mathbb Z}/p)$ are isomorphic to that of the sphere $S^r$, where $(-1)$-dimensional sphere is the empty set. In order to use this result, you do not need to know what Chech cohomology is (just for the record, it is the sheaf cohomology with respect to the constant sheaf $underline{{mathbb Z}/p}$ on $F$), as in our situation, if $H$ acts freely on $R^n$, the set $F$ is the singleton ${infty}$ and its Chech cohomology is the same as any cohomology you are are likely familiar with (singular/cellular/simplicial/cubical). The cohomology of the singleton (with ${mathbb Z}/p$ coefficients) is zero in all degrees except degree zero, and $H^0(F, {mathbb Z}/p)cong {mathbb Z}/p$. But no sphere (empty or not) can have such cohomology groups:
Again, you do not need to know what Chech cohomology is since for topological manifolds it is isomorphic to the cellular/singular/... cohomology. Hence, a free nontrivial finite group action on $R^n$ cannot exist.
- Via group cohomology. If $Gtimes R^nto R^n$ is a free action of a finite group, the projection $R^nto X=R^n/G$ is a covering map. Hence, the space $X$ is $K(G,1)$. Therefore, $H^*(X, {mathcal F})cong H^*(G, M)$ for any $ZG$-module $M$, where ${mathcal F}$ is the sheaf on $X$ associated with the module $M$. (To construct this sheaf, take the locally trivial fiber bundle $Eto X$ associated with the $ZG$-module $M$ regarded as a set acted upon by $G$, and consider the sheaf of locally constant local sections of $Eto X$.)
Now the proof hinges upon two facts:
a. For every nontrivial finite group $G$ there is a $ZG$-module $M$ and an infinite sequence $k_ito infty$ such that
$$
H^{k_i}(G, M)ne 0.
$$
You can find this in Ken Brown's book "Cohomology of Groups".
In our setting, you only need to know this for finite cyclic groups $G$. In this situation, instead of reading Brown's book you can read his freely available lecture notes here, Exercise 1.5: You take $M=ZG$.
b. If $X$ is a, say, metrizable, topological space of covering dimension $le n$, then for any sheaf ${mathcal F}$ on $X$, the cohomology groups $H^k(X, {mathcal F})=0$ for all $k>n$. Once you get through the definitions, this is actually a "soft" fact, since the covering dimension assumption gives you a cofinal sequence of coverings of $X$ whose nerves are of dimension $le n$ and, hence, the cochain groups defined using these covering vanish (in degrees $>n$), which implies vanishing of cohomology groups. Assuming that you are familiar with simplicial cohomology, this proof is the same as of the fact that for an $n$-dimensional simplicial complex $X$, its simplicial cohomology vanish in degrees $>n$. Since $R^n$ has covering dimension $le n$ (you only need to know that the covering dimension is $le n$, which is proven by constructing an explicit cofinal sequence of covers ${mathcal U}$), the space $X$ covered by $R^n$ also has dimension $le n$, simply by projecting ${mathcal U}$'s from $R^n$ to $X$.
Now, adding (a) and (b), you conclude that $H^k(R^n/G, {mathcal F})=0$ for all $k>n$ and all sheaves ${mathcal F}$ (from (b)) while
$H^{k_i}(R^n/G, {mathcal F})ne 0$ for some sequence $k_ito infty$ (from (a)) and for some sheaf ${mathcal F}$. This is a contradiction.
add a comment |
up vote
2
down vote
If $G$ acts freely and continuously on $mathbb{R}^n$ then the quotient map $mathbb{R}^n to mathbb{R}^n/G=X$ is a covering map of degree $n=|G|$. Hence we have for the Euler characteristic (see https://en.wikipedia.org/wiki/Euler_characteristic#Covering_spaces),
$$ chi(X) cdot n=chi(mathbb{R}^n)=1.$$
Since the Euler characterstic is an integer, this implies that $G$ is trivial.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f269486%2fcan-a-finite-group-act-freely-as-homeomorphisms-on-mathbb-rn%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
7
down vote
accepted
Any continuous map, $f: mathbb R^n rightarrow mathbb R^n$, such that $f^n = text{ id}$ for any natural number $n$ must have a fixed point. The proof is not entirely trivial and there are two ways to do it: either using Smith theory or using algebraic topology (see Bredon, Geometry and Topology, for instance where a scheme for such a proof is laid out). In general, if a group acts freely and properly discontinuously on $mathbb R^n$, it cannot have torsion. This is also the reason that classifying spaces of finite groups are infinite dimensional. For example, the classifying space of $Z/2$ is $Rmathbb P^infty$.
Thanks for your answer. I fixed a small font issue in your answer: italicized text can be marked with single asterisks.
– user53153
Jan 3 '13 at 0:42
4
That "also the reason that classifying spaces of finite groups are infinite dimensional" doesn't seem to hold water. There's no reason that the universal cover of such a group needs to look like $mathbb{R}^n$.
– Qiaochu Yuan
Jan 3 '13 at 1:05
I am actually more interested in the "Smith Theory"(actually the other proof was what I have in mind), but I can't find it anywhere. Could you supply some references?
– Ash GX
Jan 4 '13 at 0:13
add a comment |
up vote
7
down vote
accepted
Any continuous map, $f: mathbb R^n rightarrow mathbb R^n$, such that $f^n = text{ id}$ for any natural number $n$ must have a fixed point. The proof is not entirely trivial and there are two ways to do it: either using Smith theory or using algebraic topology (see Bredon, Geometry and Topology, for instance where a scheme for such a proof is laid out). In general, if a group acts freely and properly discontinuously on $mathbb R^n$, it cannot have torsion. This is also the reason that classifying spaces of finite groups are infinite dimensional. For example, the classifying space of $Z/2$ is $Rmathbb P^infty$.
Thanks for your answer. I fixed a small font issue in your answer: italicized text can be marked with single asterisks.
– user53153
Jan 3 '13 at 0:42
4
That "also the reason that classifying spaces of finite groups are infinite dimensional" doesn't seem to hold water. There's no reason that the universal cover of such a group needs to look like $mathbb{R}^n$.
– Qiaochu Yuan
Jan 3 '13 at 1:05
I am actually more interested in the "Smith Theory"(actually the other proof was what I have in mind), but I can't find it anywhere. Could you supply some references?
– Ash GX
Jan 4 '13 at 0:13
add a comment |
up vote
7
down vote
accepted
up vote
7
down vote
accepted
Any continuous map, $f: mathbb R^n rightarrow mathbb R^n$, such that $f^n = text{ id}$ for any natural number $n$ must have a fixed point. The proof is not entirely trivial and there are two ways to do it: either using Smith theory or using algebraic topology (see Bredon, Geometry and Topology, for instance where a scheme for such a proof is laid out). In general, if a group acts freely and properly discontinuously on $mathbb R^n$, it cannot have torsion. This is also the reason that classifying spaces of finite groups are infinite dimensional. For example, the classifying space of $Z/2$ is $Rmathbb P^infty$.
Any continuous map, $f: mathbb R^n rightarrow mathbb R^n$, such that $f^n = text{ id}$ for any natural number $n$ must have a fixed point. The proof is not entirely trivial and there are two ways to do it: either using Smith theory or using algebraic topology (see Bredon, Geometry and Topology, for instance where a scheme for such a proof is laid out). In general, if a group acts freely and properly discontinuously on $mathbb R^n$, it cannot have torsion. This is also the reason that classifying spaces of finite groups are infinite dimensional. For example, the classifying space of $Z/2$ is $Rmathbb P^infty$.
edited Jan 3 '13 at 0:40
user53153
answered Jan 3 '13 at 0:35
user44441
897169
897169
Thanks for your answer. I fixed a small font issue in your answer: italicized text can be marked with single asterisks.
– user53153
Jan 3 '13 at 0:42
4
That "also the reason that classifying spaces of finite groups are infinite dimensional" doesn't seem to hold water. There's no reason that the universal cover of such a group needs to look like $mathbb{R}^n$.
– Qiaochu Yuan
Jan 3 '13 at 1:05
I am actually more interested in the "Smith Theory"(actually the other proof was what I have in mind), but I can't find it anywhere. Could you supply some references?
– Ash GX
Jan 4 '13 at 0:13
add a comment |
Thanks for your answer. I fixed a small font issue in your answer: italicized text can be marked with single asterisks.
– user53153
Jan 3 '13 at 0:42
4
That "also the reason that classifying spaces of finite groups are infinite dimensional" doesn't seem to hold water. There's no reason that the universal cover of such a group needs to look like $mathbb{R}^n$.
– Qiaochu Yuan
Jan 3 '13 at 1:05
I am actually more interested in the "Smith Theory"(actually the other proof was what I have in mind), but I can't find it anywhere. Could you supply some references?
– Ash GX
Jan 4 '13 at 0:13
Thanks for your answer. I fixed a small font issue in your answer: italicized text can be marked with single asterisks.
– user53153
Jan 3 '13 at 0:42
Thanks for your answer. I fixed a small font issue in your answer: italicized text can be marked with single asterisks.
– user53153
Jan 3 '13 at 0:42
4
4
That "also the reason that classifying spaces of finite groups are infinite dimensional" doesn't seem to hold water. There's no reason that the universal cover of such a group needs to look like $mathbb{R}^n$.
– Qiaochu Yuan
Jan 3 '13 at 1:05
That "also the reason that classifying spaces of finite groups are infinite dimensional" doesn't seem to hold water. There's no reason that the universal cover of such a group needs to look like $mathbb{R}^n$.
– Qiaochu Yuan
Jan 3 '13 at 1:05
I am actually more interested in the "Smith Theory"(actually the other proof was what I have in mind), but I can't find it anywhere. Could you supply some references?
– Ash GX
Jan 4 '13 at 0:13
I am actually more interested in the "Smith Theory"(actually the other proof was what I have in mind), but I can't find it anywhere. Could you supply some references?
– Ash GX
Jan 4 '13 at 0:13
add a comment |
up vote
5
down vote
This is an elaboration of the answer by user44441. Note that none of these proofs is elementary, meaning both use material going beyond what is typically covered in a graduate topology class, although the proof using cohomological dimension is much simpler, you just need to know sheaf cohomology and some basic material of cohomology of groups.
- Via Smith Theory. Let $G$ be a finite nontrivial group of homeomorphisms of $R^n$. Then the action of $G$ extends continuously to its action on $S^n$, the 1-point compactification of $R^n$. Let $C< G$ be a nontrivial cyclic subgroup of $G$, it has order $k>1$. Let $p$ be a prime divisor of $k$. Then $C$ contains a subgroup $H$ of order $p$, isomorphic to ${mathbb Z}/p$, cyclic group of order $p$. According to the Smith Theory, see Theorem 7.11 in
G.Bredon, "Introduction to Compact Transformation Groups", Elsevier, 1972.
the fixed point set $F$ of $H$ is a Chech cohomology sphere over $p$ of some dimension $rin [-1, n]$. In other words, the Chech cohomology groups $H^i(F, {mathbb Z}/p)$ are isomorphic to that of the sphere $S^r$, where $(-1)$-dimensional sphere is the empty set. In order to use this result, you do not need to know what Chech cohomology is (just for the record, it is the sheaf cohomology with respect to the constant sheaf $underline{{mathbb Z}/p}$ on $F$), as in our situation, if $H$ acts freely on $R^n$, the set $F$ is the singleton ${infty}$ and its Chech cohomology is the same as any cohomology you are are likely familiar with (singular/cellular/simplicial/cubical). The cohomology of the singleton (with ${mathbb Z}/p$ coefficients) is zero in all degrees except degree zero, and $H^0(F, {mathbb Z}/p)cong {mathbb Z}/p$. But no sphere (empty or not) can have such cohomology groups:
Again, you do not need to know what Chech cohomology is since for topological manifolds it is isomorphic to the cellular/singular/... cohomology. Hence, a free nontrivial finite group action on $R^n$ cannot exist.
- Via group cohomology. If $Gtimes R^nto R^n$ is a free action of a finite group, the projection $R^nto X=R^n/G$ is a covering map. Hence, the space $X$ is $K(G,1)$. Therefore, $H^*(X, {mathcal F})cong H^*(G, M)$ for any $ZG$-module $M$, where ${mathcal F}$ is the sheaf on $X$ associated with the module $M$. (To construct this sheaf, take the locally trivial fiber bundle $Eto X$ associated with the $ZG$-module $M$ regarded as a set acted upon by $G$, and consider the sheaf of locally constant local sections of $Eto X$.)
Now the proof hinges upon two facts:
a. For every nontrivial finite group $G$ there is a $ZG$-module $M$ and an infinite sequence $k_ito infty$ such that
$$
H^{k_i}(G, M)ne 0.
$$
You can find this in Ken Brown's book "Cohomology of Groups".
In our setting, you only need to know this for finite cyclic groups $G$. In this situation, instead of reading Brown's book you can read his freely available lecture notes here, Exercise 1.5: You take $M=ZG$.
b. If $X$ is a, say, metrizable, topological space of covering dimension $le n$, then for any sheaf ${mathcal F}$ on $X$, the cohomology groups $H^k(X, {mathcal F})=0$ for all $k>n$. Once you get through the definitions, this is actually a "soft" fact, since the covering dimension assumption gives you a cofinal sequence of coverings of $X$ whose nerves are of dimension $le n$ and, hence, the cochain groups defined using these covering vanish (in degrees $>n$), which implies vanishing of cohomology groups. Assuming that you are familiar with simplicial cohomology, this proof is the same as of the fact that for an $n$-dimensional simplicial complex $X$, its simplicial cohomology vanish in degrees $>n$. Since $R^n$ has covering dimension $le n$ (you only need to know that the covering dimension is $le n$, which is proven by constructing an explicit cofinal sequence of covers ${mathcal U}$), the space $X$ covered by $R^n$ also has dimension $le n$, simply by projecting ${mathcal U}$'s from $R^n$ to $X$.
Now, adding (a) and (b), you conclude that $H^k(R^n/G, {mathcal F})=0$ for all $k>n$ and all sheaves ${mathcal F}$ (from (b)) while
$H^{k_i}(R^n/G, {mathcal F})ne 0$ for some sequence $k_ito infty$ (from (a)) and for some sheaf ${mathcal F}$. This is a contradiction.
add a comment |
up vote
5
down vote
This is an elaboration of the answer by user44441. Note that none of these proofs is elementary, meaning both use material going beyond what is typically covered in a graduate topology class, although the proof using cohomological dimension is much simpler, you just need to know sheaf cohomology and some basic material of cohomology of groups.
- Via Smith Theory. Let $G$ be a finite nontrivial group of homeomorphisms of $R^n$. Then the action of $G$ extends continuously to its action on $S^n$, the 1-point compactification of $R^n$. Let $C< G$ be a nontrivial cyclic subgroup of $G$, it has order $k>1$. Let $p$ be a prime divisor of $k$. Then $C$ contains a subgroup $H$ of order $p$, isomorphic to ${mathbb Z}/p$, cyclic group of order $p$. According to the Smith Theory, see Theorem 7.11 in
G.Bredon, "Introduction to Compact Transformation Groups", Elsevier, 1972.
the fixed point set $F$ of $H$ is a Chech cohomology sphere over $p$ of some dimension $rin [-1, n]$. In other words, the Chech cohomology groups $H^i(F, {mathbb Z}/p)$ are isomorphic to that of the sphere $S^r$, where $(-1)$-dimensional sphere is the empty set. In order to use this result, you do not need to know what Chech cohomology is (just for the record, it is the sheaf cohomology with respect to the constant sheaf $underline{{mathbb Z}/p}$ on $F$), as in our situation, if $H$ acts freely on $R^n$, the set $F$ is the singleton ${infty}$ and its Chech cohomology is the same as any cohomology you are are likely familiar with (singular/cellular/simplicial/cubical). The cohomology of the singleton (with ${mathbb Z}/p$ coefficients) is zero in all degrees except degree zero, and $H^0(F, {mathbb Z}/p)cong {mathbb Z}/p$. But no sphere (empty or not) can have such cohomology groups:
Again, you do not need to know what Chech cohomology is since for topological manifolds it is isomorphic to the cellular/singular/... cohomology. Hence, a free nontrivial finite group action on $R^n$ cannot exist.
- Via group cohomology. If $Gtimes R^nto R^n$ is a free action of a finite group, the projection $R^nto X=R^n/G$ is a covering map. Hence, the space $X$ is $K(G,1)$. Therefore, $H^*(X, {mathcal F})cong H^*(G, M)$ for any $ZG$-module $M$, where ${mathcal F}$ is the sheaf on $X$ associated with the module $M$. (To construct this sheaf, take the locally trivial fiber bundle $Eto X$ associated with the $ZG$-module $M$ regarded as a set acted upon by $G$, and consider the sheaf of locally constant local sections of $Eto X$.)
Now the proof hinges upon two facts:
a. For every nontrivial finite group $G$ there is a $ZG$-module $M$ and an infinite sequence $k_ito infty$ such that
$$
H^{k_i}(G, M)ne 0.
$$
You can find this in Ken Brown's book "Cohomology of Groups".
In our setting, you only need to know this for finite cyclic groups $G$. In this situation, instead of reading Brown's book you can read his freely available lecture notes here, Exercise 1.5: You take $M=ZG$.
b. If $X$ is a, say, metrizable, topological space of covering dimension $le n$, then for any sheaf ${mathcal F}$ on $X$, the cohomology groups $H^k(X, {mathcal F})=0$ for all $k>n$. Once you get through the definitions, this is actually a "soft" fact, since the covering dimension assumption gives you a cofinal sequence of coverings of $X$ whose nerves are of dimension $le n$ and, hence, the cochain groups defined using these covering vanish (in degrees $>n$), which implies vanishing of cohomology groups. Assuming that you are familiar with simplicial cohomology, this proof is the same as of the fact that for an $n$-dimensional simplicial complex $X$, its simplicial cohomology vanish in degrees $>n$. Since $R^n$ has covering dimension $le n$ (you only need to know that the covering dimension is $le n$, which is proven by constructing an explicit cofinal sequence of covers ${mathcal U}$), the space $X$ covered by $R^n$ also has dimension $le n$, simply by projecting ${mathcal U}$'s from $R^n$ to $X$.
Now, adding (a) and (b), you conclude that $H^k(R^n/G, {mathcal F})=0$ for all $k>n$ and all sheaves ${mathcal F}$ (from (b)) while
$H^{k_i}(R^n/G, {mathcal F})ne 0$ for some sequence $k_ito infty$ (from (a)) and for some sheaf ${mathcal F}$. This is a contradiction.
add a comment |
up vote
5
down vote
up vote
5
down vote
This is an elaboration of the answer by user44441. Note that none of these proofs is elementary, meaning both use material going beyond what is typically covered in a graduate topology class, although the proof using cohomological dimension is much simpler, you just need to know sheaf cohomology and some basic material of cohomology of groups.
- Via Smith Theory. Let $G$ be a finite nontrivial group of homeomorphisms of $R^n$. Then the action of $G$ extends continuously to its action on $S^n$, the 1-point compactification of $R^n$. Let $C< G$ be a nontrivial cyclic subgroup of $G$, it has order $k>1$. Let $p$ be a prime divisor of $k$. Then $C$ contains a subgroup $H$ of order $p$, isomorphic to ${mathbb Z}/p$, cyclic group of order $p$. According to the Smith Theory, see Theorem 7.11 in
G.Bredon, "Introduction to Compact Transformation Groups", Elsevier, 1972.
the fixed point set $F$ of $H$ is a Chech cohomology sphere over $p$ of some dimension $rin [-1, n]$. In other words, the Chech cohomology groups $H^i(F, {mathbb Z}/p)$ are isomorphic to that of the sphere $S^r$, where $(-1)$-dimensional sphere is the empty set. In order to use this result, you do not need to know what Chech cohomology is (just for the record, it is the sheaf cohomology with respect to the constant sheaf $underline{{mathbb Z}/p}$ on $F$), as in our situation, if $H$ acts freely on $R^n$, the set $F$ is the singleton ${infty}$ and its Chech cohomology is the same as any cohomology you are are likely familiar with (singular/cellular/simplicial/cubical). The cohomology of the singleton (with ${mathbb Z}/p$ coefficients) is zero in all degrees except degree zero, and $H^0(F, {mathbb Z}/p)cong {mathbb Z}/p$. But no sphere (empty or not) can have such cohomology groups:
Again, you do not need to know what Chech cohomology is since for topological manifolds it is isomorphic to the cellular/singular/... cohomology. Hence, a free nontrivial finite group action on $R^n$ cannot exist.
- Via group cohomology. If $Gtimes R^nto R^n$ is a free action of a finite group, the projection $R^nto X=R^n/G$ is a covering map. Hence, the space $X$ is $K(G,1)$. Therefore, $H^*(X, {mathcal F})cong H^*(G, M)$ for any $ZG$-module $M$, where ${mathcal F}$ is the sheaf on $X$ associated with the module $M$. (To construct this sheaf, take the locally trivial fiber bundle $Eto X$ associated with the $ZG$-module $M$ regarded as a set acted upon by $G$, and consider the sheaf of locally constant local sections of $Eto X$.)
Now the proof hinges upon two facts:
a. For every nontrivial finite group $G$ there is a $ZG$-module $M$ and an infinite sequence $k_ito infty$ such that
$$
H^{k_i}(G, M)ne 0.
$$
You can find this in Ken Brown's book "Cohomology of Groups".
In our setting, you only need to know this for finite cyclic groups $G$. In this situation, instead of reading Brown's book you can read his freely available lecture notes here, Exercise 1.5: You take $M=ZG$.
b. If $X$ is a, say, metrizable, topological space of covering dimension $le n$, then for any sheaf ${mathcal F}$ on $X$, the cohomology groups $H^k(X, {mathcal F})=0$ for all $k>n$. Once you get through the definitions, this is actually a "soft" fact, since the covering dimension assumption gives you a cofinal sequence of coverings of $X$ whose nerves are of dimension $le n$ and, hence, the cochain groups defined using these covering vanish (in degrees $>n$), which implies vanishing of cohomology groups. Assuming that you are familiar with simplicial cohomology, this proof is the same as of the fact that for an $n$-dimensional simplicial complex $X$, its simplicial cohomology vanish in degrees $>n$. Since $R^n$ has covering dimension $le n$ (you only need to know that the covering dimension is $le n$, which is proven by constructing an explicit cofinal sequence of covers ${mathcal U}$), the space $X$ covered by $R^n$ also has dimension $le n$, simply by projecting ${mathcal U}$'s from $R^n$ to $X$.
Now, adding (a) and (b), you conclude that $H^k(R^n/G, {mathcal F})=0$ for all $k>n$ and all sheaves ${mathcal F}$ (from (b)) while
$H^{k_i}(R^n/G, {mathcal F})ne 0$ for some sequence $k_ito infty$ (from (a)) and for some sheaf ${mathcal F}$. This is a contradiction.
This is an elaboration of the answer by user44441. Note that none of these proofs is elementary, meaning both use material going beyond what is typically covered in a graduate topology class, although the proof using cohomological dimension is much simpler, you just need to know sheaf cohomology and some basic material of cohomology of groups.
- Via Smith Theory. Let $G$ be a finite nontrivial group of homeomorphisms of $R^n$. Then the action of $G$ extends continuously to its action on $S^n$, the 1-point compactification of $R^n$. Let $C< G$ be a nontrivial cyclic subgroup of $G$, it has order $k>1$. Let $p$ be a prime divisor of $k$. Then $C$ contains a subgroup $H$ of order $p$, isomorphic to ${mathbb Z}/p$, cyclic group of order $p$. According to the Smith Theory, see Theorem 7.11 in
G.Bredon, "Introduction to Compact Transformation Groups", Elsevier, 1972.
the fixed point set $F$ of $H$ is a Chech cohomology sphere over $p$ of some dimension $rin [-1, n]$. In other words, the Chech cohomology groups $H^i(F, {mathbb Z}/p)$ are isomorphic to that of the sphere $S^r$, where $(-1)$-dimensional sphere is the empty set. In order to use this result, you do not need to know what Chech cohomology is (just for the record, it is the sheaf cohomology with respect to the constant sheaf $underline{{mathbb Z}/p}$ on $F$), as in our situation, if $H$ acts freely on $R^n$, the set $F$ is the singleton ${infty}$ and its Chech cohomology is the same as any cohomology you are are likely familiar with (singular/cellular/simplicial/cubical). The cohomology of the singleton (with ${mathbb Z}/p$ coefficients) is zero in all degrees except degree zero, and $H^0(F, {mathbb Z}/p)cong {mathbb Z}/p$. But no sphere (empty or not) can have such cohomology groups:
Again, you do not need to know what Chech cohomology is since for topological manifolds it is isomorphic to the cellular/singular/... cohomology. Hence, a free nontrivial finite group action on $R^n$ cannot exist.
- Via group cohomology. If $Gtimes R^nto R^n$ is a free action of a finite group, the projection $R^nto X=R^n/G$ is a covering map. Hence, the space $X$ is $K(G,1)$. Therefore, $H^*(X, {mathcal F})cong H^*(G, M)$ for any $ZG$-module $M$, where ${mathcal F}$ is the sheaf on $X$ associated with the module $M$. (To construct this sheaf, take the locally trivial fiber bundle $Eto X$ associated with the $ZG$-module $M$ regarded as a set acted upon by $G$, and consider the sheaf of locally constant local sections of $Eto X$.)
Now the proof hinges upon two facts:
a. For every nontrivial finite group $G$ there is a $ZG$-module $M$ and an infinite sequence $k_ito infty$ such that
$$
H^{k_i}(G, M)ne 0.
$$
You can find this in Ken Brown's book "Cohomology of Groups".
In our setting, you only need to know this for finite cyclic groups $G$. In this situation, instead of reading Brown's book you can read his freely available lecture notes here, Exercise 1.5: You take $M=ZG$.
b. If $X$ is a, say, metrizable, topological space of covering dimension $le n$, then for any sheaf ${mathcal F}$ on $X$, the cohomology groups $H^k(X, {mathcal F})=0$ for all $k>n$. Once you get through the definitions, this is actually a "soft" fact, since the covering dimension assumption gives you a cofinal sequence of coverings of $X$ whose nerves are of dimension $le n$ and, hence, the cochain groups defined using these covering vanish (in degrees $>n$), which implies vanishing of cohomology groups. Assuming that you are familiar with simplicial cohomology, this proof is the same as of the fact that for an $n$-dimensional simplicial complex $X$, its simplicial cohomology vanish in degrees $>n$. Since $R^n$ has covering dimension $le n$ (you only need to know that the covering dimension is $le n$, which is proven by constructing an explicit cofinal sequence of covers ${mathcal U}$), the space $X$ covered by $R^n$ also has dimension $le n$, simply by projecting ${mathcal U}$'s from $R^n$ to $X$.
Now, adding (a) and (b), you conclude that $H^k(R^n/G, {mathcal F})=0$ for all $k>n$ and all sheaves ${mathcal F}$ (from (b)) while
$H^{k_i}(R^n/G, {mathcal F})ne 0$ for some sequence $k_ito infty$ (from (a)) and for some sheaf ${mathcal F}$. This is a contradiction.
edited May 12 '16 at 15:25
answered May 12 '16 at 15:17
Moishe Cohen
45.1k342102
45.1k342102
add a comment |
add a comment |
up vote
2
down vote
If $G$ acts freely and continuously on $mathbb{R}^n$ then the quotient map $mathbb{R}^n to mathbb{R}^n/G=X$ is a covering map of degree $n=|G|$. Hence we have for the Euler characteristic (see https://en.wikipedia.org/wiki/Euler_characteristic#Covering_spaces),
$$ chi(X) cdot n=chi(mathbb{R}^n)=1.$$
Since the Euler characterstic is an integer, this implies that $G$ is trivial.
add a comment |
up vote
2
down vote
If $G$ acts freely and continuously on $mathbb{R}^n$ then the quotient map $mathbb{R}^n to mathbb{R}^n/G=X$ is a covering map of degree $n=|G|$. Hence we have for the Euler characteristic (see https://en.wikipedia.org/wiki/Euler_characteristic#Covering_spaces),
$$ chi(X) cdot n=chi(mathbb{R}^n)=1.$$
Since the Euler characterstic is an integer, this implies that $G$ is trivial.
add a comment |
up vote
2
down vote
up vote
2
down vote
If $G$ acts freely and continuously on $mathbb{R}^n$ then the quotient map $mathbb{R}^n to mathbb{R}^n/G=X$ is a covering map of degree $n=|G|$. Hence we have for the Euler characteristic (see https://en.wikipedia.org/wiki/Euler_characteristic#Covering_spaces),
$$ chi(X) cdot n=chi(mathbb{R}^n)=1.$$
Since the Euler characterstic is an integer, this implies that $G$ is trivial.
If $G$ acts freely and continuously on $mathbb{R}^n$ then the quotient map $mathbb{R}^n to mathbb{R}^n/G=X$ is a covering map of degree $n=|G|$. Hence we have for the Euler characteristic (see https://en.wikipedia.org/wiki/Euler_characteristic#Covering_spaces),
$$ chi(X) cdot n=chi(mathbb{R}^n)=1.$$
Since the Euler characterstic is an integer, this implies that $G$ is trivial.
answered Nov 22 at 11:27
deepfloe
514
514
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f269486%2fcan-a-finite-group-act-freely-as-homeomorphisms-on-mathbb-rn%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown