Welcome to MathOverflow

Question

3

2

The fact that Chern classes are Hodge classes (and are rational combinations of algebraic cycles) is a part of the proof of the "Gauss Bonnet theorem" (as given in Griffiths and Harris). So my question is why is the fundamental class of every algebraic variety a rational combination of them?

edited Nov 16 2010 at 2:26

asked Nov 16 2010 at 0:29

Vamsi
1,317●4●11

	I am sorry (I phrased the question wrongly). I edited my question. I mean why is the Hodge conjecture equivalent to "Rational cohomology is generated by Chern classes of holomorphic vector bundles". – Vamsi Nov 16 2010 at 1:35
	Yes, the last statement is equivalent to the Hodge conjecture. Sorry if my joke seemed at your expense. It's interesting that you arrived at the conjecture in this way. You might still want to edit the first sentence. It sounds almost like you are asserting something which isn't true. Non-Hodge classes won't be spanned by Chern classes. – Donu Arapura Nov 16 2010 at 2:05
	I unfortunately don't have time to write a complete answer to your edited last question, hopefully someone else will. The key point is that the cycle map from the Chow group $CH(X)\otimes Q\to H^(X)$ can be identified with the Chern character of $K(X)\otimes Q$. – Donu Arapura Nov 16 2010 at 2:28
	Your question looks fine now, I removed my initial comments. – Donu Arapura Nov 16 2010 at 12:14

roy smith · Answer 1 · 2010-11-16 18:57:47Z UTC

I am a novice, but here is what I gather from perusing the literature. The Hodge conjecture asserts that all Hodge classes are spanned by algebraic classes. The fact that all algebraic classes are spanned by the chern classes of (holomorphic or algebraic) vector bundles, is proved by resolving the structure sheaf of a subvariety by a finite complex of such vector bundles. I.e. one defines formal "K groups" generated either by isomorphism classes of locally free algebraic sheaves (vector bundles), or more generally by coherent algebraic sheaves, with an equivalence relation defined by formal alternating sums of sheaves occurring in exact sequences. The fundamental result that all coherent algebraic sheaves have resolutions by locally free algebraic sheaves shows these two K groups are isomorphic. Hence the subgroup of algebraic cohomology classes, which is the image of the chern character map on the K group of algebraic coherent sheaves, equals the image of this map on locally free sheaves as well. Since the chern character is generated by chern classes, the result follows. The 1974 book Topics in algebraic and analytic geometry, Princeton mathematical notes #13, by Phillip Griffiths and John Adams discusses this in detail.

Chern classes generating cohomology

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.