scholarly journals Most odd degree hyperelliptic curves have only one rational point

2014 ◽  
pp. 1137-1166 ◽  
Author(s):  
Bjorn Poonen ◽  
Michael Stoll
Keyword(s):  
Rational Point ◽  
Hyperelliptic Curves ◽  
Odd Degree

scholarly journals Rational points on hyperelliptic curves having a marked non-Weierstrass point

2017 ◽  
Vol 154 (1) ◽  
pp. 188-222
Author(s):  
Arul Shankar ◽  
Xiaoheng Wang
Keyword(s):  
Weierstrass Point ◽  
Hyperelliptic Curves ◽  
Rational Points ◽  
Selmer Groups ◽  
Automorphic Representations ◽  
The Family ◽  
Odd Degree ◽  
Fundamental Research ◽  
Average Size ◽  
Fixed Genus

In this paper, we consider the family of hyperelliptic curves over$\mathbb{Q}$having a fixed genus$n$and a marked rational non-Weierstrass point. We show that when$n\geqslant 9$, a positive proportion of these curves have exactly two rational points, and that this proportion tends to one as$n$tends to infinity. We study rational points on these curves by first obtaining results on the 2-Selmer groups of their Jacobians. In this direction, we prove that the average size of the 2-Selmer groups of the Jacobians of curves in our family is bounded above by 6, which implies a bound of$5/2$on the average rank of these Jacobians. Our results are natural extensions of Poonen and Stoll [Most odd degree hyperelliptic curves have only one rational point, Ann. of Math. (2)180(2014), 1137–1166] and Bhargava and Gross [The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point, inAutomorphic representations and$L$-functions, Tata Inst. Fundam. Res. Stud. Math., vol. 22 (Tata Institute of Fundamental Research, Mumbai, 2013), 23–91], where the analogous results are proved for the family of hyperelliptic curves with a marked rational Weierstrass point.

S-INTEGRAL POINTS ON HYPERELLIPTIC CURVES

2011 ◽  
Vol 07 (03) ◽  
pp. 803-824 ◽  
Author(s):  
HOMERO R. GALLEGOS-RUIZ
Keyword(s):  
Upper Bound ◽  
Hyperelliptic Curve ◽  
Rational Point ◽  
Hyperelliptic Curves ◽  
Integral Points ◽  
Finite Set ◽  
Genus 2 ◽  
The Right ◽  
Model C

Let C : Y2 = an Xn + ⋯ + a0 be a hyperelliptic curve with the ai rational integers, n ≥ 5, and the polynomial on the right irreducible. Let J be its Jacobian. Let S be a finite set of rational primes. We give a completely explicit upper bound for the size of the S-integral points on the model C, provided we know at least one rational point on C and a Mordell–Weil basis for J(ℚ). We use a refinement of the Mordell–Weil sieve which, combined with the upper bound, is capable of determining all the S-integral points. The method is illustrated by determining the S-integral points on the genus 2 hyperelliptic model Y2 - Y = X5 - X for the set S of the first 22 primes.

scholarly journals Optimized CSIDH Implementation Using a 2-Torsion Point

Cryptography ◽  
2020 ◽  
Vol 4 (3) ◽  
pp. 20 ◽  
Author(s):  
Donghoe Heo ◽  
Suhri Kim ◽  
Kisoon Yoon ◽  
Young-Ho Park ◽  
Seokhie Hong
Keyword(s):  
Elliptic Curve ◽  
Group Action ◽  
Large Degree ◽  
Transitive Group ◽  
Optimization Method ◽  
Torsion Point ◽  
Torsion Points ◽  
Diffie Hellman ◽  
Odd Degree ◽  
Montgomery Curve

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.

scholarly journals Coleman integration for even-degree models of hyperelliptic curves

2015 ◽  
Vol 18 (1) ◽  
pp. 258-265 ◽  
Author(s):  
Jennifer S. Balakrishnan
Keyword(s):  
Number Theory ◽  
Computer Science ◽  
Hyperelliptic Curves ◽  
Open Book ◽  
Line Integral ◽  
Book Series ◽  
Numerical Examples ◽  
Lecture Notes ◽  
Integration Algorithms ◽  
Mathematical Sciences

The Coleman integral is a $p$-adic line integral that encapsulates various quantities of number theoretic interest. Building on the work of Harrison [J. Symbolic Comput. 47 (2012) no. 1, 89–101], we extend the Coleman integration algorithms in Balakrishnan et al. [Algorithmic number theory, Lecture Notes in Computer Science 6197 (Springer, 2010) 16–31] and Balakrishnan [ANTS-X: Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Series 1 (Mathematical Sciences Publishers, 2013) 41–61] to even-degree models of hyperelliptic curves. We illustrate our methods with numerical examples computed in Sage.

scholarly journals On the Voevodsky motive of the moduli space of Higgs bundles on a curve

2021 ◽  
Vol 27 (1) ◽  
Author(s):  
Victoria Hoskins ◽  
Simon Pepin Lehalleur
Keyword(s):  
Moduli Space ◽  
Moduli Spaces ◽  
Characteristic Zero ◽  
Rational Point ◽  
Triangulated Category ◽  
Higgs Bundles ◽  
Projective Curve ◽  
Smooth Projective Curve ◽  
De Rham

AbstractWe study the motive of the moduli space of semistable Higgs bundles of coprime rank and degree on a smooth projective curve C over a field k under the assumption that C has a rational point. We show this motive is contained in the thick tensor subcategory of Voevodsky’s triangulated category of motives with rational coefficients generated by the motive of C. Moreover, over a field of characteristic zero, we prove a motivic non-abelian Hodge correspondence: the integral motives of the Higgs and de Rham moduli spaces are isomorphic.

scholarly journals Mazur’s rational torsion result for pointless genus one curves: examples

2021 ◽  
Vol 7 (1) ◽  
Author(s):  
Arjan Dwarshuis ◽  
Majken Roelfszema ◽  
Jaap Top
Keyword(s):  
Algebraic Geometry ◽  
Elliptic Curves ◽  
Rational Point ◽  
Torsion Points ◽  
Arbitrary Genus ◽  
Mazur’S Theorem ◽  
Genus One

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