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 all see you when you least suspect.
Out flat in your p.j.’s glowering at T.V.
or at the oven gassing the cat
or at the Hotel 69 head to knee.”
—Anne Sexton (1928–1974)
“All ceremonies are in themselves very silly things; but yet, a man of the world should know them. They are the outworks of Manners and Decency, which would be too often broken in upon, if it were not for that defence, which keeps the enemy at a proper distance.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)