# Chow ring

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The ring of rational equivalence classes of algebraic cycles (cf. Algebraic cycle) on a non-singular quasi-projective algebraic variety. Multiplication in this ring is defined in terms of intersections of cycles (cf. Intersection theory).

The Chow ring of a variety is a graded commutative ring, where denotes the group of classes of cycles of codimension . For a morphism the inverse-image homomorphism is a homomorphism of rings, and the direct-image homomorphism is (for proper ) a homomorphism of -modules. This means that there is a projection formula:

The Chow ring is the domain of values for the theory of Chern classes of vector bundles (cf. [1]). More precisely, if is a locally trivial sheaf of rank over a variety , if is its projectivization, if is the canonical projection, and if is the class of divisors corresponding to the invertible sheaf , then is an imbedding and the Chow ring may be identified with the quotient ring of the polynomial ring by the ideal generated by the polynomial

The coefficient is called the -th Chern class of the sheaf .

In the case of a variety over the field of complex numbers, there is a homomorphism into the singular cohomology ring that preserves the degree and commutes with the inverse-image and direct-image homomorphisms.

If is a singular quasi-projective variety, then its Chow ring is defined as the direct limit of rings over all morphisms , where is non-singular. One obtains a contravariant functor into the category of graded rings, satisfying the projection formula (cf. [3]).

#### References

 [1] R. Hartshorne, "Algebraic geometry" , Springer (1977) [2] "Anneaux de Chow et applications" , Sem. Chevalley (1958) [3] W. Fulton, "Rational equivalence on singular varieties" Publ. Math. IHES , 45 (1975) pp. 147–167