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:
“If the juggler is tired now, if the broom stands
In the dust again, if the table starts to drop
Through the daily dark again, and though the plate
Lies flat on the table top,
For him we batter our hands
Who has won for once over the world’s weight.”
—Richard Wilbur (b. 1921)
“Our deeds disguise us. People need endless time to try on their deeds, until each knows the proper deeds for him to do. But every day, every hour, rushes by. There is no time.”
—Haniel Long (1888–1956)