6
$\begingroup$

Let $K$ be a field and $E$ be an elliptic curve defined over $K$. It well understood the $K$-points on $E$ forms an abelian group. What is the structure of this group?(Depending on char($K$)?) Is it a direct sum of some well known abelian groups such as $\mathbb{Z}/m\mathbb{Z}$?

$\endgroup$

2 Answers 2

10
$\begingroup$

First case: Complex numbers. Over $\mathbb C$ the structure as an abstract group is $\mathbb S^1 \oplus \mathbb S^1$ where $\mathbb S^1$ is the circle, i.e., $\mathbb R/\mathbb Z$. This follows as Robin Chapman notes below, i.e., it is a complex torus in the form $\mathbb C/\Lambda$ where $\Lambda$ is a lattice in $\mathbb C$.

Let $K$ be an algebraically closed field of char $p$. If $n$ is prime to $p$, the the $n$-torsion is $\mathbb{Z}/n\mathbb{Z} \oplus \mathbb{Z}/n\mathbb{Z}$. The $p^e$-torsion could be either trivial for all $e$, or $\mathbb{Z}/p^e\mathbb{Z}$ for all $e$.

Over a non-algebraically closed-field, this is going to be much more complicated. I will try to give just an introduction.

Over $\mathbb Q$ and number fields: Over $\mathbb Q$ or a number field, it is finitely generated by the Mordell–Weil theorem. So it has a torsion part and free part. The free part could be arbitrarily large.

The Mordell–Weil theorem is in fact true for arbitrary finitely generated fields. This is due to Néron.

Over $\mathbb Q$, the torsion part has exactly $15$ possibilities according to the theorem of Mazur. Over number fields, this had been generalized that the torsion part is uniformly bounded.

Over finite fields, the torsion group would be $\mathbb{Z}/n\mathbb{Z} \oplus \mathbb{Z}/m\mathbb{Z}$ where $n \mid m$. There is no free part.

And it could go on like this. Please have a look at Silverman's "Advanced topics in the Arithmetic of Elliptic Curves" for elliptic curves over real numbers, $p$-adic numbers, function fields, etc.

$\endgroup$
3
  • 2
    $\begingroup$ Over $\mathbb{C}$ the group of points is not isomorphic to $\mathbb{C}\oplus\mathbb{C}$ as it has torsion. It is abstractly isomorphic to $\mathbb{R}/\mathbb{Z}\oplus\mathbb{R}/\mathbb{Z}$ but is better thought of as $\mathbb{C}/\Lambda$ where $\Lambda$ is a rank two lattice inside $\mathbb{C}$. $\endgroup$ Jul 24, 2010 at 13:01
  • $\begingroup$ Oops! I must have typed it on autopilot. Thanks for pointing out the error. Sorry. I have fixed it. $\endgroup$
    – Anweshi
    Jul 24, 2010 at 13:03
  • 1
    $\begingroup$ I must also note there that one conjecture about the free part of this group is the highly acclaimed Birch-Swinnerton-Dyer conjecture. It is one of the Clay problems. So you can imagine that some things in the topic are going to be extremely hard. $\endgroup$
    – Anweshi
    Jul 24, 2010 at 13:57
7
$\begingroup$

If you don't specify more about the structure of the field $K$, then we can't say much about the structure of the group $E(K)$. There are special cases (described in the Wikipedia article):

  1. If $K$ is a number field, then the Mordell–Weil theorem implies the group is finitely generated (and this has been generalized, as Anweshi mentioned). In fact, for each number field, there is a global bound on the size of the torsion of any elliptic curve over that field. In particular, if $K = \mathbf{Q}$, then it is a direct sum of a free abelian group of finite rank with a torsion group that is one of 15 types.
  2. If $K$ is finite of order $q$, then (by a theorem of Hasse) the group is finite of order about $q+1$ with error bounded by $2\sqrt{q}$. It is a sum of two cyclic groups.

If $K$ is larger than that, then $E(K)$ can be quite large. For example, if $K$ is separably closed, then $E(K)$ is divisible. In this case, if $K$ has characteristic zero, then $E(K) \cong (\mathbf{Q}/\mathbf{Z})^2 \oplus \bigoplus \mathbf{Q}$. If $K$ has characteristic $p>0$, then $E(K) \cong \bigoplus_{\ell \neq p} (\mathbf{Q}_\ell/\mathbf{Z}_\ell)^2 \oplus (\mathbf{Q}_p/\mathbf{Z}_p)^h \oplus \bigoplus \mathbf{Q}$. Here, $h$ is zero or one depending on whether the curve is supersingular or ordinary, and the $\bigoplus \mathbf{Q}$ is a vector space whose dimension is:

  1. zero if K is an algebraic closure of a finite field.
  2. countably infinite if $K$ is countable and not an algebraic closure of a finite field.
  3. equal to the cardinality of $K$ otherwise.

Away from the separably closed case, you get a subgroup of one of these groups, but you can have very complicated subgroups of $\mathbf{Q}$ as summands, and very complicated torsion subgroups.

$\endgroup$
1
  • 2
    $\begingroup$ "In fact, for each number field, there is a global bound on the size of the torsion of any elliptic curve over that field." -- Actually the bound does not depend on the number field; only on its degree. $\endgroup$
    – Anweshi
    Jul 24, 2010 at 13:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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