Global sections on non-reduced proejctive schemes

580 Views Asked by At

Suppose $X$ is a non-reduced finite type seperated projective scheme over a field $k$, can it happen that $\Gamma(X,O_X)=k$?

1

There are 1 best solutions below

1
On BEST ANSWER

Let $X=\textrm{Proj}(S)$ where $S=k[s,x_0,x_1]/(s^2)$ equipped with the standard grading: $s,x_0,x_1$ have degree one and $k=S_0$. The open sets $U_i=D_+(x_i)$ for $i=0,1$ cover $X$. Now let $f \in \Gamma(X,\mathcal{O}_X)$. We can write $f|_{U_0}=x_0^{-d}(s\cdot p_1+p_2)$ and $f|_{U_1}=x_1^{-e}(s\cdot q_1+q_2)$ where $p_1,p_2,q_1$ and $q_2$ are homogeneous polynomials in $x_0,x_1$ of degree $d-1,d,e-1$ and $e$. Thus we have $f|_{U_0 \cap U_1}=x_0^{-d}(s\cdot p_1+p_2)=x_1^{-e}(s\cdot q_1+q_2)$. This implies $p_1=q_1=0$ and $p_2=\lambda x_0^d$ and $q_2= \lambda x_0^e$ where $\lambda \in k$, thus $f=\lambda \in k$.

Therefore $\Gamma(X,\mathcal{O}_X)=k$.