Algebraic Cycle¶

A dimension-graded formal integer sum of integral closed subvarieties that can be compared by geometric equivalence and assembled into Chow groups.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1261
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Algebraic Geometry, Intersection Theory → Mathematics

Core Idea¶

An algebraic cycle on an algebraic variety or scheme is a finite, or in the appropriate locally finite setting locally finite, formal integer-weighted sum of its integral closed subvarieties. If the generators have dimension \(k\), a cycle has the form

\[ \alpha=\sum_Z n_Z[Z],\qquad n_Z\in\mathbb Z, \]

where only finitely many coefficients are nonzero in the ordinary finite-type case. The brackets denote the generator associated with the subvariety; they do not mean that its points have been numerically added. Cycles are graded by dimension or, on an equidimensional ambient space, by codimension. This grading keeps divisors, zero-cycles, curves, and higher-dimensional cycles in the degrees where their geometric operations make sense.

How would you explain it like I'm…

The Shape Score Card

Imagine a big shape, and inside it you pick some smaller shapes, like lines or dots. An algebraic cycle is a score card that lists those smaller shapes with a whole number next to each, like '2 of this line' or 'minus 1 of that line'. Mathematicians also have rules for when two different score cards count as the same.

A Scorecard of Shapes

An algebraic cycle is a way of keeping track of pieces inside a shape made by equations. You list some smaller shapes that sit inside it, all of the same size-type (for example all curves, or all points), and give each one a whole-number count, which can be positive or negative. It's like a formal sum: '3 of curve A minus 2 of curve B'. The counts are just labels for how many copies; you are not adding up the points themselves. Then mathematicians decide, using a chosen rule, when two different lists should count as the same, and this turns the lists into powerful tools for studying the shape.

Integer-Weighted Subvariety Sums

An algebraic cycle on an algebraic variety is a finite formal sum Σ n_Z [Z] of irreducible closed subvarieties Z with integer coefficients n_Z. The brackets mean '[Z] is a symbol standing for the subvariety', not that points are being added numerically. Cycles are sorted by dimension (or codimension), so points (zero-cycles), curves, divisors, and higher-dimensional pieces live in separate degrees. The idea becomes powerful when you decide which cycles count as equal. Under rational equivalence, differences coming from the zeros and poles of rational functions on subvarieties one dimension bigger are treated as zero; the resulting quotient is the Chow group, and on nice spaces intersection makes these into the Chow ring. Other equivalence relations, like numerical or homological equivalence, answer different questions and should not be swapped in silently. So a cycle is neither just a subvariety nor just a linear combination; it is an accounting system for geometry.

An algebraic cycle on a variety or scheme is a finite (or, in the appropriate setting, locally finite) formal integer-weighted sum α = Σ n_Z [Z] of integral closed subvarieties. The brackets denote generators, not a numerical sum of points. Cycles are graded by dimension, or by codimension on an equidimensional space, which keeps divisors, zero-cycles, curves, and higher-dimensional cycles in degrees where their operations make sense. Rational equivalence identifies differences arising from divisors of rational functions on subvarieties one dimension larger, and the quotient of the cycle group by it is the Chow group; on suitably regular spaces, intersection products make these into a Chow ring. Algebraic, homological, and numerical equivalence are distinct relations that must not be silently substituted for rational equivalence. The concept therefore bundles four commitments: integral geometric generators, integer multiplicities, degree control, and an explicit rule for when different sums represent the same class, which together support pullback, pushforward, intersection, and comparison with cohomology.

Scope of Application¶

The concept operates throughout intersection theory. Codimension-one cycles encode Weil divisors; zero-cycles encode formal sums of closed points; cycles of complementary codimension may admit intersection products when transversality or moving arguments make the construction valid. Proper morphisms support pushforward of cycles with degree factors, while flat morphisms support pullback. The precise hypotheses matter: these operations are not unrestricted set maps.

Cycles also connect algebraic geometry to topology and arithmetic. Cycle-class maps compare algebraic classes with singular, étale, or other cohomology theories. The Hodge and Tate conjectures ask, in different settings, which cohomological classes arise from algebraic cycles.

Clarity¶

The formal-sum notation separates geometric support from multiplicity. Writing \(3[C]-2[D]\) says that the curve \(C\) contributes with multiplicity three and \(D\) is formally subtracted twice; it does not create a geometric region with negative area. Specifying \(Z_k(X)\) or \(Z^p(X)\) also prevents a common ambiguity: the first normally grades by dimension \(k\), while the second grades by codimension \(p\).

Manages Complexity¶

Varieties contain infinitely many subvarieties, often arranged in complicated families. The cycle group replaces this uncontrolled collection by a linear bookkeeping layer. Grading prevents incompatible dimensions from mixing, while equivalence collapses deformations or principal-divisor changes that should not affect the selected invariant. The result is not that geometry becomes easy, but that difficult geometric questions acquire algebraic targets.

Abstract Reasoning¶

Algebraic cycles support reasoning at three levels. At the generator level one follows individual subvarieties and multiplicities. At the group level one adds, subtracts, pulls, and pushes formal sums. At the quotient level one reasons with invariant classes and checks that operations respect the equivalence relation. Moving between these levels is disciplined: a statement about representatives must be shown independent of representative before it becomes a statement about classes.

Knowledge Transfer¶

The cycle pattern transfers from divisors on curves to higher-codimension geometry. On a smooth projective curve, divisors are formal sums of closed points and principal divisors generate rational equivalence. The same formal mechanism generalizes: replace points by integral \(k\)-dimensional subvarieties, replace rational functions on the whole curve by rational functions on suitable subvarieties, and retain the quotient logic.

Relationships to Other Abstractions¶

Current abstraction Algebraic Cycle Domain-specific

Parents (1) — outgoing typed relations

Algebraic Cycle is a kind of Linear Combination Prime

prime:linear_combination supplies the formal scale-and-add skeleton; algebraic cycles specialize it to integer coefficients and subvariety generators.

Hierarchy path (1) — routes to 1 parentless root

Algebraic Cycle → is a kind of Linear Combination → is a kind of Aggregation → is a kind of Transformation → is a kind of, typical Function (Mapping)

Neighborhood in Abstraction Space¶

Algebraic Cycle sits in a sparse region of the domain-specific corpus (83^rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25