Sunday, 11 March 2007

ag.algebraic geometry - Relationship between algebraic and holomorphic differential forms

Yes, every algebraic differential form is holomorphic and yes, the differential preserves the algebraic differential forms. If you are interested in projective smooth varieties then every holomorphic differential form is automatically algebraic thanks to Serre's GAGA. This answers (3).



Concerning (1) and (2) I suggest that you consult some standard reference as Hartshorne's Algebraic Geometry.



Edit: As pointed out by Mariano in the comments below there are subtle points when one compares Kahler differentials and holomorphic differentials. I have to confess that I have not thought about them when I first posted my answer above.



Algebraic differential 11-forms
over a Zariski open set UU are elements of the module generated by adbadb with aa and bb
regular functions over UU (hence algebraic) by the relations d(ab)=adb+bdad(ab)=adb+bda, d(a+b)=da+dbd(a+b)=da+db and dlambda=0dlambda=0 for any complex number lambdalambda. Since these are the rules of calculus there is a natural map to the module of holomorphic 11-forms over UU. This map is injective, since the regular functions on UU are not very different from quotients of polynomials.



If instead of considering the ring BB of regular functions over UU one considers the ring AA of holomorphic functions over UU then one can still consider its AA-module of Kahler differentials. If UU has sufficiently many holomorphic functions, for instance if UU is Stein, then one now has a surjective map to the holomorphic 11-forms on UU which is no longer injective as pointed out by Georges Elencwajg in this other MO question.

No comments:

Post a Comment