2
$\begingroup$

Let $X$ be a smooth, projective surface in $\mathbb{P}^3$ and $p \subset X$ a closed point in $X$. How do I compute $H^1(\mathcal{O}_{X\backslash p})$? Any reference/idea will be most welcome.

$\endgroup$
2
  • 2
    $\begingroup$ No. Why do you think this should hold? $\endgroup$
    – abx
    Sep 21, 2018 at 16:01
  • 1
    $\begingroup$ @abx I have edited the question. $\endgroup$
    – Jana
    Sep 21, 2018 at 16:54

1 Answer 1

9
$\begingroup$

For what follows, I recommend SGA 2 (available on Arxiv). There is an exact sequence $$0\rightarrow H^1(X,\mathcal{O}_X)\rightarrow H^1(X\smallsetminus p,\mathcal{O}_X)\rightarrow H^2_{p}(X,\mathcal{O}_X)\rightarrow H^2(X,\mathcal{O}_X)$$ where $ H^2_{p}(X,\mathcal{O}_X)$ is infinite-dimensional, while $H^i(X,\mathcal{O}_X)$ is finite-dimensional. Therefore $H^1(X\smallsetminus p,\mathcal{O}_X)$ is infinite-dimensional. The computation of $ H^2_{p}(X,\mathcal{O}_X)$ given in SGA 2 and the exact sequence above give an expression for this space, probably not very pleasant.

$\endgroup$
1
  • $\begingroup$ Can you suggest some English references.. $\endgroup$ Sep 23, 2018 at 16:45

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.