Isomorphism of homology groups implies isomorphism of cohomology groups
$begingroup$
I have tried to read Hatcher's Algebraic Topology book. He said that one can prove the following corollary using the naturality of Universal Coefficient Theorem and Five-Lemma:
Corollary 3.4. If a chain map between chain complexes of free abelian groups induces an isomorphism on homology groups, then it induces an isomorphism on cohomology groups with any coefficient group $G$.
I cannot realize the role of Five-Lemma to prove the corollary. Is it something obvious?
Any help will be appreciated.
algebraic-topology
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
$endgroup$
|
show 1 more comment
$begingroup$
I have tried to read Hatcher's Algebraic Topology book. He said that one can prove the following corollary using the naturality of Universal Coefficient Theorem and Five-Lemma:
Corollary 3.4. If a chain map between chain complexes of free abelian groups induces an isomorphism on homology groups, then it induces an isomorphism on cohomology groups with any coefficient group $G$.
I cannot realize the role of Five-Lemma to prove the corollary. Is it something obvious?
Any help will be appreciated.
algebraic-topology
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
$endgroup$
3
$begingroup$
You have a map of short exact sequences which is an isomorphism on the outer two terms. Well, it's actually an isomorphism between the outer 4 terms of a 5-term exact sequences (the 0's are the outermost terms). So the 5 lemma is what tells you that the middle vertical map is an isomorphism.
$endgroup$
– user98602
Dec 28 '18 at 16:33
$begingroup$
If I don't understand you wrong, you say that there are isomorphisms between Hom, Ext and outer 0-terms, so by Five-Lemma, we get an isomorphism between cohomology groups?
$endgroup$
– M. Giovanni Lucaretti
Dec 28 '18 at 16:39
2
$begingroup$
Yes. The universal coefficient theorem says the relevant short exact sequences are natural for chain maps of free abelian groups, and the assumption that your chain maps induce an isomorphism on homology imply they induce an isomorphism on the Hom and Ext terms.
$endgroup$
– user98602
Dec 28 '18 at 16:41
$begingroup$
@MikeMiller Perhaps you should give an official answer to clear the question from the unanswered queue.
$endgroup$
– Paul Frost
Dec 28 '18 at 23:03
1
$begingroup$
@PaulF Normally I only comment when I feel unwilling to give an answer for whatever reason, but that is not the case here. I will write one up in an hour or so. Thanks for the reminder.
$endgroup$
– user98602
Dec 28 '18 at 23:11
|
show 1 more comment
$begingroup$
I have tried to read Hatcher's Algebraic Topology book. He said that one can prove the following corollary using the naturality of Universal Coefficient Theorem and Five-Lemma:
Corollary 3.4. If a chain map between chain complexes of free abelian groups induces an isomorphism on homology groups, then it induces an isomorphism on cohomology groups with any coefficient group $G$.
I cannot realize the role of Five-Lemma to prove the corollary. Is it something obvious?
Any help will be appreciated.
algebraic-topology
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
$endgroup$
I have tried to read Hatcher's Algebraic Topology book. He said that one can prove the following corollary using the naturality of Universal Coefficient Theorem and Five-Lemma:
Corollary 3.4. If a chain map between chain complexes of free abelian groups induces an isomorphism on homology groups, then it induces an isomorphism on cohomology groups with any coefficient group $G$.
I cannot realize the role of Five-Lemma to prove the corollary. Is it something obvious?
Any help will be appreciated.
algebraic-topology
algebraic-topology
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
asked Dec 28 '18 at 16:08
M. Giovanni LucarettiM. Giovanni Lucaretti
797
797
3
$begingroup$
You have a map of short exact sequences which is an isomorphism on the outer two terms. Well, it's actually an isomorphism between the outer 4 terms of a 5-term exact sequences (the 0's are the outermost terms). So the 5 lemma is what tells you that the middle vertical map is an isomorphism.
$endgroup$
– user98602
Dec 28 '18 at 16:33
$begingroup$
If I don't understand you wrong, you say that there are isomorphisms between Hom, Ext and outer 0-terms, so by Five-Lemma, we get an isomorphism between cohomology groups?
$endgroup$
– M. Giovanni Lucaretti
Dec 28 '18 at 16:39
2
$begingroup$
Yes. The universal coefficient theorem says the relevant short exact sequences are natural for chain maps of free abelian groups, and the assumption that your chain maps induce an isomorphism on homology imply they induce an isomorphism on the Hom and Ext terms.
$endgroup$
– user98602
Dec 28 '18 at 16:41
$begingroup$
@MikeMiller Perhaps you should give an official answer to clear the question from the unanswered queue.
$endgroup$
– Paul Frost
Dec 28 '18 at 23:03
1
$begingroup$
@PaulF Normally I only comment when I feel unwilling to give an answer for whatever reason, but that is not the case here. I will write one up in an hour or so. Thanks for the reminder.
$endgroup$
– user98602
Dec 28 '18 at 23:11
|
show 1 more comment
3
$begingroup$
You have a map of short exact sequences which is an isomorphism on the outer two terms. Well, it's actually an isomorphism between the outer 4 terms of a 5-term exact sequences (the 0's are the outermost terms). So the 5 lemma is what tells you that the middle vertical map is an isomorphism.
$endgroup$
– user98602
Dec 28 '18 at 16:33
$begingroup$
If I don't understand you wrong, you say that there are isomorphisms between Hom, Ext and outer 0-terms, so by Five-Lemma, we get an isomorphism between cohomology groups?
$endgroup$
– M. Giovanni Lucaretti
Dec 28 '18 at 16:39
2
$begingroup$
Yes. The universal coefficient theorem says the relevant short exact sequences are natural for chain maps of free abelian groups, and the assumption that your chain maps induce an isomorphism on homology imply they induce an isomorphism on the Hom and Ext terms.
$endgroup$
– user98602
Dec 28 '18 at 16:41
$begingroup$
@MikeMiller Perhaps you should give an official answer to clear the question from the unanswered queue.
$endgroup$
– Paul Frost
Dec 28 '18 at 23:03
1
$begingroup$
@PaulF Normally I only comment when I feel unwilling to give an answer for whatever reason, but that is not the case here. I will write one up in an hour or so. Thanks for the reminder.
$endgroup$
– user98602
Dec 28 '18 at 23:11
3
3
$begingroup$
You have a map of short exact sequences which is an isomorphism on the outer two terms. Well, it's actually an isomorphism between the outer 4 terms of a 5-term exact sequences (the 0's are the outermost terms). So the 5 lemma is what tells you that the middle vertical map is an isomorphism.
$endgroup$
– user98602
Dec 28 '18 at 16:33
$begingroup$
You have a map of short exact sequences which is an isomorphism on the outer two terms. Well, it's actually an isomorphism between the outer 4 terms of a 5-term exact sequences (the 0's are the outermost terms). So the 5 lemma is what tells you that the middle vertical map is an isomorphism.
$endgroup$
– user98602
Dec 28 '18 at 16:33
$begingroup$
If I don't understand you wrong, you say that there are isomorphisms between Hom, Ext and outer 0-terms, so by Five-Lemma, we get an isomorphism between cohomology groups?
$endgroup$
– M. Giovanni Lucaretti
Dec 28 '18 at 16:39
$begingroup$
If I don't understand you wrong, you say that there are isomorphisms between Hom, Ext and outer 0-terms, so by Five-Lemma, we get an isomorphism between cohomology groups?
$endgroup$
– M. Giovanni Lucaretti
Dec 28 '18 at 16:39
2
2
$begingroup$
Yes. The universal coefficient theorem says the relevant short exact sequences are natural for chain maps of free abelian groups, and the assumption that your chain maps induce an isomorphism on homology imply they induce an isomorphism on the Hom and Ext terms.
$endgroup$
– user98602
Dec 28 '18 at 16:41
$begingroup$
Yes. The universal coefficient theorem says the relevant short exact sequences are natural for chain maps of free abelian groups, and the assumption that your chain maps induce an isomorphism on homology imply they induce an isomorphism on the Hom and Ext terms.
$endgroup$
– user98602
Dec 28 '18 at 16:41
$begingroup$
@MikeMiller Perhaps you should give an official answer to clear the question from the unanswered queue.
$endgroup$
– Paul Frost
Dec 28 '18 at 23:03
$begingroup$
@MikeMiller Perhaps you should give an official answer to clear the question from the unanswered queue.
$endgroup$
– Paul Frost
Dec 28 '18 at 23:03
1
1
$begingroup$
@PaulF Normally I only comment when I feel unwilling to give an answer for whatever reason, but that is not the case here. I will write one up in an hour or so. Thanks for the reminder.
$endgroup$
– user98602
Dec 28 '18 at 23:11
$begingroup$
@PaulF Normally I only comment when I feel unwilling to give an answer for whatever reason, but that is not the case here. I will write one up in an hour or so. Thanks for the reminder.
$endgroup$
– user98602
Dec 28 '18 at 23:11
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
Here is the situation. $require{AMScd}$ The statement that the universal coefficient theorem is natural for maps $f: C to D$ of chain complexes of free abelian groups means that there is a map of short exact sequences
$begin{CD}0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(C), G) @>>> H^i(C;G) @>>> text{Hom}(H_i(C), G) @>>> 0\
@. @AAA @AAA @AAA \
0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(D), G) @>>> H^i(D;G) @>>> text{Hom}(H_i(D), G) @>>> 0
end{CD}$
Note that the arrows go the other way from $f: C to D$; all three of $text{Ext}(-,G)$, $text{Hom}(-, G)$, and cohomology with $G$ coefficients are contravariant.
Because $text{Ext}$ and $text{Hom}$ are functorial in their inputs, they take isomorphisms to isomorphisms; in particular, because $f_*: H_k(C) to H_k(D)$ is an isomorphism for any $k$, we see that the outer two vertical maps are isomorphisms.
Whenever you have a big diagram like this and some of those vertical arrows start being isomorphisms, you should think about the 5 lemma. In this case, though it looks like we only have 3 vertical arrows, don't forget about the implicit maps $0 to 0$ on the outside (the trivial map!). This means that we have a map of 5-term exact sequences, which are isomorphisms on the "outer 4" vertical maps. Then the 5 lemma gets us that the middle vertical map is an isomorphism; this is what you wanted.
$endgroup$
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',
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%2f3055020%2fisomorphism-of-homology-groups-implies-isomorphism-of-cohomology-groups%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Here is the situation. $require{AMScd}$ The statement that the universal coefficient theorem is natural for maps $f: C to D$ of chain complexes of free abelian groups means that there is a map of short exact sequences
$begin{CD}0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(C), G) @>>> H^i(C;G) @>>> text{Hom}(H_i(C), G) @>>> 0\
@. @AAA @AAA @AAA \
0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(D), G) @>>> H^i(D;G) @>>> text{Hom}(H_i(D), G) @>>> 0
end{CD}$
Note that the arrows go the other way from $f: C to D$; all three of $text{Ext}(-,G)$, $text{Hom}(-, G)$, and cohomology with $G$ coefficients are contravariant.
Because $text{Ext}$ and $text{Hom}$ are functorial in their inputs, they take isomorphisms to isomorphisms; in particular, because $f_*: H_k(C) to H_k(D)$ is an isomorphism for any $k$, we see that the outer two vertical maps are isomorphisms.
Whenever you have a big diagram like this and some of those vertical arrows start being isomorphisms, you should think about the 5 lemma. In this case, though it looks like we only have 3 vertical arrows, don't forget about the implicit maps $0 to 0$ on the outside (the trivial map!). This means that we have a map of 5-term exact sequences, which are isomorphisms on the "outer 4" vertical maps. Then the 5 lemma gets us that the middle vertical map is an isomorphism; this is what you wanted.
$endgroup$
add a comment |
$begingroup$
Here is the situation. $require{AMScd}$ The statement that the universal coefficient theorem is natural for maps $f: C to D$ of chain complexes of free abelian groups means that there is a map of short exact sequences
$begin{CD}0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(C), G) @>>> H^i(C;G) @>>> text{Hom}(H_i(C), G) @>>> 0\
@. @AAA @AAA @AAA \
0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(D), G) @>>> H^i(D;G) @>>> text{Hom}(H_i(D), G) @>>> 0
end{CD}$
Note that the arrows go the other way from $f: C to D$; all three of $text{Ext}(-,G)$, $text{Hom}(-, G)$, and cohomology with $G$ coefficients are contravariant.
Because $text{Ext}$ and $text{Hom}$ are functorial in their inputs, they take isomorphisms to isomorphisms; in particular, because $f_*: H_k(C) to H_k(D)$ is an isomorphism for any $k$, we see that the outer two vertical maps are isomorphisms.
Whenever you have a big diagram like this and some of those vertical arrows start being isomorphisms, you should think about the 5 lemma. In this case, though it looks like we only have 3 vertical arrows, don't forget about the implicit maps $0 to 0$ on the outside (the trivial map!). This means that we have a map of 5-term exact sequences, which are isomorphisms on the "outer 4" vertical maps. Then the 5 lemma gets us that the middle vertical map is an isomorphism; this is what you wanted.
$endgroup$
add a comment |
$begingroup$
Here is the situation. $require{AMScd}$ The statement that the universal coefficient theorem is natural for maps $f: C to D$ of chain complexes of free abelian groups means that there is a map of short exact sequences
$begin{CD}0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(C), G) @>>> H^i(C;G) @>>> text{Hom}(H_i(C), G) @>>> 0\
@. @AAA @AAA @AAA \
0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(D), G) @>>> H^i(D;G) @>>> text{Hom}(H_i(D), G) @>>> 0
end{CD}$
Note that the arrows go the other way from $f: C to D$; all three of $text{Ext}(-,G)$, $text{Hom}(-, G)$, and cohomology with $G$ coefficients are contravariant.
Because $text{Ext}$ and $text{Hom}$ are functorial in their inputs, they take isomorphisms to isomorphisms; in particular, because $f_*: H_k(C) to H_k(D)$ is an isomorphism for any $k$, we see that the outer two vertical maps are isomorphisms.
Whenever you have a big diagram like this and some of those vertical arrows start being isomorphisms, you should think about the 5 lemma. In this case, though it looks like we only have 3 vertical arrows, don't forget about the implicit maps $0 to 0$ on the outside (the trivial map!). This means that we have a map of 5-term exact sequences, which are isomorphisms on the "outer 4" vertical maps. Then the 5 lemma gets us that the middle vertical map is an isomorphism; this is what you wanted.
$endgroup$
Here is the situation. $require{AMScd}$ The statement that the universal coefficient theorem is natural for maps $f: C to D$ of chain complexes of free abelian groups means that there is a map of short exact sequences
$begin{CD}0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(C), G) @>>> H^i(C;G) @>>> text{Hom}(H_i(C), G) @>>> 0\
@. @AAA @AAA @AAA \
0 @>>> text{Ext}^1_{Bbb Z}(H_{i-1}(D), G) @>>> H^i(D;G) @>>> text{Hom}(H_i(D), G) @>>> 0
end{CD}$
Note that the arrows go the other way from $f: C to D$; all three of $text{Ext}(-,G)$, $text{Hom}(-, G)$, and cohomology with $G$ coefficients are contravariant.
Because $text{Ext}$ and $text{Hom}$ are functorial in their inputs, they take isomorphisms to isomorphisms; in particular, because $f_*: H_k(C) to H_k(D)$ is an isomorphism for any $k$, we see that the outer two vertical maps are isomorphisms.
Whenever you have a big diagram like this and some of those vertical arrows start being isomorphisms, you should think about the 5 lemma. In this case, though it looks like we only have 3 vertical arrows, don't forget about the implicit maps $0 to 0$ on the outside (the trivial map!). This means that we have a map of 5-term exact sequences, which are isomorphisms on the "outer 4" vertical maps. Then the 5 lemma gets us that the middle vertical map is an isomorphism; this is what you wanted.
answered Dec 29 '18 at 1:43
user98602
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.
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%2f3055020%2fisomorphism-of-homology-groups-implies-isomorphism-of-cohomology-groups%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
3
$begingroup$
You have a map of short exact sequences which is an isomorphism on the outer two terms. Well, it's actually an isomorphism between the outer 4 terms of a 5-term exact sequences (the 0's are the outermost terms). So the 5 lemma is what tells you that the middle vertical map is an isomorphism.
$endgroup$
– user98602
Dec 28 '18 at 16:33
$begingroup$
If I don't understand you wrong, you say that there are isomorphisms between Hom, Ext and outer 0-terms, so by Five-Lemma, we get an isomorphism between cohomology groups?
$endgroup$
– M. Giovanni Lucaretti
Dec 28 '18 at 16:39
2
$begingroup$
Yes. The universal coefficient theorem says the relevant short exact sequences are natural for chain maps of free abelian groups, and the assumption that your chain maps induce an isomorphism on homology imply they induce an isomorphism on the Hom and Ext terms.
$endgroup$
– user98602
Dec 28 '18 at 16:41
$begingroup$
@MikeMiller Perhaps you should give an official answer to clear the question from the unanswered queue.
$endgroup$
– Paul Frost
Dec 28 '18 at 23:03
1
$begingroup$
@PaulF Normally I only comment when I feel unwilling to give an answer for whatever reason, but that is not the case here. I will write one up in an hour or so. Thanks for the reminder.
$endgroup$
– user98602
Dec 28 '18 at 23:11