Rational Equivalence

William Fulton ()
Additional contact information
William Fulton: University of Michigan, Department of Mathematics

Chapter Chapter 1 in Intersection Theory, 1998, pp 6-27 from Springer

Abstract: Abstract A cycle on an arbitrary algebraic variety (or scheme) X is a finite formal sum Σn v [V] of (irreducible) subvarieties of X, with integer coefficients. A rational function r on any subvariety of X determines a cycle [div (r)]. Cycles differing by a sum of such cycles are defined to be rationally equivalent. Alternatively, rational equivalence is generated by cycles of the form [V(0)] — [V(∞)] for subvarieties V of $$ X \times {\mathbb{P}^1} $$ which project dominantly to $$ {\mathbb{P}^1} $$ . The group of rational equivalence classes on X is denoted A * X. For a proper morphism f:X → Y, there is an induced push-forward of cycles. The fundamental theorem of this chapter states that rational equivalence pushes forward, so there is an induced homomorphism f * from A * X to A * Y, making A * a covariant functor for proper morphisms. For flat morphisms f:X → Y (of constant relative dimension) there are contravariant pull-back homomorphisms f* from A * Y to A * X. There is a useful exact sequence $$ {A_ * }Y \to {A_ * }X \to {A_ * }\left( {X - Y} \right) \to 0 $$ for a closed subscheme Y of X, and exterior products $$ {A_ * }X \otimes {A_ * }Y\xrightarrow{X}{A_ * }\left( {X \times Y} \right) $$ The groups A * X will play a role analogous to homology groups in topology. In succeeding chapters it will be shown how geometric objects (vector bundles, regularly imbedded subschemes,…) give rise to operations on these groups (Chern classes, intersection products,…). Eventually corresponding contravariant, ring-valued functors A* will be constructed, with cap-products from $$ {A^ * }X \otimes {A_ * }X $$ To $$ {A_ * }X $$ and other properties familiar from topology. When X is non-singular, $$ {A_ * }X \cong {A_ * }X$$ in the non-singular case, but not in general, A * X will have a ring structure. The actual relation of these groups to homology groups is discussed in Chapter 19.

Keywords: Exact Sequence; Irreducible Component; Local Ring; Rational Equivalence; Plane Curf (search for similar items in EconPapers)
Date: 1998
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4612-1700-8_2

Ordering information: This item can be ordered from
http://www.springer.com/9781461217008

DOI: 10.1007/978-1-4612-1700-8_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().