Projective variety

<h2 id="variety-and-scheme-structure">Variety and scheme structure</h2>
<h3>Variety structure</h3>
Let k be an algebraically closed field. The basis of the definition of projective varieties is projective space 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
, which can be defined in different, but equivalent ways:

<ul><li>as the set of all lines through the origin in 
 
 
 
 
 k
 
 n
 +
 1
 
 
 
 
 {\displaystyle k^{n+1}}
 
 (i.e., all one-dimensional vector subspaces of 
 
 
 
 
 k
 
 n
 +
 1
 
 
 
 
 {\displaystyle k^{n+1}}
 
)</li>
<li>as the set of tuples 
 
 
 
 (
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 )
 ∈
 
 k
 
 n
 +
 1
 
 
 
 
 {\displaystyle (x_{0},\dots ,x_{n})\in k^{n+1}}
 
, with 
 
 
 
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 
 
 {\displaystyle x_{0},\dots ,x_{n}}
 
 not all zero, modulo the equivalence relation 
 
 
 
 (
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 )
 ∼
 λ
 (
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 )
 
 
 {\displaystyle (x_{0},\dots ,x_{n})\sim \lambda (x_{0},\dots ,x_{n})}
 
 for any 
 
 
 
 λ
 ∈
 k
 ∖
 {
 0
 }
 
 
 {\displaystyle \lambda \in k\setminus \{0\}}
 
. The equivalence class of such a tuple is denoted by 
 
 
 
 [
 
 x
 
 0
 
 
 :
 ⋯
 :
 
 x
 
 n
 
 
 ]
 .
 
 
 {\displaystyle [x_{0}:\dots :x_{n}].}
 
 This equivalence class is the general point of projective space. The numbers 
 
 
 
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 
 
 {\displaystyle x_{0},\dots ,x_{n}}
 
 are referred to as the <a href="/facts/Homogeneous_coordinates/TG9ebKN4">homogeneous coordinates</a> of the point.</li></ul>
A projective variety is, by definition, a closed subvariety of 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
, where closed refers to the <a href="/facts/Zariski_topology/uolkKBpM">Zariski topology</a>.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a> In general, closed subsets of the Zariski topology are defined to be the common zero-locus of a finite collection of homogeneous polynomial functions. Given a polynomial 
 
 
 
 f
 ∈
 k
 [
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 ]
 
 
 {\displaystyle f\in k[x_{0},\dots ,x_{n}]}
 
, the condition

f
        (
        [
        
          x
          
            0
          
        
        :
        ⋯
        :
        
          x
          
            n
          
        
        ]
        )
        =
        0
      
    
    {\displaystyle f([x_{0}:\dots :x_{n}])=0}

does not make sense for arbitrary polynomials, but only if f is <a href="/facts/Homogeneous_polynomial/WUHL7Kct">homogeneous</a>, i.e., the degrees of all the <a href="/facts/Monomial/6VAPCYXJ">monomials</a> (whose sum is f) are the same. In this case, the vanishing of

f
        (
        λ
        
          x
          
            0
          
        
        ,
        …
        ,
        λ
        
          x
          
            n
          
        
        )
        =
        
          λ
          
            deg
            ⁡
            f
          
        
        f
        (
        
          x
          
            0
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        )
      
    
    {\displaystyle f(\lambda x_{0},\dots ,\lambda x_{n})=\lambda ^{\deg f}f(x_{0},\dots ,x_{n})}

is independent of the choice of 
 
 
 
 λ
 ≠
 0
 
 
 {\displaystyle \lambda \neq 0}
 
.
Therefore, projective varieties arise from homogeneous <a href="/facts/Prime_ideal/pmrGf6DA">prime ideals</a> I of 
 
 
 
 k
 [
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 ]
 
 
 {\displaystyle k[x_{0},\dots ,x_{n}]}
 
, and setting

X
        =
        
          {
          
            [
            
              x
              
                0
              
            
            :
            ⋯
            :
            
              x
              
                n
              
            
            ]
            ∈
            
              
                P
              
              
                n
              
            
            ,
            f
            (
            [
            
              x
              
                0
              
            
            :
            ⋯
            :
            
              x
              
                n
              
            
            ]
            )
            =
            0
            
               for all 
            
            f
            ∈
            I
          
          }
        
        .
      
    
    {\displaystyle X=\left\{[x_{0}:\dots :x_{n}]\in \mathbb {P} ^{n},f([x_{0}:\dots :x_{n}])=0{\text{ for all }}f\in I\right\}.}

Moreover, the projective variety X is an algebraic variety, meaning that it is covered by open affine subvarieties and satisfies the separation axiom. Thus, the local study of X (e.g., singularity) reduces to that of an affine variety. The explicit structure is as follows. The projective space 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 is covered by the standard open affine charts

U
          
            i
          
        
        =
        {
        [
        
          x
          
            0
          
        
        :
        ⋯
        :
        
          x
          
            n
          
        
        ]
        ,
        
          x
          
            i
          
        
        ≠
        0
        }
        ,
      
    
    {\displaystyle U_{i}=\{[x_{0}:\dots :x_{n}],x_{i}\neq 0\},}

which themselves are affine n-spaces with the coordinate ring

k
        
          [
          
            
              y
              
                1
              
              
                (
                i
                )
              
            
            ,
            …
            ,
            
              y
              
                n
              
              
                (
                i
                )
              
            
          
          ]
        
        ,
        
        
          y
          
            j
          
          
            (
            i
            )
          
        
        =
        
          x
          
            j
          
        
        
          /
        
        
          x
          
            i
          
        
        .
      
    
    {\displaystyle k\left[y_{1}^{(i)},\dots ,y_{n}^{(i)}\right],\quad y_{j}^{(i)}=x_{j}/x_{i}.}

Say i = 0 for the notational simplicity and drop the superscript (0). Then 
 
 
 
 X
 ∩
 
 U
 
 0
 
 
 
 
 {\displaystyle X\cap U_{0}}
 
 is a closed subvariety of 
 
 
 
 
 U
 
 0
 
 
 ≃
 
 
 A
 
 
 n
 
 
 
 
 {\displaystyle U_{0}\simeq \mathbb {A} ^{n}}
 
 defined by the ideal of 
 
 
 
 k
 [
 
 y
 
 1
 
 
 ,
 …
 ,
 
 y
 
 n
 
 
 ]
 
 
 {\displaystyle k[y_{1},\dots ,y_{n}]}
 
 generated by

f
        (
        1
        ,
        
          y
          
            1
          
        
        ,
        …
        ,
        
          y
          
            n
          
        
        )
      
    
    {\displaystyle f(1,y_{1},\dots ,y_{n})}

for all f in I. Thus, X is an algebraic variety covered by (n+1) open affine charts 
 
 
 
 X
 ∩
 
 U
 
 i
 
 
 
 
 {\displaystyle X\cap U_{i}}
 
.
Note that X is the closure of the affine variety 
 
 
 
 X
 ∩
 
 U
 
 0
 
 
 
 
 {\displaystyle X\cap U_{0}}
 
 in 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
. Conversely, starting from some closed (affine) variety 
 
 
 
 V
 ⊂
 
 U
 
 0
 
 
 ≃
 
 
 A
 
 
 n
 
 
 
 
 {\displaystyle V\subset U_{0}\simeq \mathbb {A} ^{n}}
 
, the closure of V in 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 is the projective variety called the projective completion of V. If 
 
 
 
 I
 ⊂
 k
 [
 
 y
 
 1
 
 
 ,
 …
 ,
 
 y
 
 n
 
 
 ]
 
 
 {\displaystyle I\subset k[y_{1},\dots ,y_{n}]}
 
 defines V, then the defining ideal of this closure is the homogeneous ideal<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a> of 
 
 
 
 k
 [
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 ]
 
 
 {\displaystyle k[x_{0},\dots ,x_{n}]}
 
 generated by

x
          
            0
          
          
            deg
            ⁡
            (
            f
            )
          
        
        f
        (
        
          x
          
            1
          
        
        
          /
        
        
          x
          
            0
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        
          /
        
        
          x
          
            0
          
        
        )
      
    
    {\displaystyle x_{0}^{\deg(f)}f(x_{1}/x_{0},\dots ,x_{n}/x_{0})}

for all f in I.
For example, if V is an affine curve given by, say, 
 
 
 
 
 y
 
 2
 
 
 =
 
 x
 
 3
 
 
 +
 a
 x
 +
 b
 
 
 {\displaystyle y^{2}=x^{3}+ax+b}
 
 in the affine plane, then its projective completion in the projective plane is given by 
 
 
 
 
 y
 
 2
 
 
 z
 =
 
 x
 
 3
 
 
 +
 a
 x
 
 z
 
 2
 
 
 +
 b
 
 z
 
 3
 
 
 .
 
 
 {\displaystyle y^{2}z=x^{3}+axz^{2}+bz^{3}.}

<h3>Projective schemes</h3>
For various applications, it is necessary to consider more general algebro-geometric objects than projective varieties, namely projective schemes. The first step towards projective schemes is to endow projective space with a scheme structure, in a way refining the above description of projective space as an algebraic variety, i.e., 
 
 
 
 
 
 P
 
 
 n
 
 
 (
 k
 )
 
 
 {\displaystyle \mathbb {P} ^{n}(k)}
 
 is a scheme which it is a union of (n + 1) copies of the affine n-space kn. More generally,<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a> projective space over a ring A is the union of the <a href="/facts/Affine_scheme/2k2nDE5w">affine schemes</a>

U
          
            i
          
        
        =
        Spec
        ⁡
        A
        [
        
          x
          
            0
          
        
        
          /
        
        
          x
          
            i
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        
          /
        
        
          x
          
            i
          
        
        ]
        ,
        
        0
        ≤
        i
        ≤
        n
        ,
      
    
    {\displaystyle U_{i}=\operatorname {Spec} A[x_{0}/x_{i},\dots ,x_{n}/x_{i}],\quad 0\leq i\leq n,}

in such a way the variables match up as expected. The set of <a href="/facts/Closed_point/uolkKBpM">closed points</a> of 
 
 
 
 
 
 P
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} _{k}^{n}}
 
, for algebraically closed fields k, is then the projective space 
 
 
 
 
 
 P
 
 
 n
 
 
 (
 k
 )
 
 
 {\displaystyle \mathbb {P} ^{n}(k)}
 
 in the usual sense.
An equivalent but streamlined construction is given by the <a href="/facts/Proj_construction/gcvPmjpU">Proj construction</a>, which is an analog of the <a href="/facts/Spectrum_of_a_ring/2k2nDE5w">spectrum of a ring</a>, denoted "Spec", which defines an affine scheme.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a> For example, if A is a ring, then

P
          
          
            A
          
          
            n
          
        
        =
        Proj
        ⁡
        A
        [
        
          x
          
            0
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        ]
        .
      
    
    {\displaystyle \mathbb {P} _{A}^{n}=\operatorname {Proj} A[x_{0},\ldots ,x_{n}].}

If R is a <a href="/facts/Quotient_ring/X2WkXyEw">quotient</a> of 
 
 
 
 k
 [
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 ]
 
 
 {\displaystyle k[x_{0},\ldots ,x_{n}]}
 
 by a homogeneous ideal I, then the canonical surjection induces the <a href="/facts/Closed_immersion/g60V5BK4">closed immersion</a>

Proj
        ⁡
        R
        ↪
        
          
            P
          
          
            k
          
          
            n
          
        
        .
      
    
    {\displaystyle \operatorname {Proj} R\hookrightarrow \mathbb {P} _{k}^{n}.}

Compared to projective varieties, the condition that the ideal I be a prime ideal was dropped. This leads to a much more flexible notion: on the one hand the <a href="/facts/Topological_space/v2ut7CbK">topological space</a> 
 
 
 
 X
 =
 Proj
 ⁡
 R
 
 
 {\displaystyle X=\operatorname {Proj} R}
 
 may have multiple <a href="/facts/Irreducible_component/MxWWaCM7">irreducible components</a>. Moreover, there may be <a href="/facts/Nilpotent/rERm2Pp7">nilpotent</a> functions on X.
Closed subschemes of 
 
 
 
 
 
 P
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} _{k}^{n}}
 
 correspond bijectively to the homogeneous ideals I of 
 
 
 
 k
 [
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 ]
 
 
 {\displaystyle k[x_{0},\ldots ,x_{n}]}
 
 that are <a href="/facts/Saturated_ideal/dPjY9Aqe">saturated</a>; i.e., 
 
 
 
 I
 :
 (
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 )
 =
 I
 .
 
 
 {\displaystyle I:(x_{0},\dots ,x_{n})=I.}
 
<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> This fact may be considered as a refined version of <a href="/facts/Projective_Nullstellensatz/TlgoRHuM">projective Nullstellensatz</a>.
We can give a coordinate-free analog of the above. Namely, given a finite-dimensional vector space V over k, we let

P
        
        (
        V
        )
        =
        Proj
        ⁡
        k
        [
        V
        ]
      
    
    {\displaystyle \mathbb {P} (V)=\operatorname {Proj} k[V]}

where 
 
 
 
 k
 [
 V
 ]
 =
 Sym
 ⁡
 (
 
 V
 
 ∗
 
 
 )
 
 
 {\displaystyle k[V]=\operatorname {Sym} (V^{*})}
 
 is the <a href="/facts/Symmetric_algebra/A8FthY0N">symmetric algebra</a> of 
 
 
 
 
 V
 
 ∗
 
 
 
 
 {\displaystyle V^{*}}
 
.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a> It is the <a href="/facts/Projectivization/KB2shv7I">projectivization</a> of V; i.e., it parametrizes lines in V. There is a canonical surjective map 
 
 
 
 π
 :
 V
 ∖
 {
 0
 }
 →
 
 P
 
 (
 V
 )
 
 
 {\displaystyle \pi :V\setminus \{0\}\to \mathbb {P} (V)}
 
, which is defined using the chart described above.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a> One important use of the construction is this (cf., § Duality and linear system). A divisor D on a projective variety X corresponds to a line bundle L. One then set

|
 
 D
 
 |
 
 =
 
 P
 
 (
 Γ
 (
 X
 ,
 L
 )
 )
 
 
 {\displaystyle |D|=\mathbb {P} (\Gamma (X,L))}
 
;
it is called the <a href="/facts/Complete_linear_system/L8zleDlj">complete linear system</a> of D.
Projective space over any <a href="/facts/Scheme_(mathematics)/c7uSqGqL">scheme</a> S can be defined as a <a href="/facts/Fiber_product_of_schemes/gSFuGC7l">fiber product of schemes</a>

P
          
          
            S
          
          
            n
          
        
        =
        
          
            P
          
          
            
              Z
            
          
          
            n
          
        
        
          ×
          
            Spec
            ⁡
            
              Z
            
          
        
        S
        .
      
    
    {\displaystyle \mathbb {P} _{S}^{n}=\mathbb {P} _{\mathbb {Z} }^{n}\times _{\operatorname {Spec} \mathbb {Z} }S.}

If 
 
 
 
 
 
 O
 
 
 (
 1
 )
 
 
 {\displaystyle {\mathcal {O}}(1)}
 
 is the <a href="/facts/Twisting_sheaf_of_Serre/gcvPmjpU">twisting sheaf of Serre</a> on 
 
 
 
 
 
 P
 
 
 
 Z
 
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} _{\mathbb {Z} }^{n}}
 
, we let 
 
 
 
 
 
 O
 
 
 (
 1
 )
 
 
 {\displaystyle {\mathcal {O}}(1)}
 
 denote the <a href="/facts/Pullback/AcMfwboF">pullback</a> of 
 
 
 
 
 
 O
 
 
 (
 1
 )
 
 
 {\displaystyle {\mathcal {O}}(1)}
 
 to 
 
 
 
 
 
 P
 
 
 S
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} _{S}^{n}}
 
; that is, 
 
 
 
 
 
 O
 
 
 (
 1
 )
 =
 
 g
 
 ∗
 
 
 (
 
 
 O
 
 
 (
 1
 )
 )
 
 
 {\displaystyle {\mathcal {O}}(1)=g^{*}({\mathcal {O}}(1))}
 
 for the canonical map 
 
 
 
 g
 :
 
 
 P
 
 
 S
 
 
 n
 
 
 →
 
 
 P
 
 
 
 Z
 
 
 
 n
 
 
 .
 
 
 {\displaystyle g:\mathbb {P} _{S}^{n}\to \mathbb {P} _{\mathbb {Z} }^{n}.}

A scheme X → S is called projective over S if it factors as a closed immersion

X
        →
        
          
            P
          
          
            S
          
          
            n
          
        
      
    
    {\displaystyle X\to \mathbb {P} _{S}^{n}}

followed by the projection to S.
A line bundle (or invertible sheaf) 
 
 
 
 
 
 L
 
 
 
 
 {\displaystyle {\mathcal {L}}}
 
 on a scheme X over S is said to be <a href="/facts/Ample_line_bundle/XRQKvXGD">very ample relative to</a> S if there is an <a href="/facts/Immersion_(mathematics)/QMqIgkVY">immersion</a> (i.e., an open immersion followed by a closed immersion)

i
        :
        X
        →
        
          
            P
          
          
            S
          
          
            n
          
        
      
    
    {\displaystyle i:X\to \mathbb {P} _{S}^{n}}

for some n so that 
 
 
 
 
 
 O
 
 
 (
 1
 )
 
 
 {\displaystyle {\mathcal {O}}(1)}
 
 pullbacks to 
 
 
 
 
 
 L
 
 
 
 
 {\displaystyle {\mathcal {L}}}
 
. Then a S-scheme X is projective if and only if it is <a href="/facts/Proper_morphism/EJHIgjnr">proper</a> and there exists a very ample sheaf on X relative to S. Indeed, if X is proper, then an immersion corresponding to the very ample line bundle is necessarily closed. Conversely, if X is projective, then the pullback of 
 
 
 
 
 
 O
 
 
 (
 1
 )
 
 
 {\displaystyle {\mathcal {O}}(1)}
 
 under the closed immersion of X into a projective space is very ample. That "projective" implies "proper" is deeper: the <a href="/facts/Main_theorem_of_elimination_theory/sBqlBJsC">main theorem of elimination theory</a>.

<h2 id="relation-to-complete-varieties">Relation to complete varieties</h2>
By definition, a variety is <a href="/facts/Complete_variety/4rhVhqAU">complete</a>, if it is <a href="/facts/Proper_map/jJS4YK7o">proper</a> over k. The <a href="/facts/Valuative_criterion_of_properness/EJHIgjnr">valuative criterion of properness</a> expresses the intuition that in a proper variety, there are no points "missing".
There is a close relation between complete and projective varieties: on the one hand, projective space and therefore any projective variety is complete. The converse is not true in general. However:

<ul><li>A <a href="/facts/Singularity_theory/MgLkyrhl">smooth curve</a> C is projective if and only if it is <a href="/facts/Complete_variety/4rhVhqAU">complete</a>. This is proved by identifying C with the set of <a href="/facts/Discrete_valuation_ring/DaHoTBSH">discrete valuation rings</a> of the <a href="/facts/Function_field_of_an_algebraic_variety/54cc62wP">function field</a> k(C) over k. This set has a natural Zariski topology called the <a href="/facts/Zariski%25E2%2580%2593Riemann_space/zvAnDuPz">Zariski–Riemann space</a>.</li>
<li><a href="/facts/Chow%2527s_lemma/meELWWmv">Chow's lemma</a> states that for any complete variety X, there is a projective variety Z and a <a href="/facts/Birational_geometry/hsWqRhJ1">birational morphism</a> Z → X.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a> (Moreover, through <a href="/facts/Normal_variety/TQ6cB9By">normalization</a>, one can assume this projective variety is normal.)</li></ul>
Some properties of a projective variety follow from completeness. For example,

Γ
        (
        X
        ,
        
          
            
              O
            
          
          
            X
          
        
        )
        =
        k
      
    
    {\displaystyle \Gamma (X,{\mathcal {O}}_{X})=k}

for any projective variety X over k.<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a> This fact is an algebraic analogue of <a href="/facts/Liouville%2527s_theorem_(complex_analysis)/I97twMBQ">Liouville's theorem</a> (any holomorphic function on a connected compact complex manifold is constant). In fact, the similarity between complex analytic geometry and algebraic geometry on complex projective varieties goes much further than this, as is explained below.
<a href="/facts/Quasi-projective_variety/rdBMNK0G">Quasi-projective varieties</a> are, by definition, those which are open subvarieties of projective varieties. This class of varieties includes <a href="/facts/Affine_variety/WVynz2Kn">affine varieties</a>. Affine varieties are almost never complete (or projective). In fact, a projective subvariety of an affine variety must have dimension zero. This is because only the constants are globally <a href="/facts/Regular_function/5jBzIgps">regular functions</a> on a projective variety.

<h2 id="examples-and-basic-invariants">Examples and basic invariants</h2>
By definition, any homogeneous ideal in a polynomial ring yields a projective scheme (required to be prime ideal to give a variety). In this sense, examples of projective varieties abound. The following list mentions various classes of projective varieties which are noteworthy since they have been studied particularly intensely. The important class of complex projective varieties, i.e., the case 
 
 
 
 k
 =
 
 C
 
 
 
 {\displaystyle k=\mathbb {C} }
 
, is discussed further below.
The product of two projective spaces is projective. In fact, there is the explicit immersion (called <a href="/facts/Segre_embedding/xDVUkB2C">Segre embedding</a>)

{
            
              
                
                  
                    
                      P
                    
                    
                      n
                    
                  
                  ×
                  
                    
                      P
                    
                    
                      m
                    
                  
                  →
                  
                    
                      P
                    
                    
                      (
                      n
                      +
                      1
                      )
                      (
                      m
                      +
                      1
                      )
                      −
                      1
                    
                  
                
              
              
                
                  (
                  
                    x
                    
                      i
                    
                  
                  ,
                  
                    y
                    
                      j
                    
                  
                  )
                  ↦
                  
                    x
                    
                      i
                    
                  
                  
                    y
                    
                      j
                    
                  
                
              
            
            
          
        
      
    
    {\displaystyle {\begin{cases}\mathbb {P} ^{n}\times \mathbb {P} ^{m}\to \mathbb {P} ^{(n+1)(m+1)-1}\\(x_{i},y_{j})\mapsto x_{i}y_{j}\end{cases}}}

As a consequence, the <a href="/facts/Fiber_product_of_schemes/gSFuGC7l">product</a> of projective varieties over k is again projective. The <a href="/facts/Pl%25C3%25BCcker_embedding/85rFMBKE">Plücker embedding</a> exhibits a <a href="/facts/Grassmannian/QcmgLRq8">Grassmannian</a> as a projective variety. <a href="/facts/Generalized_flag_variety/rdTKdfBl">Flag varieties</a> such as the quotient of the <a href="/facts/General_linear_group/B54gNILS">general linear group</a> 
 
 
 
 
 
 G
 L
 
 
 n
 
 
 (
 k
 )
 
 
 {\displaystyle \mathrm {GL} _{n}(k)}
 
 modulo the subgroup of upper <a href="/facts/Triangular_matrices/qjXSFMM3">triangular matrices</a>, are also projective, which is an important fact in the theory of <a href="/facts/Algebraic_group/DDtBCIvh">algebraic groups</a>.<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>

<h3>Homogeneous coordinate ring and Hilbert polynomial</h3>
Main article: <a href="/facts/Hilbert_series_and_Hilbert_polynomial/FtFu54gb">Hilbert series and Hilbert polynomial</a>
As the prime ideal P defining a projective variety X is homogeneous, the <a href="/facts/Homogeneous_coordinate_ring/6Av7AlsQ">homogeneous coordinate ring</a>

R
        =
        k
        [
        
          x
          
            0
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        ]
        
          /
        
        P
      
    
    {\displaystyle R=k[x_{0},\dots ,x_{n}]/P}

is a <a href="/facts/Graded_ring/AIUjkSaP">graded ring</a>, i.e., can be expressed as the <a href="/facts/Direct_sum/x3ljVsP6">direct sum</a> of its graded components:

R
        =
        
          ⨁
          
            n
            ∈
            
              N
            
          
        
        
          R
          
            n
          
        
        .
      
    
    {\displaystyle R=\bigoplus _{n\in \mathbb {N} }R_{n}.}

There exists a polynomial P such that 
 
 
 
 dim
 ⁡
 
 R
 
 n
 
 
 =
 P
 (
 n
 )
 
 
 {\displaystyle \dim R_{n}=P(n)}
 
 for all sufficiently large n; it is called the <a href="/facts/Hilbert_polynomial/FtFu54gb">Hilbert polynomial</a> of X. It is a numerical invariant encoding some extrinsic geometry of X. The degree of P is the <a href="/facts/Dimension_of_an_algebraic_variety/sXqIHcYc">dimension</a> r of X and its leading coefficient times r! is the <a href="/facts/Degree_of_an_algebraic_variety/cpGMpJ6J">degree</a> of the variety X. The <a href="/facts/Arithmetic_genus/hYdDY8Su">arithmetic genus</a> of X is (−1)r (P(0) − 1) when X is smooth.
For example, the homogeneous coordinate ring of 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 is 
 
 
 
 k
 [
 
 x
 
 0
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 ]
 
 
 {\displaystyle k[x_{0},\ldots ,x_{n}]}
 
 and its Hilbert polynomial is 
 
 
 
 P
 (
 z
 )
 =
 
 
 
 (
 
 
 
 z
 +
 n
 
 n
 
 
 )
 
 
 
 
 
 {\displaystyle P(z)={\binom {z+n}{n}}}
 
; its arithmetic genus is zero.
If the homogeneous coordinate ring R is an <a href="/facts/Integrally_closed_domain/L3kgG2q6">integrally closed domain</a>, then the projective variety X is said to be <a href="/facts/Projectively_normal/6Av7AlsQ">projectively normal</a>. Note, unlike <a href="/facts/Normal_variety/TQ6cB9By">normality</a>, projective normality depends on R, the embedding of X into a projective space. The normalization of a projective variety is projective; in fact, it's the Proj of the integral closure of some homogeneous coordinate ring of X.

<h3>Degree</h3>
Main articles: <a href="/facts/Degree_of_an_algebraic_variety/cpGMpJ6J">Degree of an algebraic variety</a> and <a href="/facts/Hilbert_series_and_Hilbert_polynomial/FtFu54gb">Hilbert series and Hilbert polynomial</a>
Let 
 
 
 
 X
 ⊂
 
 
 P
 
 
 N
 
 
 
 
 {\displaystyle X\subset \mathbb {P} ^{N}}
 
 be a projective variety. There are at least two equivalent ways to define the degree of X relative to its embedding. The first way is to define it as the cardinality of the finite set

#
        (
        X
        ∩
        
          H
          
            1
          
        
        ∩
        ⋯
        ∩
        
          H
          
            d
          
        
        )
      
    
    {\displaystyle \#(X\cap H_{1}\cap \cdots \cap H_{d})}

where d is the dimension of X and Hi's are hyperplanes in "general positions". This definition corresponds to an intuitive idea of a degree. Indeed, if X is a hypersurface, then the degree of X is the degree of the homogeneous polynomial defining X. The "general positions" can be made precise, for example, by <a href="/facts/Intersection_theory/UgckwVGF">intersection theory</a>; one requires that the intersection is <a href="/facts/Proper_intersection/ajm2778v">proper</a> and that the multiplicities of irreducible components are all one.
The other definition, which is mentioned in the previous section, is that the degree of X is the leading coefficient of the <a href="/facts/Hilbert_polynomial/FtFu54gb">Hilbert polynomial</a> of X times (dim X)!. Geometrically, this definition means that the degree of X is the multiplicity of the vertex of the affine cone over X.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a>
Let 
 
 
 
 
 V
 
 1
 
 
 ,
 …
 ,
 
 V
 
 r
 
 
 ⊂
 
 
 P
 
 
 N
 
 
 
 
 {\displaystyle V_{1},\dots ,V_{r}\subset \mathbb {P} ^{N}}
 
 be closed subschemes of pure dimensions that intersect properly (they are in general position). If mi denotes the multiplicity of an irreducible component Zi in the intersection (i.e., <a href="/facts/Intersection_multiplicity/ChzWmr4d">intersection multiplicity</a>), then the generalization of <a href="/facts/B%25C3%25A9zout%2527s_theorem/QxstoGnv">Bézout's theorem</a> says:<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a>

∑
          
            1
          
          
            s
          
        
        
          m
          
            i
          
        
        deg
        ⁡
        
          Z
          
            i
          
        
        =
        
          ∏
          
            1
          
          
            r
          
        
        deg
        ⁡
        
          V
          
            i
          
        
        .
      
    
    {\displaystyle \sum _{1}^{s}m_{i}\deg Z_{i}=\prod _{1}^{r}\deg V_{i}.}

The intersection multiplicity mi can be defined as the coefficient of Zi in the intersection product 
 
 
 
 
 V
 
 1
 
 
 ⋅
 ⋯
 ⋅
 
 V
 
 r
 
 
 
 
 {\displaystyle V_{1}\cdot \cdots \cdot V_{r}}
 
 in the <a href="/facts/Chow_ring/2gkmVppG">Chow ring</a> of 
 
 
 
 
 
 P
 
 
 N
 
 
 
 
 {\displaystyle \mathbb {P} ^{N}}
 
.
In particular, if 
 
 
 
 H
 ⊂
 
 
 P
 
 
 N
 
 
 
 
 {\displaystyle H\subset \mathbb {P} ^{N}}
 
 is a hypersurface not containing X, then

∑
          
            1
          
          
            s
          
        
        
          m
          
            i
          
        
        deg
        ⁡
        
          Z
          
            i
          
        
        =
        deg
        ⁡
        (
        X
        )
        deg
        ⁡
        (
        H
        )
      
    
    {\displaystyle \sum _{1}^{s}m_{i}\deg Z_{i}=\deg(X)\deg(H)}

where Zi are the irreducible components of the <a href="/facts/Scheme-theoretic_intersection/ajm2778v">scheme-theoretic intersection</a> of X and H with multiplicity (length of the local ring) mi.
A complex projective variety can be viewed as a <a href="/facts/Compact_complex_manifold/DlvPnpzm">compact complex manifold</a>; the degree of the variety (relative to the embedding) is then the volume of the variety as a manifold with respect to the metric inherited from the ambient <a href="/facts/Complex_projective_space/QmgneIzS">complex projective space</a>. A complex projective variety can be characterized as a minimizer of the volume (in a sense).

<h3>The ring of sections</h3>
Let X be a projective variety and L a line bundle on it. Then the graded ring

R
        (
        X
        ,
        L
        )
        =
        
          ⨁
          
            n
            =
            0
          
          
            ∞
          
        
        
          H
          
            0
          
        
        (
        X
        ,
        
          L
          
            ⊗
            n
          
        
        )
      
    
    {\displaystyle R(X,L)=\bigoplus _{n=0}^{\infty }H^{0}(X,L^{\otimes n})}

is called the <a href="/facts/Ring_of_sections/eh7NLhmS">ring of sections</a> of L. If L is <a href="/facts/Ample_line_bundle/XRQKvXGD">ample</a>, then Proj of this ring is X. Moreover, if X is normal and L is very ample, then 
 
 
 
 R
 (
 X
 ,
 L
 )
 
 
 {\displaystyle R(X,L)}
 
 is the integral closure of the homogeneous coordinate ring of X determined by L; i.e., 
 
 
 
 X
 ↪
 
 
 P
 
 
 N
 
 
 
 
 {\displaystyle X\hookrightarrow \mathbb {P} ^{N}}
 
 so that 
 
 
 
 
 
 
 O
 
 
 
 
 
 P
 
 
 N
 
 
 
 
 (
 1
 )
 
 
 {\displaystyle {\mathcal {O}}_{\mathbb {P} ^{N}}(1)}
 
 pulls-back to L.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a>
For applications, it is useful to allow for <a href="/facts/Divisor_(algebraic_geometry)/V0QDypeo">divisors</a> (or 
 
 
 
 
 Q
 
 
 
 {\displaystyle \mathbb {Q} }
 
-divisors) not just line bundles; assuming X is normal, the resulting ring is then called a generalized ring of sections. If 
 
 
 
 
 K
 
 X
 
 
 
 
 {\displaystyle K_{X}}
 
 is a <a href="/facts/Canonical_divisor/nJKN8mpG">canonical divisor</a> on X, then the generalized ring of sections

R
        (
        X
        ,
        
          K
          
            X
          
        
        )
      
    
    {\displaystyle R(X,K_{X})}

is called the <a href="/facts/Canonical_ring/nATGuzlF">canonical ring</a> of X. If the canonical ring is finitely generated, then Proj of the ring is called the <a href="/facts/Canonical_model/ga8NT5MQ">canonical model</a> of X. The canonical ring or model can then be used to define the <a href="/facts/Kodaira_dimension/dkG0mUuq">Kodaira dimension</a> of X.

<h3>Projective curves</h3>
Further information: <a href="/facts/Algebraic_curve/LnWsPmDP">Algebraic curve</a>
Projective schemes of dimension one are called projective curves. Much of the theory of projective curves is about smooth projective curves, since the <a href="/facts/Singular_point_of_an_algebraic_variety/8nvkrkE9">singularities</a> of curves can be resolved by <a href="/facts/Normalization_of_an_algebraic_variety/TQ6cB9By">normalization</a>, which consists in taking locally the <a href="/facts/Integral_closure/55dAuE39">integral closure</a> of the ring of regular functions. Smooth projective curves are isomorphic if and only if their <a href="/facts/Function_field_of_an_algebraic_variety/54cc62wP">function fields</a> are isomorphic. The study of finite extensions of

F
          
          
            p
          
        
        (
        t
        )
        ,
      
    
    {\displaystyle \mathbb {F} _{p}(t),}

or equivalently smooth projective curves over 
 
 
 
 
 
 F
 
 
 p
 
 
 
 
 {\displaystyle \mathbb {F} _{p}}
 
 is an important branch in <a href="/facts/Algebraic_number_theory/LPzDT5CA">algebraic number theory</a>.<a class="footnote-ref" id="fnref:15" href="#fn:15">15</a>
A smooth projective curve of genus one is called an <a href="/facts/Elliptic_curve/60jvaHSA">elliptic curve</a>. As a consequence of the <a href="/facts/Riemann%25E2%2580%2593Roch_theorem/TRaNyUQA">Riemann–Roch theorem</a>, such a curve can be embedded as a closed subvariety in 
 
 
 
 
 
 P
 
 
 2
 
 
 
 
 {\displaystyle \mathbb {P} ^{2}}
 
. In general, any (smooth) projective curve can be embedded in 
 
 
 
 
 
 P
 
 
 3
 
 
 
 
 {\displaystyle \mathbb {P} ^{3}}
 
 (for a proof, see <a href="/facts/Secant_variety/JRC6dQuE">Secant variety#Examples</a>). Conversely, any smooth closed curve in 
 
 
 
 
 
 P
 
 
 2
 
 
 
 
 {\displaystyle \mathbb {P} ^{2}}
 
 of degree three has genus one by the <a href="/facts/Genus_formula/UCYslT5s">genus formula</a> and is thus an elliptic curve.
A smooth complete curve of genus greater than or equal to two is called a <a href="/facts/Hyperelliptic_curve/sf07gwGS">hyperelliptic curve</a> if there is a finite morphism 
 
 
 
 C
 →
 
 
 P
 
 
 1
 
 
 
 
 {\displaystyle C\to \mathbb {P} ^{1}}
 
 of degree two.<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a>

<h3>Projective hypersurfaces</h3>
Every irreducible closed subset of 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 of codimension one is a <a href="/facts/Hypersurface/cTvtLVsV">hypersurface</a>; i.e., the zero set of some homogeneous irreducible polynomial.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a>

<h3>Abelian varieties</h3>
Another important invariant of a projective variety X is the <a href="/facts/Picard_group/lWH0CoWQ">Picard group</a> 
 
 
 
 Pic
 ⁡
 (
 X
 )
 
 
 {\displaystyle \operatorname {Pic} (X)}
 
 of X, the set of isomorphism classes of line bundles on X. It is isomorphic to 
 
 
 
 
 H
 
 1
 
 
 (
 X
 ,
 
 
 
 O
 
 
 
 X
 
 
 ∗
 
 
 )
 
 
 {\displaystyle H^{1}(X,{\mathcal {O}}_{X}^{*})}
 
 and therefore an intrinsic notion (independent of embedding). For example, the Picard group of 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 is isomorphic to 
 
 
 
 
 Z
 
 
 
 {\displaystyle \mathbb {Z} }
 
 via the degree map. The kernel of 
 
 
 
 deg
 :
 Pic
 ⁡
 (
 X
 )
 →
 
 Z
 
 
 
 {\displaystyle \deg :\operatorname {Pic} (X)\to \mathbb {Z} }
 
 is not only an abstract abelian group, but there is a variety called the <a href="/facts/Jacobian_variety/HFedCxIn">Jacobian variety</a> of X, Jac(X), whose points equal this group. The Jacobian of a (smooth) curve plays an important role in the study of the curve. For example, the Jacobian of an elliptic curve E is E itself. For a curve X of genus g, Jac(X) has dimension g.
Varieties, such as the Jacobian variety, which are complete and have a group structure are known as <a href="/facts/Abelian_variety/dGSDVruG">abelian varieties</a>, in honor of <a href="/facts/Niels_Abel/6kMfdRkT">Niels Abel</a>. In marked contrast to <a href="/facts/Affine_algebraic_group/eMLtu5Nh">affine algebraic groups</a> such as 
 
 
 
 G
 
 L
 
 n
 
 
 (
 k
 )
 
 
 {\displaystyle GL_{n}(k)}
 
, such groups are always commutative, whence the name. Moreover, they admit an ample <a href="/facts/Line_bundle/CupAl1ft">line bundle</a> and are thus projective. On the other hand, an <a href="/facts/Abelian_scheme/dGSDVruG">abelian scheme</a> may not be projective. Examples of abelian varieties are elliptic curves, Jacobian varieties and <a href="/facts/K3_surface/hqbR3jpu">K3 surfaces</a>.

<h2 id="projections">Projections</h2>
Let 
 
 
 
 E
 ⊂
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle E\subset \mathbb {P} ^{n}}
 
 be a linear subspace; i.e., 
 
 
 
 E
 =
 {
 
 s
 
 0
 
 
 =
 
 s
 
 1
 
 
 =
 ⋯
 =
 
 s
 
 r
 
 
 =
 0
 }
 
 
 {\displaystyle E=\{s_{0}=s_{1}=\cdots =s_{r}=0\}}
 
 for some linearly independent linear functionals si. Then the projection from E is the (well-defined) morphism

{
            
              
                
                  ϕ
                  :
                  
                    
                      P
                    
                    
                      n
                    
                  
                  −
                  E
                  →
                  
                    
                      P
                    
                    
                      r
                    
                  
                
              
              
                
                  x
                  ↦
                  [
                  
                    s
                    
                      0
                    
                  
                  (
                  x
                  )
                  :
                  ⋯
                  :
                  
                    s
                    
                      r
                    
                  
                  (
                  x
                  )
                  ]
                
              
            
            
          
        
      
    
    {\displaystyle {\begin{cases}\phi :\mathbb {P} ^{n}-E\to \mathbb {P} ^{r}\\x\mapsto [s_{0}(x):\cdots :s_{r}(x)]\end{cases}}}

The geometric description of this map is as follows:<a class="footnote-ref" id="fnref:18" href="#fn:18">18</a>

<ul><li>We view 
 
 
 
 
 
 P
 
 
 r
 
 
 ⊂
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{r}\subset \mathbb {P} ^{n}}
 
 so that it is disjoint from E. Then, for any 
 
 
 
 x
 ∈
 
 
 P
 
 
 n
 
 
 ∖
 E
 
 
 {\displaystyle x\in \mathbb {P} ^{n}\setminus E}
 
, 
 
 
 
 ϕ
 (
 x
 )
 =
 
 W
 
 x
 
 
 ∩
 
 
 P
 
 
 r
 
 
 ,
 
 
 {\displaystyle \phi (x)=W_{x}\cap \mathbb {P} ^{r},}
 
 where 
 
 
 
 
 W
 
 x
 
 
 
 
 {\displaystyle W_{x}}
 
 denotes the smallest linear space containing E and x (called the <a href="/facts/Join_(algebraic_geometry)/U8WUMgSz">join</a> of E and x.)</li>
<li>
 
 
 
 
 ϕ
 
 −
 1
 
 
 (
 {
 
 y
 
 i
 
 
 ≠
 0
 }
 )
 =
 {
 
 s
 
 i
 
 
 ≠
 0
 }
 ,
 
 
 {\displaystyle \phi ^{-1}(\{y_{i}\neq 0\})=\{s_{i}\neq 0\},}
 
 where 
 
 
 
 
 y
 
 i
 
 
 
 
 {\displaystyle y_{i}}
 
 are the homogeneous coordinates on 
 
 
 
 
 
 P
 
 
 r
 
 
 .
 
 
 {\displaystyle \mathbb {P} ^{r}.}
 
</li>
<li>For any closed subscheme 
 
 
 
 Z
 ⊂
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle Z\subset \mathbb {P} ^{n}}
 
 disjoint from E, the restriction 
 
 
 
 ϕ
 :
 Z
 →
 
 
 P
 
 
 r
 
 
 
 
 {\displaystyle \phi :Z\to \mathbb {P} ^{r}}
 
 is a <a href="/facts/Finite_morphism/djrynAmJ">finite morphism</a>.<a class="footnote-ref" id="fnref:19" href="#fn:19">19</a></li></ul>
Projections can be used to cut down the dimension in which a projective variety is embedded, up to <a href="/facts/Finite_morphism/djrynAmJ">finite morphisms</a>. Start with some projective variety 
 
 
 
 X
 ⊂
 
 
 P
 
 
 n
 
 
 .
 
 
 {\displaystyle X\subset \mathbb {P} ^{n}.}
 
 If 
 
 
 
 n
 >
 dim
 ⁡
 X
 ,
 
 
 {\displaystyle n>\dim X,}
 
 the projection from a point not on X gives 
 
 
 
 ϕ
 :
 X
 →
 
 
 P
 
 
 n
 −
 1
 
 
 .
 
 
 {\displaystyle \phi :X\to \mathbb {P} ^{n-1}.}
 
 Moreover, 
 
 
 
 ϕ
 
 
 {\displaystyle \phi }
 
 is a finite map to its image. Thus, iterating the procedure, one sees there is a finite map

X
        →
        
          
            P
          
          
            d
          
        
        ,
        
        d
        =
        dim
        ⁡
        X
        .
      
    
    {\displaystyle X\to \mathbb {P} ^{d},\quad d=\dim X.}

This result is the projective analog of <a href="/facts/Noether%2527s_normalization_lemma/a7jpWIHv">Noether's normalization lemma</a>. (In fact, it yields a geometric proof of the normalization lemma.)
The same procedure can be used to show the following slightly more precise result: given a projective variety X over a perfect field, there is a finite birational morphism from X to a hypersurface H in 
 
 
 
 
 
 P
 
 
 d
 +
 1
 
 
 .
 
 
 {\displaystyle \mathbb {P} ^{d+1}.}
 
<a class="footnote-ref" id="fnref:20" href="#fn:20">20</a> In particular, if X is normal, then it is the normalization of H.

<h2 id="duality-and-linear-system">Duality and linear system</h2>
While a projective n-space 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 parameterizes the lines in an affine n-space, the <a href="/facts/Dual_projective_space/dxrjhRbB">dual</a> of it parametrizes the hyperplanes on the projective space, as follows. Fix a field k. By 
 
 
 
 
 
 
 
 
 P
 
 ˘
 
 
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle {\breve {\mathbb {P} }}_{k}^{n}}
 
, we mean a projective n-space

P
                
                ˘
              
            
          
          
            k
          
          
            n
          
        
        =
        Proj
        ⁡
        (
        k
        [
        
          u
          
            0
          
        
        ,
        …
        ,
        
          u
          
            n
          
        
        ]
        )
      
    
    {\displaystyle {\breve {\mathbb {P} }}_{k}^{n}=\operatorname {Proj} (k[u_{0},\dots ,u_{n}])}

equipped with the construction:

f
        ↦
        
          H
          
            f
          
        
        =
        {
        
          α
          
            0
          
        
        
          x
          
            0
          
        
        +
        ⋯
        +
        
          α
          
            n
          
        
        
          x
          
            n
          
        
        =
        0
        }
      
    
    {\displaystyle f\mapsto H_{f}=\{\alpha _{0}x_{0}+\cdots +\alpha _{n}x_{n}=0\}}
  
, a hyperplane on 
  
    
      
        
          
            P
          
          
            L
          
          
            n
          
        
      
    
    {\displaystyle \mathbb {P} _{L}^{n}}

where 
 
 
 
 f
 :
 Spec
 ⁡
 L
 →
 
 
 
 
 
 P
 
 ˘
 
 
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle f:\operatorname {Spec} L\to {\breve {\mathbb {P} }}_{k}^{n}}
 
 is an <a href="/facts/Rational_point/j5v4cxuE">L-point</a> of 
 
 
 
 
 
 
 
 
 P
 
 ˘
 
 
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle {\breve {\mathbb {P} }}_{k}^{n}}
 
 for a field extension L of k and 
 
 
 
 
 α
 
 i
 
 
 =
 
 f
 
 ∗
 
 
 (
 
 u
 
 i
 
 
 )
 ∈
 L
 .
 
 
 {\displaystyle \alpha _{i}=f^{*}(u_{i})\in L.}

For each L, the construction is a bijection between the set of L-points of 
 
 
 
 
 
 
 
 
 P
 
 ˘
 
 
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle {\breve {\mathbb {P} }}_{k}^{n}}
 
 and the set of hyperplanes on 
 
 
 
 
 
 P
 
 
 L
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} _{L}^{n}}
 
. Because of this, the dual projective space 
 
 
 
 
 
 
 
 
 P
 
 ˘
 
 
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle {\breve {\mathbb {P} }}_{k}^{n}}
 
 is said to be the <a href="/facts/Moduli_space/9sqrdpwR">moduli space</a> of hyperplanes on 
 
 
 
 
 
 P
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} _{k}^{n}}
 
.
A line in 
 
 
 
 
 
 
 
 
 P
 
 ˘
 
 
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle {\breve {\mathbb {P} }}_{k}^{n}}
 
 is called a <a href="/facts/Pencil_(algebraic_geometry)/b75bj3wd">pencil</a>: it is a family of hyperplanes on 
 
 
 
 
 
 P
 
 
 k
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} _{k}^{n}}
 
 parametrized by 
 
 
 
 
 
 P
 
 
 k
 
 
 1
 
 
 
 
 {\displaystyle \mathbb {P} _{k}^{1}}
 
.
If V is a finite-dimensional vector space over k, then, for the same reason as above, 
 
 
 
 
 P
 
 (
 
 V
 
 ∗
 
 
 )
 =
 Proj
 ⁡
 (
 Sym
 ⁡
 (
 V
 )
 )
 
 
 {\displaystyle \mathbb {P} (V^{*})=\operatorname {Proj} (\operatorname {Sym} (V))}
 
 is the space of hyperplanes on 
 
 
 
 
 P
 
 (
 V
 )
 
 
 {\displaystyle \mathbb {P} (V)}
 
. An important case is when V consists of sections of a line bundle. Namely, let X be an algebraic variety, L a line bundle on X and 
 
 
 
 V
 ⊂
 Γ
 (
 X
 ,
 L
 )
 
 
 {\displaystyle V\subset \Gamma (X,L)}
 
 a vector subspace of finite positive dimension. Then there is a map:<a class="footnote-ref" id="fnref:21" href="#fn:21">21</a>

{
            
              
                
                  
                    φ
                    
                      V
                    
                  
                  :
                  X
                  ∖
                  B
                  →
                  
                    P
                  
                  (
                  
                    V
                    
                      ∗
                    
                  
                  )
                
              
              
                
                  x
                  ↦
                  
                    H
                    
                      x
                    
                  
                  =
                  {
                  s
                  ∈
                  V
                  
                    |
                  
                  s
                  (
                  x
                  )
                  =
                  0
                  }
                
              
            
            
          
        
      
    
    {\displaystyle {\begin{cases}\varphi _{V}:X\setminus B\to \mathbb {P} (V^{*})\\x\mapsto H_{x}=\{s\in V|s(x)=0\}\end{cases}}}

determined by the linear system V, where B, called the <a href="/facts/Base_locus/L8zleDlj">base locus</a>, is the <a href="/facts/Scheme-theoretic_intersection/ajm2778v">intersection</a> of the divisors of zero of nonzero sections in V (see <a href="/facts/Linear_system_of_divisors/L8zleDlj">Linear system of divisors#A map determined by a linear system</a> for the construction of the map).

<h2 id="cohomology-of-coherent-sheaves">Cohomology of coherent sheaves</h2>
Main article: <a href="/facts/Coherent_sheaf/h2NoUN7e">coherent sheaf</a>
Let X be a projective scheme over a field (or, more generally over a Noetherian ring A). <a href="/facts/Coherent_cohomology/BKAxIzgW">Cohomology of coherent sheaves</a> 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
 on X satisfies the following important theorems due to Serre:

<ol><li>
 
 
 
 
 H
 
 p
 
 
 (
 X
 ,
 
 
 F
 
 
 )
 
 
 {\displaystyle H^{p}(X,{\mathcal {F}})}
 
 is a finite-dimensional k-vector space for any p.</li>
<li>There exists an integer 
 
 
 
 
 n
 
 0
 
 
 
 
 {\displaystyle n_{0}}
 
 (depending on 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
; see also <a href="/facts/Castelnuovo%25E2%2580%2593Mumford_regularity/locb0cDU">Castelnuovo–Mumford regularity</a>) such that 
 
 
 
 
 H
 
 p
 
 
 (
 X
 ,
 
 
 F
 
 
 (
 n
 )
 )
 =
 0
 
 
 {\displaystyle H^{p}(X,{\mathcal {F}}(n))=0}
 
 for all 
 
 
 
 n
 ≥
 
 n
 
 0
 
 
 
 
 {\displaystyle n\geq n_{0}}
 
 and p > 0, where 
 
 
 
 
 
 F
 
 
 (
 n
 )
 =
 
 
 F
 
 
 ⊗
 
 
 O
 
 
 (
 n
 )
 
 
 {\displaystyle {\mathcal {F}}(n)={\mathcal {F}}\otimes {\mathcal {O}}(n)}
 
 is the twisting with a power of a very ample line bundle 
 
 
 
 
 
 O
 
 
 (
 1
 )
 .
 
 
 {\displaystyle {\mathcal {O}}(1).}
 
</li></ol>
These results are proven reducing to the case 
 
 
 
 X
 =
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle X=\mathbb {P} ^{n}}
 
 using the isomorphism

H
          
            p
          
        
        (
        X
        ,
        
          
            F
          
        
        )
        =
        
          H
          
            p
          
        
        (
        
          
            P
          
          
            r
          
        
        ,
        
          
            F
          
        
        )
        ,
        p
        ≥
        0
      
    
    {\displaystyle H^{p}(X,{\mathcal {F}})=H^{p}(\mathbb {P} ^{r},{\mathcal {F}}),p\geq 0}

where in the right-hand side 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
 is viewed as a sheaf on the projective space by extension by zero.<a class="footnote-ref" id="fnref:22" href="#fn:22">22</a> The result then follows by a direct computation for 
 
 
 
 
 
 F
 
 
 =
 
 
 
 O
 
 
 
 
 
 P
 
 
 r
 
 
 
 
 (
 n
 )
 ,
 
 
 {\displaystyle {\mathcal {F}}={\mathcal {O}}_{\mathbb {P} ^{r}}(n),}
 
 n any integer, and for arbitrary 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
 reduces to this case without much difficulty.<a class="footnote-ref" id="fnref:23" href="#fn:23">23</a>
As a corollary to 1. above, if f is a projective morphism from a noetherian scheme to a noetherian ring, then the higher direct image 
 
 
 
 
 R
 
 p
 
 
 
 f
 
 ∗
 
 
 
 
 F
 
 
 
 
 {\displaystyle R^{p}f_{*}{\mathcal {F}}}
 
 is coherent. The same result holds for proper morphisms f, as can be shown with the aid of <a href="/facts/Chow%2527s_lemma/meELWWmv">Chow's lemma</a>.
<a href="/facts/Sheaf_cohomology/TrcpmD6k">Sheaf cohomology</a> groups Hi on a noetherian topological space vanish for i strictly greater than the dimension of the space. Thus the quantity, called the <a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a> of 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
,

χ
        (
        
          
            F
          
        
        )
        =
        
          ∑
          
            i
            =
            0
          
          
            ∞
          
        
        (
        −
        1
        
          )
          
            i
          
        
        dim
        ⁡
        
          H
          
            i
          
        
        (
        X
        ,
        
          
            F
          
        
        )
      
    
    {\displaystyle \chi ({\mathcal {F}})=\sum _{i=0}^{\infty }(-1)^{i}\dim H^{i}(X,{\mathcal {F}})}

is a well-defined integer (for X projective). One can then show 
 
 
 
 χ
 (
 
 
 F
 
 
 (
 n
 )
 )
 =
 P
 (
 n
 )
 
 
 {\displaystyle \chi ({\mathcal {F}}(n))=P(n)}
 
 for some polynomial P over rational numbers.<a class="footnote-ref" id="fnref:24" href="#fn:24">24</a> Applying this procedure to the structure sheaf 
 
 
 
 
 
 
 O
 
 
 
 X
 
 
 
 
 {\displaystyle {\mathcal {O}}_{X}}
 
, one recovers the Hilbert polynomial of X. In particular, if X is irreducible and has dimension r, the arithmetic genus of X is given by

(
        −
        1
        
          )
          
            r
          
        
        (
        χ
        (
        
          
            
              O
            
          
          
            X
          
        
        )
        −
        1
        )
        ,
      
    
    {\displaystyle (-1)^{r}(\chi ({\mathcal {O}}_{X})-1),}

which is manifestly intrinsic; i.e., independent of the embedding.
The arithmetic genus of a hypersurface of degree d is 
 
 
 
 
 
 
 (
 
 
 
 d
 −
 1
 
 n
 
 
 )
 
 
 
 
 
 {\displaystyle {\binom {d-1}{n}}}
 
 in 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
. In particular, a smooth curve of degree d in 
 
 
 
 
 
 P
 
 
 2
 
 
 
 
 {\displaystyle \mathbb {P} ^{2}}
 
 has arithmetic genus 
 
 
 
 (
 d
 −
 1
 )
 (
 d
 −
 2
 )
 
 /
 
 2
 
 
 {\displaystyle (d-1)(d-2)/2}
 
. This is the <a href="/facts/Genus_formula/UCYslT5s">genus formula</a>.

<h2 id="smooth-projective-varieties">Smooth projective varieties</h2>
Let X be a smooth projective variety where all of its irreducible components have dimension n. In this situation, the <a href="/facts/Canonical_sheaf/nJKN8mpG">canonical sheaf</a> ωX, defined as the sheaf of <a href="/facts/K%25C3%25A4hler_differential/1aPfygbf">Kähler differentials</a> of top degree (i.e., algebraic n-forms), is a line bundle.

<h3>Serre duality</h3>
<a href="/facts/Serre_duality/qAKpXPM8">Serre duality</a> states that for any locally free sheaf 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
 on X,

H
          
            i
          
        
        (
        X
        ,
        
          
            F
          
        
        )
        ≃
        
          H
          
            n
            −
            i
          
        
        (
        X
        ,
        
          
            
              F
            
          
          
            ∨
          
        
        ⊗
        
          ω
          
            X
          
        
        
          )
          ′
        
      
    
    {\displaystyle H^{i}(X,{\mathcal {F}})\simeq H^{n-i}(X,{\mathcal {F}}^{\vee }\otimes \omega _{X})'}

where the superscript prime refers to the dual space and 
 
 
 
 
 
 
 F
 
 
 
 ∨
 
 
 
 
 {\displaystyle {\mathcal {F}}^{\vee }}
 
 is the dual sheaf of 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
.
A generalization to projective, but not necessarily smooth schemes is known as <a href="/facts/Verdier_duality/moQWLPdQ">Verdier duality</a>.

<h3>Riemann–Roch theorem</h3>
For a (smooth projective) curve X, H2 and higher vanish for dimensional reason and the space of the global sections of the structure sheaf is one-dimensional. Thus the arithmetic genus of X is the dimension of 
 
 
 
 
 H
 
 1
 
 
 (
 X
 ,
 
 
 
 O
 
 
 
 X
 
 
 )
 
 
 {\displaystyle H^{1}(X,{\mathcal {O}}_{X})}
 
. By definition, the <a href="/facts/Geometric_genus/S2oQVNCb">geometric genus</a> of X is the dimension of H0(X, ωX). Serre duality thus implies that the arithmetic genus and the geometric genus coincide. They will simply be called the genus of X.
Serre duality is also a key ingredient in the proof of the <a href="/facts/Riemann%25E2%2580%2593Roch_theorem/TRaNyUQA">Riemann–Roch theorem</a>. Since X is smooth, there is an isomorphism of groups

{
            
              
                
                  Cl
                  ⁡
                  (
                  X
                  )
                  →
                  Pic
                  ⁡
                  (
                  X
                  )
                
              
              
                
                  D
                  ↦
                  
                    
                      O
                    
                  
                  (
                  D
                  )
                
              
            
            
          
        
      
    
    {\displaystyle {\begin{cases}\operatorname {Cl} (X)\to \operatorname {Pic} (X)\\D\mapsto {\mathcal {O}}(D)\end{cases}}}

from the group of <a href="/facts/Weil_divisor/V0QDypeo">(Weil) divisors</a> modulo principal divisors to the group of isomorphism classes of line bundles. A divisor corresponding to ωX is called the canonical divisor and is denoted by K. Let l(D) be the dimension of 
 
 
 
 
 H
 
 0
 
 
 (
 X
 ,
 
 
 O
 
 
 (
 D
 )
 )
 
 
 {\displaystyle H^{0}(X,{\mathcal {O}}(D))}
 
. Then the Riemann–Roch theorem states: if g is a genus of X,

l
        (
        D
        )
        −
        l
        (
        K
        −
        D
        )
        =
        deg
        ⁡
        D
        +
        1
        −
        g
        ,
      
    
    {\displaystyle l(D)-l(K-D)=\deg D+1-g,}

for any divisor D on X. By the Serre duality, this is the same as:

χ
        (
        
          
            O
          
        
        (
        D
        )
        )
        =
        deg
        ⁡
        D
        +
        1
        −
        g
        ,
      
    
    {\displaystyle \chi ({\mathcal {O}}(D))=\deg D+1-g,}

which can be readily proved.<a class="footnote-ref" id="fnref:25" href="#fn:25">25</a> A generalization of the Riemann–Roch theorem to higher dimension is the <a href="/facts/Hirzebruch%25E2%2580%2593Riemann%25E2%2580%2593Roch_theorem/PxsJ0BSm">Hirzebruch–Riemann–Roch theorem</a>, as well as the far-reaching <a href="/facts/Grothendieck%25E2%2580%2593Riemann%25E2%2580%2593Roch_theorem/hh5nyYA9">Grothendieck–Riemann–Roch theorem</a>.

<h2 id="hilbert-schemes">Hilbert schemes</h2>
<a href="/facts/Hilbert_scheme/kJcbts4e">Hilbert schemes</a> parametrize all closed subvarieties of a projective scheme X in the sense that the points (in the functorial sense) of H correspond to the closed subschemes of X. As such, the Hilbert scheme is an example of a <a href="/facts/Moduli_space/9sqrdpwR">moduli space</a>, i.e., a geometric object whose points parametrize other geometric objects. More precisely, the Hilbert scheme parametrizes closed subvarieties whose <a href="/facts/Hilbert_polynomial/FtFu54gb">Hilbert polynomial</a> equals a prescribed polynomial P.<a class="footnote-ref" id="fnref:26" href="#fn:26">26</a> It is a deep theorem of Grothendieck that there is a scheme<a class="footnote-ref" id="fnref:27" href="#fn:27">27</a> 
 
 
 
 
 H
 
 X
 
 
 P
 
 
 
 
 {\displaystyle H_{X}^{P}}
 
 over k such that, for any k-scheme T, there is a bijection

{
        
          morphisms 
        
        T
        →
        
          H
          
            X
          
          
            P
          
        
        }
         
         
        ⟷
         
         
        {
        
          closed subschemes of 
        
        X
        
          ×
          
            k
          
        
        T
        
           flat over 
        
        T
        ,
        
           with Hilbert polynomial 
        
        P
        .
        }
      
    
    {\displaystyle \{{\text{morphisms }}T\to H_{X}^{P}\}\ \ \longleftrightarrow \ \ \{{\text{closed subschemes of }}X\times _{k}T{\text{ flat over }}T,{\text{ with Hilbert polynomial }}P.\}}

The closed subscheme of 
 
 
 
 X
 ×
 
 H
 
 X
 
 
 P
 
 
 
 
 {\displaystyle X\times H_{X}^{P}}
 
 that corresponds to the identity map 
 
 
 
 
 H
 
 X
 
 
 P
 
 
 →
 
 H
 
 X
 
 
 P
 
 
 
 
 {\displaystyle H_{X}^{P}\to H_{X}^{P}}
 
 is called the universal family.
For 
 
 
 
 P
 (
 z
 )
 =
 
 
 
 (
 
 
 
 z
 +
 r
 
 r
 
 
 )
 
 
 
 
 
 {\displaystyle P(z)={\binom {z+r}{r}}}
 
, the Hilbert scheme 
 
 
 
 
 H
 
 
 
 P
 
 
 n
 
 
 
 
 P
 
 
 
 
 {\displaystyle H_{\mathbb {P} ^{n}}^{P}}
 
 is called the <a href="/facts/Grassmannian/QcmgLRq8">Grassmannian</a> of r-planes in 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 and, if X is a projective scheme, 
 
 
 
 
 H
 
 X
 
 
 P
 
 
 
 
 {\displaystyle H_{X}^{P}}
 
 is called the <a href="/facts/Fano_scheme/or8RszIv">Fano scheme</a> of r-planes on X.<a class="footnote-ref" id="fnref:28" href="#fn:28">28</a>

<h2 id="complex-projective-varieties">Complex projective varieties</h2>
See also: <a href="/facts/Complex_projective_space/QmgneIzS">Complex projective space</a>
In this section, all algebraic varieties are <a href="/facts/Complex_number/2w7mqI7e">complex</a> algebraic varieties. A key feature of the theory of complex projective varieties is the combination of algebraic and analytic methods. The transition between these theories is provided by the following link: since any complex polynomial is also a holomorphic function, any complex variety X yields a complex <a href="/facts/Analytic_space/8HFHXela">analytic space</a>, denoted 
 
 
 
 X
 (
 
 C
 
 )
 
 
 {\displaystyle X(\mathbb {C} )}
 
. Moreover, geometric properties of X are reflected by the ones of 
 
 
 
 X
 (
 
 C
 
 )
 
 
 {\displaystyle X(\mathbb {C} )}
 
. For example, the latter is a <a href="/facts/Complex_manifold/DlvPnpzm">complex manifold</a> if and only if X is smooth; it is compact if and only if X is proper over 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
.

<h3>Relation to complex Kähler manifolds</h3>
Complex projective space is a <a href="/facts/K%25C3%25A4hler_manifold/JFPM6Vxg">Kähler manifold</a>. This implies that, for any projective algebraic variety X, 
 
 
 
 X
 (
 
 C
 
 )
 
 
 {\displaystyle X(\mathbb {C} )}
 
 is a compact Kähler manifold. The converse is not in general true, but the <a href="/facts/Kodaira_embedding_theorem/0MXcAdz5">Kodaira embedding theorem</a> gives a criterion for a Kähler manifold to be projective.
In low dimensions, there are the following results:

<ul><li>(Riemann) A <a href="/facts/Compact_Riemann_surface/qoj8ogv8">compact Riemann surface</a> (i.e., compact complex manifold of dimension one) is a projective variety. By the <a href="/facts/Torelli_theorem/LPyL03tp">Torelli theorem</a>, it is uniquely determined by its Jacobian.</li>
<li>(Chow-Kodaira) A compact <a href="/facts/Complex_manifold/DlvPnpzm">complex manifold</a> of dimension two with two algebraically independent <a href="/facts/Meromorphic_function/LeNBd6Sh">meromorphic functions</a> is a projective variety.<a class="footnote-ref" id="fnref:29" href="#fn:29">29</a></li></ul>
<h3>GAGA and Chow's theorem</h3>
<a href="/facts/Algebraic_geometry_and_analytic_geometry/k2ltJ1Ue">Chow's theorem</a> provides a striking way to go the other way, from analytic to algebraic geometry. It states that every analytic subvariety of a complex projective space is algebraic. The theorem may be interpreted to saying that a <a href="/facts/Holomorphic_function/kVzthtEf">holomorphic function</a> satisfying certain growth condition is necessarily algebraic: "projective" provides this growth condition. One can deduce from the theorem the following:

<ul><li>Meromorphic functions on the complex projective space are rational.</li>
<li>If an algebraic map between algebraic varieties is an analytic <a href="/facts/Isomorphism/pj8KgkxU">isomorphism</a>, then it is an (algebraic) isomorphism. (This part is a basic fact in complex analysis.) In particular, Chow's theorem implies that a holomorphic map between projective varieties is algebraic. (consider the graph of such a map.)</li>
<li>Every <a href="/facts/Holomorphic_vector_bundle/FeRrK9Bg">holomorphic vector bundle</a> on a projective variety is induced by a unique algebraic vector bundle.<a class="footnote-ref" id="fnref:30" href="#fn:30">30</a></li>
<li>Every holomorphic line bundle on a projective variety is a line bundle of a divisor.<a class="footnote-ref" id="fnref:31" href="#fn:31">31</a></li></ul>
Chow's theorem can be shown via Serre's <a href="/facts/Algebraic_geometry_and_analytic_geometry/k2ltJ1Ue">GAGA principle</a>. Its main theorem states:

Let X be a projective scheme over 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
. Then the functor associating the coherent sheaves on X to the coherent sheaves on the corresponding complex analytic space Xan is an equivalence of categories. Furthermore, the natural maps

H
          
            i
          
        
        (
        X
        ,
        
          
            F
          
        
        )
        →
        
          H
          
            i
          
        
        (
        
          X
          
            an
          
        
        ,
        
          
            F
          
        
        )
      
    
    {\displaystyle H^{i}(X,{\mathcal {F}})\to H^{i}(X^{\text{an}},{\mathcal {F}})}

are isomorphisms for all i and all coherent sheaves 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
 on X.<a class="footnote-ref" id="fnref:32" href="#fn:32">32</a>
<h3>Complex tori vs. complex abelian varieties</h3>
The complex manifold associated to an abelian variety A over 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
 is a compact <a href="/facts/Complex_Lie_group/uLUETfpT">complex Lie group</a>. These can be shown to be of the form

C
          
          
            g
          
        
        
          /
        
        L
      
    
    {\displaystyle \mathbb {C} ^{g}/L}

and are also referred to as <a href="/facts/Complex_torus/nh9BNgYU">complex tori</a>. Here, g is the dimension of the torus and L is a lattice (also referred to as <a href="/facts/Period_lattice/DsPofQqG">period lattice</a>).
According to the <a href="/facts/Uniformization_theorem/mEa8a6IQ">uniformization theorem</a> already mentioned above, any torus of dimension 1 arises from an abelian variety of dimension 1, i.e., from an <a href="/facts/Elliptic_curve/60jvaHSA">elliptic curve</a>. In fact, the <a href="/facts/Weierstrass%2527s_elliptic_function/GHRXDknk">Weierstrass's elliptic function</a> 
 
 
 
 ℘
 
 
 {\displaystyle \wp }
 
 attached to L satisfies a certain differential equation and as a consequence it defines a closed immersion:<a class="footnote-ref" id="fnref:33" href="#fn:33">33</a>

{
            
              
                
                  
                    C
                  
                  
                    /
                  
                  L
                  →
                  
                    
                      P
                    
                    
                      2
                    
                  
                
              
              
                
                  L
                  ↦
                  (
                  0
                  :
                  0
                  :
                  1
                  )
                
              
              
                
                  z
                  ↦
                  (
                  1
                  :
                  ℘
                  (
                  z
                  )
                  :
                  
                    ℘
                    ′
                  
                  (
                  z
                  )
                  )
                
              
            
            
          
        
      
    
    {\displaystyle {\begin{cases}\mathbb {C} /L\to \mathbb {P} ^{2}\\L\mapsto (0:0:1)\\z\mapsto (1:\wp (z):\wp '(z))\end{cases}}}

There is a p-adic analog, the p-adic uniformization theorem.
For higher dimensions, the notions of complex abelian varieties and complex tori differ: only <a href="/facts/Polarization_of_an_algebraic_form/ysDI99Eo">polarized</a> complex tori come from abelian varieties.

<h3>Kodaira vanishing</h3>
The fundamental <a href="/facts/Kodaira_vanishing_theorem/LzQ2n67K">Kodaira vanishing theorem</a> states that for an ample line bundle 
 
 
 
 
 
 L
 
 
 
 
 {\displaystyle {\mathcal {L}}}
 
 on a smooth projective variety X over a field of characteristic zero,

H
          
            i
          
        
        (
        X
        ,
        
          
            L
          
        
        ⊗
        
          ω
          
            X
          
        
        )
        =
        0
      
    
    {\displaystyle H^{i}(X,{\mathcal {L}}\otimes \omega _{X})=0}

for i > 0, or, equivalently by Serre duality 
 
 
 
 
 H
 
 i
 
 
 (
 X
 ,
 
 
 
 L
 
 
 
 −
 1
 
 
 )
 =
 0
 
 
 {\displaystyle H^{i}(X,{\mathcal {L}}^{-1})=0}
 
 for i < n.<a class="footnote-ref" id="fnref:34" href="#fn:34">34</a> The first proof of this theorem used analytic methods of Kähler geometry, but a purely algebraic proof was found later. The Kodaira vanishing in general fails for a smooth projective variety in positive characteristic. Kodaira's theorem is one of various vanishing theorems, which give criteria for higher sheaf cohomologies to vanish. Since the Euler characteristic of a sheaf (see above) is often more manageable than individual cohomology groups, this often has important consequences about the geometry of projective varieties.<a class="footnote-ref" id="fnref:35" href="#fn:35">35</a>

<h2 id="related-notions">Related notions</h2>
<ul><li><a href="/facts/Multi-projective_variety/Jq3XWEMQ">Multi-projective variety</a></li>
<li>Weighted projective variety, a closed subvariety of a <a href="/facts/Weighted_projective_space/rFv3NeHL">weighted projective space</a><a class="footnote-ref" id="fnref:36" href="#fn:36">36</a></li></ul>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Algebraic_geometry_of_projective_spaces/zz71m6Kf">Algebraic geometry of projective spaces</a></li>
<li><a href="/facts/Adequate_equivalence_relation/Bgj5eIU0">Adequate equivalence relation</a></li>
<li><a href="/facts/Hilbert_scheme/kJcbts4e">Hilbert scheme</a></li>
<li><a href="/facts/Lefschetz_hyperplane_theorem/GzH8FaHG">Lefschetz hyperplane theorem</a></li>
<li><a href="/facts/Minimal_model_program/f15RyS0J">Minimal model program</a></li></ul>
<h2 id="notes">Notes</h2>

<ul><li><a href="/facts/David_Eisenbud/hw2yEnnx">Eisenbud, David</a>; Harris, Joe (2000), The geometry of schemes</li>
<li>Fulton, William (1998), Intersection theory, <a href="/facts/Ergebnisse_der_Mathematik_und_ihrer_Grenzgebiete/b55RDyX6">Ergebnisse der Mathematik und ihrer Grenzgebiete</a>. 3. Folge., vol. 2 (2nd ed.), Berlin, New York: <a href="/facts/Springer-Verlag/nAesf6nT">Springer-Verlag</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-62046-4, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1644323">1644323</a></li>
<li>Griffiths, Phillip A.; Adams, John Frank (8 March 2015). <a href="https://books.google.com/books?hl=en&lr=&id=X3Z9BgAAQBAJ&pg=PR5">Topics in Algebraic and Analytic Geometry. (MN-13), Volume 13: Notes From a Course of Phillip Griffiths</a>. Princeton University Press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4008-6926-8.</li>
<li><a href="/facts/Robin_Hartshorne/mCBLyIW6">Hartshorne, Robin</a> (1977), <a href="/facts/Algebraic_Geometry_(book)/YcAhHWBj">Algebraic Geometry</a>, <a href="/facts/Graduate_Texts_in_Mathematics/VTIfY29j">Graduate Texts in Mathematics</a>, vol. 52, New York: Springer-Verlag, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-90244-9, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157">0463157</a></li>
<li><a href="/facts/Daniel_Huybrechts/FxdBgxvq">Huybrechts, Daniel</a> (2005). Complex Geometry: An Introduction. Springer. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-21290-4.</li>
<li><a href="/facts/Alexander_Grothendieck/jLQGPY7M">Grothendieck, Alexandre</a>; <a href="/facts/Jean_Dieudonn%25C3%25A9/gWagzMdu">Dieudonné, Jean</a> (1961). <a href="http://www.numdam.org/item/PMIHES_1961__8__5_0">"Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classes de morphismes"</a>. <a href="/facts/Publications_Math%25C3%25A9matiques_de_l%2527IH%25C3%2589S/2ur5ofxL">Publications Mathématiques de l'IHÉS</a>. 8. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fbf02699291">10.1007/bf02699291</a>. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0217084">0217084</a>.</li>
<li><a href="/facts/J%25C3%25A1nos_Koll%25C3%25A1r/KxRomFjD">Kollár, János</a>, <a href="https://web.math.princeton.edu/~kollar/">Book on Moduli of Surfaces</a></li>
<li><a href="/facts/J%25C3%25A1nos_Koll%25C3%25A1r/KxRomFjD">Kollár, János</a> (1996), Rational curves on algebraic varieties</li>
<li><a href="/facts/David_Mumford/WJoJ8K2u">Mumford, David</a> (1970), Abelian Varieties</li>
<li><a href="/facts/David_Mumford/WJoJ8K2u">Mumford, David</a> (1995), Algebraic Geometry I: Complex Projective Varieties</li>
<li><a href="/facts/David_Mumford/WJoJ8K2u">Mumford, David</a> (1999), The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians, Lecture Notes in Mathematics, vol. 1358 (2nd ed.), <a href="/facts/Springer-Verlag/nAesf6nT">Springer-Verlag</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fb62130">10.1007/b62130</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3540632931</li>
<li>Mumford, David; <a href="/facts/Tadao_Oda/kptLPWA5">Oda, Tadao</a> (2015). <a href="http://www.math.upenn.edu/~chai/624_08/math624_08.html">Algebraic Geometry II</a>.</li>
<li><a href="/facts/Igor_Shafarevich/n6UINBX1">Igor Shafarevich</a> (1995). <a href="https://archive.org/details/basicalgebraicge00irsh">Basic Algebraic Geometry I: Varieties in Projective Space</a> (2nd ed.). <a href="/facts/Springer_Science%252BBusiness_Media/nAesf6nT">Springer-Verlag</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-387-54812-8.</li>
<li>R. Vakil, <a href="http://math.stanford.edu/~vakil/216blog/">Foundations Of Algebraic Geometry</a></li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://rigtriv.wordpress.com/2008/07/18/the-hilbert-scheme/">The Hilbert Scheme</a> by Charles Siegel - a blog post</li>
<li><a href="http://www.math.uwaterloo.ca/~moraru/764ProjectiveVarieties.pdf">Projective varieties Ch. 1 </a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Kollár & Moduli, Ch I. - Kollár, János, Book on Moduli of Surfaces <a href="https://web.math.princeton.edu/~kollar/" target="_blank">https://web.math.princeton.edu/~kollar/</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Shafarevich, Igor R. (1994), Basic Algebraic Geometry 1: Varieties in Projective Space, Springer <a href="/wiki/Igor_Shafarevich" target="_blank">/wiki/Igor_Shafarevich</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">This homogeneous ideal is sometimes called the homogenization of I. <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Mumford 1999, pg. 82 - Mumford, David (1999), The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians, Lecture Notes in Mathematics, vol. 1358 (2nd ed.), Springer-Verlag, doi:10.1007/b62130, ISBN 978-3540632931 <a href="https://doi.org/10.1007%2Fb62130" target="_blank">https://doi.org/10.1007%2Fb62130</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Hartshorne 1977, Section II.5 - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Mumford 1999, pg. 111 - Mumford, David (1999), The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians, Lecture Notes in Mathematics, vol. 1358 (2nd ed.), Springer-Verlag, doi:10.1007/b62130, ISBN 978-3540632931 <a href="https://doi.org/10.1007%2Fb62130" target="_blank">https://doi.org/10.1007%2Fb62130</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">This definition differs from Eisenbud & Harris 2000, III.2.3 but is consistent with the other parts of Wikipedia. - Eisenbud, David; Harris, Joe (2000), The geometry of schemes <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">cf. the proof of Hartshorne 1977, Ch II, Theorem 7.1 - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Grothendieck & Dieudonné 1961, 5.6 - Grothendieck, Alexandre; Dieudonné, Jean (1961). "Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classes de morphismes". Publications Mathématiques de l'IHÉS. 8. doi:10.1007/bf02699291. MR 0217084. <a href="http://www.numdam.org/item/PMIHES_1961__8__5_0" target="_blank">http://www.numdam.org/item/PMIHES_1961__8__5_0</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Hartshorne 1977, Ch II. Exercise 4.5 - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Humphreys, James (1981), Linear algebraic groups, Springer, Theorem 21.3 <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Hartshorne 1977, Ch. V, Exercise 3.4. (e). - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Fulton 1998, Proposition 8.4. - Fulton, William (1998), Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 2 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-62046-4, MR 1644323 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1644323" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=1644323</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Hartshorne 1977, Ch. II, Exercise 5.14. (a) - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Rosen, Michael (2002), Number theory in Function Fields, Springer <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Hartshorne 1977, Ch IV, Exercise 1.7. - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">Hartshorne 1977, Ch I, Exercise 2.8; this is because the homogeneous coordinate ring of 
 
 
 
 
 
 P
 
 
 n
 
 
 
 
 {\displaystyle \mathbb {P} ^{n}}
 
 is a unique factorization domain and in a UFD every prime ideal of height 1 is principal. - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Shafarevich 1994, Ch. I. § 4.4. Example 1. - Shafarevich, Igor R. (1994), Basic Algebraic Geometry 1: Varieties in Projective Space, Springer <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">Mumford & Oda 2015, Ch. II, § 7. Proposition 6. - Mumford, David; Oda, Tadao (2015). Algebraic Geometry II. <a href="http://www.math.upenn.edu/~chai/624_08/math624_08.html" target="_blank">http://www.math.upenn.edu/~chai/624_08/math624_08.html</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">Hartshorne 1977, Ch. I, Exercise 4.9. - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">Fulton 1998, § 4.4. - Fulton, William (1998), Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 2 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-62046-4, MR 1644323 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1644323" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=1644323</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
<li id="fn:22">This is not difficult:(Hartshorne 1977, Ch III. Lemma 2.10) consider a flasque resolution of 
 
 
 
 
 
 F
 
 
 
 
 {\displaystyle {\mathcal {F}}}
 
 and its zero-extension to the whole projective space. - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></li>
<li id="fn:23">Hartshorne 1977, Ch III. Theorem 5.2 - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></li>
<li id="fn:24">Hartshorne 1977, Ch III. Exercise 5.2 - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></li>
<li id="fn:25">Hartshorne 1977, Ch IV. Theorem 1.3 - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></li>
<li id="fn:26">Kollár 1996, Ch I 1.4 - Kollár, János (1996), Rational curves on algebraic varieties <a href="#fnref:26" class="footnote-back-ref">↩</a></li>
<li id="fn:27">To make the construction work, one needs to allow for a non-variety. <a href="#fnref:27" class="footnote-back-ref">↩</a></li>
<li id="fn:28">Eisenbud & Harris 2000, VI 2.2 - Eisenbud, David; Harris, Joe (2000), The geometry of schemes <a href="#fnref:28" class="footnote-back-ref">↩</a></li>
<li id="fn:29">Hartshorne 1977, Appendix B. Theorem 3.4. - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></li>
<li id="fn:30">Griffiths & Adams 2015, IV. 1. 10. Corollary H - Griffiths, Phillip A.; Adams, John Frank (8 March 2015). Topics in Algebraic and Analytic Geometry. (MN-13), Volume 13: Notes From a Course of Phillip Griffiths. Princeton University Press. ISBN 978-1-4008-6926-8. <a href="https://books.google.com/books?hl=en&lr=&id=X3Z9BgAAQBAJ&pg=PR5" target="_blank">https://books.google.com/books?hl=en&lr=&id=X3Z9BgAAQBAJ&pg=PR5</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></li>
<li id="fn:31">Griffiths & Adams 2015, IV. 1. 10. Corollary I - Griffiths, Phillip A.; Adams, John Frank (8 March 2015). Topics in Algebraic and Analytic Geometry. (MN-13), Volume 13: Notes From a Course of Phillip Griffiths. Princeton University Press. ISBN 978-1-4008-6926-8. <a href="https://books.google.com/books?hl=en&lr=&id=X3Z9BgAAQBAJ&pg=PR5" target="_blank">https://books.google.com/books?hl=en&lr=&id=X3Z9BgAAQBAJ&pg=PR5</a> <a href="#fnref:31" class="footnote-back-ref">↩</a></li>
<li id="fn:32">Hartshorne 1977, Appendix B. Theorem 2.1 - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:32" class="footnote-back-ref">↩</a></li>
<li id="fn:33">Mumford 1970, pg. 36 - Mumford, David (1970), Abelian Varieties <a href="#fnref:33" class="footnote-back-ref">↩</a></li>
<li id="fn:34">Hartshorne 1977, Ch III. Remark 7.15. - Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0463157" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0463157</a> <a href="#fnref:34" class="footnote-back-ref">↩</a></li>
<li id="fn:35">Esnault, Hélène; Viehweg, Eckart (1992), Lectures on vanishing theorems, Birkhäuser <a href="#fnref:35" class="footnote-back-ref">↩</a></li>
<li id="fn:36">Dolgachev, Igor (1982), "Weighted projective varieties", Group actions and vector fields (Vancouver, B.C., 1981), Lecture Notes in Math., vol. 956, Berlin: Springer, pp. 34–71, CiteSeerX 10.1.1.169.5185, doi:10.1007/BFb0101508, ISBN 978-3-540-11946-3, MR 0704986 <a href="978-3-540-11946-3" target="_blank">978-3-540-11946-3</a> <a href="#fnref:36" class="footnote-back-ref">↩</a></li>
</ol>

Projective variety open-in-new

Projective variety