5
$\begingroup$

If we take our elliptic curve over $K$ to be the zero set of $ F(X_1, X_2, X_3) = X_2^2 X_3 - (X_1^3 + AX_1X_3^2 + BX_3^3), $ which is in projective form with $X = X_1, Y = X_2, Z=X_3$, then I have been able to show that for any point $P$ on the curve, if $3P = \mathbf{o}$ then the Hessian matrix $ \bigg(\frac{\partial F}{\partial X_i \partial X_j}\bigg) $ has determinant $0$ at $P$.

I am then asked on this exercise to show that there are at most nine 3-torsion points over $K$. Is this an obvious deduction? I am afraid I cannot see how to do it.

  • 1
    wh$a$t Qi$a$ochu is getting $a$t is known as Bezout's theorem. Ever heard of it?2011-06-15

1 Answers 1

8

To prove this I'm going to appeal to some results in algebraic geometry. We have that $P$ is a simple point on $F$ if and only if $\mathcal{O}_P(F)$, the local ring of $F$ at $P$, is a discrete valuation ring (see Fulton theorem 1 section 3.2. A simple point $P$ on $F$ is called an ordinary flex if $ord_p^F(L) = 3$ where $L$ is the tangent line to $F$ at $P$.

By a theorem in section 5.3 (again see Fulton), $I(P, H \cap F) = 1$ if and only if $P$ is an ordinary flex. Since an elliptic curve is nonsingular, all of its points are simple. Since we are looking for the number of $3$-torsion points, these are exactly the points that are ordinary flexes. By Bezout's theorem we have that, since the Hessian is a cubic polynomial and elliptic curves have degree $3$, $ \sum_P I(P, H \cap F) = 9 $ so $F$ has at most nine ordinary flexes.

  • 0
    Downvoter, any feedback?2012-06-15