Rational Maps
A rational map of an elliptic curve to itself is an element of the elliptic curve . (Recall denotes the function field of .)
Let us examine what this means. Suppose , so that are rational functions that happen to satisfy the equation for . Then if is a point on the elliptic curve , we see that is also a point on an elliptic curve . So a rational map describes how to map points of to other points of .
Fact: A rational map is either surjective or constant
A rational map is called an endomorphism or an isogeny if it maps the point to itself. The set of all endomorphism is denoted .
It is not hard to check that is a ring (where addition is point addition, and multiplication is composition).
Identity Map
This is the pair of rational functions and .
It is also the multiplicative identity of .
Constant Map
Let be a point . Then the constant map that takes every point to is given by
(both rational functions are constants). The map is only constant isogeny, and it is the additive identity of .
Translation Map
Let be a point . Then the translation map that adds to every point is
Here the addition refers to point addition done over . The map can be explicitly given as follows. Set to the rational function . Let
and
Then .
Multiplication Map
The multiplication-by- map takes a point to , and hence it can be defined as follows .
Explicit descriptions of the rational functions involved are usually given in terms of division polynomials (TODO).
Frobenius Map
Suppose we are working with a curve over . The Frobenius map is given by
It is easily verified that this is indeed an isogeny.
Twists
Certain curves have useful maps often called twists. In the following section denotes a prime.
-
, , Twist on : , where is a square root of .
-
, , Twist on : , where is a nontrivial cube root of .