Fundamental group action on universal cover chain complex
$begingroup$
I got a little bit confused with Hatcher's explanation of fundamental group action on the chain complex of the universal cover (Algebraic Topology, A. Hatcher, p. 328).
Assume $X$ is a path-connected space with universal cover $tilde{X}$. As I unterstood, there supposed to be a right action $*$ of $pi_1(X)$ on $C_n(tilde{X})$ deinfed for $[gamma]inpi_1(X)$ and an $n$-singular simplex $sigmain C_n(tilde{X})$ as follows
$$
sigma*[gamma]=tilde{gamma}circsigma
$$
where $tilde{gamma}:Irightarrowtilde{X}$ is a unique lift of the loop $gamma:Irightarrow X$ with $p(tilde{gamma}(0))=gamma(0)=gamma(1)$ (here $p$ is the covering map).
My problem pops out when it comes to verifying group action properties. Namely we should have $sigma*([gamma_1][gamma_2])=(sigma*[gamma_1])*[gamma_2]$. But (denoting by $centerdot$ the path concatenation)
$$
LHS=sigma*[gamma_1centerdotgamma_2]=widetilde{gamma_1centerdotgamma_2}circsigma=(widetilde{gamma_1}centerdotwidetilde{gamma_2})circsigma
$$
whereas
$$
RHS=(widetilde{gamma_1}circsigma)*[gamma_2]=widetilde{gamma_2}circwidetilde{gamma_1}circsigma
$$
I don't see how $LHS=RHS$. Should it be the case that $widetilde{gamma_1}centerdotwidetilde{gamma_2}=widetilde{gamma_2}circwidetilde{gamma_1}$? It seems strange to me.
algebraic-topology group-actions covering-spaces
$endgroup$
add a comment |
$begingroup$
I got a little bit confused with Hatcher's explanation of fundamental group action on the chain complex of the universal cover (Algebraic Topology, A. Hatcher, p. 328).
Assume $X$ is a path-connected space with universal cover $tilde{X}$. As I unterstood, there supposed to be a right action $*$ of $pi_1(X)$ on $C_n(tilde{X})$ deinfed for $[gamma]inpi_1(X)$ and an $n$-singular simplex $sigmain C_n(tilde{X})$ as follows
$$
sigma*[gamma]=tilde{gamma}circsigma
$$
where $tilde{gamma}:Irightarrowtilde{X}$ is a unique lift of the loop $gamma:Irightarrow X$ with $p(tilde{gamma}(0))=gamma(0)=gamma(1)$ (here $p$ is the covering map).
My problem pops out when it comes to verifying group action properties. Namely we should have $sigma*([gamma_1][gamma_2])=(sigma*[gamma_1])*[gamma_2]$. But (denoting by $centerdot$ the path concatenation)
$$
LHS=sigma*[gamma_1centerdotgamma_2]=widetilde{gamma_1centerdotgamma_2}circsigma=(widetilde{gamma_1}centerdotwidetilde{gamma_2})circsigma
$$
whereas
$$
RHS=(widetilde{gamma_1}circsigma)*[gamma_2]=widetilde{gamma_2}circwidetilde{gamma_1}circsigma
$$
I don't see how $LHS=RHS$. Should it be the case that $widetilde{gamma_1}centerdotwidetilde{gamma_2}=widetilde{gamma_2}circwidetilde{gamma_1}$? It seems strange to me.
algebraic-topology group-actions covering-spaces
$endgroup$
$begingroup$
$gamma : Xto X$ is not even well-typed. However, for $gamma : Ito X$ and a fixed $cin p^{-1}(gamma(0))$, there is a unique lift $tilde{gamma}: Ito tilde{X}$ with $tilde{gamma}(0) = c$. Now $tilde{gamma}(1)in p^{-1}(gamma(0))$ ($gamma$ is a loop), and so there is a unique automorphism $f$ of $(tilde{X},p)$ such that $f(c)= tilde{gamma}(1)$. Then all the desired properties should come from the uniqueness at each stage
$endgroup$
– Max
Dec 18 '18 at 17:29
2
$begingroup$
I agree with @Max, and will add the comment that although the notation of that passage of Hatcher is highly abbreviated, part of your job in understanding that passage is to go back to the actual definitions and theorems regarding all objects under discussion and to use those definitions correctly. For example, your question exhibits several mistakes about the definitions and properties of the left action by deck transformations of the fundamental group of $X$ acting on the universal covering space of $X$ (described in Proposition 1.39 of Hatcher).
$endgroup$
– Lee Mosher
Dec 19 '18 at 13:41
add a comment |
$begingroup$
I got a little bit confused with Hatcher's explanation of fundamental group action on the chain complex of the universal cover (Algebraic Topology, A. Hatcher, p. 328).
Assume $X$ is a path-connected space with universal cover $tilde{X}$. As I unterstood, there supposed to be a right action $*$ of $pi_1(X)$ on $C_n(tilde{X})$ deinfed for $[gamma]inpi_1(X)$ and an $n$-singular simplex $sigmain C_n(tilde{X})$ as follows
$$
sigma*[gamma]=tilde{gamma}circsigma
$$
where $tilde{gamma}:Irightarrowtilde{X}$ is a unique lift of the loop $gamma:Irightarrow X$ with $p(tilde{gamma}(0))=gamma(0)=gamma(1)$ (here $p$ is the covering map).
My problem pops out when it comes to verifying group action properties. Namely we should have $sigma*([gamma_1][gamma_2])=(sigma*[gamma_1])*[gamma_2]$. But (denoting by $centerdot$ the path concatenation)
$$
LHS=sigma*[gamma_1centerdotgamma_2]=widetilde{gamma_1centerdotgamma_2}circsigma=(widetilde{gamma_1}centerdotwidetilde{gamma_2})circsigma
$$
whereas
$$
RHS=(widetilde{gamma_1}circsigma)*[gamma_2]=widetilde{gamma_2}circwidetilde{gamma_1}circsigma
$$
I don't see how $LHS=RHS$. Should it be the case that $widetilde{gamma_1}centerdotwidetilde{gamma_2}=widetilde{gamma_2}circwidetilde{gamma_1}$? It seems strange to me.
algebraic-topology group-actions covering-spaces
$endgroup$
I got a little bit confused with Hatcher's explanation of fundamental group action on the chain complex of the universal cover (Algebraic Topology, A. Hatcher, p. 328).
Assume $X$ is a path-connected space with universal cover $tilde{X}$. As I unterstood, there supposed to be a right action $*$ of $pi_1(X)$ on $C_n(tilde{X})$ deinfed for $[gamma]inpi_1(X)$ and an $n$-singular simplex $sigmain C_n(tilde{X})$ as follows
$$
sigma*[gamma]=tilde{gamma}circsigma
$$
where $tilde{gamma}:Irightarrowtilde{X}$ is a unique lift of the loop $gamma:Irightarrow X$ with $p(tilde{gamma}(0))=gamma(0)=gamma(1)$ (here $p$ is the covering map).
My problem pops out when it comes to verifying group action properties. Namely we should have $sigma*([gamma_1][gamma_2])=(sigma*[gamma_1])*[gamma_2]$. But (denoting by $centerdot$ the path concatenation)
$$
LHS=sigma*[gamma_1centerdotgamma_2]=widetilde{gamma_1centerdotgamma_2}circsigma=(widetilde{gamma_1}centerdotwidetilde{gamma_2})circsigma
$$
whereas
$$
RHS=(widetilde{gamma_1}circsigma)*[gamma_2]=widetilde{gamma_2}circwidetilde{gamma_1}circsigma
$$
I don't see how $LHS=RHS$. Should it be the case that $widetilde{gamma_1}centerdotwidetilde{gamma_2}=widetilde{gamma_2}circwidetilde{gamma_1}$? It seems strange to me.
algebraic-topology group-actions covering-spaces
algebraic-topology group-actions covering-spaces
edited Dec 18 '18 at 23:50
piotrmizerka
asked Dec 18 '18 at 10:04
piotrmizerkapiotrmizerka
339110
339110
$begingroup$
$gamma : Xto X$ is not even well-typed. However, for $gamma : Ito X$ and a fixed $cin p^{-1}(gamma(0))$, there is a unique lift $tilde{gamma}: Ito tilde{X}$ with $tilde{gamma}(0) = c$. Now $tilde{gamma}(1)in p^{-1}(gamma(0))$ ($gamma$ is a loop), and so there is a unique automorphism $f$ of $(tilde{X},p)$ such that $f(c)= tilde{gamma}(1)$. Then all the desired properties should come from the uniqueness at each stage
$endgroup$
– Max
Dec 18 '18 at 17:29
2
$begingroup$
I agree with @Max, and will add the comment that although the notation of that passage of Hatcher is highly abbreviated, part of your job in understanding that passage is to go back to the actual definitions and theorems regarding all objects under discussion and to use those definitions correctly. For example, your question exhibits several mistakes about the definitions and properties of the left action by deck transformations of the fundamental group of $X$ acting on the universal covering space of $X$ (described in Proposition 1.39 of Hatcher).
$endgroup$
– Lee Mosher
Dec 19 '18 at 13:41
add a comment |
$begingroup$
$gamma : Xto X$ is not even well-typed. However, for $gamma : Ito X$ and a fixed $cin p^{-1}(gamma(0))$, there is a unique lift $tilde{gamma}: Ito tilde{X}$ with $tilde{gamma}(0) = c$. Now $tilde{gamma}(1)in p^{-1}(gamma(0))$ ($gamma$ is a loop), and so there is a unique automorphism $f$ of $(tilde{X},p)$ such that $f(c)= tilde{gamma}(1)$. Then all the desired properties should come from the uniqueness at each stage
$endgroup$
– Max
Dec 18 '18 at 17:29
2
$begingroup$
I agree with @Max, and will add the comment that although the notation of that passage of Hatcher is highly abbreviated, part of your job in understanding that passage is to go back to the actual definitions and theorems regarding all objects under discussion and to use those definitions correctly. For example, your question exhibits several mistakes about the definitions and properties of the left action by deck transformations of the fundamental group of $X$ acting on the universal covering space of $X$ (described in Proposition 1.39 of Hatcher).
$endgroup$
– Lee Mosher
Dec 19 '18 at 13:41
$begingroup$
$gamma : Xto X$ is not even well-typed. However, for $gamma : Ito X$ and a fixed $cin p^{-1}(gamma(0))$, there is a unique lift $tilde{gamma}: Ito tilde{X}$ with $tilde{gamma}(0) = c$. Now $tilde{gamma}(1)in p^{-1}(gamma(0))$ ($gamma$ is a loop), and so there is a unique automorphism $f$ of $(tilde{X},p)$ such that $f(c)= tilde{gamma}(1)$. Then all the desired properties should come from the uniqueness at each stage
$endgroup$
– Max
Dec 18 '18 at 17:29
$begingroup$
$gamma : Xto X$ is not even well-typed. However, for $gamma : Ito X$ and a fixed $cin p^{-1}(gamma(0))$, there is a unique lift $tilde{gamma}: Ito tilde{X}$ with $tilde{gamma}(0) = c$. Now $tilde{gamma}(1)in p^{-1}(gamma(0))$ ($gamma$ is a loop), and so there is a unique automorphism $f$ of $(tilde{X},p)$ such that $f(c)= tilde{gamma}(1)$. Then all the desired properties should come from the uniqueness at each stage
$endgroup$
– Max
Dec 18 '18 at 17:29
2
2
$begingroup$
I agree with @Max, and will add the comment that although the notation of that passage of Hatcher is highly abbreviated, part of your job in understanding that passage is to go back to the actual definitions and theorems regarding all objects under discussion and to use those definitions correctly. For example, your question exhibits several mistakes about the definitions and properties of the left action by deck transformations of the fundamental group of $X$ acting on the universal covering space of $X$ (described in Proposition 1.39 of Hatcher).
$endgroup$
– Lee Mosher
Dec 19 '18 at 13:41
$begingroup$
I agree with @Max, and will add the comment that although the notation of that passage of Hatcher is highly abbreviated, part of your job in understanding that passage is to go back to the actual definitions and theorems regarding all objects under discussion and to use those definitions correctly. For example, your question exhibits several mistakes about the definitions and properties of the left action by deck transformations of the fundamental group of $X$ acting on the universal covering space of $X$ (described in Proposition 1.39 of Hatcher).
$endgroup$
– Lee Mosher
Dec 19 '18 at 13:41
add a comment |
0
active
oldest
votes
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',
autoActivateHeartbeat: false,
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%2f3044976%2ffundamental-group-action-on-universal-cover-chain-complex%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
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%2f3044976%2ffundamental-group-action-on-universal-cover-chain-complex%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
$begingroup$
$gamma : Xto X$ is not even well-typed. However, for $gamma : Ito X$ and a fixed $cin p^{-1}(gamma(0))$, there is a unique lift $tilde{gamma}: Ito tilde{X}$ with $tilde{gamma}(0) = c$. Now $tilde{gamma}(1)in p^{-1}(gamma(0))$ ($gamma$ is a loop), and so there is a unique automorphism $f$ of $(tilde{X},p)$ such that $f(c)= tilde{gamma}(1)$. Then all the desired properties should come from the uniqueness at each stage
$endgroup$
– Max
Dec 18 '18 at 17:29
2
$begingroup$
I agree with @Max, and will add the comment that although the notation of that passage of Hatcher is highly abbreviated, part of your job in understanding that passage is to go back to the actual definitions and theorems regarding all objects under discussion and to use those definitions correctly. For example, your question exhibits several mistakes about the definitions and properties of the left action by deck transformations of the fundamental group of $X$ acting on the universal covering space of $X$ (described in Proposition 1.39 of Hatcher).
$endgroup$
– Lee Mosher
Dec 19 '18 at 13:41