
Suppose V is a nonsingular algebraic variety of dimension n over the complex numbers. Then we can think of V as a manifold of dimension 2n. As such it has cohomology groups that are finitedimensional complex vector spaces indexed by a dimension d, for d = 0 to 2n. Fixing an even value d = 2k, there are two additional structures to describe on H, the dth cohomology group.
Firstly, there is the Hodge decomposition of H. This is known to split H up as a direct sum of 2k+1 subspaces known as H(0,2k), H(1, 2k1), and so on up to H(2k,0). The summand relevant to the conjecture is the 'central' one, H(k,k).
Secondly, there is a socalled rational structure on H. We have taken H to be the cohomology group with complex coefficients (to which the Hodge decomposition applies). Starting with the cohomology group with rational coefficients, we have a notion of a rational cohomology class in H: for example, a basis for the cohomology classes with rational coefficients can be used a a basis for H and we look at the linear combinations with rational coefficients of those basis vectors.
In terms of those structures, we can define the vector space H* of interest for the Hodge conjecture. It consists of the vectors in H(k,k) that are rational cohomology classes. It is a finitedimensional vector space over the rational numbers.
Some standard machinery explains the relationship with the geometry of V. If W is a subvariety of dimension n  k in V, which we call codimension k, it gives rise to an element of the cohomology group H. For example in codimension 1, which is the most accessible case geometrically using hyperplane sections, the corresponding class is in the second cohomology group and can be computed by means of the first Chern class[?].
What is known is that such classes, traditionally called algebraic cycles (at least if we talk loosely), satisfy the necessary conditions suggested by the construction of H*. They are rational classes, and also lie in the central H(k,k) summand.
The conjecture says that the algebraic cycles of V span the whole space H*. From what has been said, this means that the stated conditions necessary to be a combination of algebraic cycles, are also sufficient.
The conjecture is known, for k = 1 and for many special cases. Codimension greater than 1 is more difficult to access, because not everything can be 'found' by repeated hyperplane sections, in general.
The existence of nonzero spaces H* in those cases has a predictive value for the part of the geometry of V which is hard to get at. In given examples H* is something that can be discussed much more easily.
It is also the case that when H* is large in dimension, the example chosen as V can be regarded as somewhat special: so the conjecture discusses what you could call the interesting cases and is harder to prove, the further away we are from a generic case.
Search Encyclopedia
