|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[algebraic geometry]], '''Proj''' is a construction analogous to the [[spectrum of a ring|spectrum-of-a-ring]] construction of [[affine scheme]]s, which produces objects with the typical properties of [[projective space]]s and [[projective variety|projective varieties]]. It is a fundamental tool in [[scheme theory]].
| | The author is recognized by the title of Numbers Wunder. To collect badges is what her family and her enjoy. Since she was 18 she's been working as a receptionist but her marketing by no means comes. Minnesota is exactly where he's been living for many years.<br><br>Also visit my web site - std testing at home ([http://jewelrycase.co.kr/xe/Ring/11593 visite site]) |
| | |
| In this article, all [[ring (mathematics)|rings]] will be assumed to be commutative and with identity.
| |
| | |
| ==Proj of a graded ring==
| |
| | |
| ===Proj as a set===
| |
| Let <math>S</math> be a [[graded ring]], where
| |
| : <math>S = \bigoplus_{i\ge 0} S_i</math>
| |
| is the [[direct sum]] decomposition associated with the gradation. | |
| | |
| Define the set Proj ''S'' to be the set of all homogeneous [[prime ideal]]s that do not contain the [[irrelevant ideal]]
| |
| : <math>S_+ = \bigoplus_{i>0} S_i.</math>
| |
| | |
| For brevity we will sometimes write ''X'' for Proj ''S''.
| |
| | |
| ===Proj as a topological space===
| |
| We may define a [[topology]], called the [[Zariski topology]], on Proj ''S'' by defining the closed sets to be those of the form
| |
| | |
| :<math>V(a) = \{ p \in \operatorname{Proj}\, S \mid a \subseteq p \},</math>
| |
| | |
| where ''a'' is a [[homogeneous ideal]] of ''S''. As in the case of affine schemes it is quickly verified that the ''V''(''a'') form the closed sets of a [[topology]] on ''X''.
| |
| | |
| Indeed if <math>(a_i)_{i\in I}</math> are a family of ideals, then we have
| |
| <math>\bigcap V(a_i) = V (\Sigma a_i)</math> and if the indexing set ''I'' is finite, then
| |
| <math>\bigcup V(a_i) = V (\Pi a_i)</math>.
| |
| | |
| Equivalently, we may take the open sets as a starting point and define
| |
| : <math>D(a) = \{ p \in \operatorname{Proj}\, S \mid a \;\not\subseteq\; p \}.</math>
| |
| | |
| A common shorthand is to denote ''D''(''Sf'') by ''D''(''f''), where ''Sf'' is the [[ideal (ring theory)|ideal]] generated by ''f''. For any ''a'', ''D''(''a'') and ''V''(''a'') are obviously complementary and hence the same proof as before shows that the ''D''(''a'') are a topology on Proj ''S''. The advantage of this approach is that the ''D''(''f''), where ''f'' ranges over all homogeneous elements of ''S'', form a [[base (topology)|base]] for this topology, which is an indispensable tool for the analysis of Proj ''S'' just as the analogous fact for the spectrum of a ring is likewise indispensable.
| |
| | |
| ===Proj as a scheme===
| |
| We also construct a [[sheaf (mathematics)|sheaf]] on Proj ''S'', called the “structure sheaf” as in the affine case, which makes it into a [[scheme (mathematics)|scheme]]. 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 regular functions on a projective variety in classical algebraic geometry, is the following. For any open set ''U'' of Proj ''S'' (which is by definition a set of homogeneous prime ideals of ''S'' not containing <math>S_+</math>) we define the ring <math>O_X(U)</math> to be the set of all functions
| |
| | |
| : <math>f \colon U \to \bigcup_{p \in U} S_{(p)}</math>
| |
| | |
| (where <math>S_{(p)}</math> denotes the subring of the ring of fractions <math>S_p</math> consisting of fractions of homogeneous elements of the same degree) such that for each prime ideal ''p'' of ''U'':
| |
| | |
| # ''f(p)'' is an element of <math>S_{(p)}</math>;
| |
| # There exists an open subset ''V'' of ''U'' containing ''p'' and homogeneous elements ''s'', ''t'' of ''S'' of the same degree such that for each prime ideal ''q'' of ''V'':
| |
| #* ''t'' is not in ''q'';
| |
| #* ''f(q)'' = ''s/t''.
| |
| | |
| It follows immediately from the definition that the <math>O_X(U)</math> form a sheaf of rings <math>O_X</math> on Proj ''S'', and it may be shown that the pair (Proj ''S'', <math>O_X</math>) is in fact a scheme (this is accomplished by showing that each of the open subsets ''D(f)'' is in fact an affine scheme).
| |
| | |
| ===The sheaf associated to a graded module===
| |
| The essential property of ''S'' for the above construction was the ability to form localizations <math>S_{(p)}</math> for each prime ideal ''p'' of ''S''. This property is also possessed by any [[graded module]] ''M'' over ''S'', and therefore with the appropriate minor modifications the preceding section constructs for any such ''M'' a sheaf, denoted <math>\tilde{M}</math>, of graded <math>O_X</math>-modules on Proj ''S''.
| |
| | |
| ===The twisting sheaf of Serre===
| |
| :''For related information, and the classical Serre twist sheaf, see [[tautological bundle]]''
| |
| A special case of the sheaf associated to a graded module is when we take ''M'' to be ''S'' itself with a different grading: namely, we let the degree-''d'' elements of ''M'' be the degree-(''d'' + 1) elements of ''S'', and denote ''M'' = ''S''(1). We then obtain <math>\tilde{M}</math> as a sheaf of graded <math>O_X</math>-modules on Proj ''S'', denoted <math>O_X(1)</math> or simply ''O''(1), called the [[twisting sheaf]] of Serre (named after [[Jean-Pierre Serre]]). It can be checked that ''O''(1) is in fact an [[invertible sheaf]].
| |
| | |
| One reason for the utility of ''O''(1) is that it recovers the algebraic information of ''S'' that was lost when, in the construction of <math>O_X</math>, we passed to fractions of degree zero. In the case Spec ''A'' for a ring ''A'', the global sections of the structure sheaf form ''A'' itself, whereas the global sections of <math>O_X</math> here form only the degree-zero elements of ''S''. If we define
| |
| | |
| : <math>O(n) = \bigotimes_{i = 1}^n O(1)</math>
| |
| | |
| then each ''O''(''n'') contains the degree-''n'' information about ''S'', and taken together they contain all the grading information that was lost. Likewise, for any sheaf of graded <math>O_X</math>-modules ''N'' we define
| |
| | |
| : <math>N(n) = N \otimes O(n)</math>
| |
| | |
| and expect this “twisted” sheaf to contain grading information about ''N''. In particular, if ''N'' is the sheaf associated to a graded ''S''-module ''M'' we likewise expect it to contain lost grading information about ''M''. This suggests, though erroneously, that ''S'' can in fact be reconstructed from these sheaves; however, this is true in the case that ''S'' is a polynomial ring, below. This situation is to be contrasted with the fact that the [[affine scheme#Functoriality|spec functor]] is adjoint to the [[global sections functor]] in the category of [[locally ringed space]]s.
| |
| | |
| ===Projective ''n''-space===
| |
| {{Main|Algebraic geometry of projective spaces}}
| |
| | |
| If ''A'' is a ring, we define projective ''n''-space over ''A'' to be the [[Scheme (mathematics)|scheme]]
| |
| | |
| :<math>\mathbb{P}^n_A = \operatorname{Proj}\, A[x_0,\ldots, x_n].</math>
| |
| | |
| The grading on the polynomial ring <math> S=A[x_0,\ldots, x_n] </math> is defined by letting each <math> x_i </math> have degree one and every element of ''A'', degree zero. Comparing this to the definition of ''O''(1), above, we see that the sections of ''O''(1) are in fact linear homogeneous polynomials, generated by the <math>x_i</math> themselves. This suggests another interpretation of ''O''(1), namely as the sheaf of “coordinates” for Proj ''S'', since the <math>x_i</math> are literally the coordinates for projective ''n''-space.
| |
| | |
| ==Global Proj==
| |
| A generalization of the Proj construction replaces the ring ''S'' with a [[sheaf (mathematics)|sheaf of algebras]] and produces, as the end 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 [[bundle]]s over a [[Grothendieck's relative point of view|base scheme]].
| |
| | |
| ===Assumptions===
| |
| Formally, let ''X'' be any [[scheme (mathematics)|scheme]] and ''S'' be a sheaf of graded <math>O_X</math>-algebras (the definition of which is similar to the definition of <math>O_X</math>-modules on a [[locally ringed space]]): that is, a sheaf with a direct sum decomposition
| |
| | |
| : <math>S = \bigoplus_{i \geq 0} S_i</math>
| |
| | |
| where each <math>S_i</math> is an <math>O_X</math>-module such that for every open subset ''U'' of ''X'', ''S''(''U'') is an <math>O_X(U)</math>-algebra and the resulting direct sum decomposition
| |
| | |
| : <math>S(U) = \bigoplus_{i \geq 0} S_i(U)</math>
| |
| | |
| is a grading of this algebra as a ring. Here we assume that <math>S_0 = O_X</math>. We make the additional assumption that ''S'' is a [[coherent sheaf|quasi-coherent sheaf]]; this is a “consistency” assumption on the sections over different open sets that is necessary for the construction to proceed.
| |
| | |
| ===Construction===
| |
| In this setup we may construct a scheme '''Proj''' ''S'' and a “projection” map ''p'' onto ''X'' such that for every [[scheme (mathematics)|open affine]] ''U'' of ''X'',
| |
| | |
| : <math>(\operatorname{\mathbf{Proj}}\, S)|_{p^{-1}(U)} = \operatorname{Proj} (S(U)).</math>
| |
| | |
| This definition suggests that we construct '''Proj''' ''S'' by first defining schemes <math>Y_U</math> for each open affine ''U'', by setting
| |
| | |
| : <math>Y_U = \operatorname{Proj}\, S(U),</math>
| |
| | |
| and maps <math>p_U \colon Y_U \to U</math>, and then showing that these data can be glued together “over” each intersection of two open affines ''U'' and ''V'' to form a scheme ''Y'' which we define to be '''Proj''' ''S''. It is not hard to show that defining each <math>p_U</math> to be the map corresponding to the inclusion of <math>O_X(U)</math> into ''S''(''U'') as the elements of degree zero yields the necessary consistency of the <math>p_U</math>, while the consistency of the <math>Y_U</math> themselves follows from the quasi-coherence assumption on ''S''.
| |
| | |
| ===The twisting sheaf===
| |
| If ''S'' has the additional property that <math>S_1</math> is a [[coherent sheaf]] and locally generates ''S'' over <math>S_0</math> (that is, when we pass to the [[sheaf (mathematics)|stalk]] of the sheaf ''S'' at a point ''x'' of ''X'', which is a graded algebra whose degree-zero elements form the ring <math>O_{X,x}</math> then the degree-one elements form a finitely-generated module over <math>O_{X,x}</math> and also generate the stalk as an algebra over it) then we may make a further construction. Over each open affine ''U'', Proj ''S''(''U'') bears an [[invertible sheaf]] [[twisting sheaf|O(1)]], and the assumption we have just made ensures that these sheaves may be glued just like the <math>Y_U</math> above; the resulting sheaf on '''Proj''' ''S'' is also denoted ''O''(1) and serves much the same purpose for '''Proj''' ''S'' as the twisting sheaf on the Proj of a ring does.
| |
| | |
| === Proj of a quasi-coherent sheaf ===
| |
| | |
| Let <math>\mathcal E</math> be a quasi-coherent sheaf on a scheme <math>X</math>. The sheaf of symmetric algebras <math>\mathbf{Sym}_{O_X}(\mathcal E)</math> is naturally a quasi-coherent sheaf of graded <math>O_X</math>-modules, generated by elements of degree 1. The resulting scheme is denoted by <math>\mathbb P(\mathcal E)</math>. If <math>\mathcal E</math> is of finite type, then its canonical morphism <math>p : \mathbb P(\mathcal E)\to X</math> is a '''projective morphism'''.<ref>[[Éléments de géométrie algébrique|EGA]], II.5.5.</ref>
| |
| | |
| For any <math>x\in X</math>, the fiber of the above morphism over <math>x</math> is the projective space <math>\mathbb P(\mathcal E(x))</math> associated to the dual of the vector space <math>\mathcal E(x):=\mathcal E\otimes_{O_X} k(x)</math> over <math>k(x)</math>.
| |
| | |
| If <math>\mathcal S</math> is a quasi-coherent sheaf of graded <math>O_X</math>-modules, generated by <math>\mathcal S_1</math> and such that <math>\mathcal S_1</math> is of finite type, then <math>\mathbf{Proj}\mathcal S</math> is a closed subscheme of <math>\mathbb P(\mathcal S_1)</math> and is then projective over <math>X</math>. In fact, every closed subscheme of a projective <math>\mathbb P(\mathcal E)</math> is of this form.<ref>[[Éléments de géométrie algébrique|EGA]], II.5.5.1.</ref>
| |
| | |
| ===Projective space bundles===
| |
| | |
| As a special case, when <math>\mathcal E</math> is locally free of rank <math>n+1</math>, we get a projective bundle <math>\mathbb P(\mathcal E)</math> over <math>X</math> of relative dimension <math>n</math>. Indeed, if we take an [[open cover]] of ''X'' by open affines <math>U=\mathrm{Spec}(A)</math> such that when restricted to each of these, <math>\mathcal E</math> is free over ''A'', then
| |
| | |
| : <math>\mathbb P(\mathcal E)|_{p^{-1}(U)} \simeq \operatorname{Proj}\, A[x_0, \dots, x_n] = \mathbb{P}^n_A = \mathbb{P}^n_U,</math>
| |
| | |
| and hence <math>\mathbb P(\mathcal E)</math> is a projective space bundle.
| |
| | |
| ==See also==
| |
| *[[Projective space]]
| |
| *[[Algebraic geometry of projective spaces]]
| |
| *[[Projectivization]]
| |
| | |
| ==References==
| |
| <references/>
| |
| * {{EGA|book=II}}
| |
| * {{Hartshorne AG}}
| |
| | |
| {{DEFAULTSORT:Proj Construction}}
| |
| [[Category:Scheme theory]]
| |