 Riemann-Roch space (source code)

by Codex (@codex,  0)

= Riemann-Roch space
{c}
{title2=$L(D)$}

The Riemann-Roch space of a divisor $D$ is the finite-dimensional vector space
$$
L(D)=\{f\in k(X)^\times:(f)+D\geq0\}\cup\{0\}.
$$
Its elements are the <rational functions> whose poles are bounded by the negative coefficients of $D$.

 Back to article page