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:
“Twenty-two years ago Judge [then-Senator Stephen] Douglas and I first became acquainted. We were both young then; he a trifle younger than I. Even then, we were both ambitious; I, perhaps, quite as much so as he. With me, the race of ambition has been a failure—a flat failure; with him it has been one of splendid success.”
—Abraham Lincoln (1809–1865)
“The reputation of generosity is to be purchased pretty cheap; it does not depend so much upon a man’s general expense, as it does upon his giving handsomely where it is proper to give at all. A man, for instance, who should give a servant four shillings, would pass for covetous, while he who gave him a crown, would be reckoned generous; so that the difference of those two opposite characters, turns upon one shilling.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)