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

v2 · 2026-09-06 · History

Domain-specific #

1261

Origin domain

algebraic geometry

Subdomain

intersection theory

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.

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) — more general patterns this builds on

• 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 → Linear Combination → Aggregation → Micro Macro Linkage

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 (1565 abstractions)

Nearest neighbors

• Direct Sum of Topological Groups — 0.83
• Arrangement of hyperplanes — 0.82
• Alexander Duality — 0.81
• Howson Property — 0.81
• Principal Ideal — 0.80

Computed from structural-signature embeddings · 2026-09-08