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)
“Then did they strive with emulation who should repeat most wise maxims importing the necessity of suspicion in the choice of our friends—such as “mistrust is the mother of security,” with many more to the same effect.... But notwithstanding the esteem which they professed for suspicion, yet did they think proper to veil it under the name of caution.”
—Sarah Fielding (1710–1768)