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:
“Castaway, your time is a flat sea that doesn’t stop,
with no new land to make for and no new stories to swap.”
—Anne Sexton (1928–1974)
“I thought it altogether proper that I should take a brief furlough from official duties at Washington to mingle with you here to-day as a comrade, because every President of the United States must realize that the strength of the Government, its defence in war, the army that is to muster under its banner when our Nation is assailed, is to be found here in the masses of our people.”
—Benjamin Harrison (1833–1901)