Heuristics for the Hodge Conjecture

Question

W. V. D. Hodge is famous for his Hodge conjecture, one of the Millennium prize problems. Hodge might have had some rough heuristics or ideas that led him to the formulation of the conjecture.

I am looking for the history and background behind the formulation of Hodge Conjecture. How did Hodge arrive at his conjecture?

Hodge Conjecture ( What I understood after reading Dan Freed's article ) :

On a complex projective manifold $\mathbb{X}$, a topological cycle $\mathfrak{C}$ ( on $\mathbb{X}$ ) is homologous to a rational combination of algebraic cycles iff $\mathfrak{C}$ has rotation number $0$. ( Rotation number $e^{i\theta}$ on differential form, volumes are invariant under rotation).

Hodge Conjecture (Deligne's description):

On a projective non-singular algebraic variety over $\mathbb{C}$, any Hodge class is a rational combination of classes $\rm{cl(\mathbb{Z})}$ of algebraic cycles.

The things that interest me:

1. How are Freed's version and Deligne's version versions equivalent?
2. How did Hodge arrive at that conclusion? Were there heuristic reasons or intuitive arguments that gives him some hope for a conjecture in that direction? .
3. How can one state an analogue of the Hodge conjecture in number theory? Are there any attempts to formulate an analogue in that case?

I am curious to hear answers, even if highly technical in nature.

Answer 1

The best answer I can imagine for a question like this is to quote the man himself: "The second result of Lefschetz tells us that a necessary and sufficient condition that a 2-cycle $\Gamma_2$ in $V_2$ be algebraic... This result has many geometrical applications... It is clearly a matter of great importance to extend Lefschetz's condition for a 2-cycle to be algebraic. The general problem is as follows...."

See page 184 of the Proceedings of the ICM 1950 for the full statement:

Hodge, W. V. D., The topological invariants of algebraic varieties, Proc. Intern. Congr. Math. (Cambridge, Mass., Aug. 30-Sept. 6, 1950) 1, 182-192 (1952). ZBL0048.41701.

Answer 2

Edited: One point is that Hodge's original version of the conjecture was wrong, and in a couple of ways. You do need rational coefficients (integral is too much to ask for, see ref below). Also a more general conjecture of Hodge fails: see

http://people.math.jussieu.fr/~leila/grothendieckcircle/HodgeConj.pdf

for one of all the all-time great disrespectful titles. (Hodge was a major innovator in algebraic geometry and complex manifold theory: but his theory needed plenty of work, particularly I think from Kodaira, before it became clear foundationally. The same is true, perhaps in spades, for Lefschetz.)

Edit: At the level of linear algebra, Hodge theory deals with a vector space with a double grading. Using the heuristic grading = concept of homogeneity, the subspaces of (p,p) type in Hodge theory can be picked out by the use of the circle group, as Freed does. Really (pun intended) there is a bigger group with two dimensions involved, the group of non-zero complex numbers under multiplication. A shallow remark is that these two groups control the linear algebra in Hodge theory. A deeper remark is that the vector spaces involved also have a rational structure, coming from the concept of integral cycle in topology. The interaction of the groups with the rational structure isn't shallow at all.