## Return to Answer

4 edited body; deleted 15 characters in body; added 22 characters in body

This is a great question. Someone will come along with a better answer I'm sure, but here's a bit off the top of my head:

1) The Hilbert class field of a number field $K$ is the maximal everywhere unramified abelian extension of $K$. (Here when we say "$K$" we really mean "$\mathbb{Z}_K$", the ring of integers. That's important in the language of etale maps, because any finite separable field extension is etale.)

In the case of a curve over $\mathbb{C}$, the "problem" is that there are infinitely many unramified abelian extensions. Indeed, Galois group of such is the abelianization of the fundamental group, which is free abelian abelian of rank $2g$ ($g$ = genus of the curve). Let me call this group G.

The problem here is

This implies that the covering space of C corresponding to G has infinite degree, so is a non-algebraic Riemann surface. (In fact, I have never really thought about what it looks like. It's fundamental group is the commutator subgroup of the fundamental group of C, which sounds complicated.) I believe is a free group of infinite rank. I don't think the field of meromorphic functions on this guy is what you want.

2) On the other hand, the Hilbert class group $G$ of $K$ can be viewed as the Picard group of $\mathbb{Z}_K$, which classifies line bundles on $\mathbb{Z}_K$. This generalizes nicely: the Picard group of $C$ is an exension of $\mathbb{Z}$ by a $g$-dimensional complex torus $J(C)$, which has exactly the same abelian fundamental group as $C$ does: indeed their first homology groups are canonically isomorphic. $J(C)$ is called the Jacobian of $C$.

3) It is known that every finite unramified abelian covering of $C$ arises by pulling back an isogeny from $J(C)$.

So there are reasonable claims for calling either $G \cong \mathbb{Z}^{2g}$ and $J(C)$ the Hilbert class field group of $C$. These two groups are -- canonically, though I didn't explain why -- Pontrjagin dual to each other, whereas a finite abelian group is (non-canonically) self-Pontrjagin dual. [This suggests I may have done something slightly wrong above.]

As to what the Hilbert class field should be, the analogy doesn't seem so precise. Proceeding most literally you might take the direct limit of the function fields of all of the unramified abelian extensions of $C$, but that doesn't look like such a nice field.

Finally, let me note that things work out much more closely if you replace $\mathbb{C}$ with a finite field $\mathbb{F}_q$. Then the Hilbert class field of the function field of that curve is a finite abelian extension field whose Galois group is isomorphic to $J(C)(\mathbb{F}_q)$, the (finite!) group of $\mathbb{F}_q$-rational points on the Jacobian.

3 added 356 characters in body

This is a great question. Someone will come along with a better answer I'm sure, but here's a bit off the top of my head:

1) The Hilbert class field of a number field $K$ is the maximal everywhere unramified abelian extension of $K$. (Here when we say "$K$" we really mean "$\mathbb{Z}_K$", the ring of integers. That's important in the language of etale maps, because any finite separable field extension is etale.)

In the case of a curve over $\mathbb{C}$, the "problem" is that there are infinitely many unramified abelian extensions. Indeed, Galois group of such is the abelianization of the fundamental group, which is free abelian abelian of rank $2g$ ($g$ = genus of the curve). Let me call this group G.

The problem here is that the covering space of C corresponding to G has infinite degree, so is a non-algebraic Riemann surface. (In fact, I have never really thought about what it looks like. It's fundamental group is the commutator subgroup of the fundamental group of C, which sounds complicated.) I don't think the field of meromorphic functions on this guy is what you want.

2) On the other hand, the Hilbert class group $G$ of $K$ can be viewed as the Picard group of $\mathbb{Z}_K$, which classifies line bundles on $\mathbb{Z}_K$. This generalizes nicely: the Picard group of $C$ is an exension of $\mathbb{Z}$ by a $g$-dimensional complex torus $J(C)$, which has exactly the same abelian fundamental group as $C$ does: indeed their first homology groups are canonically isomorphic. $J(C)$ is called the Jacobian of $C$.

3) It is known that every finite unramified abelian covering of $C$ arises by pulling back an isogeny from $J(C)$.

So there are reasonable claims for calling either $G \cong \mathbb{Z}^{2g}$ and $J(C)$ the Hilbert class field of $C$. These two groups are -- canonically, though I didn't explain why -- Pontrjagin dual to each other, whereas a finite abelian group is (non-canonically) self-Pontrjagin dual. [This suggests I may have done something slightly wrong above.]

As to what the Hilbert class field should be, the analogy doesn't seem so precise. Proceeding most literally you might take the direct limit of the function fields of all of the unramified abelian extensions of $C$, but that doesn't look like such a nice field.

Finally, let me note that things work out much more closely if you replace $\mathbb{C}$ with a finite field $\mathbb{F}_q$. Then the Hilbert class field of the function field of that curve is a finite abelian extension field whose Galois group is isomorphic to $J(C)(\mathbb{F}_q)$, the (finite!) group of $\mathbb{F}_q$-rational points on the Jacobian.

2 added 283 characters in body; added 4 characters in body; added 11 characters in body

This is a great question. Someone will come along with a better answer I'm sure, but here's a bit off the top of my head:

1) The Hilbert class field of a number field $K$ is the maximal everywhere unramified abelian extension of $K$. (Here when we say "$K$" we really mean "$\mathbb{Z}_K$", the ring of integers. That's important in the language of etale maps, because any finite separable field extension is etale.)

In the case of a curve over C, $\mathbb{C}$, the "problem" is that there are infinitely many unramified abelian extensions. Indeed, Galois group of such is the abelianization of the fundamental group, which is free abelian abelian of rank $2g$ ($g$ = genus of the curve). Let me call this group G.

The problem here is that the covering space of C corresponding to G has infinite degree, so is a non-algebraic Riemann surface. (In fact, I have never really thought about what it looks like. It's fundamental group is the commutator subgroup of the fundamental group of C, which sounds complicated.) I don't think the field of meromorphic functions on this guy is what you want.

2) On the other hand, the Hilbert class group $G$ of $K$ can be viewed as the Picard group of $\mathbb{Z}_K$, which classifies line bundles on $\mathbb{Z}_K$. This generalizes nicely: the Picard group of $C$ is an exension of $\mathbb{Z}$ by a $g$-dimensional complex torus $J(C)$, which has exactly the same abelian fundamental group as $C$ does: indeed their first homology groups are canonically isomorphic. $J(C)$ is called the Jacobian of $C$.

3) It is known that every finite unramified abelian covering of $C$ arises by pulling back an isogeny from $J(C)$.

So it seems there are reasonable to say that claims for calling either $G \cong \mathbb{Z}^{2g}$ and $J(C)$ is the Hilbert class group field of $C$. These two groups are -- canonically, though I didn't explain why -- Pontrjagin dual to each other, whereas a finite abelian group is (non-canonically) self-Pontrjagin dual. [This suggests I may have done something slightly wrong above.]

As to what the Hilbert class field should be, the analogy doesn't seem so precise. Proceeding most literally you might take the direct limit of the function fields of all of the unramified abelian extensions of $C$, but that doesn't look like such a nice field.

1

This is a great question. Someone will come along with a better answer I'm sure, but here's a bit off the top of my head:

1) The Hilbert class field of a number field $K$ is the maximal everywhere unramified abelian extension of $K$. (Here when we say "$K$" we really mean "$\mathbb{Z}_K$", the ring of integers. That's important in the language of etale maps, because finite separable field extension is etale.)

In the case of a curve over C, the "problem" is that there are infinitely many unramified abelian extensions. Indeed, Galois group of such is the abelianization of the fundamental group, which is free abelian abelian of rank $2g$ ($g$ = genus of the curve). Let me call this group G.

The problem here is that the covering space of C corresponding to G has infinite degree, so is a non-algebraic Riemann surface. (In fact, I have never really thought about what it looks like. It's fundamental group is the commutator subgroup of the fundamental group of C, which sounds complicated.) I don't think the field of meromorphic functions on this guy is what you want.

2) On the other hand, the Hilbert class group $G$ of $K$ can be viewed as the Picard group of $\mathbb{Z}_K$, which classifies line bundles on $\mathbb{Z}_K$. This generalizes nicely: the Picard group of $C$ is an exension of $\mathbb{Z}$ by a $g$-dimensional complex torus $J(C)$, which has exactly the same abelian fundamental group as $C$ does: indeed their first homology groups are canonically isomorphic. $J(C)$ is called the Jacobian of $C$.

3) It is known that every finite unramified abelian covering of $C$ arises by pulling back an isogeny from $J(C)$.

So it seems reasonable to say that $J(C)$ is the Hilbert class group of $C$. As to what the Hilbert class field should be, the analogy doesn't seem so precise. Proceeding most literally you might take the direct limit of the function fields of all of the unramified abelian extensions of $C$, but that doesn't look like such a nice field.
{"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": 102, "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": 10, "end_threshold": 15, "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.9444113969802856, "perplexity_flag": "head"}