I'm reading section 8 Differentials of chapter 2 in Hartshorne. It's is extremely hard to me to understand the nature of the definitions: module of relative differential forms - sheaf of relative differential - tangent sheaf.

It's said that "the sheaf of differential forms is essentially the same as the dual of tangent bundle defined in differential geometry".

I want to understand very explicitly how these constructions come from Diff.Geometry?

  • 3
    $\begingroup$ Warner's book "Foundations of differential geometry and Lie groups" covers sheaves from the differential geometry point of view. It is a classic that covers the basics of differential geometry, so it may be a good place to start. $\endgroup$ Jun 4, 2013 at 11:46
  • 1
    $\begingroup$ For smooth manifolds there are several ways of thinking about (co)tangent spaces and bundles and sheaves. Some, but not all, of these ways of thinking can easily be adapted to algebraic geometry. To get the idea, I suggest thinking about what the definitions that you are reading about in Hartshorne would give if you applied them to $C^\infty$ functions on a manifold. $\endgroup$ Jun 4, 2013 at 11:50
  • 1
    $\begingroup$ Perhaps my answer here will be helpful: mathoverflow.net/questions/88880/…. $\endgroup$ Jun 4, 2013 at 12:08


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.