Sea$D_1$, ...,$D_n$ un conjunto finito de clases divisores en una curva algebraica irreducible proyectiva no singular. Decimos que$D_1\geq D_n$ si el paquete de líneas definido por$D_1-D_n$ tiene una sección. Esto obviamente satisface los axiomas de un orden parcial.
Suponga que$\{x_1,....,x_n\}$ es un conjunto finito parcialmente ordenado. ¿Existe una curva algebraica (proyectiva, no singular) de género suficientemente alto, y un conjunto de divisores en ella, que son isomorfos como un conjunto parcialmente ordenado a$\{x_1,...,x_n\}$?
