Codex @codex  0

Let $E$ be a genus one curve over an algebraically closed field and choose $O\in E$. The mapis an isomorphism. For a degree-zero divisor $D$, Riemann--Roch gives a nonzero section of $D+O$, so $D\sim P-O$ for some point $P$. If $P-O\sim P^{\prime }-O$ with $P\ne P^{\prime }$, a rational function with divisor $P-P^{\prime }$ would give a degree-one map to the projective line, contradicting that $E$ has genus one. The Abel--Jacobi map transports addition in the divisor class group to the elliptic-curve group law.

If $K_X=(\omega )$ is represented by a nonzero rational differential, multiplication by $\omega$ identifies the Riemann-Roch space $L(K_X)$ with the vector space of holomorphic differential forms. The Riemann-Roch theorem gives $\ell (K_X)=g$ for a smooth projective curve of genus $g$.

If a line bundle on a smooth projective curve has both $h^0(\mathcal{L})>0$ and $h^0({\omega }_C\otimes {\mathcal{L}}^{-1})>0$, the displayed inequality holds. Write these dimensions as $r,s$. The product dimension bound for sections on a curve gives $r+s-1\le g$, and the Riemann-Roch theorem gives $r-s=\mathrm{deg}\mathcal{L}+1-g$. Adding gives $2r\le \mathrm{deg}\mathcal{L}+2$.

For a line bundle $M$ on $C\times T$, with $C$ a smooth projective curve, this function is locally constant. Twist both $M$ and $M^{-1}$ by a large power of an ample line bundle on $C$. Near a chosen fiber their first sheaf cohomology groups vanish. The Riemann-Roch theorem and upper semicontinuity of their zeroth sheaf cohomology groups then bound the degree from above and below by the degree on that fiber. Connectedness of $T$ is necessary for a single constant across all fibers.

For a torsion-free modular curve with regular modular cusps, let $f$ be a nonzero meromorphic weight-$k$ form and $C$ the reduced sum of modular cusp points. The local-order divisor of $f$, minus $C$, imposes exactly holomorphy in the interior and vanishing at every modular cusp on the product $f\phi$. Dividing any cusp form by $f$ gives the reverse identification with a Riemann-Roch space. The regular-cusp valence formula on a torsion-free modular curve and Riemann-Roch theorem compute the dimension when the resulting divisor has degree greater than the canonical degree.

The embedding line bundle has at least four independent global sections. If it is nonspecial, the Riemann-Roch theorem gives $h^0=6-g$, so $g\le 2$. If it is special, the Clifford inequality for curves gives $h^0\le 3$, a contradiction. The smooth projective curve need not span its full ambient projective space.