A natural homomorphism from groups of algebraic cycles (e.g., Chow groups CH^p(X)) to a chosen cohomology theory (singular, De Rham, étale, Deligne, etc.), which sends an algebraic subvariety to its cohomology class (for example CH^p(X) → H^{2p}(X, Z(p))).

Principle

The cycle class map formalizes the passage from geometric, algebraic subvarieties to topological or cohomological invariants by associating to a cycle its fundamental/cohomology class in the chosen realization, thus connecting intersection-theoretic information with cohomology rings and Hodge structures.

Demonstration

The first Chern class construction gives the cycle class of a divisor: Pic(X)→H^2(X,Z(1)) via the first Chern class of the associated line bundle; similarly, the fundamental class of a smooth closed subvariety defines an element of the appropriate cohomology group, realizing the cycle class map in concrete terms.

Misapplication

Assuming the cycle class map is surjective (i.e., every cohomology class comes from an algebraic cycle) — the converse is precisely Hodge/standard conjectures — or using a cohomology theory incompatible with the geometric context without adjusting Tate twists or base-change properties.

Consequence

The map allows algebraic cycles to be studied via cohomological techniques, yields compatibility constraints (e.g., for intersections and pushforwards), and forms part of the input for regulators and comparisons between motivic and classical invariants; failures of surjectivity lead to deep conjectures and interesting Griffiths groups.

Reversal

The conceptual reversal is the problem of lifting cohomology classes to algebraic cycles (the Hodge and Tate conjectures are prominent statements about when such reversals exist); this inverse rarely holds without further hypotheses and is a major open direction in algebraic geometry.

Boundary

Depends on the chosen cohomology theory and its coefficients and conventions (Tate twists, integral vs rational coefficients, etc.); the map is best behaved for smooth, proper varieties and may need modifications for singular or nonproper schemes and in positive characteristic.

Semantic Tension

Tension exists between cycle-theoretic viewpoints (Chow groups, algebraic equivalence) and cohomological viewpoints (Hodge structures, étale cohomology); the phrase ‘‘cycle class’’ can mask whether one means integral, rational, l-adic, de Rham, or Deligne realizations, producing ambiguity.

Synthesis

The cycle class map sends algebraic cycles to cohomology classes in a chosen realization, creating a bridge that allows geometric intersection data and algebraic equivalence questions to be analyzed by cohomological and Hodge-theoretic methods while exposing deep obstructions and conjectures about when cohomology is algebraic.