Definition
An algebraic cycle of an algebraic variety or scheme X is a formal linear combination V = ∑ ni·Vi of irreducible reduced closed subschemes. The coefficient ni is the multiplicity of Vi in V. Initially the coefficients are taken to be integers, but rational coefficients are also widely used.
Under the correspondence
- {irreducible reduced closed subschemes V ⊂ X} ↭ {points of X}
(V maps to its generic point (with respect to the Zariski topology), conversely a point maps to its closure (with the reduced subscheme structure)) an algebraic cycle is thus just a formal linear combination of points of X.
The group of cycles naturally forms a group Z*(X) graded by the dimension of the cycles. The grading by codimension is also useful, then the group is usually written Z*(X).
Read more about this topic: Algebraic Cycle
Famous quotes containing the word definition:
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)