Skip to main content
added 99 characters in body
Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map in each of the following two cases:
a) The covering $g$ is finite (= has finite fibers)
b) The space $Z$ has a universal covering (for connected $Z$, this means that $Z$ is locally pathwise connected and semi-locally simply connected). For example, CW-complexes have a universal covering space, since they are even locally contractible.

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map in each of the following two cases:
a) The covering $g$ is finite (= has finite fibers)
b) The space $Z$ has a universal covering (for connected $Z$, this means that $Z$ is locally pathwise connected and semi-locally simply connected).

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map in each of the following two cases:
a) The covering $g$ is finite (= has finite fibers)
b) The space $Z$ has a universal covering (for connected $Z$, this means that $Z$ is locally pathwise connected and semi-locally simply connected). For example, CW-complexes have a universal covering space, since they are even locally contractible.

added 120 characters in body
Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map as soon asin each of the following two cases:
a) The covering $g$ is finite (= has finite fibers)
b) The space $Z$ has a universal covering map   (that is as soon asfor connected $Z$ is connected, locallythis means that $Z$ is locally pathwise connected and semi-locally simply connected).

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map as soon as $Z$ has a universal covering map (that is as soon as $Z$ is connected, locally pathwise connected and semi-locally simply connected).

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map in each of the following two cases:
a) The covering $g$ is finite (= has finite fibers)
b) The space $Z$ has a universal covering   (for connected $Z$, this means that $Z$ is locally pathwise connected and semi-locally simply connected).

added 67 characters in body
Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map as soon as $Z$ has a universal covering map (that is as soon as $Z$ is connected, locally pathwise connected and semi-locally simply connected).

A misunderstanding ? Spanier's counterexample (and there are others) seems to contradict assertion (1) of your question. Could you please supply an argument or a reference?

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

However the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map as soon as $Z$ has a universal covering map (that is as soon as $Z$ is locally pathwise connected and semi-locally simply connected).

A misunderstanding ? Spanier's counterexample (and there are others) seems to contradict assertion (1) of your question. Could you please supply an argument or a reference?

No, the composition of two bundle projections needn't be a bundle projection.
It is already not true that the composition of two covering maps is a covering map.
You can find a counterexample in Spanier's classic Algebraic Topology, Chapter 2, §2, Example 8, page 69.

Another counterexample, based (!) on the notorious Hawaiian ring space is given by Jerzac's very nice,detailed paper here.

However, on the positive side, the composition $g\circ f :X\to Z$ of the covering maps $f:X\to Y$ and $g:Y\to Z$ is a covering map as soon as $Z$ has a universal covering map (that is as soon as $Z$ is connected, locally pathwise connected and semi-locally simply connected).

Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241
Loading