Jump to content

Hessian form of an elliptic curve: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
ClueBot (talk | contribs)
m Reverting possible vandalism by Froire to version by Jaydec. False positive? Report it. Thanks, ClueBot. (505513) (Bot)
Blanked the page
Tag: categories removed
Line 1: Line 1:
The '''Hessian curve''' is a curve similar to [[Folium of Descartes]]. It is named after the German mathematician [[Otto Hesse]].

To define the Hessian curve over a field $K&=&Fq$ where q≡2 (mod3).
Let E denote an elliptic curve over &K& which has a $K$-rational point of order 3 (but we also can define the curve for any $K$ with characteristic p>3).

It is interesting to analyze this curves, because we can get a 33% performance improvement as compared to the best reported methods and requires much less memory. For this, we only need to use the same procedure to compute the addition, doubling or subtraction of points.

Since we assume that E has a point of order 3, now we define the elliptic curve so that this point is moved to the origin:
Y<sup>2</sup>+a<sub>1</sub>XY+a<sub>3</sub>Y=X<sup>3</sup>
This curve has discriminant &\deltha=(a<sub>3</sub>(a<sub>1</sub><sup>3</sup>-27a<sub>3</sub>))=a<sub>3</sub><sup>3</sup>&\deltha
and the points of order 3 are given by (0,0) and (0,-a<sub>3</sub>)

So, to obtain our Hessian curve, we are going to do the following transformation:
First let &\mu denote a root of the polynomial T<sup>3</sup>- &\delthaT<sup>2</sup>+ &\deltha2T/3+a<sub>3</sub> &\deltha2=0

Since q≡2 (mod3) every element in &K& has a unique cube root and we can determine &\mu from the formula:


==References==
* Otto Hesse (1844), ''Uber die Elimination der Variabeln aus drei algebraischen Gleichungen vom zweiten Grade mit zwei Variabeln'', Journal für die reine und angewandte Mathematik, 10, pp. 68-96

[[Category:Curves]]

{{geometry-stub}}

Revision as of 11:11, 14 December 2009