Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Proj construction
open-in-new
<h2 id="proj-of-a-graded-ring">Proj of a graded ring</h2> <h3>Proj as a set</h3> <p>Let S {\displaystyle S} be a commutative <a href="/facts/Graded_ring/AIUjkSaP">graded ring</a>, where S = ⨁ i ≥ 0 S i {\displaystyle S=\bigoplus _{i\geq 0}S_{i}} is the <a href="/facts/Direct_sum/x3ljVsP6">direct sum</a> decomposition associated with the gradation. The <a href="/facts/Irrelevant_ideal/qTgHGHlP">irrelevant ideal</a> of S {\displaystyle S} is the <a href="/facts/Ideal_(ring)/vCvytduX">ideal</a> of elements of positive degree S + = ⨁ i > 0 S i . {\displaystyle S_{+}=\bigoplus _{i>0}S_{i}.} We say an ideal is <a href="/facts/Homogeneous_ideal/AIUjkSaP">homogeneous</a> if it is generated by homogeneous elements. Then, as a set, Proj S = { P ⊆ S homogeneous prime ideal, S + ⊈ P } . {\displaystyle \operatorname {Proj} S=\{P\subseteq S{\text{ homogeneous prime ideal, }}S_{+}\not \subseteq P\}.} For brevity we will sometimes write X {\displaystyle X} for Proj S {\displaystyle \operatorname {Proj} S} . </p> <h3>Proj as a topological space</h3> <p>We may define a <a href="/facts/Topology/2EqW47cU">topology</a>, called the <a href="/facts/Zariski_topology/uolkKBpM">Zariski topology</a>, on Proj S {\displaystyle \operatorname {Proj} S} by defining the closed sets to be those of the form </p> V ( a ) = { p ∈ Proj S ∣ a ⊆ p } , {\displaystyle V(a)=\{p\in \operatorname {Proj} S\mid a\subseteq p\},} <p>where a {\displaystyle a} is a <a href="/facts/Homogeneous_ideal/AIUjkSaP">homogeneous ideal</a> of S {\displaystyle S} . As in the case of affine schemes it is quickly verified that the V ( a ) {\displaystyle V(a)} form the closed sets of a <a href="/facts/Topology/2EqW47cU">topology</a> on X {\displaystyle X} . </p><p>Indeed, if ( a i ) i ∈ I {\displaystyle (a_{i})_{i\in I}} are a family of ideals, then we have ⋂ V ( a i ) = V ( ∑ a i ) {\textstyle \bigcap V(a_{i})=V\left(\sum a_{i}\right)} and if the indexing set <i>I</i> is finite, then ⋃ V ( a i ) = V ( ∏ a i ) . {\textstyle \bigcup V(a_{i})=V\left(\prod a_{i}\right).} </p><p>Equivalently, we may take the open sets as a starting point and define </p> D ( a ) = { p ∈ Proj S ∣ a ⊈ p } . {\displaystyle D(a)=\{p\in \operatorname {Proj} S\mid a\not \subseteq p\}.} <p>A common shorthand is to denote D ( S f ) {\displaystyle D(Sf)} by D ( f ) {\displaystyle D(f)} , where S f {\displaystyle Sf} is the <a href="/facts/Ideal_(ring_theory)/vCvytduX">ideal</a> generated by f {\displaystyle f} . For any ideal a {\displaystyle a} , the sets D ( a ) {\displaystyle D(a)} and V ( a ) {\displaystyle V(a)} are complementary, and hence the same proof as before shows that the sets D ( a ) {\displaystyle D(a)} form a topology on Proj S {\displaystyle \operatorname {Proj} S} . The advantage of this approach is that the sets D ( f ) {\displaystyle D(f)} , where f {\displaystyle f} ranges over all homogeneous elements of the ring S {\displaystyle S} , form a <a href="/facts/Base_(topology)/8EDSDVPD">base</a> for this topology, which is an indispensable tool for the analysis of Proj S {\displaystyle \operatorname {Proj} S} , just as the analogous fact for the spectrum of a ring is likewise indispensable. </p> <h3>Proj as a scheme</h3> <p>We also construct a <a href="/facts/Sheaf_(mathematics)/MM3hcRw4">sheaf</a> on Proj S {\displaystyle \operatorname {Proj} S} , called the “structure sheaf” as in the affine case, which makes it into a <a href="/facts/Scheme_(mathematics)/c7uSqGqL">scheme</a>. As in the case of the Spec construction there are many ways to proceed: the most direct one, which is also highly suggestive of the construction of <a href="/facts/Regular_function/5jBzIgps">regular functions</a> on a projective variety in classical algebraic geometry, is the following. For any open set U {\displaystyle U} of Proj S {\displaystyle \operatorname {Proj} S} (which is by definition a set of homogeneous prime ideals of <i> S {\displaystyle S} </i> not containing S + {\displaystyle S_{+}} ) we define the ring O X ( U ) {\displaystyle O_{X}(U)} to be the set of all functions </p> f : U → ⋃ p ∈ U S ( p ) {\displaystyle f\colon U\to \bigcup _{p\in U}S_{(p)}} <p>(where S ( p ) {\displaystyle S_{(p)}} denotes the subring of the <a href="/facts/Localization_(commutative_algebra)/rjevzBJf">ring of fractions</a> S p {\displaystyle S_{p}} consisting of fractions of homogeneous elements of the same degree) such that for each prime ideal p {\displaystyle p} of U {\displaystyle U} : </p> <ol><li> f ( p ) {\displaystyle f(p)} is an element of S ( p ) {\displaystyle S_{(p)}} ;</li> <li>There exists an open subset V ⊆ U {\displaystyle V\subseteq U} containing p {\displaystyle p} and homogeneous elements s , t {\displaystyle s,t} of <i> S {\displaystyle S} </i> of the same degree such that for each prime ideal q {\displaystyle q} of V {\displaystyle V} : <ul><li> t {\displaystyle t} is not in q {\displaystyle q} ;</li> <li> f ( q ) = s / t {\displaystyle f(q)=s/t} </li></ul></li></ol> <p>It follows immediately from the definition that the O X ( U ) {\displaystyle O_{X}(U)} form a sheaf of rings O X {\displaystyle O_{X}} on Proj S {\displaystyle \operatorname {Proj} S} , and it may be shown that the pair ( Proj S {\displaystyle \operatorname {Proj} S} , O X {\displaystyle O_{X}} ) is in fact a scheme (this is accomplished by showing that each of the open subsets D ( f ) {\displaystyle D(f)} is in fact an affine scheme). </p> <h3>The sheaf associated to a graded module</h3> <p>The essential property of <i> S {\displaystyle S} </i> for the above construction was the ability to form localizations S ( p ) {\displaystyle S_{(p)}} for each prime ideal p {\displaystyle p} of S {\displaystyle S} . This property is also possessed by any <a href="/facts/Graded_module/AIUjkSaP">graded module</a> M {\displaystyle M} over <i> S {\displaystyle S} </i>, and therefore with the appropriate minor modifications the preceding section constructs for any such M {\displaystyle M} a sheaf, denoted M ~ {\displaystyle {\tilde {M}}} , of O X {\displaystyle O_{X}} -modules on Proj S {\displaystyle \operatorname {Proj} S} . This sheaf is <a href="/facts/Quasicoherent_sheaf/h2NoUN7e">quasicoherent</a> by construction. If <i> S {\displaystyle S} </i> is generated by finitely many elements of degree 1 {\displaystyle 1} (e.g. a polynomial ring or a homogenous quotient of it), all quasicoherent sheaves on Proj S {\displaystyle \operatorname {Proj} S} arise from graded modules by this construction.<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a> The corresponding graded module is not unique. </p> <h3>The twisting sheaf of Serre</h3> <p class="note">For related information, and the classical Serre twist sheaf, see <a href="/facts/Tautological_bundle/Vc2CmshX">Tautological bundle</a>.</p> <p>A special case of the sheaf associated to a graded module is when we take <i> M {\displaystyle M} </i> to be <i> S {\displaystyle S} </i> itself with a different grading: namely, we let the degree d {\displaystyle d} elements of M {\displaystyle M} be the degree ( d + 1 ) {\displaystyle (d+1)} elements of <i> S {\displaystyle S} </i>, so M d = S d + 1 {\displaystyle M_{d}=S_{d+1}} and denote M = S ( 1 ) {\displaystyle M=S(1)} . We then obtain M ~ {\displaystyle {\tilde {M}}} as a quasicoherent sheaf on Proj S {\displaystyle \operatorname {Proj} S} , denoted O X ( 1 ) {\displaystyle O_{X}(1)} or simply O ( 1 ) {\displaystyle {\mathcal {O}}(1)} , called the <a href="/facts/Twisting_sheaf/Vc2CmshX">twisting sheaf</a> of <a href="/facts/Jean-Pierre_Serre/1xSr7BCh">Serre</a>. It can be checked that O ( 1 ) {\displaystyle {\mathcal {O}}(1)} is in fact an <a href="/facts/Invertible_sheaf/D8RxXPEd">invertible sheaf</a>. </p><p>One reason for the utility of O ( 1 ) {\displaystyle {\mathcal {O}}(1)} is that it recovers the algebraic information of <i> S {\displaystyle S} </i> that was lost when, in the construction of O X {\displaystyle O_{X}} , we passed to fractions of degree zero. In the case Spec <i>A</i> for a ring <i>A</i>, the global sections of the structure sheaf form <i>A</i> itself, whereas the global sections of O X {\displaystyle {\mathcal {O}}_{X}} here form only the degree-zero elements of <i> S {\displaystyle S} </i>. If we define </p> O ( n ) = ⨂ i = 1 n O ( 1 ) {\displaystyle {\mathcal {O}}(n)=\bigotimes _{i=1}^{n}{\mathcal {O}}(1)} <p>then each O ( n ) {\displaystyle {\mathcal {O}}(n)} contains the degree- n {\displaystyle n} information about S {\displaystyle S} , denoted S n {\displaystyle S_{n}} , and taken together they contain all the grading information that was lost. Likewise, for any sheaf of graded O X {\displaystyle {\mathcal {O}}_{X}} -modules N {\displaystyle N} we define </p> N ( n ) = N ⊗ O ( n ) {\displaystyle N(n)=N\otimes {\mathcal {O}}(n)} <p>and expect this “twisted” sheaf to contain grading information about <i> N {\displaystyle N} </i>. In particular, if N {\displaystyle N} is the sheaf associated to a graded S {\displaystyle S} -module M {\displaystyle M} we likewise expect it to contain lost grading information about <i> M {\displaystyle M} </i>. This suggests, though erroneously, that <i> S {\displaystyle S} </i> can in fact be reconstructed from these sheaves; as ⨁ n ≥ 0 Γ ( X , O X ( n ) ) . {\displaystyle \bigoplus _{n\geq 0}\Gamma (X,{\mathcal {O}}_{X}(n)).} However, this is true in the case that <i> S {\displaystyle S} </i> is a polynomial ring, below. This situation is to be contrasted with the fact that the <a href="/facts/Affine_scheme/2k2nDE5w">Spec functor</a> is adjoint to the <a href="/facts/Global_sections_functor/MM3hcRw4">global sections functor</a> in the category of <a href="/facts/Locally_ringed_space/JyeaTMtX">locally ringed spaces</a>. </p> <h3>Projective <i>n</i>-space</h3> <p class="note">Main article: <a href="/facts/Algebraic_geometry_of_projective_spaces/zz71m6Kf">Algebraic geometry of projective spaces</a></p> <p>If <i> A {\displaystyle A} </i> is a ring, we define projective <i>n</i>-space over A {\displaystyle A} to be the <a href="/facts/Scheme_(mathematics)/c7uSqGqL">scheme</a> </p> P A n = Proj A [ x 0 , … , x n ] . {\displaystyle \mathbb {P} _{A}^{n}=\operatorname {Proj} A[x_{0},\ldots ,x_{n}].} <p>The grading on the polynomial ring S = A [ x 0 , … , x n ] {\displaystyle S=A[x_{0},\ldots ,x_{n}]} is defined by letting each x i {\displaystyle x_{i}} have degree one and every element of <i> A {\displaystyle A} </i>, degree zero. Comparing this to the definition of O ( 1 ) {\displaystyle {\mathcal {O}}(1)} , above, we see that the sections of O ( 1 ) {\displaystyle {\mathcal {O}}(1)} are in fact linear homogeneous polynomials, generated by the x i {\displaystyle x_{i}} themselves. This suggests another interpretation of O ( 1 ) {\displaystyle {\mathcal {O}}(1)} , namely as the sheaf of “coordinates” for Proj S {\displaystyle \operatorname {Proj} S} , since the x i {\displaystyle x_{i}} are literally the coordinates for projective n {\displaystyle n} -space. </p> <h2 id="examples-of-proj">Examples of Proj</h2> <h3>Proj over the affine line</h3> <p>If we let the base ring be A = C [ λ ] {\displaystyle A=\mathbb {C} [\lambda ]} , then X = Proj ( A [ X , Y , Z ] ∙ ( Z Y 2 − X ( X − Z ) ( X − λ Z ) ) ∙ ) {\displaystyle X=\operatorname {Proj} \left({\frac {A[X,Y,Z]_{\bullet }}{(ZY^{2}-X(X-Z)(X-\lambda Z))_{\bullet }}}\right)} has a canonical projective morphism to the affine line A λ 1 {\displaystyle \mathbb {A} _{\lambda }^{1}} whose fibers are <a href="/facts/Elliptic_curve/60jvaHSA">elliptic curves</a> except at the points λ = 0 , 1 {\displaystyle \lambda =0,1} where the curves degenerate into nodal curves. So there is a fibration E λ ⟶ X ↓ A λ 1 − { 0 , 1 } {\displaystyle {\begin{matrix}E_{\lambda }&\longrightarrow &X\\&&\downarrow \\&&\mathbb {A} _{\lambda }^{1}-\{0,1\}\end{matrix}}} which is also a <a href="/facts/Smooth_morphism/GNxTBHTG">smooth morphism of schemes</a> (which can be checked using the <a href="/facts/Jacobian_ideal/7hudUyd9">Jacobian criterion</a>). </p> <h3>Projective hypersurfaces and varieties</h3> <p>The projective <a href="/facts/Hypersurface/cTvtLVsV">hypersurface</a> Proj ( C [ X 0 , … , X 4 ] / ( X 0 5 + ⋯ + X 4 5 ) ) {\displaystyle \operatorname {Proj} \left(\mathbb {C} [X_{0},\ldots ,X_{4}]/(X_{0}^{5}+\cdots +X_{4}^{5})\right)} is an example of a <a href="/facts/Fermat_quintic_threefold/eNcTbEqb">Fermat quintic threefold</a> which is also a <a href="/facts/Calabi%E2%80%93Yau_manifold/LUyEX4kT">Calabi–Yau manifold</a>. In addition to projective hypersurfaces, any projective variety cut out by a system of homogeneous polynomials f 1 = 0 , … , f k = 0 {\displaystyle f_{1}=0,\ldots ,f_{k}=0} in ( n + 1 ) {\displaystyle (n+1)} -variables can be converted into a projective scheme using the proj construction for the graded algebra k [ X 0 , … , X n ] ∙ ( f 1 , … , f k ) ∙ {\displaystyle {\frac {k[X_{0},\ldots ,X_{n}]_{\bullet }}{(f_{1},\ldots ,f_{k})_{\bullet }}}} giving an embedding of projective varieties into projective schemes. </p> <h3>Weighted projective space</h3> <p class="note">Main article: <a href="/facts/Weighted_projective_space/rFv3NeHL">Weighted projective space</a></p> <p><a href="/facts/Weighted_projective_space/rFv3NeHL">Weighted projective spaces</a> can be constructed using a polynomial ring whose variables have non-standard degrees. For example, the weighted projective space P ( 1 , 1 , 2 ) {\displaystyle \mathbb {P} (1,1,2)} corresponds to taking Proj {\displaystyle \operatorname {Proj} } of the ring A [ X 0 , X 1 , X 2 ] {\displaystyle A[X_{0},X_{1},X_{2}]} where X 0 , X 1 {\displaystyle X_{0},X_{1}} have weight 1 {\displaystyle 1} while X 2 {\displaystyle X_{2}} has weight 2. </p> <h3>Bigraded rings</h3> <p>The proj construction extends to bigraded and multigraded rings. Geometrically, this corresponds to taking products of projective schemes. For example, given the graded rings A ∙ = C [ X 0 , X 1 ] , B ∙ = C [ Y 0 , Y 1 ] {\displaystyle A_{\bullet }=\mathbb {C} [X_{0},X_{1}],{\text{ }}B_{\bullet }=\mathbb {C} [Y_{0},Y_{1}]} with the degree of each generator 1 {\displaystyle 1} . Then, the tensor product of these algebras over C {\displaystyle \mathbb {C} } gives the bigraded algebra A ∙ ⊗ C B ∙ = S ∙ , ∙ = C [ X 0 , X 1 , Y 0 , Y 1 ] {\displaystyle {\begin{aligned}A_{\bullet }\otimes _{\mathbb {C} }B_{\bullet }&=S_{\bullet ,\bullet }\\&=\mathbb {C} [X_{0},X_{1},Y_{0},Y_{1}]\end{aligned}}} where the X i {\displaystyle X_{i}} have weight ( 1 , 0 ) {\displaystyle (1,0)} and the Y i {\displaystyle Y_{i}} have weight ( 0 , 1 ) {\displaystyle (0,1)} . Then the proj construction gives Proj ( S ∙ , ∙ ) = P 1 × Spec ( C ) P 1 {\displaystyle {\text{Proj}}(S_{\bullet ,\bullet })=\mathbb {P} ^{1}\times _{{\text{Spec}}(\mathbb {C} )}\mathbb {P} ^{1}} which is a product of projective schemes. There is an embedding of such schemes into projective space by taking the total graded algebra S ∙ , ∙ → S ∙ {\displaystyle S_{\bullet ,\bullet }\to S_{\bullet }} where a degree ( a , b ) {\displaystyle (a,b)} element is considered as a degree ( a + b ) {\displaystyle (a+b)} element. This means the k {\displaystyle k} -th graded piece of S ∙ {\displaystyle S_{\bullet }} is the module S k = ⨁ a + b = k S a , b {\displaystyle S_{k}=\bigoplus _{a+b=k}S_{a,b}} In addition, the scheme Proj ( S ∙ , ∙ ) {\displaystyle {\text{Proj}}(S_{\bullet ,\bullet })} now comes with bigraded sheaves O ( a , b ) {\displaystyle {\mathcal {O}}(a,b)} which are the tensor product of the sheaves π 1 ∗ O ( a ) ⊗ π 2 ∗ O ( b ) {\displaystyle \pi _{1}^{*}{\mathcal {O}}(a)\otimes \pi _{2}^{*}{\mathcal {O}}(b)} where π 1 : Proj ( S ∙ , ∙ ) → Proj ( A ∙ ) {\displaystyle \pi _{1}:{\text{Proj}}(S_{\bullet ,\bullet })\to {\text{Proj}}(A_{\bullet })} and π 2 : Proj ( S ∙ , ∙ ) → Proj ( B ∙ ) {\displaystyle \pi _{2}:{\text{Proj}}(S_{\bullet ,\bullet })\to {\text{Proj}}(B_{\bullet })} are the canonical projections coming from the injections of these algebras from the tensor product diagram of commutative algebras. </p> <h2 id="global-proj">Global Proj</h2> <p>A generalization of the Proj construction replaces the ring <i>S</i> with a <a href="/facts/Sheaf_of_algebras/nPcFLdka">sheaf of algebras</a> and produces, as the result, a scheme which might be thought of as a fibration of Proj's of rings. This construction is often used, for example, to construct projective space <a href="/facts/Bundle_(mathematics)/oJonfTly">bundles</a> over a <a href="/facts/Grothendieck%27s_relative_point_of_view/Nf3WRu0N">base scheme</a>. </p> <h3>Assumptions</h3> <p>Formally, let <i>X</i> be any <a href="/facts/Scheme_(mathematics)/c7uSqGqL">scheme</a> and <i>S</i> be a sheaf of graded O X {\displaystyle O_{X}} -algebras (the definition of which is similar to the definition of <a href="/facts/Sheaf_of_modules/grSMBXho"> O X {\displaystyle O_{X}} -modules</a> on a <a href="/facts/Locally_ringed_space/JyeaTMtX">locally ringed space</a>): that is, a sheaf with a direct sum decomposition </p> S = ⨁ i ≥ 0 S i {\displaystyle S=\bigoplus _{i\geq 0}S_{i}} <p>where each S i {\displaystyle S_{i}} is an O X {\displaystyle O_{X}} -module such that for every open subset <i>U</i> of <i>X</i>, <i>S</i>(<i>U</i>) is an O X ( U ) {\displaystyle O_{X}(U)} -algebra and the resulting direct sum decomposition </p> S ( U ) = ⨁ i ≥ 0 S i ( U ) {\displaystyle S(U)=\bigoplus _{i\geq 0}S_{i}(U)} <p>is a grading of this algebra as a ring. Here we assume that S 0 = O X {\displaystyle S_{0}=O_{X}} . We make the additional assumption that <i>S</i> is a <a href="/facts/Coherent_sheaf/h2NoUN7e">quasi-coherent sheaf</a>; this is a “consistency” assumption on the sections over different open sets that is necessary for the construction to proceed. </p> <h3>Construction</h3> <p>In this setup we may construct a scheme P r o j S {\displaystyle \operatorname {\mathbf {Proj} } S} and a “projection” map <i>p</i> onto <i>X</i> such that for every <a href="/facts/Scheme_(mathematics)/c7uSqGqL">open affine</a> <i>U</i> of <i>X</i>, </p> ( P r o j S ) | p − 1 ( U ) = Proj ( S ( U ) ) . {\displaystyle (\operatorname {\mathbf {Proj} } S)|_{p^{-1}(U)}=\operatorname {Proj} (S(U)).} <p>This definition suggests that we construct P r o j S {\displaystyle \operatorname {\mathbf {Proj} } S} by first defining schemes Y U {\displaystyle Y_{U}} for each open affine <i>U</i>, by setting </p> Y U = Proj S ( U ) , {\displaystyle Y_{U}=\operatorname {Proj} S(U),} <p>and maps p U : Y U → U {\displaystyle p_{U}\colon Y_{U}\to U} , and then showing that these data can be glued together “over” each intersection of two open affines <i>U</i> and <i>V</i> to form a scheme <i>Y</i> which we define to be P r o j S {\displaystyle \operatorname {\mathbf {Proj} } S} . It is not hard to show that defining each p U {\displaystyle p_{U}} to be the map corresponding to the inclusion of O X ( U ) {\displaystyle O_{X}(U)} into <i>S</i>(<i>U</i>) as the elements of degree zero yields the necessary consistency of the p U {\displaystyle p_{U}} , while the consistency of the Y U {\displaystyle Y_{U}} themselves follows from the quasi-coherence assumption on <i>S</i>. </p> <h3>The twisting sheaf</h3> <p>If <i>S</i> has the additional property that S 1 {\displaystyle S_{1}} is a <a href="/facts/Coherent_sheaf/h2NoUN7e">coherent sheaf</a> and locally generates <i>S</i> over S 0 {\displaystyle S_{0}} (that is, when we pass to the <a href="/facts/Sheaf_(mathematics)/MM3hcRw4">stalk</a> of the sheaf <i>S</i> at a point <i>x</i> of <i>X</i>, which is a graded algebra whose degree-zero elements form the ring O X , x {\displaystyle O_{X,x}} then the degree-one elements form a finitely-generated module over O X , x {\displaystyle O_{X,x}} and also generate the stalk as an algebra over it) then we may make a further construction. Over each open affine <i>U</i>, Proj <i>S</i>(<i>U</i>) bears an <a href="/facts/Invertible_sheaf/D8RxXPEd">invertible sheaf</a> <a href="/facts/Twisting_sheaf/Vc2CmshX">O(1)</a>, and the assumption we have just made ensures that these sheaves may be glued just like the Y U {\displaystyle Y_{U}} above; the resulting sheaf on P r o j S {\displaystyle \operatorname {\mathbf {Proj} } S} is also denoted <i>O</i>(1) and serves much the same purpose for P r o j S {\displaystyle \operatorname {\mathbf {Proj} } S} as the twisting sheaf on the Proj of a ring does. </p> <h3>Proj of a quasi-coherent sheaf</h3> <p>Let E {\displaystyle {\mathcal {E}}} be a quasi-coherent sheaf on a scheme X {\displaystyle X} . The sheaf of <a href="/facts/Symmetric_algebra/A8FthY0N">symmetric algebras</a> S y m O X ( E ) {\displaystyle \mathbf {Sym} _{O_{X}}({\mathcal {E}})} is naturally a quasi-coherent sheaf of graded O X {\displaystyle O_{X}} -modules, generated by elements of degree 1. The resulting scheme is denoted by P ( E ) {\displaystyle \mathbb {P} ({\mathcal {E}})} . If E {\displaystyle {\mathcal {E}}} is of finite type, then its canonical morphism p : P ( E ) → X {\displaystyle p:\mathbb {P} ({\mathcal {E}})\to X} is a projective morphism.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a> </p><p>For any x ∈ X {\displaystyle x\in X} , the fiber of the above morphism over x {\displaystyle x} is the projective space P ( E ( x ) ) {\displaystyle \mathbb {P} ({\mathcal {E}}(x))} associated to the dual of the vector space E ( x ) := E ⊗ O X k ( x ) {\displaystyle {\mathcal {E}}(x):={\mathcal {E}}\otimes _{O_{X}}k(x)} over k ( x ) {\displaystyle k(x)} . </p><p>If S {\displaystyle {\mathcal {S}}} is a quasi-coherent sheaf of graded O X {\displaystyle O_{X}} -modules, generated by S 1 {\displaystyle {\mathcal {S}}_{1}} and such that S 1 {\displaystyle {\mathcal {S}}_{1}} is of finite type, then P r o j S {\displaystyle \mathbf {Proj} {\mathcal {S}}} is a closed subscheme of P ( S 1 ) {\displaystyle \mathbb {P} ({\mathcal {S}}_{1})} and is then projective over X {\displaystyle X} . In fact, every closed subscheme of a projective P ( E ) {\displaystyle \mathbb {P} ({\mathcal {E}})} is of this form.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> </p> <h3>Projective space bundles</h3> <p class="note">Main article: <a href="/facts/Projective_space_bundle/W7jjGmlW">Projective space bundle</a></p> <p>As a special case, when E {\displaystyle {\mathcal {E}}} is locally free of rank n + 1 {\displaystyle n+1} , we get a <a href="/facts/Projective_bundle/W7jjGmlW">projective bundle</a> P ( E ) {\displaystyle \mathbb {P} ({\mathcal {E}})} over X {\displaystyle X} of relative dimension n {\displaystyle n} . Indeed, if we take an <a href="/facts/Open_cover/2VUdelA4">open cover</a> of <i>X</i> by open affines U = Spec ( A ) {\displaystyle U=\operatorname {Spec} (A)} such that when restricted to each of these, E {\displaystyle {\mathcal {E}}} is free over <i>A</i>, then </p> P ( E ) | p − 1 ( U ) ≃ Proj A [ x 0 , … , x n ] = P A n = P U n , {\displaystyle \mathbb {P} ({\mathcal {E}})|_{p^{-1}(U)}\simeq \operatorname {Proj} A[x_{0},\dots ,x_{n}]=\mathbb {P} _{A}^{n}=\mathbb {P} _{U}^{n},} <p>and hence P ( E ) {\displaystyle \mathbb {P} ({\mathcal {E}})} is a projective space bundle. Many families of varieties can be constructed as subschemes of these projective bundles, such as the Weierstrass family of elliptic curves. For more details, see the main article. </p> <h2 id="example-of-global-proj">Example of Global Proj</h2> <p>Global Proj can be used to construct <a href="/facts/Lefschetz_pencil/qBwPNRzI">Lefschetz pencils</a>. For example, let X = P s , t 1 {\displaystyle X=\mathbb {P} _{s,t}^{1}} and take homogeneous polynomials f , g ∈ C [ x 0 , … , x n ] {\displaystyle f,g\in \mathbb {C} [x_{0},\ldots ,x_{n}]} of degree k. We can consider the <a href="/facts/Ideal_sheaf/TfqpB5WW">ideal sheaf</a> I = ( s f + t g ) {\displaystyle {\mathcal {I}}=(sf+tg)} of O X [ x 0 , … , x n ] {\displaystyle {\mathcal {O}}_{X}[x_{0},\ldots ,x_{n}]} and construct global Proj of this quotient sheaf of algebras O X [ x 0 , … , x n ] / I {\displaystyle {\mathcal {O}}_{X}[x_{0},\ldots ,x_{n}]/{\mathcal {I}}} . This can be described explicitly as the projective morphism Proj ( C [ s , t ] [ x 0 , … , x n ] / ( s f + t g ) ) → P s , t 1 {\displaystyle \operatorname {Proj} (\mathbb {C} [s,t][x_{0},\ldots ,x_{n}]/(sf+tg))\to \mathbb {P} _{s,t}^{1}} . </p><p>Another application is the <a href="/facts/Blowing_up/YejuoWYu">blow-up of a scheme</a> with respect to a coherent sheaf of ideals. </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Projective_space/7MSpA9cM">Projective space</a></li> <li><a href="/facts/Algebraic_geometry_of_projective_spaces/zz71m6Kf">Algebraic geometry of projective spaces</a></li> <li><a href="/facts/Projectivization/KB2shv7I">Projectivization</a></li></ul> <ul><li><a href="/facts/Alexander_Grothendieck/jLQGPY7M">Grothendieck, Alexandre</a>; <a href="/facts/Jean_Dieudonn%C3%A9/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>. <i><a href="/facts/Publications_Math%C3%A9matiques_de_l%27IH%C3%89S/2ur5ofxL">Publications Mathématiques de l'IHÉS</a></i>. 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/Robin_Hartshorne/mCBLyIW6">Hartshorne, Robin</a> (1977), <i><a href="/facts/Algebraic_Geometry_(book)/YcAhHWBj">Algebraic Geometry</a></i>, <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></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Ravi Vakil (2015). Foundations of Algebraic Geometry (PDF)., Corollary 15.4.3. <a href="/wiki/Ravi_Vakil" target="_blank">/wiki/Ravi_Vakil</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>EGA, II.5.5. <a href="/wiki/%C3%89l%C3%A9ments_de_g%C3%A9om%C3%A9trie_alg%C3%A9brique" target="_blank">/wiki/%C3%89l%C3%A9ments_de_g%C3%A9om%C3%A9trie_alg%C3%A9brique</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>EGA, II.5.5.1. <a href="/wiki/%C3%89l%C3%A9ments_de_g%C3%A9om%C3%A9trie_alg%C3%A9brique" target="_blank">/wiki/%C3%89l%C3%A9ments_de_g%C3%A9om%C3%A9trie_alg%C3%A9brique</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> </ol>