Skip to main content
added 27 characters in body; added 35 characters in body
Source Link
roy smith
  • 12.4k
  • 3
  • 78
  • 73

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.

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 vector bundles, is proved by resolving the structure sheaf of a subvariety by a finite complex of 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 sheaves have resolutions by locally free 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 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.

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.

added 85 characters in body; added 30 characters in body
Source Link
roy smith
  • 12.4k
  • 3
  • 78
  • 73

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 vector bundles, is proved by resolving the structure sheaf of a subvariety by a finite complex of 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 factfundamental result that all coherent sheaves have resolutions by locally free 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 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 on this topic, by Phillip Griffiths and John Adams discusses this in detail.

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 vector bundles, is proved by resolving the structure sheaf of a subvariety by a finite complex of 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 fact that all coherent sheaves have resolutions by locally free 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 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 Princeton mathematical notes #13 on this topic by Phillip Griffiths and John Adams discusses this in detail.

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 vector bundles, is proved by resolving the structure sheaf of a subvariety by a finite complex of 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 sheaves have resolutions by locally free 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 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.

Source Link
roy smith
  • 12.4k
  • 3
  • 78
  • 73

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 vector bundles, is proved by resolving the structure sheaf of a subvariety by a finite complex of 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 fact that all coherent sheaves have resolutions by locally free 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 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 Princeton mathematical notes #13 on this topic by Phillip Griffiths and John Adams discusses this in detail.