To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Diagonal morphism (algebraic geometry)

From Wikipedia, the free encyclopedia

In algebraic geometry, given a morphism of schemes , the diagonal morphism

is a morphism determined by the universal property of the fiber product of p and p applied to the identity and the identity .

It is a special case of a graph morphism: given a morphism over S, the graph morphism of it is induced by and the identity . The diagonal embedding is the graph morphism of .

By definition, X is a separated scheme over S ( is a separated morphism) if the diagonal morphism is a closed immersion. Also, a morphism locally of finite presentation is an unramified morphism if and only if the diagonal embedding is an open immersion.

Explanation

As an example, consider an algebraic variety over an algebraically closed field k and the structure map. Then, identifying X with the set of its k-rational points, and is given as ; whence the name diagonal morphism.

Separated morphism

A separated morphism is a morphism such that the fiber product of with itself along has its diagonal as a closed subscheme — in other words, the diagonal morphism is a closed immersion.

As a consequence, a scheme is separated when the diagonal of within the scheme product of with itself is a closed immersion. Emphasizing the relative point of view, one might equivalently define a scheme to be separated if the unique morphism is separated.

Notice that a topological space Y is Hausdorff iff the diagonal embedding

is closed. In algebraic geometry, the above formulation is used because a scheme which is a Hausdorff space is necessarily empty or zero-dimensional. The difference between the topological and algebro-geometric context comes from the topological structure of the fiber product (in the category of schemes) , which is different from the product of topological spaces.

Any affine scheme Spec A is separated, because the diagonal corresponds to the surjective map of rings (hence is a closed immersion of schemes):

.

Let be a scheme obtained by identifying two affine lines through the identity map except at the origins (see gluing scheme#Examples). It is not separated.[1] Indeed, the image of the diagonal morphism image has two origins, while its closure contains four origins.

Use in intersection theory

A classic way to define the intersection product of algebraic cycles on a smooth variety X is by intersecting (restricting) their cartesian product with (to) the diagonal: precisely,

where is the pullback along the diagonal embedding .

See also

References

  1. ^ Hartshorne 1977, Example 4.0.1.
  • Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
This page was last edited on 30 September 2021, at 15:46
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.