Proj construction

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. The construction, while not functorial, is a fundamental tool in scheme theory. In this article, all rings will be assumed to be commutative and with identity. Let be a graded ring, whereis the direct sum decomposition associated with the gradation. The irrelevant ideal of is the ideal of elements of positive degreeWe say an ideal is homogeneous if it is generated by homogeneous elements. Then, as a set, For brevity we will sometimes write for . We may define a topology, called the Zariski topology, on by defining the closed sets to be those of the form where is a homogeneous ideal of . As in the case of affine schemes it is quickly verified that the form the closed sets of a topology on . 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 by , where is the ideal generated by . For any ideal , the sets and are complementary, and hence the same proof as before shows that the sets form a topology on . The advantage of this approach is that the sets , where ranges over all homogeneous elements of the ring , form a base for this topology, which is an indispensable tool for the analysis of , just as the analogous fact for the spectrum of a ring is likewise indispensable. We also construct a sheaf on , 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.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (11)

Related units (1)

Related concepts (16)

Related courses (2)

Related lectures (32)

Tautological bundle

In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of -dimensional subspaces of , given a point in the Grassmannian corresponding to a -dimensional vector subspace , the fiber over is the subspace itself. In the case of projective space the tautological bundle is known as the tautological line bundle. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles.

Sheaf of modules

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U). The standard case is when X is a scheme and O its structure sheaf. If O is the constant sheaf , then a sheaf of O-modules is the same as a sheaf of abelian groups (i.

Morphism of schemes

In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes. A morphism of algebraic stacks generalizes a morphism of schemes. By definition, a morphism of schemes is just a morphism of locally ringed spaces. A scheme, by definition, has open affine charts and thus a morphism of schemes can also be described in terms of such charts (compare the definition of morphism of varieties).

MATH-510: Algebraic geometry II - schemes and sheaves

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

MATH-328: Algebraic geometry I - Curves

Algebraic geometry is the common language for many branches of modern research in mathematics. This course gives an introduction to this field by studying algebraic curves and their intersection theor

Multigraded algebras and multigraded linear series

Leonid Monin, Fatemeh Mohammadi, Yairon Cid Ruiz

This paper is devoted to the study of multigraded algebras and multigraded linear series. For an Ns

\mathbb {N}s

-graded algebra A

A

, we define and study its volume function FA:N+s -> R

F_A:\mathbb {N}_+s\rightarrow \mathbb {R}

, which computes the ...

Wiley2024

EXISTENCE OF AN UNBOUNDED NODAL HYPERSURFACE FOR SMOOTH GAUSSIAN FIELDS IN DIMENSION d >= 3

Alejandro Rivera

For the Bargmann-Fock field on R-d with d >= 3, we prove that the critical level l(c) (d) of the percolation model formed by the excursion sets {f >= l} is strictly positive. This implies that for every l sufficiently close to 0 (in particular for the noda ...

INST MATHEMATICAL STATISTICS-IMS2023

On algebraic twists with composite moduli

Philippe Michel, Yongxiao Lin

We study bounds for algebraic twists sums of automorphic coefficients by trace functions of composite moduli. ...

Dordrecht2023

Covers diagonalizable matrices, symmetric matrices, and spectral decomposition.

Explores homogeneous ideals, regular rings, N-graded rings, and closed sets in projective geometry.

Covers invariants and dimensions of projective varieties, emphasizing their importance.