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). Let ƒ:X→Y be a morphism of schemes. If x is a point of X, since ƒ is continuous, there are open affine subsets U = Spec A of X containing x and V = Spec B of Y such that ƒ(U) ⊆ V. Then ƒ: U → V is a morphism of affine schemes and thus is induced by some ring homomorphism B → A (cf. #Affine case.) In fact, one can use this description to "define" a morphism of schemes; one says that ƒ:X→Y is a morphism of schemes if it is locally induced by ring homomorphisms between coordinate rings of affine charts.
Note: It would not be desirable to define a morphism of schemes as a morphism of ringed spaces. One trivial reason is that there is an example of a ringed-space morphism between affine schemes that is not induced by a ring homomorphism (for example, a morphism of ringed spaces:
that sends the unique point to s and that comes with .) More conceptually, the definition of a morphism of schemes needs to capture "Zariski-local nature" or localization of rings; this point of view (i.e., a local-ringed space) is essential for a generalization (topos).
Let f : X → Y be a morphism of schemes with . Then, for each point x of X, the homomorphisms on the stalks:
is a local ring homomorphism: i.e., and so induces an injective homomorphism of residue fields
(In fact, φ maps th n-th power of a maximal ideal to the n-th power of the maximal ideal and thus induces the map between the (Zariski) cotangent spaces.)
For each scheme X, there is a natural morphism
which is an isomorphism if and only if X is affine; θ is obtained by gluing U → target which come from restrictions to open affine subsets U of X.
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.
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
Develop your promising idea into a successful business concept proposal, and launch it! Gain practical experience in the key steps of the venture creation process, including marketing and fundraising.
Develop your promising idea into a successful business concept proposal, and launch it! Gain practical experience in the key steps of the venture creation process, including marketing and fundraising.
We provide a new description of the complex computing the Hochschild homology of an -unitary -algebra as a derived tensor product such that: (1) there is a canonical morphism from it to the complex computing the cyclic homology of that was introduced by Ko ...
In algebraic geometry, a closed immersion of schemes is a morphism of schemes that identifies Z as a closed subset of X such that locally, regular functions on Z can be extended to X. The latter condition can be formalized by saying that is surjective. An example is the inclusion map induced by the canonical map . The following are equivalent: is a closed immersion. For every open affine , there exists an ideal such that as schemes over U. There exists an open affine covering and for each j there exists an ideal such that as schemes over .
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
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.
We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial fiberwise localizatio ...
A toric variety is called fibered if it can be represented as a total space of fibre bundle over toric base and with toric fiber. Fibered toric varieties form a special case of toric variety bundles. In this note we first give an introduction to the class ...