MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hi all,

I have been looking at complex multiplication of elliptic curves for a course project in cryptography and the following question came up: Let $\mathcal{O}_K$ be the maximal order in $K$ ($K$ is an imaginary quadratic field), let $h_K (X)$ be the Hilbert class polynomial of $K$. Suppose that $\mathcal{O}$ is another order (say $\mathcal{O} =\mathbb{Z}[ \frac{1 + \sqrt{D}}{2}]$ and $\mathcal{O} = \mathbb{Z}[\sqrt{D}]$ for concreteness). Let $h_\mathcal{O} (X)$ be the hilbert class polynomial of the order $\mathcal{O}$. Is there any relation between $h_k(X)$ and $h_\mathcal{O} (X)$? For example can one obtain $h_\mathcal{O}(X)$ from $h_K(X)$ and vice verse?

share|cite|improve this question
up vote 3 down vote accepted

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 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}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.