Editing Complex projective space (section)

===Line bundles===
All line bundles on complex projective space can be obtained by the following construction.  A function {{nowrap|''f'' : '''C'''<sup>''n''+1</sup>\{0} &rarr; '''C'''}} is called [[homogeneous function|homogeneous]] of degree ''k'' if
:<math>f(\lambda z) = \lambda^k f(z)</math>
for all {{nowrap|λ &isin; '''C'''\{0}}} and {{nowrap|''z'' &isin; '''C'''<sup>''n''+1</sup>\{0}}}.  More generally, this definition makes sense in [[cone (linear algebra)|cones]] in {{nowrap|'''C'''<sup>''n''+1</sup>\{0}}}.  A set {{nowrap|''V'' &sub; '''C'''<sup>''n''+1</sup>\{0}}} is called a cone if, whenever {{nowrap|''v'' &isin; ''V''}}, then {{nowrap|''λv'' &isin; ''V''}} for all {{nowrap|λ &isin; '''C'''\{0}}}; that is, a subset is a cone if it contains the complex line through each of its points.  If {{nowrap|''U'' &sub; '''CP'''<sup>''n''</sup>}} is an open set (in either the analytic topology or the [[Zariski topology]]), let {{nowrap|''V'' &sub; '''C'''<sup>''n''+1</sup>\{0}}} be the cone over ''U'': the preimage of ''U'' under the projection {{nowrap|'''C'''<sup>''n''+1</sup>\{0} &rarr; '''CP'''<sup>''n''</sup>}}.  Finally, for each integer ''k'', let ''O''(''k'')(''U'') be the set of functions that are homogeneous of degree ''k'' in ''V''.  This defines a [[sheaf (mathematics)|sheaf]] of sections of a certain line bundle, denoted by ''O''(''k'').

In the special case {{nowrap|''k'' {{=}} &minus;1}}, the bundle ''O''(&minus;1) is called the [[tautological line bundle]].  It is equivalently defined as the subbundle of the product
:<math>\mathbf{C}^{n+1}\times\mathbf{CP}^n\to \mathbf{CP}^n</math>
whose fiber over {{nowrap|''L'' &isin; '''CP'''<sup>''n''</sup>}} is the set
:<math>\{(x,L)\mid x\in L\}.</math>

These line bundles can also be described in the language of [[divisor (algebraic geometry)|divisors]]. Let ''H'' = '''CP'''<sup>''n''&minus;1</sup> be a given complex hyperplane in '''CP'''<sup>''n''</sup>.  The space of [[meromorphic function]]s on '''CP'''<sup>''n''</sup> with at most a simple pole along ''H'' (and nowhere else) is a one-dimensional space, denoted by ''O''(''H''), and called the [[hyperplane bundle]].  The dual bundle is denoted ''O''(&minus;''H''), and the ''k''<sup>th</sup> tensor power of ''O''(''H'') is denoted by ''O''(''kH'').  This is the sheaf generated by holomorphic multiples of a meromorphic function with a pole of order ''k'' along ''H''.  It turns out that
:<math>O(kH) \cong O(k).</math>
Indeed, if {{nowrap|''L''(''z'') {{=}} 0}} is a linear defining function for ''H'', then ''L''<sup>&minus;''k''</sup> is a meromorphic section of ''O''(''k''), and locally the other sections of ''O''(''k'') are multiples of this section.

Since {{nowrap|''H''<sup>1</sup>('''CP'''<sup>''n''</sup>,'''Z''') {{=}} 0}}, the line bundles on '''CP'''<sup>''n''</sup> are classified up to isomorphism by their [[Chern class]]es, which are integers: they lie in {{nowrap|''H''<sup>2</sup>('''CP'''<sup>''n''</sup>,'''Z''') {{=}} '''Z'''}}.  In fact, the first Chern classes of complex projective space are generated under [[Poincaré duality]] by the homology class associated to a hyperplane ''H''.  The line bundle ''O''(''kH'') has Chern class ''k''.  Hence every holomorphic line bundle on '''CP'''<sup>''n''</sup> is a tensor power of ''O''(''H'') or ''O''(&minus;''H''). In other words, the [[Picard group]] of '''CP'''<sup>''n''</sup> is generated as an abelian group by the hyperplane class [''H''] {{harv|Hartshorne|1977}}.