Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Projective bundle
Summary
In mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces.
By definition, a scheme X over a Noetherian scheme S is a Pn-bundle if it is locally a projective n-space; i.e., and transition automorphisms are linear. Over a regular scheme S such as a smooth variety, every projective bundle is of the form for some vector bundle (locally free sheaf) E.
Every vector bundle over a variety X gives a projective bundle by taking the projective spaces of the fibers, but not all projective bundles arise in this way: there is an obstruction in the cohomology group H2(X,O*). To see why, recall that a projective bundle comes equipped with transition functions on double intersections of a suitable open cover. On triple overlaps, any lift of these transition functions satisfies the cocycle condition up to an invertible function. The collection of these functions forms a 2-cocycle which vanishes in H2(X,O*) only if the projective bundle is the projectivization of a vector bundle. In particular, if X is a compact Riemann surface then H2(X,O*)=0, and so this obstruction vanishes.
The projective bundle of a vector bundle E is the same thing as the Grassmann bundle of 1-planes in E.
The projective bundle P(E) of a vector bundle E is characterized by the universal property that says:
Given a morphism f: T → X, to factorize f through the projection map p: P(E) → X is to specify a line subbundle of fE.
For example, taking f to be p, one gets the line subbundle O(-1) of pE, called the tautological line bundle on P(E). Moreover, this O(-1) is a universal bundle in the sense that when a line bundle L gives a factorization f = p ∘ g, L is the pullback of O(-1) along g. See also Cone#O(1) for a more explicit construction of O(-1).
On P(E), there is a natural exact sequence (called the tautological exact sequence):
where Q is called the tautological quotient-bundle.
Let E ⊂ F be vector bundles (locally free sheaves of finite rank) on X and G = F/E. Let q: P(F) → X be the projection.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.