(see also Chern-Weil theory, parameterized homotopy theory)
The concept of projective bundle is the generalization of that of projective space from vector spaces to vector bundles.
For $\pi_E \colon E \to X$ a topological vector bundle over some topological field $k$, write $E \setminus X \subset E$ for its complement of the zero section, regarded with its subspace topology.
Then its projective bundle is the fiber bundle $P(\pi_E) \,\colon\, P(E) \to X$ whose total space is the quotient topological space of $E \setminus X$ by the equivalence relation
hence
and whose bundle projection is
The pullback bundle of a vector bundle $E$ to its own projective bundle
naturally contains a line bundle, whose point-set definition is
Hence the pullback splits as the direct sum of vector bundles of this $\mathcal{L}$ and its orthogonal complement (for any choice of inner product):
This process continues: Pulling back further to the projective bundle of $\mathcal{L}^{\perp}$ yields
for some line bundle $\mathcal{L}'$
This way, eventually one finds a pullback bundle of $E$ which is entirely a direct sum of line bundles.
(e.g. Wirthmüller 12, p. 15 (17 of 67))
This is one incarnation of the splitting principle.
(complex projective bundle of quaternionic tautological line bundle is complex projective space)
For $n \in \mathbb{N}$, the projective bundle of the rank=2 complex vector bundle underlying the quaternionic (dual) tautological line bundle $\mathcal{L}_{{}_{\mathbb{H}P^n}}$ over quaternionic projective space $\mathbb{H}P^n$ is the complex projective space $\mathbb{C}P^{2n+1}$ equipped with the map that sends complex lines to the quaternionic lines that they span:
We compute as follows (showing this for the dual tautological bundle just for definiteness of notation):
Here:
The first line is the definition of the complex projective bundle (here);
the second line inserts the definition of the tautological quaternionic line bundle (here);
the third line observes that, being away from its zero section, we have unique representatives of the elements in its defining quotient space whose fiber component is the unit $1 \in \mathbb{C} \subset \mathbb{H}$;
the fourth line identifies the evident underlying $\mathbb{C}^\times$-space;
the fifth line is the definition of complex projective space.
This shows that the total space is as claimed.
Moreover, since the projection map is the quotient space projection from this by the full $\mathbb{H}^\times$-action, the same computation with $(-)/\mathbb{C}^\times$ replaced by $(-)/\mathbb{H}^\times$ shows that the bundle map is as claimed.
Last revised on March 11, 2021 at 13:46:19. See the history of this page for a list of all contributions to it.