Flat Pullback and Proper Pushforward
There is a covariant and a contravariant functoriality of the group of algebraic cycles. Let f : X → X' be a map of varieties.
If f is flat of some constant relative dimension (i.e. all fibers have the same dimension), we can define for any subvariety Y' ⊂ X':
which by assumption has the same codimension as Y′.
Conversely, if f is proper, for Y a subvariety of X the pushforward is defined to be
where n is the degree of the extension of function fields if the restriction of f to Y is finite and 0 otherwise.
By linearity, these definitions extend to homomorphisms of abelian groups
(the latter by virtue of the convention) are homomorphisms of abelian groups. See Chow ring for a discussion of the functoriality related to the ring structure.
Read more about this topic: Algebraic Cycle
Famous quotes containing the words flat and/or proper:
“They are not flat surfaces
Having curved outlines.
They are round
Tapering toward the top.”
—Wallace Stevens (1879–1955)
“In England if something goes wrong—say, if one finds a skunk in the garden—he writes to the family solicitor, who proceeds to take the proper measures; whereas in America, you telephone the fire department. Each satisfies a characteristic need; in the English, love of order and legalistic procedure; and here in America, what you like is something vivid, and red, and swift.”
—Alfred North Whitehead (1861–1947)