“Quotient by an equivalence relation”的意思、由来-开放百科全书

词条

Quotient by an equivalence relation

释义

Examples
See also
Notes
References

{{about|a generalization to category theory, used in scheme theory|the common meaning|Equivalence class}}

In mathematics, given a category C, a quotient of an object X by an equivalence relation is a coequalizer for the pair of maps

where R is an object in C and "f is an equivalence relation" means that, for any object T in C, the image (which is a set) of is an equivalence relation; that is, is in it if and only if is in it, etc.

The basic case in practice is when C is the category of all schemes over some scheme S. But the notion is flexible and one can also take C to be the category of sheaves.

Examples

Let X be a set and consider some equivalence relation on it. Let Q be the set of all equivalence classes in X. Then the map that sends an element x to an equivalence class to which x belong is a quotient.
In the above example, Q is a subset of the power set H of X. In algebraic geometry, one might replace H by a Hilbert scheme or disjoint union of Hilbert schemes. In fact, Grothendieck constructed a relative Picard scheme of a flat projective scheme X^[1] as a quotient Q (of the scheme Z parametrizing relative effective divisors on X) that is a closed scheme of a Hilbert scheme H. The quotient map can then be thought of as a relative version of the Abel map.

Notes

1. ^One also needs to assume the geometric fibers are integral schemes; Mumford's example shows the "integral" cannot be omitted.

References

Nitsure, N. Construction of Hilbert and Quot schemes. Fundamental algebraic geometry: Grothendieck’s FGA explained, Mathematical Surveys and Monographs 123, American Mathematical Society 2005, 105–137.

2 : Binary relations|Scheme theory

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Examples

See also

Notes

References