The Hodge conjecture asserts that, for particularly nice types of spaces called projective algebraic varieties, the pieces called Hodge cycles are actually rational linear combinations of geometric pieces called algebraic cycles.