Mixing
Deducing homotopy equivalence from a coexact sequence
$begingroup$
I'm trying to learn about coexact sequences for maps. On p. 445 of Bredon's "Topology and Geometry", Bredon defines a sequence
$A xrightarrow{f} B xrightarrow{g} C$
of pointed topological spaces to be coexact if, for each pointed space $Y$, the sequence of sets (pointed homotopy classes)
$[C;Y] xrightarrow{g^sharp}[B;Y]xrightarrow{f^sharp}[A;Y]$
is exact, i.e., $text{im}(g^sharp)=(f^sharp)^{-1}(*)$.
Question: Suppose that the following sequence of pointed spaces
$* to A xrightarrow{f} B to *$
is coexact, where $*$ denotes the one-point space. (Here coexactness means that each of the two short subsequences of two maps is coexact.) Does this imply that $f$ is a homotopy equivalence? I would really appreciate a proof/counterexample and/or reference.
Motivation: At the bottom of p. 62 of Conley's "Isolated Invariant Sets and the Morse Index", Conley seems to assert this. (In case it matters, I believe his coexact sequence is a special case of Barratt-Puppe on p.447 of Bredon.) Conley cites Spanier's "Cohomology Theory for General Spaces" as a source for this assertion, but after looking at that paper I'm wondering if Conley made a mistake and actually meant to cite Spanier's book "Algebraic Topology." I looked at Ch. 7.1 of Spanier's book and found a treatment very similar to Bredon's, but I didn't find the statement I was looking for. I have also tried proving this from the definition, but I haven't figured it out. I'm also feeling paranoid that the statement might not be true since I haven't managed to find a source/proof for this claim.
Update 1: Using LordSharktheUnknown's suggestion, take $Y = A$ and consider the identity map $text{id}_A$. This gets pulled back under $*to A$ to a constant map. By coexactness, therefore there exists $g: B to A$ with $f^sharp g = g circ f$ homotopic to $text{id}_A$. Hence $g$ is a left homotopy inverse for $f$. But how can I produce a right homotopy inverse?
Update 2: (In the following I use $simeq$ for pointed homotopy equivalence.) Conley's specific situation deals with the following portion of the Barratt-Puppe sequence:
$$A xrightarrow{g} X hookrightarrow C_g xrightarrow{f} SA xrightarrow{Sg} SX.$$
Here $C_g$ is the mapping cone of $g$; $SA, SX$ are reduced suspensions; $Sg$ is the suspension of the map $g$. Also, $$f = C_g to C_g/X xrightarrow{simeq}SA$$ is the composition $C_g to C_g/X$ with the homotopy equivalence $SA to C_g/X$ induced by the inclusion of $(Atimes I) sqcup X$ followed by the quotient map to $C_g$ and then the collapsing of the subspace $X$ of $C_g$ (see Bredon p.447, Cor. 5.5).
In Conley's situation that I referenced, he has $X simeq *$, i.e., $X$ contractible. But assuming that $A$ is well-pointed, then it follows that $Xhookrightarrow C_g$ is always a cofibration$^mathbf{1}$; since $X$ is also contractible here, we have that $C_g to C_g/X$ is a homotopy equivalence (c.f. Bredon p. 445, Thm 4.5). Hence $$f = C_g xrightarrow{simeq} C_g/X xrightarrow{simeq} SA$$ is a pointed homotopy equivalence as desired.
If this argument is correct, then it seems I may have been mistaken in interpreting Conley -- he may have only been asserting $f$ to be a homotopy equivalence via reasoning similar to mine here, rather than asserting anything about general coexact sequences.
Footnotes:
$mathbf{1}$. (So far I have found this asserted on the web, e.g. here, but not proved, so here is my own proof attempt.) Let $I = [0,1]$, and in what follows place $times$ before $cup$ and $/$ in the "order of operations". Since $A$ is well-pointed, the proof of Bredon's Thm 1.9 on p. 436 shows that $A times partial I cup {*} times I hookrightarrow Atimes I$ is a cofibration. Hence the converse part of Bredon's Thm 1.5 on pp.431-432$^mathbf{2}$ implies that there is a function $phi_0:Atimes I to [0,1]$ and a neighborhood $U_0 subset Atimes I$ of $A times partial I cup {*}$ satisfying (1-3) of Bredon's Thm 1.5 on p. 432. It follows that $phi_0$ descends to a map $phi_1$ on the reduced cone
$$CA := Atimes I/(Atimes {1} cup {*}times I)$$
such that the image $U_1$ of $U_0$ in the quotient $CA$ and $phi_1$ satisfy the hypotheses of Bredon's Thm 1.5 on p.432. Here $phi_1^{-1}(0)$ is the base of $CA$ (note that the image of the "crease" ${*} times I$ through the quotient map is included in this base). By the universal property of the quotient topology (applied to the quotient $CA sqcup X to C_g$), $phi_1$ extends to a continuous map $phi_2$ on $C_g$ with $phi_2|_X = 0$. Additionally, the neighborhood $U_2subset C_g$ obtained through the union of the images of $X$ and $U_1$ in $C_g$ is such that $phi_2, U_2$ is a pair satisfying the hypotheses of Bredon's Thm 1.5 on p. 432. Hence the inclusion $Xhookrightarrow C_g$ of $X$ into the reduced mapping cone $C_g$ is a cofibration.
$mathbf{2}$. Alternatively, see part (i) of the Theorem at the bottom of p.45 of May’s revised “A Concise Course in Algebraic Topology” which is freely available here.
reference-request algebraic-topology dynamical-systems
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
$endgroup$
|
show 3 more comments
$begingroup$
I'm trying to learn about coexact sequences for maps. On p. 445 of Bredon's "Topology and Geometry", Bredon defines a sequence
$A xrightarrow{f} B xrightarrow{g} C$
of pointed topological spaces to be coexact if, for each pointed space $Y$, the sequence of sets (pointed homotopy classes)
$[C;Y] xrightarrow{g^sharp}[B;Y]xrightarrow{f^sharp}[A;Y]$
is exact, i.e., $text{im}(g^sharp)=(f^sharp)^{-1}(*)$.
Question: Suppose that the following sequence of pointed spaces
$* to A xrightarrow{f} B to *$
is coexact, where $*$ denotes the one-point space. (Here coexactness means that each of the two short subsequences of two maps is coexact.) Does this imply that $f$ is a homotopy equivalence? I would really appreciate a proof/counterexample and/or reference.
Motivation: At the bottom of p. 62 of Conley's "Isolated Invariant Sets and the Morse Index", Conley seems to assert this. (In case it matters, I believe his coexact sequence is a special case of Barratt-Puppe on p.447 of Bredon.) Conley cites Spanier's "Cohomology Theory for General Spaces" as a source for this assertion, but after looking at that paper I'm wondering if Conley made a mistake and actually meant to cite Spanier's book "Algebraic Topology." I looked at Ch. 7.1 of Spanier's book and found a treatment very similar to Bredon's, but I didn't find the statement I was looking for. I have also tried proving this from the definition, but I haven't figured it out. I'm also feeling paranoid that the statement might not be true since I haven't managed to find a source/proof for this claim.
Update 1: Using LordSharktheUnknown's suggestion, take $Y = A$ and consider the identity map $text{id}_A$. This gets pulled back under $*to A$ to a constant map. By coexactness, therefore there exists $g: B to A$ with $f^sharp g = g circ f$ homotopic to $text{id}_A$. Hence $g$ is a left homotopy inverse for $f$. But how can I produce a right homotopy inverse?
Update 2: (In the following I use $simeq$ for pointed homotopy equivalence.) Conley's specific situation deals with the following portion of the Barratt-Puppe sequence:
$$A xrightarrow{g} X hookrightarrow C_g xrightarrow{f} SA xrightarrow{Sg} SX.$$
Here $C_g$ is the mapping cone of $g$; $SA, SX$ are reduced suspensions; $Sg$ is the suspension of the map $g$. Also, $$f = C_g to C_g/X xrightarrow{simeq}SA$$ is the composition $C_g to C_g/X$ with the homotopy equivalence $SA to C_g/X$ induced by the inclusion of $(Atimes I) sqcup X$ followed by the quotient map to $C_g$ and then the collapsing of the subspace $X$ of $C_g$ (see Bredon p.447, Cor. 5.5).
In Conley's situation that I referenced, he has $X simeq *$, i.e., $X$ contractible. But assuming that $A$ is well-pointed, then it follows that $Xhookrightarrow C_g$ is always a cofibration$^mathbf{1}$; since $X$ is also contractible here, we have that $C_g to C_g/X$ is a homotopy equivalence (c.f. Bredon p. 445, Thm 4.5). Hence $$f = C_g xrightarrow{simeq} C_g/X xrightarrow{simeq} SA$$ is a pointed homotopy equivalence as desired.
If this argument is correct, then it seems I may have been mistaken in interpreting Conley -- he may have only been asserting $f$ to be a homotopy equivalence via reasoning similar to mine here, rather than asserting anything about general coexact sequences.
Footnotes:
$mathbf{1}$. (So far I have found this asserted on the web, e.g. here, but not proved, so here is my own proof attempt.) Let $I = [0,1]$, and in what follows place $times$ before $cup$ and $/$ in the "order of operations". Since $A$ is well-pointed, the proof of Bredon's Thm 1.9 on p. 436 shows that $A times partial I cup {*} times I hookrightarrow Atimes I$ is a cofibration. Hence the converse part of Bredon's Thm 1.5 on pp.431-432$^mathbf{2}$ implies that there is a function $phi_0:Atimes I to [0,1]$ and a neighborhood $U_0 subset Atimes I$ of $A times partial I cup {*}$ satisfying (1-3) of Bredon's Thm 1.5 on p. 432. It follows that $phi_0$ descends to a map $phi_1$ on the reduced cone
$$CA := Atimes I/(Atimes {1} cup {*}times I)$$
such that the image $U_1$ of $U_0$ in the quotient $CA$ and $phi_1$ satisfy the hypotheses of Bredon's Thm 1.5 on p.432. Here $phi_1^{-1}(0)$ is the base of $CA$ (note that the image of the "crease" ${*} times I$ through the quotient map is included in this base). By the universal property of the quotient topology (applied to the quotient $CA sqcup X to C_g$), $phi_1$ extends to a continuous map $phi_2$ on $C_g$ with $phi_2|_X = 0$. Additionally, the neighborhood $U_2subset C_g$ obtained through the union of the images of $X$ and $U_1$ in $C_g$ is such that $phi_2, U_2$ is a pair satisfying the hypotheses of Bredon's Thm 1.5 on p. 432. Hence the inclusion $Xhookrightarrow C_g$ of $X$ into the reduced mapping cone $C_g$ is a cofibration.
$mathbf{2}$. Alternatively, see part (i) of the Theorem at the bottom of p.45 of May’s revised “A Concise Course in Algebraic Topology” which is freely available here.
reference-request algebraic-topology dynamical-systems
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
$endgroup$
2
$begingroup$
I don't know if this works, but I'd try looking at the exact sequence of pointed sets with $Y=A$.
$endgroup$
– Lord Shark the Unknown
Jan 25 at 8:10
1
$begingroup$
Question: the definition of coexact involves three spaces but your question involves four spaces. We do know that $f:A to B$ is a homotopy equivalence if and only if $f^*; [C,B] to [C,A]$ is a bijection for all pointed spaces $C$,
$endgroup$
– Ronnie Brown
Jan 25 at 15:49
$begingroup$
@RonnieBrown: By coexactness of a longer sequence I mean that each short subsequence consisting of two maps is coexact. I've edited the question to clarify. What you say we do know sounds very close to what I would like to know, but I'm wondering whether you have a typo. Did you mean to say $[B,C]$ and $[A,C]$ rather than $[C,B]$ and $[C,A]$?
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@LordSharktheUnknown nice idea -- I managed to prove that $f$ has a left homotopy inverse with that approach. But I haven't figured out how to show that $f$ has a right homotopy inverse.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@Max presumably using the map $g circ f : Bto B$ (with $g$ the left homotopy inverse)? I tried this, but haven't figured out how to make it work.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:49
|
show 3 more comments
$begingroup$
I'm trying to learn about coexact sequences for maps. On p. 445 of Bredon's "Topology and Geometry", Bredon defines a sequence
$A xrightarrow{f} B xrightarrow{g} C$
of pointed topological spaces to be coexact if, for each pointed space $Y$, the sequence of sets (pointed homotopy classes)
$[C;Y] xrightarrow{g^sharp}[B;Y]xrightarrow{f^sharp}[A;Y]$
is exact, i.e., $text{im}(g^sharp)=(f^sharp)^{-1}(*)$.
Question: Suppose that the following sequence of pointed spaces
$* to A xrightarrow{f} B to *$
is coexact, where $*$ denotes the one-point space. (Here coexactness means that each of the two short subsequences of two maps is coexact.) Does this imply that $f$ is a homotopy equivalence? I would really appreciate a proof/counterexample and/or reference.
Motivation: At the bottom of p. 62 of Conley's "Isolated Invariant Sets and the Morse Index", Conley seems to assert this. (In case it matters, I believe his coexact sequence is a special case of Barratt-Puppe on p.447 of Bredon.) Conley cites Spanier's "Cohomology Theory for General Spaces" as a source for this assertion, but after looking at that paper I'm wondering if Conley made a mistake and actually meant to cite Spanier's book "Algebraic Topology." I looked at Ch. 7.1 of Spanier's book and found a treatment very similar to Bredon's, but I didn't find the statement I was looking for. I have also tried proving this from the definition, but I haven't figured it out. I'm also feeling paranoid that the statement might not be true since I haven't managed to find a source/proof for this claim.
Update 1: Using LordSharktheUnknown's suggestion, take $Y = A$ and consider the identity map $text{id}_A$. This gets pulled back under $*to A$ to a constant map. By coexactness, therefore there exists $g: B to A$ with $f^sharp g = g circ f$ homotopic to $text{id}_A$. Hence $g$ is a left homotopy inverse for $f$. But how can I produce a right homotopy inverse?
Update 2: (In the following I use $simeq$ for pointed homotopy equivalence.) Conley's specific situation deals with the following portion of the Barratt-Puppe sequence:
$$A xrightarrow{g} X hookrightarrow C_g xrightarrow{f} SA xrightarrow{Sg} SX.$$
Here $C_g$ is the mapping cone of $g$; $SA, SX$ are reduced suspensions; $Sg$ is the suspension of the map $g$. Also, $$f = C_g to C_g/X xrightarrow{simeq}SA$$ is the composition $C_g to C_g/X$ with the homotopy equivalence $SA to C_g/X$ induced by the inclusion of $(Atimes I) sqcup X$ followed by the quotient map to $C_g$ and then the collapsing of the subspace $X$ of $C_g$ (see Bredon p.447, Cor. 5.5).
In Conley's situation that I referenced, he has $X simeq *$, i.e., $X$ contractible. But assuming that $A$ is well-pointed, then it follows that $Xhookrightarrow C_g$ is always a cofibration$^mathbf{1}$; since $X$ is also contractible here, we have that $C_g to C_g/X$ is a homotopy equivalence (c.f. Bredon p. 445, Thm 4.5). Hence $$f = C_g xrightarrow{simeq} C_g/X xrightarrow{simeq} SA$$ is a pointed homotopy equivalence as desired.
If this argument is correct, then it seems I may have been mistaken in interpreting Conley -- he may have only been asserting $f$ to be a homotopy equivalence via reasoning similar to mine here, rather than asserting anything about general coexact sequences.
Footnotes:
$mathbf{1}$. (So far I have found this asserted on the web, e.g. here, but not proved, so here is my own proof attempt.) Let $I = [0,1]$, and in what follows place $times$ before $cup$ and $/$ in the "order of operations". Since $A$ is well-pointed, the proof of Bredon's Thm 1.9 on p. 436 shows that $A times partial I cup {*} times I hookrightarrow Atimes I$ is a cofibration. Hence the converse part of Bredon's Thm 1.5 on pp.431-432$^mathbf{2}$ implies that there is a function $phi_0:Atimes I to [0,1]$ and a neighborhood $U_0 subset Atimes I$ of $A times partial I cup {*}$ satisfying (1-3) of Bredon's Thm 1.5 on p. 432. It follows that $phi_0$ descends to a map $phi_1$ on the reduced cone
$$CA := Atimes I/(Atimes {1} cup {*}times I)$$
such that the image $U_1$ of $U_0$ in the quotient $CA$ and $phi_1$ satisfy the hypotheses of Bredon's Thm 1.5 on p.432. Here $phi_1^{-1}(0)$ is the base of $CA$ (note that the image of the "crease" ${*} times I$ through the quotient map is included in this base). By the universal property of the quotient topology (applied to the quotient $CA sqcup X to C_g$), $phi_1$ extends to a continuous map $phi_2$ on $C_g$ with $phi_2|_X = 0$. Additionally, the neighborhood $U_2subset C_g$ obtained through the union of the images of $X$ and $U_1$ in $C_g$ is such that $phi_2, U_2$ is a pair satisfying the hypotheses of Bredon's Thm 1.5 on p. 432. Hence the inclusion $Xhookrightarrow C_g$ of $X$ into the reduced mapping cone $C_g$ is a cofibration.
$mathbf{2}$. Alternatively, see part (i) of the Theorem at the bottom of p.45 of May’s revised “A Concise Course in Algebraic Topology” which is freely available here.
reference-request algebraic-topology dynamical-systems
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
$endgroup$
I'm trying to learn about coexact sequences for maps. On p. 445 of Bredon's "Topology and Geometry", Bredon defines a sequence
$A xrightarrow{f} B xrightarrow{g} C$
of pointed topological spaces to be coexact if, for each pointed space $Y$, the sequence of sets (pointed homotopy classes)
$[C;Y] xrightarrow{g^sharp}[B;Y]xrightarrow{f^sharp}[A;Y]$
is exact, i.e., $text{im}(g^sharp)=(f^sharp)^{-1}(*)$.
Question: Suppose that the following sequence of pointed spaces
$* to A xrightarrow{f} B to *$
is coexact, where $*$ denotes the one-point space. (Here coexactness means that each of the two short subsequences of two maps is coexact.) Does this imply that $f$ is a homotopy equivalence? I would really appreciate a proof/counterexample and/or reference.
Motivation: At the bottom of p. 62 of Conley's "Isolated Invariant Sets and the Morse Index", Conley seems to assert this. (In case it matters, I believe his coexact sequence is a special case of Barratt-Puppe on p.447 of Bredon.) Conley cites Spanier's "Cohomology Theory for General Spaces" as a source for this assertion, but after looking at that paper I'm wondering if Conley made a mistake and actually meant to cite Spanier's book "Algebraic Topology." I looked at Ch. 7.1 of Spanier's book and found a treatment very similar to Bredon's, but I didn't find the statement I was looking for. I have also tried proving this from the definition, but I haven't figured it out. I'm also feeling paranoid that the statement might not be true since I haven't managed to find a source/proof for this claim.
Update 1: Using LordSharktheUnknown's suggestion, take $Y = A$ and consider the identity map $text{id}_A$. This gets pulled back under $*to A$ to a constant map. By coexactness, therefore there exists $g: B to A$ with $f^sharp g = g circ f$ homotopic to $text{id}_A$. Hence $g$ is a left homotopy inverse for $f$. But how can I produce a right homotopy inverse?
Update 2: (In the following I use $simeq$ for pointed homotopy equivalence.) Conley's specific situation deals with the following portion of the Barratt-Puppe sequence:
$$A xrightarrow{g} X hookrightarrow C_g xrightarrow{f} SA xrightarrow{Sg} SX.$$
Here $C_g$ is the mapping cone of $g$; $SA, SX$ are reduced suspensions; $Sg$ is the suspension of the map $g$. Also, $$f = C_g to C_g/X xrightarrow{simeq}SA$$ is the composition $C_g to C_g/X$ with the homotopy equivalence $SA to C_g/X$ induced by the inclusion of $(Atimes I) sqcup X$ followed by the quotient map to $C_g$ and then the collapsing of the subspace $X$ of $C_g$ (see Bredon p.447, Cor. 5.5).
In Conley's situation that I referenced, he has $X simeq *$, i.e., $X$ contractible. But assuming that $A$ is well-pointed, then it follows that $Xhookrightarrow C_g$ is always a cofibration$^mathbf{1}$; since $X$ is also contractible here, we have that $C_g to C_g/X$ is a homotopy equivalence (c.f. Bredon p. 445, Thm 4.5). Hence $$f = C_g xrightarrow{simeq} C_g/X xrightarrow{simeq} SA$$ is a pointed homotopy equivalence as desired.
If this argument is correct, then it seems I may have been mistaken in interpreting Conley -- he may have only been asserting $f$ to be a homotopy equivalence via reasoning similar to mine here, rather than asserting anything about general coexact sequences.
Footnotes:
$mathbf{1}$. (So far I have found this asserted on the web, e.g. here, but not proved, so here is my own proof attempt.) Let $I = [0,1]$, and in what follows place $times$ before $cup$ and $/$ in the "order of operations". Since $A$ is well-pointed, the proof of Bredon's Thm 1.9 on p. 436 shows that $A times partial I cup {*} times I hookrightarrow Atimes I$ is a cofibration. Hence the converse part of Bredon's Thm 1.5 on pp.431-432$^mathbf{2}$ implies that there is a function $phi_0:Atimes I to [0,1]$ and a neighborhood $U_0 subset Atimes I$ of $A times partial I cup {*}$ satisfying (1-3) of Bredon's Thm 1.5 on p. 432. It follows that $phi_0$ descends to a map $phi_1$ on the reduced cone
$$CA := Atimes I/(Atimes {1} cup {*}times I)$$
such that the image $U_1$ of $U_0$ in the quotient $CA$ and $phi_1$ satisfy the hypotheses of Bredon's Thm 1.5 on p.432. Here $phi_1^{-1}(0)$ is the base of $CA$ (note that the image of the "crease" ${*} times I$ through the quotient map is included in this base). By the universal property of the quotient topology (applied to the quotient $CA sqcup X to C_g$), $phi_1$ extends to a continuous map $phi_2$ on $C_g$ with $phi_2|_X = 0$. Additionally, the neighborhood $U_2subset C_g$ obtained through the union of the images of $X$ and $U_1$ in $C_g$ is such that $phi_2, U_2$ is a pair satisfying the hypotheses of Bredon's Thm 1.5 on p. 432. Hence the inclusion $Xhookrightarrow C_g$ of $X$ into the reduced mapping cone $C_g$ is a cofibration.
$mathbf{2}$. Alternatively, see part (i) of the Theorem at the bottom of p.45 of May’s revised “A Concise Course in Algebraic Topology” which is freely available here.
reference-request algebraic-topology dynamical-systems
reference-request algebraic-topology dynamical-systems
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
edited Jan 26 at 22:02
Matthew Kvalheim
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
asked Jan 25 at 7:23
Matthew KvalheimMatthew Kvalheim
722516
722516
2
$begingroup$
I don't know if this works, but I'd try looking at the exact sequence of pointed sets with $Y=A$.
$endgroup$
– Lord Shark the Unknown
Jan 25 at 8:10
1
$begingroup$
Question: the definition of coexact involves three spaces but your question involves four spaces. We do know that $f:A to B$ is a homotopy equivalence if and only if $f^*; [C,B] to [C,A]$ is a bijection for all pointed spaces $C$,
$endgroup$
– Ronnie Brown
Jan 25 at 15:49
$begingroup$
@RonnieBrown: By coexactness of a longer sequence I mean that each short subsequence consisting of two maps is coexact. I've edited the question to clarify. What you say we do know sounds very close to what I would like to know, but I'm wondering whether you have a typo. Did you mean to say $[B,C]$ and $[A,C]$ rather than $[C,B]$ and $[C,A]$?
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@LordSharktheUnknown nice idea -- I managed to prove that $f$ has a left homotopy inverse with that approach. But I haven't figured out how to show that $f$ has a right homotopy inverse.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@Max presumably using the map $g circ f : Bto B$ (with $g$ the left homotopy inverse)? I tried this, but haven't figured out how to make it work.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:49
|
show 3 more comments
2
$begingroup$
I don't know if this works, but I'd try looking at the exact sequence of pointed sets with $Y=A$.
$endgroup$
– Lord Shark the Unknown
Jan 25 at 8:10
1
$begingroup$
Question: the definition of coexact involves three spaces but your question involves four spaces. We do know that $f:A to B$ is a homotopy equivalence if and only if $f^*; [C,B] to [C,A]$ is a bijection for all pointed spaces $C$,
$endgroup$
– Ronnie Brown
Jan 25 at 15:49
$begingroup$
@RonnieBrown: By coexactness of a longer sequence I mean that each short subsequence consisting of two maps is coexact. I've edited the question to clarify. What you say we do know sounds very close to what I would like to know, but I'm wondering whether you have a typo. Did you mean to say $[B,C]$ and $[A,C]$ rather than $[C,B]$ and $[C,A]$?
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@LordSharktheUnknown nice idea -- I managed to prove that $f$ has a left homotopy inverse with that approach. But I haven't figured out how to show that $f$ has a right homotopy inverse.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@Max presumably using the map $g circ f : Bto B$ (with $g$ the left homotopy inverse)? I tried this, but haven't figured out how to make it work.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:49
2
2
$begingroup$
I don't know if this works, but I'd try looking at the exact sequence of pointed sets with $Y=A$.
$endgroup$
– Lord Shark the Unknown
Jan 25 at 8:10
$begingroup$
I don't know if this works, but I'd try looking at the exact sequence of pointed sets with $Y=A$.
$endgroup$
– Lord Shark the Unknown
Jan 25 at 8:10
1
1
$begingroup$
Question: the definition of coexact involves three spaces but your question involves four spaces. We do know that $f:A to B$ is a homotopy equivalence if and only if $f^*; [C,B] to [C,A]$ is a bijection for all pointed spaces $C$,
$endgroup$
– Ronnie Brown
Jan 25 at 15:49
$begingroup$
Question: the definition of coexact involves three spaces but your question involves four spaces. We do know that $f:A to B$ is a homotopy equivalence if and only if $f^*; [C,B] to [C,A]$ is a bijection for all pointed spaces $C$,
$endgroup$
– Ronnie Brown
Jan 25 at 15:49
$begingroup$
@RonnieBrown: By coexactness of a longer sequence I mean that each short subsequence consisting of two maps is coexact. I've edited the question to clarify. What you say we do know sounds very close to what I would like to know, but I'm wondering whether you have a typo. Did you mean to say $[B,C]$ and $[A,C]$ rather than $[C,B]$ and $[C,A]$?
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@RonnieBrown: By coexactness of a longer sequence I mean that each short subsequence consisting of two maps is coexact. I've edited the question to clarify. What you say we do know sounds very close to what I would like to know, but I'm wondering whether you have a typo. Did you mean to say $[B,C]$ and $[A,C]$ rather than $[C,B]$ and $[C,A]$?
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@LordSharktheUnknown nice idea -- I managed to prove that $f$ has a left homotopy inverse with that approach. But I haven't figured out how to show that $f$ has a right homotopy inverse.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@LordSharktheUnknown nice idea -- I managed to prove that $f$ has a left homotopy inverse with that approach. But I haven't figured out how to show that $f$ has a right homotopy inverse.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@Max presumably using the map $g circ f : Bto B$ (with $g$ the left homotopy inverse)? I tried this, but haven't figured out how to make it work.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:49
$begingroup$
@Max presumably using the map $g circ f : Bto B$ (with $g$ the left homotopy inverse)? I tried this, but haven't figured out how to make it work.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:49
|
show 3 more comments
1 Answer
1
active
oldest
votes
$begingroup$
The following is a nonelementary solution for the case where $A,B$ are simply connected CW-complexes. This is not at all elementary and I expect there should be a way easier solution (without the condition that $A,B$ be simply connected CW-complexes) if it's true. In particular, it uses the natural isomorphism $H^n(-;G) cong [-;K(G,n)]$
Unwrapping the definition of coexactness, we get that the coexactness of this sequence amounts to two facts :
(i) For all $k:Bto Y$, $kcirc fsimeq * implies ksimeq *$
(ii) For all $g:Ato Y,$ there exists $alpha$ with $gsimeq alphacirc f$.
Taking $Y=K(G,n)$ for an abelian group $G$ and an integer $n$, knowing that the $0$ element of $H^n(X,G)$ is represented by the nullhomotopic maps $Xto K(G,n)$, we get that by (i) the map $H^n(B,G)to H^n(A,G)$ has trivial kernel (is injective), and by (ii) is surjective, hence is an iso.
Now because $A,B$ are simply connected CW-complexes, this implies that this is a weak-equivalence, hence a homotopy equivalence.
I had to use the isomorphism I mentioned at the beginning to get from a "local injectivity" (condition (i)) to actual injectivity. Note that, as Ronnie Brown points out in the comments, for $f$ to be a homotopy equivalence, $[B,Y]to [A,Y]$ has to be bijective for all $Y$, which seems far stronger than conditions (i) and (ii) (specifically, injectivity seems much stronger than condition (i), while condition (ii) is exactly surjectivity)
I'll probably delete this answer once someone comes up with an elementary solution (if it exists, I'll probably leave it there if someone finds a counterexample because it will show that under more conditions the statement remains true)
answered Jan 25 at 18:47
MaxMax
15.4k11143
$endgroup$
$begingroup$
Even if someone posts another solution, FWIW reading this was helpful for me. Here's a question: why is an isomorphism on all cohomology groups assuming (simply connected CW-complexes) sufficient to conclude weak homotopy equivalence? My feeling is this must be a standard theorem I don't know.
$endgroup$
– Matthew Kvalheim
Jan 25 at 19:13
2
$begingroup$
Yes, it's a standard theorem. See at "What homology isomorphism tells us" topospaces.subwiki.org/wiki/… It's stated there for homology, but the same statement holds for cohomology, because of e.g. math.stackexchange.com/questions/1782321/… (see the answer; I used all groups, but actually since the complex in question consists of free abelian groups, $K(mathbb{Z},n)= (S^1)^n$ suffices )
$endgroup$
– Max
Jan 25 at 19:56
$begingroup$
Thanks for the link and comments. By the way, I wrote an "update 2" in my post. If my reasoning is correct, then it seems I might have been mistaken: Conley may have been asserting only something about a very specific coexact sequence rather than general coexact sequences. In any case I would be happy to accept your answer since (at least so far) it comes closest to answering the specific question I originally asked (rather than address the specific situation that I secretly wanted). But if you can spare a minute, I would very much appreciate any feedback on my "update 2".
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:03
$begingroup$
About your update 2, the fact that $Xsimeq *$ does not imply that the quotient is a homeomorphism. In fact the quotient is not injective unless $X=*$, so it's not a homeomorphism. But under nice hypotheses a quotient by a contractible subspace is a homotopy equivalence (it's the case when the inclusion of the subsace is a cofibration). It will be the case I guess if $X,A$ are CW-complexes
$endgroup$
– Max
Jan 25 at 21:15
$begingroup$
Wow, great point -- thank you very much for pointing that out! I think that $X hookrightarrow C_g$ is always a cofibration, where $X$ is the base of the mapping cone of a map $A xrightarrow{g} X$. (Do you agree?) I edited my answer and also added a footnote supporting this claim that I just made.
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:55
|
show 10 more comments
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%2f3086827%2fdeducing-homotopy-equivalence-from-a-coexact-sequence%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$
The following is a nonelementary solution for the case where $A,B$ are simply connected CW-complexes. This is not at all elementary and I expect there should be a way easier solution (without the condition that $A,B$ be simply connected CW-complexes) if it's true. In particular, it uses the natural isomorphism $H^n(-;G) cong [-;K(G,n)]$
Unwrapping the definition of coexactness, we get that the coexactness of this sequence amounts to two facts :
(i) For all $k:Bto Y$, $kcirc fsimeq * implies ksimeq *$
(ii) For all $g:Ato Y,$ there exists $alpha$ with $gsimeq alphacirc f$.
Taking $Y=K(G,n)$ for an abelian group $G$ and an integer $n$, knowing that the $0$ element of $H^n(X,G)$ is represented by the nullhomotopic maps $Xto K(G,n)$, we get that by (i) the map $H^n(B,G)to H^n(A,G)$ has trivial kernel (is injective), and by (ii) is surjective, hence is an iso.
Now because $A,B$ are simply connected CW-complexes, this implies that this is a weak-equivalence, hence a homotopy equivalence.
I had to use the isomorphism I mentioned at the beginning to get from a "local injectivity" (condition (i)) to actual injectivity. Note that, as Ronnie Brown points out in the comments, for $f$ to be a homotopy equivalence, $[B,Y]to [A,Y]$ has to be bijective for all $Y$, which seems far stronger than conditions (i) and (ii) (specifically, injectivity seems much stronger than condition (i), while condition (ii) is exactly surjectivity)
I'll probably delete this answer once someone comes up with an elementary solution (if it exists, I'll probably leave it there if someone finds a counterexample because it will show that under more conditions the statement remains true)
answered Jan 25 at 18:47
MaxMax
15.4k11143
$endgroup$
$begingroup$
Even if someone posts another solution, FWIW reading this was helpful for me. Here's a question: why is an isomorphism on all cohomology groups assuming (simply connected CW-complexes) sufficient to conclude weak homotopy equivalence? My feeling is this must be a standard theorem I don't know.
$endgroup$
– Matthew Kvalheim
Jan 25 at 19:13
2
$begingroup$
Yes, it's a standard theorem. See at "What homology isomorphism tells us" topospaces.subwiki.org/wiki/… It's stated there for homology, but the same statement holds for cohomology, because of e.g. math.stackexchange.com/questions/1782321/… (see the answer; I used all groups, but actually since the complex in question consists of free abelian groups, $K(mathbb{Z},n)= (S^1)^n$ suffices )
$endgroup$
– Max
Jan 25 at 19:56
$begingroup$
Thanks for the link and comments. By the way, I wrote an "update 2" in my post. If my reasoning is correct, then it seems I might have been mistaken: Conley may have been asserting only something about a very specific coexact sequence rather than general coexact sequences. In any case I would be happy to accept your answer since (at least so far) it comes closest to answering the specific question I originally asked (rather than address the specific situation that I secretly wanted). But if you can spare a minute, I would very much appreciate any feedback on my "update 2".
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:03
$begingroup$
About your update 2, the fact that $Xsimeq *$ does not imply that the quotient is a homeomorphism. In fact the quotient is not injective unless $X=*$, so it's not a homeomorphism. But under nice hypotheses a quotient by a contractible subspace is a homotopy equivalence (it's the case when the inclusion of the subsace is a cofibration). It will be the case I guess if $X,A$ are CW-complexes
$endgroup$
– Max
Jan 25 at 21:15
$begingroup$
Wow, great point -- thank you very much for pointing that out! I think that $X hookrightarrow C_g$ is always a cofibration, where $X$ is the base of the mapping cone of a map $A xrightarrow{g} X$. (Do you agree?) I edited my answer and also added a footnote supporting this claim that I just made.
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:55
|
show 10 more comments
$begingroup$
The following is a nonelementary solution for the case where $A,B$ are simply connected CW-complexes. This is not at all elementary and I expect there should be a way easier solution (without the condition that $A,B$ be simply connected CW-complexes) if it's true. In particular, it uses the natural isomorphism $H^n(-;G) cong [-;K(G,n)]$
Unwrapping the definition of coexactness, we get that the coexactness of this sequence amounts to two facts :
(i) For all $k:Bto Y$, $kcirc fsimeq * implies ksimeq *$
(ii) For all $g:Ato Y,$ there exists $alpha$ with $gsimeq alphacirc f$.
Taking $Y=K(G,n)$ for an abelian group $G$ and an integer $n$, knowing that the $0$ element of $H^n(X,G)$ is represented by the nullhomotopic maps $Xto K(G,n)$, we get that by (i) the map $H^n(B,G)to H^n(A,G)$ has trivial kernel (is injective), and by (ii) is surjective, hence is an iso.
Now because $A,B$ are simply connected CW-complexes, this implies that this is a weak-equivalence, hence a homotopy equivalence.
I had to use the isomorphism I mentioned at the beginning to get from a "local injectivity" (condition (i)) to actual injectivity. Note that, as Ronnie Brown points out in the comments, for $f$ to be a homotopy equivalence, $[B,Y]to [A,Y]$ has to be bijective for all $Y$, which seems far stronger than conditions (i) and (ii) (specifically, injectivity seems much stronger than condition (i), while condition (ii) is exactly surjectivity)
I'll probably delete this answer once someone comes up with an elementary solution (if it exists, I'll probably leave it there if someone finds a counterexample because it will show that under more conditions the statement remains true)
answered Jan 25 at 18:47
MaxMax
15.4k11143
$endgroup$
$begingroup$
Even if someone posts another solution, FWIW reading this was helpful for me. Here's a question: why is an isomorphism on all cohomology groups assuming (simply connected CW-complexes) sufficient to conclude weak homotopy equivalence? My feeling is this must be a standard theorem I don't know.
$endgroup$
– Matthew Kvalheim
Jan 25 at 19:13
2
$begingroup$
Yes, it's a standard theorem. See at "What homology isomorphism tells us" topospaces.subwiki.org/wiki/… It's stated there for homology, but the same statement holds for cohomology, because of e.g. math.stackexchange.com/questions/1782321/… (see the answer; I used all groups, but actually since the complex in question consists of free abelian groups, $K(mathbb{Z},n)= (S^1)^n$ suffices )
$endgroup$
– Max
Jan 25 at 19:56
$begingroup$
Thanks for the link and comments. By the way, I wrote an "update 2" in my post. If my reasoning is correct, then it seems I might have been mistaken: Conley may have been asserting only something about a very specific coexact sequence rather than general coexact sequences. In any case I would be happy to accept your answer since (at least so far) it comes closest to answering the specific question I originally asked (rather than address the specific situation that I secretly wanted). But if you can spare a minute, I would very much appreciate any feedback on my "update 2".
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:03
$begingroup$
About your update 2, the fact that $Xsimeq *$ does not imply that the quotient is a homeomorphism. In fact the quotient is not injective unless $X=*$, so it's not a homeomorphism. But under nice hypotheses a quotient by a contractible subspace is a homotopy equivalence (it's the case when the inclusion of the subsace is a cofibration). It will be the case I guess if $X,A$ are CW-complexes
$endgroup$
– Max
Jan 25 at 21:15
$begingroup$
Wow, great point -- thank you very much for pointing that out! I think that $X hookrightarrow C_g$ is always a cofibration, where $X$ is the base of the mapping cone of a map $A xrightarrow{g} X$. (Do you agree?) I edited my answer and also added a footnote supporting this claim that I just made.
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:55
|
show 10 more comments
$begingroup$
The following is a nonelementary solution for the case where $A,B$ are simply connected CW-complexes. This is not at all elementary and I expect there should be a way easier solution (without the condition that $A,B$ be simply connected CW-complexes) if it's true. In particular, it uses the natural isomorphism $H^n(-;G) cong [-;K(G,n)]$
Unwrapping the definition of coexactness, we get that the coexactness of this sequence amounts to two facts :
(i) For all $k:Bto Y$, $kcirc fsimeq * implies ksimeq *$
(ii) For all $g:Ato Y,$ there exists $alpha$ with $gsimeq alphacirc f$.
Taking $Y=K(G,n)$ for an abelian group $G$ and an integer $n$, knowing that the $0$ element of $H^n(X,G)$ is represented by the nullhomotopic maps $Xto K(G,n)$, we get that by (i) the map $H^n(B,G)to H^n(A,G)$ has trivial kernel (is injective), and by (ii) is surjective, hence is an iso.
Now because $A,B$ are simply connected CW-complexes, this implies that this is a weak-equivalence, hence a homotopy equivalence.
I had to use the isomorphism I mentioned at the beginning to get from a "local injectivity" (condition (i)) to actual injectivity. Note that, as Ronnie Brown points out in the comments, for $f$ to be a homotopy equivalence, $[B,Y]to [A,Y]$ has to be bijective for all $Y$, which seems far stronger than conditions (i) and (ii) (specifically, injectivity seems much stronger than condition (i), while condition (ii) is exactly surjectivity)
I'll probably delete this answer once someone comes up with an elementary solution (if it exists, I'll probably leave it there if someone finds a counterexample because it will show that under more conditions the statement remains true)
answered Jan 25 at 18:47
MaxMax
15.4k11143
$endgroup$
The following is a nonelementary solution for the case where $A,B$ are simply connected CW-complexes. This is not at all elementary and I expect there should be a way easier solution (without the condition that $A,B$ be simply connected CW-complexes) if it's true. In particular, it uses the natural isomorphism $H^n(-;G) cong [-;K(G,n)]$
Unwrapping the definition of coexactness, we get that the coexactness of this sequence amounts to two facts :
(i) For all $k:Bto Y$, $kcirc fsimeq * implies ksimeq *$
(ii) For all $g:Ato Y,$ there exists $alpha$ with $gsimeq alphacirc f$.
Taking $Y=K(G,n)$ for an abelian group $G$ and an integer $n$, knowing that the $0$ element of $H^n(X,G)$ is represented by the nullhomotopic maps $Xto K(G,n)$, we get that by (i) the map $H^n(B,G)to H^n(A,G)$ has trivial kernel (is injective), and by (ii) is surjective, hence is an iso.
Now because $A,B$ are simply connected CW-complexes, this implies that this is a weak-equivalence, hence a homotopy equivalence.
I had to use the isomorphism I mentioned at the beginning to get from a "local injectivity" (condition (i)) to actual injectivity. Note that, as Ronnie Brown points out in the comments, for $f$ to be a homotopy equivalence, $[B,Y]to [A,Y]$ has to be bijective for all $Y$, which seems far stronger than conditions (i) and (ii) (specifically, injectivity seems much stronger than condition (i), while condition (ii) is exactly surjectivity)
I'll probably delete this answer once someone comes up with an elementary solution (if it exists, I'll probably leave it there if someone finds a counterexample because it will show that under more conditions the statement remains true)
answered Jan 25 at 18:47
MaxMax
15.4k11143
answered Jan 25 at 18:47
MaxMax
15.4k11143
answered Jan 25 at 18:47
MaxMax
15.4k11143
answered Jan 25 at 18:47
MaxMax
15.4k11143
15.4k11143
$begingroup$
Even if someone posts another solution, FWIW reading this was helpful for me. Here's a question: why is an isomorphism on all cohomology groups assuming (simply connected CW-complexes) sufficient to conclude weak homotopy equivalence? My feeling is this must be a standard theorem I don't know.
$endgroup$
– Matthew Kvalheim
Jan 25 at 19:13
2
$begingroup$
Yes, it's a standard theorem. See at "What homology isomorphism tells us" topospaces.subwiki.org/wiki/… It's stated there for homology, but the same statement holds for cohomology, because of e.g. math.stackexchange.com/questions/1782321/… (see the answer; I used all groups, but actually since the complex in question consists of free abelian groups, $K(mathbb{Z},n)= (S^1)^n$ suffices )
$endgroup$
– Max
Jan 25 at 19:56
$begingroup$
Thanks for the link and comments. By the way, I wrote an "update 2" in my post. If my reasoning is correct, then it seems I might have been mistaken: Conley may have been asserting only something about a very specific coexact sequence rather than general coexact sequences. In any case I would be happy to accept your answer since (at least so far) it comes closest to answering the specific question I originally asked (rather than address the specific situation that I secretly wanted). But if you can spare a minute, I would very much appreciate any feedback on my "update 2".
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:03
$begingroup$
About your update 2, the fact that $Xsimeq *$ does not imply that the quotient is a homeomorphism. In fact the quotient is not injective unless $X=*$, so it's not a homeomorphism. But under nice hypotheses a quotient by a contractible subspace is a homotopy equivalence (it's the case when the inclusion of the subsace is a cofibration). It will be the case I guess if $X,A$ are CW-complexes
$endgroup$
– Max
Jan 25 at 21:15
$begingroup$
Wow, great point -- thank you very much for pointing that out! I think that $X hookrightarrow C_g$ is always a cofibration, where $X$ is the base of the mapping cone of a map $A xrightarrow{g} X$. (Do you agree?) I edited my answer and also added a footnote supporting this claim that I just made.
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:55
|
show 10 more comments
$begingroup$
Even if someone posts another solution, FWIW reading this was helpful for me. Here's a question: why is an isomorphism on all cohomology groups assuming (simply connected CW-complexes) sufficient to conclude weak homotopy equivalence? My feeling is this must be a standard theorem I don't know.
$endgroup$
– Matthew Kvalheim
Jan 25 at 19:13
2
$begingroup$
Yes, it's a standard theorem. See at "What homology isomorphism tells us" topospaces.subwiki.org/wiki/… It's stated there for homology, but the same statement holds for cohomology, because of e.g. math.stackexchange.com/questions/1782321/… (see the answer; I used all groups, but actually since the complex in question consists of free abelian groups, $K(mathbb{Z},n)= (S^1)^n$ suffices )
$endgroup$
– Max
Jan 25 at 19:56
$begingroup$
Thanks for the link and comments. By the way, I wrote an "update 2" in my post. If my reasoning is correct, then it seems I might have been mistaken: Conley may have been asserting only something about a very specific coexact sequence rather than general coexact sequences. In any case I would be happy to accept your answer since (at least so far) it comes closest to answering the specific question I originally asked (rather than address the specific situation that I secretly wanted). But if you can spare a minute, I would very much appreciate any feedback on my "update 2".
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:03
$begingroup$
About your update 2, the fact that $Xsimeq *$ does not imply that the quotient is a homeomorphism. In fact the quotient is not injective unless $X=*$, so it's not a homeomorphism. But under nice hypotheses a quotient by a contractible subspace is a homotopy equivalence (it's the case when the inclusion of the subsace is a cofibration). It will be the case I guess if $X,A$ are CW-complexes
$endgroup$
– Max
Jan 25 at 21:15
$begingroup$
Wow, great point -- thank you very much for pointing that out! I think that $X hookrightarrow C_g$ is always a cofibration, where $X$ is the base of the mapping cone of a map $A xrightarrow{g} X$. (Do you agree?) I edited my answer and also added a footnote supporting this claim that I just made.
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:55
$begingroup$
Even if someone posts another solution, FWIW reading this was helpful for me. Here's a question: why is an isomorphism on all cohomology groups assuming (simply connected CW-complexes) sufficient to conclude weak homotopy equivalence? My feeling is this must be a standard theorem I don't know.
$endgroup$
– Matthew Kvalheim
Jan 25 at 19:13
$begingroup$
Even if someone posts another solution, FWIW reading this was helpful for me. Here's a question: why is an isomorphism on all cohomology groups assuming (simply connected CW-complexes) sufficient to conclude weak homotopy equivalence? My feeling is this must be a standard theorem I don't know.
$endgroup$
– Matthew Kvalheim
Jan 25 at 19:13
2
2
$begingroup$
Yes, it's a standard theorem. See at "What homology isomorphism tells us" topospaces.subwiki.org/wiki/… It's stated there for homology, but the same statement holds for cohomology, because of e.g. math.stackexchange.com/questions/1782321/… (see the answer; I used all groups, but actually since the complex in question consists of free abelian groups, $K(mathbb{Z},n)= (S^1)^n$ suffices )
$endgroup$
– Max
Jan 25 at 19:56
$begingroup$
Yes, it's a standard theorem. See at "What homology isomorphism tells us" topospaces.subwiki.org/wiki/… It's stated there for homology, but the same statement holds for cohomology, because of e.g. math.stackexchange.com/questions/1782321/… (see the answer; I used all groups, but actually since the complex in question consists of free abelian groups, $K(mathbb{Z},n)= (S^1)^n$ suffices )
$endgroup$
– Max
Jan 25 at 19:56
$begingroup$
Thanks for the link and comments. By the way, I wrote an "update 2" in my post. If my reasoning is correct, then it seems I might have been mistaken: Conley may have been asserting only something about a very specific coexact sequence rather than general coexact sequences. In any case I would be happy to accept your answer since (at least so far) it comes closest to answering the specific question I originally asked (rather than address the specific situation that I secretly wanted). But if you can spare a minute, I would very much appreciate any feedback on my "update 2".
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:03
$begingroup$
Thanks for the link and comments. By the way, I wrote an "update 2" in my post. If my reasoning is correct, then it seems I might have been mistaken: Conley may have been asserting only something about a very specific coexact sequence rather than general coexact sequences. In any case I would be happy to accept your answer since (at least so far) it comes closest to answering the specific question I originally asked (rather than address the specific situation that I secretly wanted). But if you can spare a minute, I would very much appreciate any feedback on my "update 2".
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:03
$begingroup$
About your update 2, the fact that $Xsimeq *$ does not imply that the quotient is a homeomorphism. In fact the quotient is not injective unless $X=*$, so it's not a homeomorphism. But under nice hypotheses a quotient by a contractible subspace is a homotopy equivalence (it's the case when the inclusion of the subsace is a cofibration). It will be the case I guess if $X,A$ are CW-complexes
$endgroup$
– Max
Jan 25 at 21:15
$begingroup$
About your update 2, the fact that $Xsimeq *$ does not imply that the quotient is a homeomorphism. In fact the quotient is not injective unless $X=*$, so it's not a homeomorphism. But under nice hypotheses a quotient by a contractible subspace is a homotopy equivalence (it's the case when the inclusion of the subsace is a cofibration). It will be the case I guess if $X,A$ are CW-complexes
$endgroup$
– Max
Jan 25 at 21:15
$begingroup$
Wow, great point -- thank you very much for pointing that out! I think that $X hookrightarrow C_g$ is always a cofibration, where $X$ is the base of the mapping cone of a map $A xrightarrow{g} X$. (Do you agree?) I edited my answer and also added a footnote supporting this claim that I just made.
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:55
$begingroup$
Wow, great point -- thank you very much for pointing that out! I think that $X hookrightarrow C_g$ is always a cofibration, where $X$ is the base of the mapping cone of a map $A xrightarrow{g} X$. (Do you agree?) I edited my answer and also added a footnote supporting this claim that I just made.
$endgroup$
– Matthew Kvalheim
Jan 25 at 21:55
|
show 10 more comments
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%2f3086827%2fdeducing-homotopy-equivalence-from-a-coexact-sequence%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
2
$begingroup$
I don't know if this works, but I'd try looking at the exact sequence of pointed sets with $Y=A$.
$endgroup$
– Lord Shark the Unknown
Jan 25 at 8:10
1
$begingroup$
Question: the definition of coexact involves three spaces but your question involves four spaces. We do know that $f:A to B$ is a homotopy equivalence if and only if $f^*; [C,B] to [C,A]$ is a bijection for all pointed spaces $C$,
$endgroup$
– Ronnie Brown
Jan 25 at 15:49
$begingroup$
@RonnieBrown: By coexactness of a longer sequence I mean that each short subsequence consisting of two maps is coexact. I've edited the question to clarify. What you say we do know sounds very close to what I would like to know, but I'm wondering whether you have a typo. Did you mean to say $[B,C]$ and $[A,C]$ rather than $[C,B]$ and $[C,A]$?
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@LordSharktheUnknown nice idea -- I managed to prove that $f$ has a left homotopy inverse with that approach. But I haven't figured out how to show that $f$ has a right homotopy inverse.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:40
$begingroup$
@Max presumably using the map $g circ f : Bto B$ (with $g$ the left homotopy inverse)? I tried this, but haven't figured out how to make it work.
$endgroup$
– Matthew Kvalheim
Jan 25 at 17:49