Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Dear everyone,

I was unable to obtain the equivalence between the two statements of the Hodge conjecture. I searched for some previous questions that others asked here, to check whether someone has asked the same thing previously. But I didn't find any such instance, that is why I am asking. We know that Hodge conjecture gives some relation between the topological cycles and algebraic cycles. But I have read two different variations of the same conjecuture. I number my pointers.

  1. A fantastic description given by Prof.Dan Freed (here), which an undergraduate student can also understand.
  2. A bit tough description given by Prof.Pierre Deligne (here), with lot of technical terms and constructions.

So I was befuddled in asking myself that how can one obtain equivalence between the both statements.

Dan Freed's Version :

He considers a Topological cycle ( boundary less chains that are free to deform ) on a projective manifold. Then he says that the topological cycle is homologous to a rational combination of algebraic cycles, if and only if the topological cycle has a rotation number Zero.

P.Deligne's Version :

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

So now I have the following queries for my learned friends.

  • How can one explain that both the statements are equivalent to each other ? One speaks about the rotation number and another doesn't even speak about it. How can one say that both the statements are valid ? I infact know that both the statements are valid ( as both the speakers are seminal mathematicians ) But how ?
  • So can anyone explain me what the Rotation number has to do with the Hodge Conjecture ? I obtained some information about the rotation number from Wiki. But I am afraid , to decide whether Freed is speaking about the same rotation number ( given in wiki ) in his talk ? or something different ?

I would be really honored to hear answers for both of them . Thank you one and all for sparing your time reading my question.

share|improve this question
    
A silly question, Is Dan Freed a member of MO community ? I have found that many seminal mathematicians of this century are members in MO, hence asked about Dan too. –  Shanmukha_Srinivasan Jul 28 '12 at 7:09
1  
There seems to be some error in the transcription of Deligne's version (abelian should be algebraic, I guess). –  quid Jul 28 '12 at 9:47
    
@quid : Thank you for your comment. Yes, its an algebraic variety. I fixed it. –  Shanmukha_Srinivasan Jul 28 '12 at 11:20
    
You can also look at Hodge's original paper ada00.math.uni-bielefeld.de/ICM/ICM1950.1/Main/… the condition of zero "rotation number" is on page 184 (although he doesn't use this word) –  YangMills Jul 28 '12 at 14:12
    
@YangMills : Your link was quite informative. Thank you. –  Shanmukha_Srinivasan Jul 28 '12 at 15:19

1 Answer 1

up vote 7 down vote accepted

The rotation number in question has to do with the behaviour of a differential form $\omega$ on the manifold $X$ under rotation $e^{i\theta}$ of tangent vectors : a complex $k$-form $\omega$ has rotation number $p-q$ iff $$\omega(e^{i\theta}v_1,\dots,e^{i\theta}v_k)=e^{i(p-q)\theta}\omega(v_1,\dots,v_k)$$ (with $p+q=k$, of course).

This should explain the terminology, although it is not much in use today. Such a form is called a $(p,q)$-form, their space is denoted $\Omega^{p,q}(X)$, and the subspace of $H^{p+q}(X,\mathbb{C})$ (de Rham cohomology) of classes having a (closed) $(p,q)$-form representative is denoted $H^{p,q}(X)$.

Hodge theory then gives a decomposition $H^k(X,\mathbb{C})=\bigoplus_{p+q=k} H^{p,q}(X)$.

Now a topological cycle $C$ (or its class) of (real) codimension $2p$ has a Poincaré dual de Rham cohomology class $[\omega]$, for a closed $2p$ form $\omega$, such that intersection of cycles of dimension $2p$ with $C$ coincides with integration of $\omega$.

"The rotation number of $C$ is zero" means that one can choose $\omega$ of type $(p,p)$.

On the other hand, a cohomology class in $H^{2p}(X,\mathbb{Q})$ is said to be Hodge if under the Hodge decomposition $$H^{2p}(X,\mathbb{Q})\otimes\mathbb{C}\simeq \bigoplus_{i=-p}^{p} H^{p-i,p+i}(X)$$ it belongs to $H^{p,p}(X)$.

I hope this clarifies the equivalence of the two statements you found.

share|improve this answer
    
Clear Answer. Thank you, very gentle introduction to beginners and nice motivation. –  Shanmukha_Srinivasan Jul 28 '12 at 15:20

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.