In algebraic geometry, the Chow groups (named after Wei-Liang Chow by ClaudeChevalley ( 1958 )) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-called algebraic cycles) in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups (compare Poincaré duality) and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.
For what follows, define a variety over a field to be an integral scheme of finite type over . For any scheme of finite type over , an algebraic cycle on means a finite linear combination of subvarieties of with integer coefficients. (Here and below, subvarieties are understood to be closed in , unless stated otherwise.) For a natural number , the group of -dimensional cycles (or -cycles, for short) on is the free abelian group on the set of -dimensional subvarieties of .
For a variety of dimension and any rational function on which is not identically zero, the divisor of is the -cycle
where the sum runs over all -dimensional subvarieties of and the integer denotes the order of vanishing of along . (Thus is negative if has a pole along .) The definition of the order of vanishing requires some care for singular. [1]
For a scheme of finite type over , the group of -cycles rationally equivalent to zero is the subgroup of generated by the cycles for all -dimensional subvarieties of and all nonzero rational functions on . The Chow group of -dimensional cycles on is the quotient group of by the subgroup of cycles rationally equivalent to zero. Sometimes one writes for the class of a subvariety in the Chow group, and if two subvarieties and have , then and are said to be rationally equivalent.
For example, when is a variety of dimension , the Chow group is the divisor class group of . When is smooth over (or more generally, a locally Noetherian normal factorial scheme [2] ), this is isomorphic to the Picard group of line bundles on .
Rationally equivalent cycles defined by hypersurfaces are easy to construct on projective space because they can all be constructed as the vanishing loci of the same vector bundle. For example, given two homogeneous polynomials of degree , so , we can construct a family of hypersurfaces defined as the vanishing locus of . Schematically, this can be constructed as
using the projection we can see the fiber over a point is the projective hypersurface defined by . This can be used to show that the cycle class of every hypersurface of degree is rationally equivalent to , since can be used to establish a rational equivalence. Notice that the locus of is and it has multiplicity , which is the coefficient of its cycle class.
If we take two distinct line bundles of a smooth projective curve , then the vanishing loci of a generic section of both line bundles defines non-equivalent cycle classes in . This is because for smooth varieties, so the divisor classes of and define inequivalent classes.
When the scheme is smooth over a field , the Chow groups form a ring, not just a graded abelian group. Namely, when is smooth over , define to be the Chow group of codimension- cycles on . (When is a variety of dimension , this just means that .) Then the groups form a commutative graded ring with the product:
The product arises from intersecting algebraic cycles. For example, if and are smooth subvarieties of of codimension and respectively, and if and intersect transversely, then the product in is the sum of the irreducible components of the intersection , which all have codimension .
More generally, in various cases, intersection theory constructs an explicit cycle that represents the product in the Chow ring. For example, if and are subvarieties of complementary dimension (meaning that their dimensions sum to the dimension of ) whose intersection has dimension zero, then is equal to the sum of the points of the intersection with coefficients called intersection numbers. For any subvarieties and of a smooth scheme over , with no assumption on the dimension of the intersection, William Fulton and Robert MacPherson's intersection theory constructs a canonical element of the Chow groups of whose image in the Chow groups of is the product . [3]
The Chow ring of projective space over any field is the ring
where is the class of a hyperplane (the zero locus of a single linear function). Furthermore, any subvariety of degree and codimension in projective space is rationally equivalent to . It follows that for any two subvarieties and of complementary dimension in and degrees , , respectively, their product in the Chow ring is simply
where is the class of a -rational point in . For example, if and intersect transversely, it follows that is a zero-cycle of degree . If the base field is algebraically closed, this means that there are exactly points of intersection; this is a version of Bézout's theorem, a classic result of enumerative geometry.
Given a vector bundle of rank over a smooth proper scheme over a field, the Chow ring of the associated projective bundle can be computed using the Chow ring of and the Chern classes of . If we let and the Chern classes of , then there is an isomorphism of rings
For example, the Chow ring of a Hirzebruch surface can be readily computed using the projective bundle formula. Recall that it is constructed as over . Then, the only non-trivial Chern class of this vector bundle is . This implies that the Chow ring is isomorphic to
For other algebraic varieties, Chow groups can have richer behavior. For example, let be an elliptic curve over a field . Then the Chow group of zero-cycles on fits into an exact sequence
Thus the Chow group of an elliptic curve is closely related to the group of -rational points of . When is a number field, is called the Mordell–Weil group of , and some of the deepest problems in number theory are attempts to understand this group. When is the complex numbers, the example of an elliptic curve shows that Chow groups can be uncountable abelian groups.
For a proper morphism of schemes over , there is a pushforward homomorphism for each integer . For example, for a proper scheme over , this gives a homomorphism , which takes a closed point in to its degree over . (A closed point in has the form for a finite extension field of , and its degree means the degree of the field over .)
For a flat morphism of schemes over with fibers of dimension (possibly empty), there is a homomorphism .
A key computational tool for Chow groups is the localization sequence, as follows. For a scheme over a field and a closed subscheme of , there is an exact sequence
where the first homomorphism is the pushforward associated to the proper morphism , and the second homomorphism is pullback with respect to the flat morphism . [4] The localization sequence can be extended to the left using a generalization of Chow groups, (Borel–Moore) motivic homology groups, also known as higher Chow groups . [5]
For any morphism of smooth schemes over , there is a pullback homomorphism , which is in fact a ring homomorphism .
Note that non-examples can be constructed using blowups; for example, if we take the blowup of the origin in then the fiber over the origin is isomorphic to .
Consider the branched covering of curves
Since the morphism ramifies whenever we get a factorization
where one of the . This implies that the points have multiplicities respectively. The flat pullback of the point is then
Consider a flat family of varieties
and a subvariety . Then, using the cartesian square
we see that the image of is a subvariety of . Therefore, we have
There are several homomorphisms (known as cycle maps) from Chow groups to more computable theories.
First, for a scheme X over the complex numbers, there is a homomorphism from Chow groups to Borel–Moore homology: [6]
The factor of 2 appears because an i-dimensional subvariety of X has real dimension 2i. When X is smooth over the complex numbers, this cycle map can be rewritten using Poincaré duality as a homomorphism
In this case (X smooth over C), these homomorphisms form a ring homomorphism from the Chow ring to the cohomology ring. Intuitively, this is because the products in both the Chow ring and the cohomology ring describe the intersection of cycles.
For a smooth complex projective variety, the cycle map from the Chow ring to ordinary cohomology factors through a richer theory, Deligne cohomology. [7] This incorporates the Abel–Jacobi map from cycles homologically equivalent to zero to the intermediate Jacobian. The exponential sequence shows that CH1(X) maps isomorphically to Deligne cohomology, but that fails for CHj(X) with j > 1.
For a scheme X over an arbitrary field k, there is an analogous cycle map from Chow groups to (Borel–Moore) etale homology. When X is smooth over k, this homomorphism can be identified with a ring homomorphism from the Chow ring to etale cohomology. [8]
An (algebraic) vector bundle E on a smooth scheme X over a field has Chern classes ci(E) in CHi(X), with the same formal properties as in topology. [9] The Chern classes give a close connection between vector bundles and Chow groups. Namely, let K0(X) be the Grothendieck group of vector bundles on X. As part of the Grothendieck–Riemann–Roch theorem, Grothendieck showed that the Chern character gives an isomorphism
This isomorphism shows the importance of rational equivalence, compared to any other adequate equivalence relation on algebraic cycles.
Some of the deepest conjectures in algebraic geometry and number theory are attempts to understand Chow groups. For example:
Fulton and MacPherson extended the Chow ring to singular varieties by defining the "operational Chow ring" and more generally a bivariant theory associated to any morphism of schemes. [13] A bivariant theory is a pair of covariant and contravariant functors that assign to a map a group and a ring respectively. It generalizes a cohomology theory, which is a contravariant functor that assigns to a space a ring, namely a cohomology ring. The name "bivariant" refers to the fact that the theory contains both covariant and contravariant functors. [14]
This is in a sense the most elementary extension of the Chow ring to singular varieties; other theories such as motivic cohomology map to the operational Chow ring. [15]
Arithmetic Chow groups are an amalgamation of Chow groups of varieties over Q together with a component encoding Arakelov-theoretical information, that is, differential forms on the associated complex manifold.
The theory of Chow groups of schemes of finite type over a field extends easily to that of algebraic spaces. The key advantage of this extension is that it is easier to form quotients in the latter category and thus it is more natural to consider equivariant Chow groups of algebraic spaces. A much more formidable extension is that of Chow group of a stack, which has been constructed only in some special case and which is needed in particular to make sense of a virtual fundamental class.
Rational equivalence of divisors (known as linear equivalence) was studied in various forms during the 19th century, leading to the ideal class group in number theory and the Jacobian variety in the theory of algebraic curves. For higher-codimension cycles, rational equivalence was introduced by Francesco Severi in the 1930s. In 1956, Wei-Liang Chow gave an influential proof that the intersection product is well-defined on cycles modulo rational equivalence for a smooth quasi-projective variety, using Chow's moving lemma. Starting in the 1970s, Fulton and MacPherson gave the current standard foundation for Chow groups, working with singular varieties wherever possible. In their theory, the intersection product for smooth varieties is constructed by deformation to the normal cone. [16]
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry and complex geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties.
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, and Gromov–Witten invariants. Chern classes were introduced by Shiing-Shen Chern.
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety.
In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.
In algebraic geometry, motives is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety.
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.
In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.
Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology.
In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces.
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are derived from the notion of divisibility in the integers and algebraic number fields.
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form.
In mathematics, an algebraic cycle on an algebraic variety V is a formal linear combination of subvarieties of V. These are the part of the algebraic topology of V that is directly accessible by algebraic methods. Understanding the algebraic cycles on a variety can give profound insights into the structure of the variety.
In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan and Daniel Quillen. This simplification of homotopy theory makes certain calculations much easier.
This is a glossary of algebraic geometry.
In algebraic geometry, Bloch's higher Chow groups, a generalization of Chow group, is a precursor and a basic example of motivic cohomology. It was introduced by Spencer Bloch and the basic theory has been developed by Bloch and Marc Levine.
In algebraic geometry, the Chow group of a stack is a generalization of the Chow group of a variety or scheme to stacks. For a quotient stack , the Chow group of X is the same as the G-equivariant Chow group of Y.
In mathematics, a bivariant theory was introduced by Fulton and MacPherson, in order to put a ring structure on the Chow group of a singular variety, the resulting ring called an operational Chow ring.