Homotopy category of Chain complex - isomoprhism = quasi isomoprhism?
up vote
2
down vote
favorite
Let $Ho(Ch_Z)$ be the localization of the category of nonnegatively graded complexes of abelian groups, $Ch_Z$, wrt the quasi-isomorphisms.
If two objects are isomorphic, in this localization, then are they quasi isomoprhic? I do not think this is true. But why in page 43 of DS's notes, we have two objects in $A,B in Ho(Ch_Z)$ for which the author concludes
$$H_iA cong H_iB$$
I know this may be the case when $A,B$ are special objects. The problem is I cannot really tell if this is case in the notes.
algebraic-topology category-theory model-categories
asked Nov 22 at 7:45
CL.
2,0752822
|
show 2 more comments
up vote
2
down vote
favorite
Let $Ho(Ch_Z)$ be the localization of the category of nonnegatively graded complexes of abelian groups, $Ch_Z$, wrt the quasi-isomorphisms.
If two objects are isomorphic, in this localization, then are they quasi isomoprhic? I do not think this is true. But why in page 43 of DS's notes, we have two objects in $A,B in Ho(Ch_Z)$ for which the author concludes
$$H_iA cong H_iB$$
I know this may be the case when $A,B$ are special objects. The problem is I cannot really tell if this is case in the notes.
algebraic-topology category-theory model-categories
asked Nov 22 at 7:45
CL.
2,0752822
Yes, it's true, pretty much by definition. Why don't you think it's true?
– Najib Idrissi
Nov 22 at 8:01
I could not really find the problem in the notes you link, but maybe I am not familiar enough with the situation to see it. Anyway, note that homology factors through the localization with respect to quasi-isomorphisms since these induce isomorphisms on homology groups. Thus homology becomes a functor $Ho(Ch_Z) to Ab$ and so if two objects are isomorphic in $Ho(Ch_Z)$ they will have isomorphic homology. This does not imply the existence of a quasi-isomorphism between $A$ and $B$.
– Matthias Klupsch
Nov 22 at 8:02
1
@NajibIdrissi : There could also be a zigzag sequence $A to C$ and $B to C$ of quasi-isomorphisms without the existence of a quasi-isomorphism $A to C$. I guess it depends on what 'quasi-isomorphic' is supposed to mean.
– Matthias Klupsch
Nov 22 at 8:03
1
@NajibIdrissi I agree this is the "correct" definition of the notion of quasi-isomorphism for homotopy theoretic purposes, but I've almost always seen "quasi-isomorphism" defined to be a map $X to Y$ inducing isomorphisms on all homology groups.
– leibnewtz
Nov 22 at 8:14
2
@leibnewtz You are confusing "quasi isomorphism" (a noun that denotes a certain class of maps) and "quasi isomorphic" (an adjective that applies to chain complexes).
– Najib Idrissi
Nov 22 at 8:40
|
show 2 more comments
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Let $Ho(Ch_Z)$ be the localization of the category of nonnegatively graded complexes of abelian groups, $Ch_Z$, wrt the quasi-isomorphisms.
If two objects are isomorphic, in this localization, then are they quasi isomoprhic? I do not think this is true. But why in page 43 of DS's notes, we have two objects in $A,B in Ho(Ch_Z)$ for which the author concludes
$$H_iA cong H_iB$$
I know this may be the case when $A,B$ are special objects. The problem is I cannot really tell if this is case in the notes.
algebraic-topology category-theory model-categories
asked Nov 22 at 7:45
CL.
2,0752822
Let $Ho(Ch_Z)$ be the localization of the category of nonnegatively graded complexes of abelian groups, $Ch_Z$, wrt the quasi-isomorphisms.
If two objects are isomorphic, in this localization, then are they quasi isomoprhic? I do not think this is true. But why in page 43 of DS's notes, we have two objects in $A,B in Ho(Ch_Z)$ for which the author concludes
$$H_iA cong H_iB$$
I know this may be the case when $A,B$ are special objects. The problem is I cannot really tell if this is case in the notes.
algebraic-topology category-theory model-categories
algebraic-topology category-theory model-categories
asked Nov 22 at 7:45
CL.
2,0752822
asked Nov 22 at 7:45
CL.
2,0752822
asked Nov 22 at 7:45
CL.
2,0752822
asked Nov 22 at 7:45
CL.
2,0752822
asked Nov 22 at 7:45
CL.
2,0752822
2,0752822
Yes, it's true, pretty much by definition. Why don't you think it's true?
– Najib Idrissi
Nov 22 at 8:01
I could not really find the problem in the notes you link, but maybe I am not familiar enough with the situation to see it. Anyway, note that homology factors through the localization with respect to quasi-isomorphisms since these induce isomorphisms on homology groups. Thus homology becomes a functor $Ho(Ch_Z) to Ab$ and so if two objects are isomorphic in $Ho(Ch_Z)$ they will have isomorphic homology. This does not imply the existence of a quasi-isomorphism between $A$ and $B$.
– Matthias Klupsch
Nov 22 at 8:02
1
@NajibIdrissi : There could also be a zigzag sequence $A to C$ and $B to C$ of quasi-isomorphisms without the existence of a quasi-isomorphism $A to C$. I guess it depends on what 'quasi-isomorphic' is supposed to mean.
– Matthias Klupsch
Nov 22 at 8:03
1
@NajibIdrissi I agree this is the "correct" definition of the notion of quasi-isomorphism for homotopy theoretic purposes, but I've almost always seen "quasi-isomorphism" defined to be a map $X to Y$ inducing isomorphisms on all homology groups.
– leibnewtz
Nov 22 at 8:14
2
@leibnewtz You are confusing "quasi isomorphism" (a noun that denotes a certain class of maps) and "quasi isomorphic" (an adjective that applies to chain complexes).
– Najib Idrissi
Nov 22 at 8:40
|
show 2 more comments
Yes, it's true, pretty much by definition. Why don't you think it's true?
– Najib Idrissi
Nov 22 at 8:01
I could not really find the problem in the notes you link, but maybe I am not familiar enough with the situation to see it. Anyway, note that homology factors through the localization with respect to quasi-isomorphisms since these induce isomorphisms on homology groups. Thus homology becomes a functor $Ho(Ch_Z) to Ab$ and so if two objects are isomorphic in $Ho(Ch_Z)$ they will have isomorphic homology. This does not imply the existence of a quasi-isomorphism between $A$ and $B$.
– Matthias Klupsch
Nov 22 at 8:02
1
@NajibIdrissi : There could also be a zigzag sequence $A to C$ and $B to C$ of quasi-isomorphisms without the existence of a quasi-isomorphism $A to C$. I guess it depends on what 'quasi-isomorphic' is supposed to mean.
– Matthias Klupsch
Nov 22 at 8:03
1
@NajibIdrissi I agree this is the "correct" definition of the notion of quasi-isomorphism for homotopy theoretic purposes, but I've almost always seen "quasi-isomorphism" defined to be a map $X to Y$ inducing isomorphisms on all homology groups.
– leibnewtz
Nov 22 at 8:14
2
@leibnewtz You are confusing "quasi isomorphism" (a noun that denotes a certain class of maps) and "quasi isomorphic" (an adjective that applies to chain complexes).
– Najib Idrissi
Nov 22 at 8:40
Yes, it's true, pretty much by definition. Why don't you think it's true?
– Najib Idrissi
Nov 22 at 8:01
Yes, it's true, pretty much by definition. Why don't you think it's true?
– Najib Idrissi
Nov 22 at 8:01
I could not really find the problem in the notes you link, but maybe I am not familiar enough with the situation to see it. Anyway, note that homology factors through the localization with respect to quasi-isomorphisms since these induce isomorphisms on homology groups. Thus homology becomes a functor $Ho(Ch_Z) to Ab$ and so if two objects are isomorphic in $Ho(Ch_Z)$ they will have isomorphic homology. This does not imply the existence of a quasi-isomorphism between $A$ and $B$.
– Matthias Klupsch
Nov 22 at 8:02
I could not really find the problem in the notes you link, but maybe I am not familiar enough with the situation to see it. Anyway, note that homology factors through the localization with respect to quasi-isomorphisms since these induce isomorphisms on homology groups. Thus homology becomes a functor $Ho(Ch_Z) to Ab$ and so if two objects are isomorphic in $Ho(Ch_Z)$ they will have isomorphic homology. This does not imply the existence of a quasi-isomorphism between $A$ and $B$.
– Matthias Klupsch
Nov 22 at 8:02
1
1
@NajibIdrissi : There could also be a zigzag sequence $A to C$ and $B to C$ of quasi-isomorphisms without the existence of a quasi-isomorphism $A to C$. I guess it depends on what 'quasi-isomorphic' is supposed to mean.
– Matthias Klupsch
Nov 22 at 8:03
@NajibIdrissi : There could also be a zigzag sequence $A to C$ and $B to C$ of quasi-isomorphisms without the existence of a quasi-isomorphism $A to C$. I guess it depends on what 'quasi-isomorphic' is supposed to mean.
– Matthias Klupsch
Nov 22 at 8:03
1
1
@NajibIdrissi I agree this is the "correct" definition of the notion of quasi-isomorphism for homotopy theoretic purposes, but I've almost always seen "quasi-isomorphism" defined to be a map $X to Y$ inducing isomorphisms on all homology groups.
– leibnewtz
Nov 22 at 8:14
@NajibIdrissi I agree this is the "correct" definition of the notion of quasi-isomorphism for homotopy theoretic purposes, but I've almost always seen "quasi-isomorphism" defined to be a map $X to Y$ inducing isomorphisms on all homology groups.
– leibnewtz
Nov 22 at 8:14
2
2
@leibnewtz You are confusing "quasi isomorphism" (a noun that denotes a certain class of maps) and "quasi isomorphic" (an adjective that applies to chain complexes).
– Najib Idrissi
Nov 22 at 8:40
@leibnewtz You are confusing "quasi isomorphism" (a noun that denotes a certain class of maps) and "quasi isomorphic" (an adjective that applies to chain complexes).
– Najib Idrissi
Nov 22 at 8:40
|
show 2 more comments
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
Strictly speaking: no, as commented before, the zigzags make problems (assuming you already tamed them into defining sets of morphisms, which you can via classical construction and embedding your category in the category of bounded chain complexes), for example consider the following 2 complexes of abelian groups (i.e. $mathbb{Z}$-modules):
$$ 0to 0to mathbb{Z}/2mathbb{Z} xrightarrow{0} mathbb{Z} xrightarrow{2} mathbb{Z} to 0 $$
and
$$0to mathbb{Z} xrightarrow{2} mathbb{Z} to 0to mathbb{Z}/2mathbb{Z}to 0 $$
then ther just can't be a quasi-imorphism going either way between those complexes (there are no nontrivial morphisms from $mathbb{Z}/2mathbb{Z}$ to $mathbb{Z}$). However, both are quasi-isomorphic to
$$0 to 0 to mathbb{Z}/2mathbb{Z} to 0 to mathbb{Z}/2mathbb{Z}to 0$$.
Regarding your question in the proof:
as mentioned before in the comments, you none the less get a zigzag of quasiisomorphisms (in worsecase to a projective resoltion or a cofibrant fibrant replacement, depending on the setting you are working in), which then all induce isomorphisms of $H^*$, but those are now actual isomorphisms in the category of groups, hence you can actually invert them, and make the zigzag into a single iso.
Also, be aware that often people (especially when using model categories) restrict themselves to certain subcategories, for example $mathcal{Ho}(mathcal{C})$ usually is the subcategory of fibrant-cofibrant objects modulo homotopy.
answered Nov 22 at 8:37
Enkidu
77316
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
Strictly speaking: no, as commented before, the zigzags make problems (assuming you already tamed them into defining sets of morphisms, which you can via classical construction and embedding your category in the category of bounded chain complexes), for example consider the following 2 complexes of abelian groups (i.e. $mathbb{Z}$-modules):
$$ 0to 0to mathbb{Z}/2mathbb{Z} xrightarrow{0} mathbb{Z} xrightarrow{2} mathbb{Z} to 0 $$
and
$$0to mathbb{Z} xrightarrow{2} mathbb{Z} to 0to mathbb{Z}/2mathbb{Z}to 0 $$
then ther just can't be a quasi-imorphism going either way between those complexes (there are no nontrivial morphisms from $mathbb{Z}/2mathbb{Z}$ to $mathbb{Z}$). However, both are quasi-isomorphic to
$$0 to 0 to mathbb{Z}/2mathbb{Z} to 0 to mathbb{Z}/2mathbb{Z}to 0$$.
Regarding your question in the proof:
as mentioned before in the comments, you none the less get a zigzag of quasiisomorphisms (in worsecase to a projective resoltion or a cofibrant fibrant replacement, depending on the setting you are working in), which then all induce isomorphisms of $H^*$, but those are now actual isomorphisms in the category of groups, hence you can actually invert them, and make the zigzag into a single iso.
Also, be aware that often people (especially when using model categories) restrict themselves to certain subcategories, for example $mathcal{Ho}(mathcal{C})$ usually is the subcategory of fibrant-cofibrant objects modulo homotopy.
answered Nov 22 at 8:37
Enkidu
77316
add a comment |
up vote
2
down vote
accepted
Strictly speaking: no, as commented before, the zigzags make problems (assuming you already tamed them into defining sets of morphisms, which you can via classical construction and embedding your category in the category of bounded chain complexes), for example consider the following 2 complexes of abelian groups (i.e. $mathbb{Z}$-modules):
$$ 0to 0to mathbb{Z}/2mathbb{Z} xrightarrow{0} mathbb{Z} xrightarrow{2} mathbb{Z} to 0 $$
and
$$0to mathbb{Z} xrightarrow{2} mathbb{Z} to 0to mathbb{Z}/2mathbb{Z}to 0 $$
then ther just can't be a quasi-imorphism going either way between those complexes (there are no nontrivial morphisms from $mathbb{Z}/2mathbb{Z}$ to $mathbb{Z}$). However, both are quasi-isomorphic to
$$0 to 0 to mathbb{Z}/2mathbb{Z} to 0 to mathbb{Z}/2mathbb{Z}to 0$$.
Regarding your question in the proof:
as mentioned before in the comments, you none the less get a zigzag of quasiisomorphisms (in worsecase to a projective resoltion or a cofibrant fibrant replacement, depending on the setting you are working in), which then all induce isomorphisms of $H^*$, but those are now actual isomorphisms in the category of groups, hence you can actually invert them, and make the zigzag into a single iso.
Also, be aware that often people (especially when using model categories) restrict themselves to certain subcategories, for example $mathcal{Ho}(mathcal{C})$ usually is the subcategory of fibrant-cofibrant objects modulo homotopy.
answered Nov 22 at 8:37
Enkidu
77316
add a comment |
up vote
2
down vote
accepted
up vote
2
down vote
accepted
Strictly speaking: no, as commented before, the zigzags make problems (assuming you already tamed them into defining sets of morphisms, which you can via classical construction and embedding your category in the category of bounded chain complexes), for example consider the following 2 complexes of abelian groups (i.e. $mathbb{Z}$-modules):
$$ 0to 0to mathbb{Z}/2mathbb{Z} xrightarrow{0} mathbb{Z} xrightarrow{2} mathbb{Z} to 0 $$
and
$$0to mathbb{Z} xrightarrow{2} mathbb{Z} to 0to mathbb{Z}/2mathbb{Z}to 0 $$
then ther just can't be a quasi-imorphism going either way between those complexes (there are no nontrivial morphisms from $mathbb{Z}/2mathbb{Z}$ to $mathbb{Z}$). However, both are quasi-isomorphic to
$$0 to 0 to mathbb{Z}/2mathbb{Z} to 0 to mathbb{Z}/2mathbb{Z}to 0$$.
Regarding your question in the proof:
as mentioned before in the comments, you none the less get a zigzag of quasiisomorphisms (in worsecase to a projective resoltion or a cofibrant fibrant replacement, depending on the setting you are working in), which then all induce isomorphisms of $H^*$, but those are now actual isomorphisms in the category of groups, hence you can actually invert them, and make the zigzag into a single iso.
Also, be aware that often people (especially when using model categories) restrict themselves to certain subcategories, for example $mathcal{Ho}(mathcal{C})$ usually is the subcategory of fibrant-cofibrant objects modulo homotopy.
answered Nov 22 at 8:37
Enkidu
77316
Strictly speaking: no, as commented before, the zigzags make problems (assuming you already tamed them into defining sets of morphisms, which you can via classical construction and embedding your category in the category of bounded chain complexes), for example consider the following 2 complexes of abelian groups (i.e. $mathbb{Z}$-modules):
$$ 0to 0to mathbb{Z}/2mathbb{Z} xrightarrow{0} mathbb{Z} xrightarrow{2} mathbb{Z} to 0 $$
and
$$0to mathbb{Z} xrightarrow{2} mathbb{Z} to 0to mathbb{Z}/2mathbb{Z}to 0 $$
then ther just can't be a quasi-imorphism going either way between those complexes (there are no nontrivial morphisms from $mathbb{Z}/2mathbb{Z}$ to $mathbb{Z}$). However, both are quasi-isomorphic to
$$0 to 0 to mathbb{Z}/2mathbb{Z} to 0 to mathbb{Z}/2mathbb{Z}to 0$$.
Regarding your question in the proof:
as mentioned before in the comments, you none the less get a zigzag of quasiisomorphisms (in worsecase to a projective resoltion or a cofibrant fibrant replacement, depending on the setting you are working in), which then all induce isomorphisms of $H^*$, but those are now actual isomorphisms in the category of groups, hence you can actually invert them, and make the zigzag into a single iso.
Also, be aware that often people (especially when using model categories) restrict themselves to certain subcategories, for example $mathcal{Ho}(mathcal{C})$ usually is the subcategory of fibrant-cofibrant objects modulo homotopy.
answered Nov 22 at 8:37
Enkidu
77316
answered Nov 22 at 8:37
Enkidu
77316
answered Nov 22 at 8:37
Enkidu
77316
answered Nov 22 at 8:37
Enkidu
77316
77316
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%2f3008856%2fhomotopy-category-of-chain-complex-isomoprhism-quasi-isomoprhism%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
Yes, it's true, pretty much by definition. Why don't you think it's true?
– Najib Idrissi
Nov 22 at 8:01
I could not really find the problem in the notes you link, but maybe I am not familiar enough with the situation to see it. Anyway, note that homology factors through the localization with respect to quasi-isomorphisms since these induce isomorphisms on homology groups. Thus homology becomes a functor $Ho(Ch_Z) to Ab$ and so if two objects are isomorphic in $Ho(Ch_Z)$ they will have isomorphic homology. This does not imply the existence of a quasi-isomorphism between $A$ and $B$.
– Matthias Klupsch
Nov 22 at 8:02
1
@NajibIdrissi : There could also be a zigzag sequence $A to C$ and $B to C$ of quasi-isomorphisms without the existence of a quasi-isomorphism $A to C$. I guess it depends on what 'quasi-isomorphic' is supposed to mean.
– Matthias Klupsch
Nov 22 at 8:03
1
@NajibIdrissi I agree this is the "correct" definition of the notion of quasi-isomorphism for homotopy theoretic purposes, but I've almost always seen "quasi-isomorphism" defined to be a map $X to Y$ inducing isomorphisms on all homology groups.
– leibnewtz
Nov 22 at 8:14
2
@leibnewtz You are confusing "quasi isomorphism" (a noun that denotes a certain class of maps) and "quasi isomorphic" (an adjective that applies to chain complexes).
– Najib Idrissi
Nov 22 at 8:40