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.

This is probably a really simple question, but I never really studied classical algebraic geometry, and so I don't know where to start looking.

Suppose $X$ is a smooth projective algebraic curve over a field $k$, and $\mathcal{L}$ a line bundle on $X$. Then I can consider the graded ring of sections $R(\mathcal{L}) = \bigoplus_{n \ge 0}H^0(X, \mathcal{L}^{\otimes n})$. How can I determine (in terms of $\mathcal{L}$) an $N$ such that $R(\mathcal{L})$ is generated as a $k$-algebra by elements of degree $\le N$?

Also, what if $X$ is a smooth proper curve over $\mathbb{Z}_p$, and we ask instead for $\mathbb{Z}_p$-generators of the ring of sections?

share|improve this question
    
Over a field, the curve $X$ is abitrary or smooth ? This would make things more effective. –  user18119 Jan 5 '12 at 10:14
    
Sorry, yes, $X$ is meant to be smooth. –  David Loeffler Jan 5 '12 at 12:29
add comment

1 Answer 1

up vote 3 down vote accepted

First consider the case $X$ is a projective smooth curve of genus $g$ over $k$.

  • If $\deg\mathcal L<0$, then $R(\mathcal L)=H^0(X, O_X)$, and $N=0$ suits.

  • If $\deg\mathcal L=0$, then $H^0(X, \mathcal L^n)\ne 0$ iff $\mathcal L^n\simeq O_X$. So we can take $N=d$ if $\mathcal L\in \mathrm{Pic}(X)$ has finite order $d$, and $N=0$ otherwise.

Suppose from now on that $\deg\mathcal L>0$. Then there exists $a>0$ such that $\mathcal L^a\simeq O_X(D)$ for some effective divisor $D>0$ on $X$. It is enough to $a\ge 2g/\deg\mathcal L$ by Riemann-Roch. There exists $b>0$ such that $H^1(X, \mathcal L^n)=0$ for all $n\ge b$. Again by Riemann-Roch, it is enough to have $b\ge (2g-1)/\deg \mathcal L$.

For any $n\ge a+b$, the exact sequence $$ 0\to \mathcal L^{n-a}\to \mathcal L^n\to \mathcal L^n|_D \to 0$$ implies the exact sequence $$ 0 \to H^0(X, \mathcal L^{n-a})\to H^0(X, \mathcal L^n)\to H^0(D,\mathcal L^n|_D)\to 0.$$ Let $n\ge 2(a+b)$ and write $n=q(a+b)+r$ with $a+b\le r\le 2(a+b)-1$. Then $$\mathcal L^n|_D= (\mathcal L^{a+b}|_D)^q\otimes (\mathcal L^r|_D).$$ As $D$ is affine, $$H^0(D, \mathcal L^n|_D)= (H^0(D, \mathcal L^{a+b}|_D))^q\otimes H^0(D, \mathcal L^r|_D).$$ Hence $$H^0(X, \mathcal L^{a+b})^q H^0(X, \mathcal L^r) \to H^0(D,\mathcal L^n|_D)$$ is surjective. If $N=2(a+b)-1$ and $V$ is the sum of the $H^0(\mathcal L^m)$ for $m\le N$, then $$H^0(X,\mathcal L^n)\subseteq H^0(X,\mathcal L^{n-a})+k[V].$$ By induction on $n\ge 2(a+b)$, we see that $R(\mathcal L)$ is equal to $k[V]$.

Edit Add some more details and simply a little bit below.

Now we pass to the relative situation. Replace $k$ with a Noetherian local ring $A$ and denote by $s$ the closed point of $S:=\mathrm{Spec}A$. The fibers of $X\to S$ all have the same genus $g$. Suppose again $\deg \mathcal L_s>0$. Then the above choice of $a, b$ implies that $H^1(X_s, \mathcal L_s^b)=0$, hence $H^1(X_t, \mathcal L_t^b)=0$ for all $t\in S$ (use the fact that $\deg \mathcal L_t$ is independent on $t$ or Hartshorne, Theorem III.12.11(a)), hence $$H^0(X, \mathcal L^b)\otimes_A k(s)\to H^0(X_s, \mathcal L_s^b)$$ is an isomorphism (Mumford, Abelian Varieties, page 53, Corollary 3 with $p=1$). And the same holds for $\mathcal L^a$. Let $N=2(a+b)-1$ and let $V$ be defined as above for $\mathcal L$. Then by the above isomorphism, Nakayama and the computations over $X_s$, we get $$ H^0(X,\mathcal L^n)\subseteq H^0(X,\mathcal L^{n-a})+A[V]$$ for $n>N$. Therefore $R(\mathcal L)$ is generated by $A[V]$.

share|improve this answer
add comment

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.