In the
mathematical
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
field of
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
, an
elliptic curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If ...
E over a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
K has an associated quadratic twist, that is another elliptic curve which is
isomorphic
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...
to E over an
algebraic closure
In mathematics, particularly abstract algebra, an algebraic closure of a field ''K'' is an algebraic extension of ''K'' that is algebraically closed. It is one of many closures in mathematics.
Using Zorn's lemmaMcCarthy (1991) p.21Kaplansky (1 ...
of K. In particular, an isomorphism between elliptic curves is an
isogeny In mathematics, in particular, in algebraic geometry, an isogeny is a morphism of algebraic groups (also known as group varieties) that is surjective and has a finite kernel.
If the groups are abelian varieties, then any morphism of the underlying ...
of degree 1, that is an invertible isogeny. Some curves have higher order twists such as cubic and quartic twists. The curve and its twists have the same
j-invariant
In mathematics, Felix Klein's -invariant or function, regarded as a function of a Complex analysis, complex variable , is a modular function of weight zero for defined on the upper half-plane of complex numbers. It is the unique such funct ...
.
Applications of twists include cryptography, the solution of
Diophantine equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a c ...
s, and when generalized to
hyperelliptic curve
In algebraic geometry, a hyperelliptic curve is an algebraic curve of genus ''g'' > 1, given by an equation of the form
y^2 + h(x)y = f(x)
where ''f''(''x'') is a polynomial of degree ''n'' = 2''g'' + 1 > 4 or ''n'' = 2''g'' + 2 > 4 with ''n'' dist ...
s, the study of the
Sato–Tate conjecture
In mathematics, the Sato–Tate conjecture is a statistical statement about the family of elliptic curves ''Ep'' obtained from an elliptic curve ''E'' over the rational numbers by reduction modulo almost all prime numbers ''p''. Mikio Sato and Jo ...
.
Quadratic twist
First assume
is a field of
characteristic different from 2. Let
be an
elliptic curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If ...
over
of the form:
:
Given
not a square in
, the quadratic twist of
is the curve
, defined by the equation:
:
or equivalently
:
The two elliptic curves
and
are not isomorphic over
, but rather over the
field extension
In mathematics, particularly in algebra, a field extension is a pair of fields E\subseteq F, such that the operations of ''E'' are those of ''F'' restricted to ''E''. In this case, ''F'' is an extension field of ''E'' and ''E'' is a subfield of ...
. Qualitatively speaking, the arithmetic of a curve and its quadratic twist can look very different in the field
, while the
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), functions of complex numbers. It is helpful in many branches of mathemati ...
of the curves is the same; and so a family of curves related by twisting becomes a useful setting in which to study the arithmetic properties of elliptic curves.
Twists can also be defined when the base field
is of characteristic 2. Let
be an
elliptic curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If ...
over
of the form:
:
Given
such that
is an
irreducible polynomial
In mathematics, an irreducible polynomial is, roughly speaking, a polynomial that cannot be factored into the product of two non-constant polynomials. The property of irreducibility depends on the nature of the coefficients that are accepted ...
over
, the quadratic twist of
is the curve
, defined by the equation:
:
The two elliptic curves
and
are not isomorphic over
, but over the
field extension
In mathematics, particularly in algebra, a field extension is a pair of fields E\subseteq F, such that the operations of ''E'' are those of ''F'' restricted to ''E''. In this case, ''F'' is an extension field of ''E'' and ''E'' is a subfield of ...
.
Quadratic twist over finite fields
If
is a
finite field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtr ...
with
elements, then for all
there exist a
such that the point
belongs to either
or
. In fact, if
is on just one of the curves, there is exactly one other
on that same curve (which can happen if the characteristic is not
).
As a consequence,
or equivalently
, where
is the trace of the
Frobenius endomorphism
In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic , an important class which includes finite fields. The endomorphism ma ...
of the curve.
Quartic twist
It is possible to "twist" elliptic curves with j-invariant equal to 1728 by quartic characters;
twisting a curve
by a quartic twist, one obtains precisely four curves: one is isomorphic to
, one is its quadratic twist, and only the other two are really new. Also in this case, twisted curves are isomorphic over the field extension given by the twist degree.
Cubic twist
Analogously to the quartic twist case, an elliptic curve over
with j-invariant equal to zero can be twisted by cubic characters. The curves obtained are isomorphic to the starting curve over the field extension given by the twist degree.
Generalization
Twists can be defined for other smooth projective curves as well. Let
be a field and
be curve over that field, i.e., a
projective variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables w ...
of dimension 1 over
that is irreducible and geometrically connected. Then a twist
of
is another smooth projective curve for which there exists a
-isomorphism between
and
, where the field
is the algebraic closure of
.
Examples
*
Twisted Hessian curves In mathematics, the Twisted Hessian curve represents a generalization of Hessian curves; it was introduced in elliptic curve cryptography to speed up the addition and doubling formulas and to have strongly unified arithmetic. In some operations (s ...
*
Twisted Edwards curve
In algebraic geometry, the twisted Edwards curves are plane models of elliptic curves, a generalisation of Edwards curves introduced by Daniel J. Bernstein, Bernstein, Birkner, Joye, Tanja Lange, Lange and Peters in 2008. The curve set is named a ...
*
Twisted tripling-oriented Doche–Icart–Kohel curve
References
*
* {{cite journal
, author = C. L. Stewart and J. Top
, date = October 1995
, title = On Ranks of Twists of Elliptic Curves and Power-Free Values of Binary Forms
, journal = Journal of the American Mathematical Society
, volume = 8
, issue = 4
, pages = 943–973
, doi = 10.1090/S0894-0347-1995-1290234-5
, jstor = 2152834
, doi-access = free
Elliptic curves
Elliptic curve cryptography