Monday, 4 August 2008

ag.algebraic geometry - How the complex conjugation on sheaves of modules is defined?

(Probably some basic question, but I've never worked in the real world.)



Let XsubsetmathbbPnmathbbC be a complex variety with the complex conjugation tau:XtoX. So tau acts on mathcalOX(k) too.



Suppose F is a sheaf of modules with prescribed embedding of modules of its local sections: F(U)subsetmathcalOoplusd(U).
The complex conjugation acts on mathcalOoplusd(U), hence the images of F(U) are defined. Hence the image of F too.



Now should check that this is compatible with exact sequences etc...



Other ways to define the action of complex conjugation?



References?

No comments:

Post a Comment