Homotopy fibre of pushout
up vote
0
down vote
favorite
Let $(f_U,f_A,f_V):(Uleftarrow Arightarrow V)to (U'leftarrow A'rightarrow V')$ be a morphism of diagrams of topological spaces and let $f:Usqcup_A Vto U'sqcup_{A'} V'$ be the resulting morphisms for the pushouts.
Suppose I know the (weak) homotopy type of the homotopy fibres of $f_U$, $f_A$ and $f_V$. Is there any chance to say something about the homotopy fibre of $f$?
To be more precise: In my special situation, I know that $f_U$, $f_A$ and $f_V$ are all coverings and I would be happy if I could conclude that $pi_2(mathrm{hofib}(f))=0$.
homotopy-theory covering-spaces fiber-bundles
add a comment |
up vote
0
down vote
favorite
Let $(f_U,f_A,f_V):(Uleftarrow Arightarrow V)to (U'leftarrow A'rightarrow V')$ be a morphism of diagrams of topological spaces and let $f:Usqcup_A Vto U'sqcup_{A'} V'$ be the resulting morphisms for the pushouts.
Suppose I know the (weak) homotopy type of the homotopy fibres of $f_U$, $f_A$ and $f_V$. Is there any chance to say something about the homotopy fibre of $f$?
To be more precise: In my special situation, I know that $f_U$, $f_A$ and $f_V$ are all coverings and I would be happy if I could conclude that $pi_2(mathrm{hofib}(f))=0$.
homotopy-theory covering-spaces fiber-bundles
I can't think of anything direct, unless you have more information available about the diagram map. I think your best bet will be to study the cofibers of the map. In this case $C_f$ is the homotopy pushout of $(C_{f_U}leftarrow C_{f_A}rightarrow C_{f_V})$, and you may be able to get a good grasp of its cohomology. Then use this to show that $f$ is sufficiently connected so as to be able to conclude that $pi_2F_f=0$.
– Tyrone
Nov 16 at 13:37
I doubt it. Consider $U'=A'=V' = {*}$ (singleton) and $U = V$ disks, glued along $A = S^1$. Then the homotopy fiber of $f$ is $S^2$. These are not covering maps, but they are fibrations...
– Najib Idrissi
Nov 16 at 13:38
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $(f_U,f_A,f_V):(Uleftarrow Arightarrow V)to (U'leftarrow A'rightarrow V')$ be a morphism of diagrams of topological spaces and let $f:Usqcup_A Vto U'sqcup_{A'} V'$ be the resulting morphisms for the pushouts.
Suppose I know the (weak) homotopy type of the homotopy fibres of $f_U$, $f_A$ and $f_V$. Is there any chance to say something about the homotopy fibre of $f$?
To be more precise: In my special situation, I know that $f_U$, $f_A$ and $f_V$ are all coverings and I would be happy if I could conclude that $pi_2(mathrm{hofib}(f))=0$.
homotopy-theory covering-spaces fiber-bundles
Let $(f_U,f_A,f_V):(Uleftarrow Arightarrow V)to (U'leftarrow A'rightarrow V')$ be a morphism of diagrams of topological spaces and let $f:Usqcup_A Vto U'sqcup_{A'} V'$ be the resulting morphisms for the pushouts.
Suppose I know the (weak) homotopy type of the homotopy fibres of $f_U$, $f_A$ and $f_V$. Is there any chance to say something about the homotopy fibre of $f$?
To be more precise: In my special situation, I know that $f_U$, $f_A$ and $f_V$ are all coverings and I would be happy if I could conclude that $pi_2(mathrm{hofib}(f))=0$.
homotopy-theory covering-spaces fiber-bundles
homotopy-theory covering-spaces fiber-bundles
asked Nov 16 at 13:27
FKranhold
1787
1787
I can't think of anything direct, unless you have more information available about the diagram map. I think your best bet will be to study the cofibers of the map. In this case $C_f$ is the homotopy pushout of $(C_{f_U}leftarrow C_{f_A}rightarrow C_{f_V})$, and you may be able to get a good grasp of its cohomology. Then use this to show that $f$ is sufficiently connected so as to be able to conclude that $pi_2F_f=0$.
– Tyrone
Nov 16 at 13:37
I doubt it. Consider $U'=A'=V' = {*}$ (singleton) and $U = V$ disks, glued along $A = S^1$. Then the homotopy fiber of $f$ is $S^2$. These are not covering maps, but they are fibrations...
– Najib Idrissi
Nov 16 at 13:38
add a comment |
I can't think of anything direct, unless you have more information available about the diagram map. I think your best bet will be to study the cofibers of the map. In this case $C_f$ is the homotopy pushout of $(C_{f_U}leftarrow C_{f_A}rightarrow C_{f_V})$, and you may be able to get a good grasp of its cohomology. Then use this to show that $f$ is sufficiently connected so as to be able to conclude that $pi_2F_f=0$.
– Tyrone
Nov 16 at 13:37
I doubt it. Consider $U'=A'=V' = {*}$ (singleton) and $U = V$ disks, glued along $A = S^1$. Then the homotopy fiber of $f$ is $S^2$. These are not covering maps, but they are fibrations...
– Najib Idrissi
Nov 16 at 13:38
I can't think of anything direct, unless you have more information available about the diagram map. I think your best bet will be to study the cofibers of the map. In this case $C_f$ is the homotopy pushout of $(C_{f_U}leftarrow C_{f_A}rightarrow C_{f_V})$, and you may be able to get a good grasp of its cohomology. Then use this to show that $f$ is sufficiently connected so as to be able to conclude that $pi_2F_f=0$.
– Tyrone
Nov 16 at 13:37
I can't think of anything direct, unless you have more information available about the diagram map. I think your best bet will be to study the cofibers of the map. In this case $C_f$ is the homotopy pushout of $(C_{f_U}leftarrow C_{f_A}rightarrow C_{f_V})$, and you may be able to get a good grasp of its cohomology. Then use this to show that $f$ is sufficiently connected so as to be able to conclude that $pi_2F_f=0$.
– Tyrone
Nov 16 at 13:37
I doubt it. Consider $U'=A'=V' = {*}$ (singleton) and $U = V$ disks, glued along $A = S^1$. Then the homotopy fiber of $f$ is $S^2$. These are not covering maps, but they are fibrations...
– Najib Idrissi
Nov 16 at 13:38
I doubt it. Consider $U'=A'=V' = {*}$ (singleton) and $U = V$ disks, glued along $A = S^1$. Then the homotopy fiber of $f$ is $S^2$. These are not covering maps, but they are fibrations...
– Najib Idrissi
Nov 16 at 13:38
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3001135%2fhomotopy-fibre-of-pushout%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
I can't think of anything direct, unless you have more information available about the diagram map. I think your best bet will be to study the cofibers of the map. In this case $C_f$ is the homotopy pushout of $(C_{f_U}leftarrow C_{f_A}rightarrow C_{f_V})$, and you may be able to get a good grasp of its cohomology. Then use this to show that $f$ is sufficiently connected so as to be able to conclude that $pi_2F_f=0$.
– Tyrone
Nov 16 at 13:37
I doubt it. Consider $U'=A'=V' = {*}$ (singleton) and $U = V$ disks, glued along $A = S^1$. Then the homotopy fiber of $f$ is $S^2$. These are not covering maps, but they are fibrations...
– Najib Idrissi
Nov 16 at 13:38