Abstract:
In the report it is proposed new deterministic finite field mapping Fq→E(Fq) in the case of any elliptic Fq-curve E of j-invariant 1728. For this purpose we will construct a rational Fq-curve C (and an efficiently computable birational Fq-morphism P1→C) on the Kummer surface K associated with the direct product E×E′, where E′ is the quadratic Fq-twist of E. More precisely, the curve C is one of two absolutely irreducible Fq-components of the inverse image pr−1(C8) for some rational Fq-curve C8 of bidegree (8,8) with 42 singular points, where pr:K→P1×P1 is the two-sheeted projection to x-coordinates of E and E′.