nLab sphere fiber bundle

Redirected from "unit sphere bundle".
Contents

Context

Bundles

bundles

Spheres

Contents

Idea

A sphere fiber bundle is a fiber bundle whose fibers are spheres S nS^n of some dimension nn.

Often, but not always, this is considered in homotopy theory or even in stable homotopy theory, hence for fibers which have the (stable) homotopy type of a sphere, in which case one speaks of spherical fibrations. See there for more.

Properties

Vertical tangent bundles of sphere bundles

The following appears in FSS 20, Sec. 3 (somewhat implicit in v1, explicitly in v2):

Proposition

Let denote the universal nn-spherical fibration over the classifying space of the orthogonal group, where

is the canonical inclusion.

Then its homotopy fiber inclusion is the classifying map Fr(S n)\vdash Fr(S^n) of the orthonormal frame bundle of the n-sphere:

Proof

By the pasting law we find that the homotopy fiber of the homotopy fiber inclusion, and hence (by the discssion at principal infinity-bundle) the total space of the bundle it classifies, is ΩBO(n+1)O(n+1)\Omega B O(n+1) \simeq O(n+1):

Moreover, we have an evident isomorphism

given by acting with O(n+1)O(n+1) on the canonical orthonormal basis (v 0,v 1,,v n)(v_0, v_1, \cdots, v_n) of n+1\mathbb{R}^{n+1}, regarded as a point v 0v_0 on S n=S( n+1)S^n = S(\mathbb{R}^{n+1}) equipped with a frame (v 1,,v n)(v_1, \cdots, v_n) of its tangent space T v 0S( n+1)T_{v_0} S(\mathbb{R}^{n+1}).

This isomorphism is manifestly O(n)O(n)-equivariant, and its quotient on both sides is manifestly S nS^n, so that this is actually an isomorphism of O(n)O(n)-principal bundles.

In parametrized generalization of this situation, it follows that:

Corollary

(once-stabilized vertical tangent bundles to sphere-fiber bundles are pulled back from base) Let S(p):S(𝒱)X S(p) \colon S(\mathcal{V}) \to X be an nn-spherical fibration, associated to an oriented real vector bundle p:𝒱Xp \colon \mathcal{V} \to X, hence fitting into a homotopy pullback-diagram as shown here: Then:

  1. the top map shown classifies the vertical tangent bundle T S(p)S(𝒱)T_{S(p)} S(\mathcal{V});

  2. hence the homotopy-commutativity of the diagram says that the once-stabilized vertical tangent bundle is the pullback of the original bundle on the base:

    T S(p)S(𝒱)× XS(p) *(𝒱). T_{S(p)} S(\mathcal{V}) \times \mathbb{R} \;\simeq_{{}_{X}}\; S(p)^\ast \big( \mathcal{V} \big) \,.

Tangent bundles of sphere bundles

The following generalizes Cor. to the full tangent bundle of sphere-fiber bundles, now assuming that the base is a smooth manifold and giving a more traditional differential-geometric proof (the following statement appears, without proof, as Crowley-Escher 03, Fact. 3.1, apparently reading between the lines in Milnor 56, p. 403):

Proposition

(stable tangent bundle of unit sphere bundle)
The once-stabilized tangent bundle of a unit sphere bundle S(𝒱)S(\mathcal{V}) in a real vector bundle 𝒱pM\mathcal{V} \overset{p}{\longrightarrow} M (Example ) over a smooth manifold MM is isomorphic to the pullback of the direct sum of the stable tangent bundle of the base manifold with that vector bundle:

TS(𝒱)×S(p) *(TM M𝒱). T S(\mathcal{V}) \times \mathbb{R} \; \simeq \; S(p)^\ast \big( T M \oplus_M \mathcal{V} \big) \,.

Proof

Consider first the actual tangent bundle but to the open ball/disk-fiber bundle D(𝒱)D(\mathcal{V}) that fills the given sphere-fiber bundle: By the standard splitting (this Prop.) this is the direct sum

T(D(𝒱))(D(p) *TM) MT pD(𝒱), T \big( D(\mathcal{V}) \big) \;\simeq\; \big( D(p)^\ast T M \big) \oplus_M T_p D(\mathcal{V}) \,,

where T pD(𝒱)T_p D(\mathcal{V}) is the vertical tangent bundle of the disk bundle. But, by definition of disk bundles, this is the restriction of the vertical tangent bundle of the vector bundle 𝒱\mathcal{V} itself, and that is just the pullback of that vector bundle along itself (by this Example):

(D(p) *TM) M(D(p) *𝒱) D(p) *(TM M𝒱). \begin{aligned} \cdots & \simeq\; \big( D(p)^\ast T M \big) \oplus_M \big( D(p)^\ast \mathcal{V} \big) \\ & \simeq\; D(p)^\ast \big( T M \oplus_M \mathcal{V} \big) \,. \end{aligned}

To conclude, it just remains to observe that the normal bundle of the n-sphere-boundary inside the (n+1)(n+1)-ball is manifestly trivial, so that the restriction of the tangent bundle of D(𝒱)D(\mathcal{V}) to S(𝒱)S(\mathcal{V}) is the stable tangent bundle of S(𝒱)S(\mathcal{V}).

Remark

Prop. implies that every stable characteristic class of the tangent bundle of an orthogonal sphere-fiber bundle – i.e all polynomials in its Pontryagin classes – are basic, i.e. pulled back from the base space.

Examples

Unit sphere bundles

Example

A key example of sphere fiber bundles are the unit sphere bundles inside of real vector bundles that are equipped with orthogonal structure: the bundles whose fibers are the unit spheres in the corresponding fiber of the given real vector bundle.

These appear in the discussion of Thom spaces and hence of Thom spectra, as well as in the discussion of wave front sets.

References

Early discussion of sphere bundles (and introducing the general notion of fiber bundles):

With focus on 3-sphere-fiber bundles over the 4-sphere and the construction of exotic 7-spheres:

On sphere fiber bundles as Kaluza-Klein compactifications in supergravity and string theory:

On sphere bundles with formal Sullivan models:

Last revised on June 21, 2023 at 16:29:15. See the history of this page for a list of all contributions to it.