(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