nLab
hyperplane line bundle

Let n= k n be the n-dimensional projective space over a field k, whose points are the equivalence classes [z 0,,z n] of (n+1)-tuples (z 0,,z n)k n+1\{0}; the (co)domains of usual open charts in the sense of manifolds, which are Zariski-open subsets for general k, have U i={[z 0,,z n]z i0}.

The hyperplane line bundle 𝒪(1) on n is a line bundle given by the transition functions g ij([z 0,,z n])=z j/z i on U iU j. Its dual bundle 𝒪(1) * is the tautological bundle (or universal bundle) usually denoted by 𝒪(1) and the tensor powers are 𝒪(n)=𝒪(1) n, 𝒪(n)=𝒪(1) n for n0. The total space of the tautological line bundle can be identified with n+1 and the projection is exactly (z 0,,z m)[z 0,,z m], i.e. the fiber over [z 0,,z m] is the line {(λz 0,,λz n),0λ}. The canonical line bundle K=Λ nT * n equals 𝒪(n1).

The bundles 𝒪(n) are holomorphic if k=. The sheaves of (regular or holomorphic) sections are also denoted as 𝒪(n) and are said to be the twists of the structure sheaf 𝒪; they restrict to the equally denoted sheaves on any projective subvariety and these restrictions up to an isomorphism do not depend on a particular embedding into a particular projective space.

Revised on August 8, 2012 18:17:06 by Andrew Stacey (192.76.7.219)