(2) and can be written as a disjoint union of
two sets, and , where is a discrete
set (the “dissident” points)
and is a locally closed
topological 1-submanifold (the “generic” points).
For all , there exists an open neighbourhood
of , a homeomorphism , a
two-dimensional disk, a homeomorphism with a four-manifold,
a well-behaved -fibration, such that the diagram
|
|
|
is commutative, where is the composition of projection
onto and .
Also for some point
. Furthermore, for each point ,
there is an open neighbourhood of such that
there is a commutative diagram
|
|
|
In addition, there is a five-manifold and a map
along with a commutative diagram
|
|
|