Your IP: United States Near: Houston, Texas, United States

Lookup IP Information

Previous 1 2 3 4 5 6 7 8 Next

Below is the list of all allocated IP address in - network range, sorted by latency.

In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which produces objects with the typical properties of projective spaces and projective varieties. It is a fundamental tool in scheme theory. In this article, all rings will be assumed to be commutative and with identity. Contents 1 Proj of a graded ring 1.1 Proj as a set 1.2 Proj as a topological space 1.3 Proj as a scheme 1.4 The sheaf associated to a graded module 1.5 The twisting sheaf of Serre 1.6 Projective n-space 2 Global Proj 2.1 Assumptions 2.2 Construction 2.3 The twisting sheaf 2.4 Projective space bundles 3 See also 4 References Proj of a graded ring Proj as a set Let S be a graded ring where We define the set Proj S to be the set of homogeneous prime ideals that do not contain the irrelevant ideal For brevity we will sometimes use 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 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 are a family of ideals, then we have and if the indexing set I is finite, then . Equivalently, we may take the open sets as a starting point and define A common shorthand is to denote D(Sf) by D(f), where Sf is the 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 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 on Proj S, called the “structure sheaf” as in the affine case, which makes it into a 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 S + ) we define the ring OX(U) to be the set of all functions (where S(p) denotes the subring of the ring of fractions Sp 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 S(p); 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 OX(U) form a sheaf of rings OX on Proj S, and it may be shown that the pair (Proj S, OX) 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 S(p) 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 , of graded OX-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 as a sheaf of graded OX-modules on Proj S, denoted OX(1) 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 OX, 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 OX here form only the degree-zero elements of S. If we define 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 OX-modules N we define 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 spec functor is adjoint to the global sections functor in the category of locally ringed spaces. Projective n-space Main article: Algebraic geometry of projective spaces If A is a ring, we define projective n-space over A to be the scheme The grading on the polynomial ring is defined by letting each xi 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 xi themselves. This suggests another interpretation of O(1), namely as the sheaf of “coordinates” for Proj S, since the xi are literally the coordinates for projective n-space. Global Proj A generalization of the Proj construction replaces the ring S with a 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 bundles over a base scheme. Assumptions Formally, let X be any scheme and S be a sheaf of graded OX-algebras (the definition of which is similar to the definition of OX-modules on a locally ringed space): that is, a sheaf with a direct sum decomposition where each Si is an OX-module such that for every open subset U of X, S(U) is an OX(U)-algebra and the resulting direct sum decomposition is a grading of this algebra as a ring. Here we assume that S0 = OX. We make the additional assumption that S is a 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 open affine U of X, This definition suggests that we construct Proj S by first defining schemes YU for each open affine U, by setting and maps , 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 pU to be the map corresponding to the inclusion of OX(U) into S(U) as the elements of degree zero yields the necessary consistency of the pU, while the consistency of the YU themselves follows from the quasi-coherence assumption on S. The twisting sheaf If S has the additional property that S1 is a coherent sheaf and locally generates S over S0 (that is, when we pass to the stalk of the sheaf S at a point x of X, which is a graded algebra whose degree-zero elements form the ring OX,x then the degree-one elements form a finitely-generated module over OX,x 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 O(1), and the assumption we have just made ensures that these sheaves may be glued just like the YU 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. Projective space bundles As mentioned above, we obtain projective space bundles as a special case of this construction. To do this, we take S to be locally free as an OX-algebra, which means that there exists an open cover of X by open affines Spec A such that restricted to each of these, S is the sheaf associated with a polynomial ring over A. This is stronger than being simply quasi-coherent and implies, in particular, that the number of variables in each such ring is constant on connected components of X. By the construction above, we now have on a cover of X consisting of schemes U = Spec A and hence Proj S is a projective space bundle. See also Projective space Projectivization References Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR0463157