Algebraic Curves – Canonical Divisor on Algebraic Curve

riemann-surfaces

Can someone help me with this problem?

Let $D$ be a divisor on an algebraic curve $X$ of genus $g$, such that $\deg D = 2g-2$ and $\dim L(D) = g$. Then $D$ must be a canonical divisor.

By Riemann-Roch, I see that $\dim L(K-D) = 1$ for any canonical divisor $K$, as must certainly be the case. I don't know if this is too helpful.

Best Answer

A divisor of degree $0$ and dimension $1$ is principal. Hence by assumption and Riemann-Roch the divisor $K-D$ is principal, so that $D$ is linearly equivalent to the canonical divisor $K$.

Related Question