scholarly journals Hensel-lifting torsion points on Jacobians and Galois representations

2019 ◽  
Vol 89 (323) ◽  
pp. 1417-1455
Author(s):  
Nicolas Mascot
2013 ◽  
Vol 13 (3) ◽  
pp. 517-559 ◽  
Author(s):  
Eric Larson ◽  
Dmitry Vaintrob

AbstractGiven an abelian variety $A$ of dimension $g$ over a number field $K$, and a prime $\ell $, the ${\ell }^{n} $-torsion points of $A$ give rise to a representation ${\rho }_{A, {\ell }^{n} } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ( \mathbb{Z} / {\ell }^{n} \mathbb{Z} )$. In particular, we get a mod-$\ell $representation ${\rho }_{A, \ell } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{F} }_{\ell } )$ and an $\ell $-adic representation ${\rho }_{A, {\ell }^{\infty } } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{Z} }_{\ell } )$. In this paper, we describe the possible determinants of subquotients of these two representations. These two lists turn out to be remarkably similar.Applying our results in dimension $g= 1$, we recover a generalized version of a theorem of Momose on isogeny characters of elliptic curves over number fields, and obtain, conditionally on the Generalized Riemann Hypothesis, a generalization of Mazur’s bound on rational isogenies of prime degree to number fields.


2020 ◽  
Vol 305 (1) ◽  
pp. 43-88 ◽  
Author(s):  
Abbey Bourdon ◽  
Pete L. Clark Clark

2017 ◽  
Vol 234 ◽  
pp. 17-45 ◽  
Author(s):  
IMIN CHEN ◽  
YOONJIN LEE

Let $K=\mathbb{F}_{q}(T)$ and $A=\mathbb{F}_{q}[T]$. Suppose that $\unicode[STIX]{x1D719}$ is a Drinfeld $A$-module of rank $2$ over $K$ which does not have complex multiplication. We obtain an explicit upper bound (dependent on $\unicode[STIX]{x1D719}$) on the degree of primes ${\wp}$ of $K$ such that the image of the Galois representation on the ${\wp}$-torsion points of $\unicode[STIX]{x1D719}$ is not surjective, in the case of $q$ odd. Our results are a Drinfeld module analogue of Serre’s explicit large image results for the Galois representations on $p$-torsion points of elliptic curves (Serre, Propriétés galoisiennes des points d’ordre fini des courbes elliptiques, Invent. Math. 15 (1972), 259–331; Serre, Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Etudes Sci. Publ. Math. 54 (1981), 323–401.) and are unconditional because the generalized Riemann hypothesis for function fields holds. An explicit isogeny theorem for Drinfeld $A$-modules of rank $2$ over $K$ is also proven.


2001 ◽  
Vol 44 (3) ◽  
pp. 313-322 ◽  
Author(s):  
Amadeu Reverter ◽  
Núria Vila

AbstractWe give an explicit recipe for the determination of the images associated to the Galois action on p-torsion points of elliptic curves. We present a table listing the image for all the elliptic curves defined over without complex multiplication with conductor less than 200 and for each prime number p.


Cryptography ◽  
2020 ◽  
Vol 4 (3) ◽  
pp. 20 ◽  
Author(s):  
Donghoe Heo ◽  
Suhri Kim ◽  
Kisoon Yoon ◽  
Young-Ho Park ◽  
Seokhie Hong

The implementation of isogeny-based cryptography mainly use Montgomery curves, as they offer fast elliptic curve arithmetic and isogeny computation. However, although Montgomery curves have efficient 3- and 4-isogeny formula, it becomes inefficient when recovering the coefficient of the image curve for large degree isogenies. Because the Commutative Supersingular Isogeny Diffie-Hellman (CSIDH) requires odd-degree isogenies up to at least 587, this inefficiency is the main bottleneck of using a Montgomery curve for CSIDH. In this paper, we present a new optimization method for faster CSIDH protocols entirely on Montgomery curves. To this end, we present a new parameter for CSIDH, in which the three rational two-torsion points exist. By using the proposed parameters, the CSIDH moves around the surface. The curve coefficient of the image curve can be recovered by a two-torsion point. We also proved that the CSIDH while using the proposed parameter guarantees a free and transitive group action. Additionally, we present the implementation result using our method. We demonstrated that our method is 6.4% faster than the original CSIDH. Our works show that quite higher performance of CSIDH is achieved while only using Montgomery curves.


2021 ◽  
Vol 7 (1) ◽  
Author(s):  
Arjan Dwarshuis ◽  
Majken Roelfszema ◽  
Jaap Top

AbstractThis note reformulates Mazur’s result on the possible orders of rational torsion points on elliptic curves over $$\mathbb {Q}$$ Q in a way that makes sense for arbitrary genus one curves, regardless whether or not the curve contains a rational point. The main result is that explicit examples are provided of ‘pointless’ genus one curves over $$\mathbb {Q}$$ Q corresponding to the torsion orders 7, 8, 9, 10, 12 (and hence, all possibilities) occurring in Mazur’s theorem. In fact three distinct methods are proposed for constructing such examples, each involving different in our opinion quite nice ideas from the arithmetic of elliptic curves or from algebraic geometry.


Sign in / Sign up

Export Citation Format

Share Document