Definition
Sphere bundle
The fiber bundle of unit vectors in a positive-rank vector bundle equipped with a bundle metric.
Definition
Let be a positive-rank real vector bundle with bundle metric . Its unit sphere bundle is
with projection obtained by restricting . If has rank , then is a smooth fiber bundle with typical fiber . In a local orthonormal trivialization it is identified with . Thus the metric selects a smooth unit sphere in each vector-space fiber, while the bundle's transition data describes how those spheres are glued.
Basic properties
The closed unit disk bundle
is a bundle with fiber the closed disk , and its fiberwise boundary is . The antipodal map defines a free involution on every sphere bundle.
Different bundle metrics on a fixed vector bundle yield isomorphic sphere bundles. One may construct a fiberwise positive automorphism carrying one metric to the other, so the isomorphism type depends on , not on the particular metric used to draw its unit spheres.
Examples
For the trivial bundle , the sphere bundle is .
For a Riemannian manifold , the sphere bundle of the tangent bundle is the unit tangent bundle. Its points are unit tangent vectors.
If is a real line bundle, then has fiber and is a two-sheeted covering. For the Möbius line bundle this covering is connected and nontrivial.
A Hermitian complex bundle of complex rank , viewed with its underlying real metric, has unit sphere fibers .
Conventions and scope
Some authors use “sphere bundle” for any fiber bundle whose fiber is a sphere, whether or not it arises from a vector bundle. Others use it for the fiberwise one-point compactification of , whose fiber is , rather than for , whose fiber is .
References
- D. Husemoller, Fibre Bundles, 3rd ed., Springer, 1994. DOI record. Relevant: chapter 3, sphere and disk bundles associated to vector bundles.