# Removing non-basepoint from linear sytem.

Can you tell me, why the following is true: Let $C$ be a smooth, complete curve over an algebraically closed field. Let $D=P_1+...+P_n$ be an effective divisor that is linear combination of (not necessarily different) points $P_1,..., P_n \in C$. Let $P_n$ be not a basepoint of the linear system of $D$. Can you tell me why the dimension of $H^0(O_C(D))$ is smaller by at least $1$ than the dimension of $H^0(O_C(D-P_n))$, i.e. the dimension of the global sections drops by $1$ when removing $P_n$.

-
Since $P_n$ is not a base point of $|D|$, there is a section of $H^0(D)$ that does not vanish in $P_n$. So the inclusion $H^0(D-P_n) \subset H^0(D)$ is strict. On the other hand, imposing the passage through a point is at most one linear condition, so $H^0(D-P_n)$ has codimension exactly $1$ in $H^0(D)$. – Francesco Polizzi Jul 11 '11 at 16:57