Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Let $B\in K^\ast$, where $K$ is a number field. Let $y^2=X^3+B$ be the Weierstrass equation for an elliptic curve $E_B$ over $K$.

Note that the $j$-invariant of $E$ is zero.

When is $E_B$ isomorphic to $E_{B^\prime}$ over $K$? (Here $B^\prime \in K^\ast$.) Does this happen if and only if $B=B^\prime$? Or does it also happen if $B^\prime = u B$, where $u$ is a unit in $O_K^\ast$?

How do I determine the semi-stable reduction of $E_B$? That is, we know that $E_B$ has potential good reduction. How do I determine $L/K$ such that the elliptic curve $E_{B}\otimes_K L$ has good reduction over $O_L$?

If $B$ is a unit, then $E_B$ has good reduction. So we may and do assume $B$ is not a unit, i.e., $B$ is a prime.

I have a feeling that we must choose $L$ such that its ramification over the primes dividing $B$ is of the "right" type. But how do I see what the necessary type is?

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

Your first question is answered in Silverman AEC I Prop X.5.4.iii (I have the old edition, don't know if this matters).

Namely, the elliptic curves corresponding to $B$ and $B'$ are isomorphic if and only if $B$ and $B'$ differ by a 6th power of an element of $K$. In fact, more is true, namely, the set of isomorphism classes of elliptic curves with $j$-invariant $0$ is a torsor for $$ \frac{K^\times}{{(K^\times)}^6} $$ under the action $d*E_a= E_{ad}$ where $E_c$ denotes the elliptic curve with Weierstrass equation $y^2 = x^3 + c$.

This explicit description also helps tackle your second question. Namely, if we take a field extension that makes $A$ a 6th power (i.e. we adjoin a 6th root of $A$), then there's a model with everywhere good reduction, at least if we ignore primes above 2 and 3. Dealing with those is going to be a pain - note that your model has bad reduction at $2$ and $3$ even if $A$ is a unit, for instance - but you can solve it by chasing denominators in the formula for the discriminant. I'm not sure if you're going to wind up needing to adjoin a root of $2$ or of $3$ or not.

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.