## Can every finite poset be realized as divisors of an algebraic curve?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $D_1$, ... , $D_n$ be a finite set of divisor classes on a nonsingular projective irreducible algebraic curve. We say that $D_1\geq D_n$ if the line bundle defined by $D_1-D_n$ has a section. This obviously satisfies the axioms of a partial order.

Suppose ${x_1,....,x_n}$ is a finite partially ordered set. Does there exist a (projective, nonsingular) algebraic curve of sufficiently high genus, and a set of divisors on it, that are isomorphic as a partially ordered set to ${x_1,...,x_n}$?

-

Remark: this is only an order on divisor classes (assuming the curve to be projective and irreducible). – Laurent Moret-Bailly Jan 25 2012 at 8:06
ah, good point. I'll fix the notation. – Will Sawin Jan 25 2012 at 19:43

## 1 Answer

Choosing a general set of $n$ points on a curve of genus at least $n$, you can assume that the divisor they define has a unique global section. Let $P$ denote the poset generated by all the possible sums with coefficients $0,1$ of these $n$ points. This poset is the same as the poset of subsets of an $n$-element set.

Since every finite poset seems to be a subposet of the poset of subsets of a finite set [EDIT: this is true-see the comments below], just embed your poset in a "power set poset" and remove the unwanted divisors, to deduce that what you want is true.

-

3
To replace "seems to be", note that you can just map each thing to the set of things it's bigger than or equal to. – Will Sawin Jan 23 2012 at 20:23

4
Note, furthermore, that the result to which Will alludes is a special case of the Yoneda lemma (applied to the poset viewed as a category, where $a \le b$ means that there is a single arrow $a \to b$). – Qiaochu Yuan Jan 24 2012 at 16:59
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9190061092376709, "perplexity_flag": "head"}