1
$\begingroup$

Let $X$ be a compact complex n-fold . Then for every coherent sheaf $\mathfrak{F}$ on $X$ , and every holomorphic line bundle $L$ on $X$ , then the dimension of $H^0 (X,\mathfrak{F}\otimes\mathcal{O}_X(L))$ does not depend on $L$ when dim Supp$\mathfrak{F}=0$ .

$\endgroup$
1
  • 1
    $\begingroup$ Context? Motivation? Some comments to illustrate which cases you can already do, what you know, etc? $\endgroup$
    – Yemon Choi
    May 8, 2011 at 1:47

1 Answer 1

9
$\begingroup$

$\dim\mathrm{Supp}\\, \mathfrak F=0$ implies that $\mathfrak F\otimes \mathscr O_X(L)\simeq \mathfrak F$ and hence its cohomology is independent of $L$.

$\endgroup$
2
  • $\begingroup$ how to get this isomorphism ? $\endgroup$
    – HKSHLZW
    May 8, 2011 at 9:06
  • $\begingroup$ The support of $\mathfrak{F}$ is just a finite set of closed points. Now choose trivializations of $L$ around each point to get the desired isomorphism. $\endgroup$ May 8, 2011 at 9:26

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.