Twists Of Curves
   HOME

TheInfoList



OR:

In the
mathematical Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
field of
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
, 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 the ...
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 or morphism 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 the ...
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 ...
of K. In particular, an isomorphism between elliptic curves is an
isogeny In mathematics, particularly 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 underlyi ...
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 is a modular function of weight zero for the special linear group \operatorname(2,\Z) defined on the upper half-plane of complex numbers. It is the unique such function that is holomorphic a ...
. Applications of twists include cryptography, the solution of
Diophantine equation ''Diophantine'' means pertaining to the ancient Greek mathematician Diophantus. A number of concepts bear this name: *Diophantine approximation In number theory, the study of Diophantine approximation deals with the approximation of real n ...
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'' dis ...
s, the study of the Sato–Tate conjecture.


Quadratic twist

First assume K is a field of characteristic different from 2. Let E 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 the ...
over K of the form: : y^2 = x^3 + a_2 x^2 +a_4 x + a_6. \, Given d\neq 0 not a square in K, the quadratic twist of E is the curve E^d, defined by the equation: : dy^2 = x^3 + a_2 x^2 + a_4 x + a_6. \, or equivalently : y^2 = x^3 + d a_2 x^2 + d^2 a_4 x + d^3 a_6. \, The two elliptic curves E and E^d are not isomorphic over K, but rather over the
field extension In mathematics, particularly in algebra, a field extension is a pair of fields K \subseteq L, such that the operations of ''K'' are those of ''L'' restricted to ''K''. In this case, ''L'' is an extension field of ''K'' and ''K'' is a subfield of ...
K(\sqrt). Qualitatively speaking, the arithmetic of a curve and its quadratic twist can look very different in the field K, 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 functions of complex numbers. It is helpful in many branches of mathematics, including algebraic ...
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 K is of characteristic 2. Let E 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 the ...
over K of the form: : y^2 + a_1 x y +a_3 y = x^3 + a_2 x^2 +a_4 x + a_6. \, Given d\in K such that X^2+X+d 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 f ...
over K, the quadratic twist of E is the curve E^d, defined by the equation: : y^2 + a_1 x y +a_3 y = x^3 + (a_2 + d a_1^2) x^2 +a_4 x + a_6 + d a_3^2. \, The two elliptic curves E and E^d are not isomorphic over K, but over the
field extension In mathematics, particularly in algebra, a field extension is a pair of fields K \subseteq L, such that the operations of ''K'' are those of ''L'' restricted to ''K''. In this case, ''L'' is an extension field of ''K'' and ''K'' is a subfield of ...
K (X^2+X+d).


Quadratic twist over finite fields

If K is a
finite field In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field (mathematics), field that contains a finite number of Element (mathematics), elements. As with any field, a finite field is a Set (mathematics), s ...
with q elements, then for all x there exist a y such that the point (x,y) belongs to E or E^d (or possibly both). In fact, if (x,y) is on just one of the curves, there is exactly one other y' on that same curve (which can happen if the characteristic is not 2). As a consequence, , E(K), +, E^d(K), = 2 q+2 or equivalently t_ = - t_E , where t_E is the trace of the
Frobenius endomorphism In commutative algebra and field theory (mathematics), field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative Ring (mathematics), rings with prime number, prime characteristic (algebra), ...
of the curve.


Quartic twist

It is possible to "twist" elliptic curves with j-invariant equal to 1728 by quartic characters; twisting a curve E by a quartic twist, one obtains precisely four curves: one is isomorphic to E, 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 K 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 K be a field and C be curve over that field, i.e., a
projective variety In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, th ...
of dimension 1 over K that is irreducible and geometrically connected. Then a twist C' of C is another smooth projective curve for which there exists a \bar-isomorphism between C' and C, where the field \bar is the algebraic closure of K.


Examples

*
Twisted Hessian curves In mathematics, twisted Hessian curves are a generalization of Hessian curves; they were introduced in elliptic curve cryptography to speed up the addition and doubling formulas and to have strongly unified arithmetic. In some operations (see the ...
*
Twisted Edwards curve In algebraic geometry, the twisted Edwards curves are plane models of elliptic curves, a generalisation of Edwards curves introduced by Bernstein, Birkner, Joye, Lange and Peters in 2008. The curve set is named after mathematician Harold M. ...
* 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