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:
“Man is a wingless animal with two feet and flat nails.”
—Plato (c. 427–347 B.C.)
“A proper autobiography is a death-bed confession. A true man finds so much work to do that he has no time to contemplate his yesterdays; for to-day and to-morrow are here, with their impatient tasks. The world is so busy, too, that it cannot afford to study any man’s unfinished work; for the end may prove it a failure, and the world needs masterpieces.”
—Mary Antin (1881–1949)