Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let X be complex curve (complex manifold and $\dim X=1$).

For $x_1,x_2\in X$ we define the sheaf $\mathcal{K}_{x_1,x_2}$(in complex topology) of meromorphic functions vanish at the points $x_1$ and $x_2$.

Is it true, that $H^1(X,\mathcal{K}_{x_1,x_2})=0$?

In general, what are sufficient conditions for the $\mathcal{F}$ to $H^1(X,\mathcal{F})=0$ if X is curve?

share|improve this question

1 Answer 1

up vote 2 down vote accepted

The answer is yes for a non-compact Riemann surface $H^1(X, \mathcal K_{x_1,x_2})=0$ .

The key is the exact sequence of sheaves on $X$:$$0\to \mathcal K_{x_1,x_2} \to \mathcal K \xrightarrow {truncate } \mathcal Q_1\oplus \mathcal Q_2\to 0$$ where $\mathcal Q_i$ is the sky-scraper sheaf at $x_i$ with fiber the Laurent tails (locally of the form $\sum_{j=0}^Na_jz^{-j}$).
Taking cohomology we get a long exact sequence $$\cdots \mathcal K(X) \xrightarrow {\text {truncate}} \mathcal Q_1(X) \oplus \mathcal Q_2(X)\to H^1(X, \mathcal K_{x_1,x_2})\to H^1(X, \mathcal K) \to \cdots $$
The vanishing of the cohomology group $H^1(X, \mathcal K_{x_1,x_2})$ then follows from the two facts:
1) $H^1(X, \mathcal K)=0$
2) The morphism $ \mathcal K(X) \xrightarrow {\text {truncate}} \mathcal Q_1(X) \oplus \mathcal Q_2(X)$ is surjective because of the solvability of the Mittag-Leffler problem on a non-compact Riemann surface.

For a compact Riemann surface of genus $\geq1$ the relevant Mittag-Leffler problem is not always solvable, so that we have $H^1(X, \mathcal K_{x_1,x_2})\neq 0$ (however for the Riemann sphere $H^1(\mathbb P^1, \mathcal K_{x_1,x_2})=0$)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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