In the
mathematical
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
field of
topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ho ...
, a sphere bundle is a
fiber bundle
In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a ...
in which the fibers are
sphere
A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
s
of some dimension ''n''.
Similarly, in a disk bundle, the fibers are
disks
. From a topological perspective, there is no difference between sphere bundles and disk bundles: this is a consequence of the
Alexander trick, which implies
An example of a sphere bundle is the torus, which is
orientable and has
fibers over an
base space. The non-orientable
Klein bottle also has
fibers over an
base space, but has a twist that produces a reversal of orientation as one follows the loop around the base space.
A
circle bundle is a special case of a sphere bundle.
Orientation of a sphere bundle
A sphere bundle that is a product space is orientable, as is any sphere bundle over a simply connected space.
If ''E'' be a real vector bundle on a space ''X'' and if ''E'' is given an
orientation, then a sphere bundle formed from ''E'', Sph(''E''), inherits the orientation of ''E''.
Spherical fibration
A spherical fibration, a generalization of the concept of a sphere bundle, is a
fibration whose fibers are
homotopy equivalent
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a defo ...
to spheres. For example, the fibration
:
has fibers homotopy equivalent to ''S''
''n''.
[Since, writing for the one-point compactification of , the homotopy fiber of is .]
See also
*
Smale conjecture
Notes
References
*
Dennis Sullivan,
Geometric Topology', the 1970 MIT notes
Further reading
The Adams conjecture I*Johannes Ebert
The Adams Conjecture, after Edgar Brown*Strunk, Florian
On motivic spherical bundles
External links
Is it true that all sphere bundles are boundaries of disk bundles?*https://ncatlab.org/nlab/show/spherical+fibration
{{topology-stub
Algebraic topology
Fiber bundles