Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Projective bundle
Résumé
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.