Return to Answer

As far as I know, the best relation between the two is the following: the field generated by the hilbert class polynomial $h_\mathcal{O} (X)$ contains the field generated by $h_K(X)$. This is implied by Proposition 25 of math.uga.edu/~pete/torspaper.pdf. This implies among other things that $\deg(h_K(X)) | \deg(h_\mathcal{O}(X))$ (although this could be determined by simpler means).

Now as to your question about whether one can be generated from the other? No, unless you're in a very limited set of circumstances like $\deg(h_\mathcal{O}(X)) =1$ or such a thing. In fact it's a celebrated theorem of Heilbronn that $\deg(h_\mathcal{O}(X)) \to \infty$ as $|D| \to \infty$ where $D$ is the discriminant of $\mathcal{O}$.

As far as I know, the best relation between the two is the following: the field generated by the hilbert class polynomial $h_\mathcal{O} (X)$ contains the field generated by $h_K(X)$. This is implied by Proposition 25 of this paper. This implies among other things that $\deg(h_K(X)) | \deg(h_\mathcal{O}(X))$ (although this could be determined by simpler means).

Now as to your question about whether one can be generated from the other? No, unless you're in a very limited set of circumstances like $\deg(h_\mathcal{O}(X)) =1$ or such a thing. In fact it's a celebrated theorem of Heilbronn that $\deg(h_\mathcal{O}(X)) \to \infty$ as $|D| \to \infty$ where $D$ is the discriminant of $\mathcal{O}$.

As far as I know, the best relation between the two is the following: the field generated by the hilbert class polynomial $h_\mathcal{O} (X)$ contains the field generated by $h_K(X)$. This is implied by Proposition 25 of http://www.math.uga.edu/~pete/torspaper.pdf This implies among other things that $\deg(h_K(X)) | \deg(h_\mathcal{O}(X))$ (although this could be determined by simpler means).

Now as to your question about whether one can be generated from the other? No, unless you're in a very limited set of circumstances like $\deg(h_\mathcal{O}(X)) =1$ or such a thing. In fact it's a celebrated theorem of Heilbronn that $\deg(h_\mathcal{O}(X)) \to \infty$ as $|D| \to \infty$ where $D$ is the discriminant of $\mathcal{O}$.

As far as I know, the best relation between the two is the following: the field generated by the hilbert class polynomial $h_\mathcal{O} (X)$ contains the field generated by $h_K(X)$. This is implied by Proposition 25 of math.uga.edu/~pete/torspaper.pdf. This implies among other things that $\deg(h_K(X)) | \deg(h_\mathcal{O}(X))$ (although this could be determined by simpler means).

Now as to your question about whether one can be generated from the other? No, unless you're in a very limited set of circumstances like $\deg(h_\mathcal{O}(X)) =1$ or such a thing. In fact it's a celebrated theorem of Heilbronn that $\deg(h_\mathcal{O}(X)) \to \infty$ as $|D| \to \infty$ where $D$ is the discriminant of $\mathcal{O}$.

As far as I know, the best relation between the two is the following: the field generated by the hilbert class polynomial $h_\mathcal{O} (X)$ contains the field generated by $h_K(X)$. This is implied by Proposition 25 of http://www.math.uga.edu/~pete/torspaper.pdf This implies among other things that $\deg(h_K(X)) | \deg(h_\mathcal{O}(X))$ (although this could be determined by simpler means).

Now as to your question about whether one can be generated from the other? No, unless you're in a very limited set of circumstances like $\deg(h_\mathcal{O}(X)) =1$ or such a thing. In fact it's a celebrated theorem of Heilbronn that $\deg(h_\mathcal{O}(X)) \to \infty$ as $|D| \to \infty$.

As far as I know, the best relation between the two is the following: the field generated by the hilbert class polynomial $h_\mathcal{O} (X)$ contains the field generated by $h_K(X)$. This is implied by Proposition 25 of http://www.math.uga.edu/~pete/torspaper.pdf This implies among other things that $\deg(h_K(X)) | \deg(h_\mathcal{O}(X))$ (although this could be determined by simpler means).

Now as to your question about whether one can be generated from the other? No, unless you're in a very limited set of circumstances like $\deg(h_\mathcal{O}(X)) =1$ or such a thing. In fact it's a celebrated theorem of Heilbronn that $\deg(h_\mathcal{O}(X)) \to \infty$ as $|D| \to \infty$ where $D$ is the discriminant of $\mathcal{O}$.