# Algebraic cycles and Chow groups
An algebraic cycle on an algebraic variety is a finite formal integer combination of closed irreducible subvarieties, and the Chow groups are the abelian groups of cycles modulo rational equivalence, the equivalence generated by divisors of rational functions. On a smooth variety the Chow groups carry an intersection product, forming the Chow ring.
| Key fact | Statement |
|---|---|
| Definition | \(CH_{k}(X)\) is the quotient of the free abelian group \(Z_{k}(X)\) on k-dimensional closed subvarieties by the subgroup of cycles rationally equivalent to zero [1](https://stacks.math.columbia.edu/tag/02RV) |
| Grading | \(CH_*(X) = \oplus CH_k(X)\); in codimension grading \(CH^0(X) = \mathbb{Z}\) and \(CH^p(X) = 0\) for \(p > \dim X\) [2](https://www.imsc.res.in/~kapil/papers/harishconf.pdf) |
| Divisor case | \(CH^1(X)\) is canonically isomorphic to the Picard group of line bundles via the first Chern class [3](https://www.ias.edu/sites/default/files/pcmi1.pdf) |
| Ring structure | On a nonsingular variety the intersection product is commutative, associative, and has a unit [4](https://stacks.math.columbia.edu/download/intersection.pdf) |
| Equivalence chain | Over ℂ: \(CH^{p}_{\mathrm{alg}}(X) \subset CH^{p}_{\mathrm{hom}}(X) \subset CH^{p}_{\mathrm{num}}(X) \subset CH^{p}(X)\) [2](https://www.imsc.res.in/~kapil/papers/harishconf.pdf) |
| Top degree | If dim X = p, then CH_p(X) = ℤ_p(X), the free abelian group on the irreducible components of maximal dimension [5](https://public.websites.umich.edu/~mmustata/appendix_Chow_groups.pdf) |
| Griffiths group | In codimension ≥ 2, algebraic equivalence can be strictly stronger than homological equivalence; the failure is the Griffiths group [6](https://mathoverflow.net/questions/11774/difference-between-equivalence-relations-on-algebraic-cycles) |
## Algebraic cycles: definitions and grading
Fix a variety X. The group of k-cycles \(Z_{k}(X)\) is the free abelian group whose generators are the closed irreducible subvarieties of dimension \(k\); a cycle is a finite integer sum of these [7](https://encyclopediaofmath.org/wiki/Algebraic_cycle). Two gradings are used interchangeably: by dimension (\(CH_{k}\)) and, when X is equidimensional, by codimension (\(CH^{p}\) with \(p = \dim X - k\)). The codimension-1 part of the cycle group is exactly the group of Weil divisors [7](https://encyclopediaofmath.org/wiki/Algebraic_cycle).
The grading is not a grouping of unrelated groups: functorial maps and the intersection product relate the pieces, and direct sums CH_*(X) = ⊕ CH_k(X) package them [5](https://public.websites.umich.edu/~mmustata/appendix_Chow_groups.pdf).
Why the top degree is easy: if dim X = p, then CH_p(X) = ℤ_p(X) is the free abelian group on the set of irreducible components of X of maximal dimension [5](https://public.websites.umich.edu/~mmustata/appendix_Chow_groups.pdf). Computing the rest of CH_*(X) is the hard part and motivates the toolkit below.
## Rational equivalence
An r-cycle α on X is rationally equivalent to zero if there are finitely many (r+1)-dimensional subvarieties W_j of X and rational functions f_j on W_j such that α is the sum of the divisors div(f_j), taken with multiplicity along codimension-one subvarieties of each W_j [3](https://www.ias.edu/sites/default/files/pcmi1.pdf). Two cycles are rationally equivalent when their difference is rationally equivalent to zero [1](https://stacks.math.columbia.edu/tag/02RV).
The geometric picture answers the family question directly: since ℙ¹ can serve as the connected base parametrizing a family, a family of r-dimensional subvarieties parametrized by ℙ¹ (or, after removing a point, by the affine line) has beginning and end members rationally equivalent. Thus
\(CH_{r}(X) = Z_{r}(X)\) / (cycles rationally equivalent to zero) [3](https://www.ias.edu/sites/default/files/pcmi1.pdf) • [1](https://stacks.math.columbia.edu/tag/02RV).
In codimension 1 this recovers linear equivalence of divisors, and for a smooth (or more generally factorial) scheme X the first [Chern class](https://www.edgepedia.org/chern-class) gives a canonical isomorphism from Pic(X), the group of line bundles, to the divisor class group \(CH^1(X)\) [3](https://www.ias.edu/sites/default/files/pcmi1.pdf). Over ℂ, GAGA (Serre, 1956) further shows that \(CH^1\) of a smooth projective variety is the same whether computed algebraically or analytically [8](https://www2.math.upenn.edu/~siegelch/Notes/Murre.pdf). This anchors the whole theory: \(CH^0 = \mathbb{Z}\) (top dimension, as above), \(CH^1 =\) Pic, and the remaining groups \(CH^p\) for \(2 \leq p \leq \dim X\) are the genuinely new invariants.
## Functoriality: pushforward and flat pullback
Chow groups are functorial in X along two kinds of maps.
**Pushforward.** For a [proper morphism](https://www.edgepedia.org/proper-morphism) f : X → Y, the key theorem is that if α is rationally equivalent to zero on X, then f_*(α) is rationally equivalent to zero on Y [4](https://stacks.math.columbia.edu/download/intersection.pdf) • [3](https://www.ias.edu/sites/default/files/pcmi1.pdf). This is why the definition via divisors of rational functions is the right one: relations push to relations. Pushforwards compose: (gf)_* = g_* f_* for proper f and g [3](https://www.ias.edu/sites/default/files/pcmi1.pdf).
**Flat pullback.** For a [flat morphism](https://www.edgepedia.org/flat-morphism) \(f : X \to Y\) with \(r = \dim X - \dim Y\), pulling back subvarieties (by scheme-theoretic inverse image) and multiplying by multiplicities sends rationally trivial cycles on \(Y\) to rationally trivial cycles on \(X\), giving homomorphisms \(f^* : CH_k(Y) \to CH_{k+r}(X)\) of degree \(r\) [4](https://stacks.math.columbia.edu/download/intersection.pdf). A consequence is homotopy invariance: for any morphism, the flat pullback \(p_f^* : CH(Y) \to CH(N_f)\) to the [Chow group](https://www.edgepedia.org/chow-group) of the normal bundle \(N_f\) is an isomorphism [9](https://ar5iv.labs.arxiv.org/html/2504.04832).
When both functors exist they interact by the projection formula f_*(f^*(y) · x) = y · f_*(x) [10](https://encyclopediaofmath.org/wiki/Chow_ring). Recent work extends this functorial package: the Weil restriction of cycles is compatible with rational equivalence and descends to CH(X) → CH(R(X)), commuting with pushforwards, pullbacks, products, and Gysin pullbacks [11](https://arxiv.org/html/2602.09215v1).
## The Chow ring and intersection product
On a nonsingular projective variety over an algebraically closed field, the Chow groups acquire a product. The construction uses three tools [4](https://stacks.math.columbia.edu/download/intersection.pdf):
1. **Serre's Tor formula** defines the intersection multiplicity of two properly intersecting subvarieties as an alternating sum of Tor's over their structure sheaves, refining naive set-theoretic intersection.
2. **Reduction to the diagonal** converts the intersection of two subvarieties V, W in X into the intersection of V × W with the diagonal Δ ⊂ X × X, reducing general intersections to self-intersections.
3. **The moving lemma** replaces arbitrary cycles by rationally equivalent ones meeting properly, extending the product from properly intersecting pairs to all pairs.
The resulting product makes \(CH^{*}(X) = \bigoplus_{p} CH^{p}(X)\) into a commutative, associative graded ring with unit [4](https://stacks.math.columbia.edu/download/intersection.pdf) • [10](https://encyclopediaofmath.org/wiki/Chow_ring) • [2](https://www.imsc.res.in/~kapil/papers/harishconf.pdf). This is why \(CH^{*}(X)\) is a ring and not merely a graded group: the product adds codimensions, so \(CH^{p} \cdot CH^{q} \subset CH^{p+q}\). The ring exists for nonsingular quasi-projective varieties; for singular varieties over ℂ, the Chow ring is defined as a direct limit over morphisms to nonsingular ones [10](https://encyclopediaofmath.org/wiki/Chow_ring). Flat pullback is then a ring homomorphism for any morphism [10](https://encyclopediaofmath.org/wiki/Chow_ring).
**Computational toolkit.** Beyond the moving lemma, two standard tools dominate computations:
- The localization sequence: a closed immersion Y → X with complement U = X − Y gives a long exact sequence of Chow groups relating CH of U, X, and Y [8](https://www2.math.upenn.edu/~siegelch/Notes/Murre.pdf).
- The projective bundle formula: for \(\pi : \mathbb{P}(E) \to X\) a projective bundle of relative rank \(r\), \(\pi^{*}\) is injective and \(CH(\mathbb{P}(E))\) is the quotient of the polynomial ring \(CH(X)[\zeta]\) by a single monic relation in \(\zeta\) coming from the tautological line bundle \(O_{\mathbb{P}(E)}(1)\) [10](https://encyclopediaofmath.org/wiki/Chow_ring).
## By the numbers: computations and known groups
A few anchor computations show the shape of the theory. \(CH^{0}(X) = \mathbb{Z}\) for any nonsingular variety, and \(CH^{p}(X) = 0\) for \(p > \dim X\) [2](https://www.imsc.res.in/~kapil/papers/harishconf.pdf). At the other end, \(CH_{p}(X) = \mathbb{Z}_{p}(X)\) is free abelian on the irreducible components when \(p = \dim X\) [5](https://public.websites.umich.edu/~mmustata/appendix_Chow_groups.pdf). For projective bundles, the formula \(CH(\mathbb{P}(E)) \cong CH(X)[\zeta]/(\text{relation})\) reduces every computation to that of the base [10](https://encyclopediaofmath.org/wiki/Chow_ring).
In codimension 1 there is an exact structural description: \(CH^{1}_{\mathrm{alg}}(X)\), the group of divisors modulo algebraic equivalence, is a quotient of a direct sum of Jacobians of smooth projective curves, hence a divisible abelian group [2](https://www.imsc.res.in/~kapil/papers/harishconf.pdf).
## Equivalence relations: rational, algebraic, homological, numerical
Rational equivalence is only the finest of several standard relations on cycles. Samuel (1956) gave axioms for an adequate equivalence relation: the cycles equivalent to zero should form a subgroup, and the relation should behave correctly under pushforward by projections and by morphisms. Rational (Chow–Samuel), algebraic (Weil, 1952), homological, and numerical equivalence are all adequate, and each yields a commutative ring with proper-pushforward functoriality (the Chow–Samuel theorem) [8](https://www2.math.upenn.edu/~siegelch/Notes/Murre.pdf).
The relations are nested. Since \(\mathbb{P}^1\) can serve as the connected base parametrizing a family, rational equivalence implies algebraic equivalence: \(Z_{\mathrm{rat}} \subset Z_{\mathrm{alg}}\) [8](https://www2.math.upenn.edu/~siegelch/Notes/Murre.pdf). That algebraic implies homological was proved by Matsusaka (1956) for divisors, but the converse fails in general, as shown by Griffiths in 1969 [8](https://www2.math.upenn.edu/~siegelch/Notes/Murre.pdf); the Encyclopedia of Mathematics states the inclusion \(C_{\mathrm{alg}} \subset C_{\mathrm{hom}}\) as valid [7](https://encyclopediaofmath.org/wiki/Algebraic_cycle) • [17](https://www.jmilne.org/math/xnotes/pRH.pdf). That homological implies numerical, \(Z_{\mathrm{hom}} \subseteq Z_{\mathrm{num}}\), holds unconditionally, and the standard conjecture of Grothendieck asserts the converse, that numerical implies homological, at least with rational coefficients [8](https://www2.math.upenn.edu/~siegelch/Notes/Murre.pdf).[16](https://redjoseph.github.io/more-website/Standard_conjectures.pdf) Over \(\mathbb{C}\) the chain of quotients reads
\(CH^p_{\mathrm{alg}}(X) \subset CH^p_{\mathrm{hom}}(X) \subset CH^p_{\mathrm{num}}(X) \subset CH^p(X)\),
and one of Grothendieck's standard conjectures asserts that CH^p_hom ⊗ ℚ = CH^p_num ⊗ ℚ [2](https://www.imsc.res.in/~kapil/papers/harishconf.pdf).
The codimension-one picture is complete: algebraic and homological equivalence coincide and both give NS(X), a subgroup of H²(X, ℤ); numerical equivalence classes are NS(X) modulo its torsion subgroup; and rational equivalence classes are parametrized by Pic(X) = H¹(X, O_X^*) [6](https://mathoverflow.net/questions/11774/difference-between-equivalence-relations-on-algebraic-cycles). The Néron–Severi group C¹(X)/C_alg¹(X) is finitely generated [7](https://encyclopediaofmath.org/wiki/Algebraic_cycle).
Over \(\mathbb{C}\), a codimension-p cycle on a nonsingular projective n-fold carries a homology class in \(H_{2n-2p}(X, \mathbb{Z})\), or by [Poincaré duality](https://www.edgepedia.org/poincare-duality) a cohomology class in \(H^{2p}(X, \mathbb{Z})\) [7](https://encyclopediaofmath.org/wiki/Algebraic_cycle); more generally there is a degree-preserving cycle class homomorphism \(\mathrm{CH}(X) \to H(X, \mathbb{Z})\) commuting with pullback and pushforward [10](https://encyclopediaofmath.org/wiki/Chow_ring). The [Hodge conjecture](https://www.edgepedia.org/hodge-conjecture) asks when a cohomology class arises from an algebraic cycle; it is proved only for \(p = 1\), \(p = n - 1\), and isolated classes [7](https://encyclopediaofmath.org/wiki/Algebraic_cycle).
**The Griffiths group.** In codimension ≥ 2 the inclusions can be strict in examples, and the [Griffiths group](https://www.edgepedia.org/griffiths-group), the group of cycles homologically equivalent to zero modulo algebraically equivalent to zero, measures exactly the failure of algebraic within homological equivalence [6](https://mathoverflow.net/questions/11774/difference-between-equivalence-relations-on-algebraic-cycles). Bloch asked whether the Griffiths group is always divisible; Bloch and Esnault found a counterexample [2](https://www.imsc.res.in/~kapil/papers/harishconf.pdf). Recent work sharpens the picture: on a very general prime Fano threefold Y of genus 7, there is an explicit 2-cycle on Y × Y that is Abel–Jacobi trivial but non-torsion in A⁴(Y × Y) [12](https://arxiv.org/abs/2608.12950).
## Recent developments
Several lines of progress since 2023 concern cycles of small dimension and torsion phenomena.
**Zero-cycles in rationally connected families.** For a smooth projective scheme over a henselian discrete valuation ring whose special fiber is separably rationally connected, restriction of relative zero-cycles to the special fiber induces an isomorphism on Chow groups, generalizing Kollár's 2004 theorem; over \(k = \mathbb{C}\) the restriction map \(\mathrm{CH}^d(X) \to \mathrm{CH}^d(X_{k})\) is an isomorphism, and the result extends to certain higher Chow groups with conjectures in the non-smooth case [13](https://link.springer.com/article/10.1007/s00029-024-00963-1).
**Infinite torsion.** For every p ≥ 1 and n ≥ 2 there exist smooth complex projective d-folds with d ≥ p + 4 whose higher Chow group CH^{p+3}(X, p) contains infinitely many n-torsion cycles linearly independent modulo n, with optimal bounds on c and d [14](https://ar5iv.labs.arxiv.org/html/2503.20004). The same paper records that Scavia (2024) extended Schoen's 2002 result to show CH²(X)/ℓ is infinite for all primes ℓ > 5 for a smooth projective variety over ℚ̄, and that the n-torsion subgroup CH^{p+2}(X, p)[n] is finite, so the new infinitude occurs only from codimension p + 3 onward [14](https://ar5iv.labs.arxiv.org/html/2503.20004). Work on arithmetic fields proves divisibility and torsion-freeness for higher Chow groups of smooth proper geometrically irreducible varieties and studies kernels of pushforward maps [15](https://arxiv.org/abs/2609.11178).
**Functorial repairs.** The proof that Weil transfer on Chow groups of smooth varieties commutes with pullback, previously dependent on an unreferenced moving-lemma variant, has been redone via Fulton's deformation to the normal cone [9](https://ar5iv.labs.arxiv.org/html/2504.04832), and compatibility of Weil restriction with the full functorial package on Chow groups has been established [11](https://arxiv.org/html/2602.09215v1).
**Fano threefolds.** The genus-7 result above obstructs multiplicative Chow–Künneth decompositions in the sense of Shen–Vial, while every Fano threefold still admits such a decomposition modulo algebraic equivalence [12](https://arxiv.org/abs/2608.12950).
## References
1. [Section 42.19: Rational equivalence — The Stacks Project](https://stacks.math.columbia.edu/tag/02RV)
2. [Algebraic Cycles (survey, Harish-Chandra conference volume)](https://www.imsc.res.in/~kapil/papers/harishconf.pdf)
3. [PCMI notes 1: Chow groups (Burt Totaro)](https://www.ias.edu/sites/default/files/pcmi1.pdf)
4. [The Stacks Project — Intersection Theory chapter](https://stacks.math.columbia.edu/download/intersection.pdf)
5. [Appendix 3: An Overview of Chow Groups (Mircea Mustață)](https://public.websites.umich.edu/~mmustata/appendix_Chow_groups.pdf)
6. [Difference between equivalence relations on algebraic cycles (MathOverflow)](https://mathoverflow.net/questions/11774/difference-between-equivalence-relations-on-algebraic-cycles)
7. [Algebraic cycle — Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Algebraic_cycle)
8. [Notes on lectures on Chow groups and motives (J. Murre)](https://www2.math.upenn.edu/~siegelch/Notes/Murre.pdf)
9. [Pullback and Weil transfer on Chow groups (arXiv:2504.04832)](https://ar5iv.labs.arxiv.org/html/2504.04832)
10. [Chow ring — Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Chow_ring)
11. [Weil Restriction and the Motivic Cycle Class Map (arXiv:2602.09215)](https://arxiv.org/html/2602.09215v1)
12. [Algebraic cycles and Fano threefolds of genus 7 (arXiv:2608.12950)](https://arxiv.org/abs/2608.12950)
13. [Zero-cycles in families of rationally connected varieties (Selecta Mathematica, 2024)](https://link.springer.com/article/10.1007/s00029-024-00963-1)
14. [Torsion higher Chow cycles modulo ℓ (arXiv:2503.20004)](https://ar5iv.labs.arxiv.org/html/2503.20004)
15. [Divisibility and torsion in higher Chow groups over arithmetic fields (arXiv:2609.11178)](https://arxiv.org/abs/2609.11178)
16. [Standard conjectures (redjoseph.github.io)](https://redjoseph.github.io/more-website/Standard_conjectures.pdf)
17. [jmilne.org](https://www.jmilne.org/math/xnotes/pRH.pdf)
---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Algebraic geometry › Divisors, cycles, and motives › Algebraic cycles and Chow groups*
*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026 · Edited: Sep 30, 2026; Oct 11, 2026; Oct 15, 2026; Oct 21, 2026 · Last review: Sep 30, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license