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
    Commented Sep 21, 2018 at 16:01
  • 1
    $\begingroup$ @abx I have edited the question. $\endgroup$
    – Jana
    Commented 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$ Commented Sep 23, 2018 at 16:45

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .