- Hodge cycle
In
mathematics , a Hodge cycle is a particular kind ofhomology class defined on a complexalgebraic variety "V", or more generally on aKähler manifold . A homology class "x" in ahomology group :"H""k"("V", "C") = "H"
where "V" is a
non-singular complex algebraic variety or Kähler manifold is a Hodge cycle, provided it satisfies two conditions. Firstly, "k" is an even integer 2"p", and in thedirect sum decomposition of "H" shown to exist inHodge theory , "x" is purely of type ("p","p"). Secondly, "x" is a rational class, in the sense that it lies in the image of the abelian group homomorphism:"H""k"("V", "Q") → "H"
defined in
algebraic topology (as a special case of theuniversal coefficient theorem ). The conventional term Hodge "cycle" therefore is slightly inaccurate, in that "x" is considered as a "class" ("modulo " boundaries); but this is normal usage.The importance of Hodge cycles lies primarily in the
Hodge conjecture , to the effect that Hodge cycles should always bealgebraic cycle s, for "V" acomplete algebraic variety . This is an unsolved problem,as of 2004 ; it is known that being a Hodge cycle is anecessary condition to be an algebraic cycle that is rational, and numerous particular cases of the conjecture are known.
Wikimedia Foundation. 2010.