Definition

Let EME\to M be a positive-rank real with gg. Its unit sphere bundle is

S(E)={vE:g(v,v)=1},S(E)=\{v\in E:g(v,v)=1\},

with projection obtained by restricting EME\to M. If EE has rank rr, then S(E)MS(E)\to M is a with Sr1S^{r-1}. In a local orthonormal trivialization it is identified with U×Sr1U\times S^{r-1}. 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

D(E)={vE:g(v,v)1}D(E)=\{v\in E:g(v,v)\leq 1\}

is a bundle with fiber the closed disk DrD^r, and its fiberwise boundary is S(E)S(E). The antipodal map vvv\mapsto-v 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 EE, not on the particular metric used to draw its unit spheres.

Examples

For the trivial bundle M×RrM\times\mathbb R^r, the sphere bundle is M×Sr1M\times S^{r-1}.

For a MM, the sphere bundle of the is the unit tangent bundle. Its points are unit tangent vectors.

If LL is a , then S(L)MS(L)\to M has fiber S0={1,1}S^0=\{-1,1\} 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 nn, viewed with its underlying real metric, has unit sphere fibers S2n1S^{2n-1}.

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 EE, whose fiber is SrS^r, rather than for S(E)S(E), whose fiber is Sr1S^{r-1}.

References
  1. D. Husemoller, Fibre Bundles, 3rd ed., Springer, 1994. DOI record. Relevant: chapter 3, sphere and disk bundles associated to vector bundles.