Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added the statement that
The stable tangent bundle of a unit sphere bundle $S(\mathcal{V})$ in a real vector bundle $\mathcal{V} \overset{p}{\longrightarrow} M$ (Example \ref{UnitSphereBundles}) over a smooth manifold $M$ is isomorphic to the pullback of the direct sum of the stable tangent bundle of the base manifold with that vector bundle:
$T^{stab} S(\mathcal{V}) \; \simeq \; S(p)^\ast \big( T^{stab} M \oplus_M \mathcal{V} \big) \,.$Still need to add a more canonical reference and/or a proof.
added pointer to p. 403 in
where this statement appears somewhat between the lines.
I have spelled out (here) a purely homotopy-type theoretic proof that the once-stabilized vertical tangent bundle to a sphere bundle associated to a vector bundle is the pullback of that vector bundle.
(This is, somewhat implicitly, from Sec. 3 of our Twisted Cohomotopy implies M5-brane anomaly cancellation. Making it more explicit now in v2.)
Incidentally, the tikzd diagrams don’t all come out scaled quite as intended: it seems that scaling just the columns with, say, [colum sep=tiny]
, scales also the rows, here on the $n$Lab.
added a concluding remark, to highlight:
Prop. \ref{StableTangentBundleOfUnitSphereBundle} 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.
added pointer to today’s
added pointer to:
1 to 8 of 8