MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a smooth projective surface in $\mathbb{P}^t$ for some $t \ge 3$, $C$ a smooth curve in $X$ and $\mathcal{L}$ is a line bundle on $X$. Denote by $A_X$ (resp. $A_C$) the homogeneous coordinate rings of $X$ (resp. $C$). Denote by $i$ the natural closed immersion of $C$ into $X$. Suppose that $\Gamma_*(\mathcal{L})$ (resp. $\Gamma_*(i^*(\mathcal{L}))$ is generated (as an $A_X$ (resp. $A_C$)-module) in degree less than or equal to $n$. In other words, the natural morphisms from $H^0(\mathcal{L}(n)) \otimes H^0(\mathcal{O}_{\mathbb{P}^t}(m-n))$ (resp. $H^0(i^*\mathcal{L}(n)) \otimes H^0(\mathcal{O}_{\mathbb{P}^t}(m-n))$) to $H^0(\mathcal{L}(m))$ (resp. $H^0(i^*\mathcal{L}(m))$) for $m \ge n$ is surjective. Is it true that the natural morphism from $H^0(\mathcal{L}(k))$ to $H^0(i^*\mathcal{L}(k))$ is surjective for all $k \ge n$?

share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.