Showing 1–25 of 25 results for author: Lercier, R

Reduction of Plane Quartics and Dixmier-Ohno invariants

Authors: Raymond van Bommel, Jordan Docking, Reynald Lercier, Elisa Lorenzo García

Abstract: We characterise, in terms of Dixmier-Ohno invariants, the types of singularities that a plane quartic curve can have. We then use these results to obtain new criteria for determining the stable reduction types of non-hyperelliptic curves of genus 3. We characterise, in terms of Dixmier-Ohno invariants, the types of singularities that a plane quartic curve can have. We then use these results to obtain new criteria for determining the stable reduction types of non-hyperelliptic curves of genus 3. △ Less

Submitted 28 August, 2024; v1 submitted 24 January, 2024; originally announced January 2024.

Reduction of Plane Quartics and Cayley Octads

Authors: Raymond van Bommel, Jordan Docking, Vladimir Dokchitser, Reynald Lercier, Elisa Lorenzo García

Abstract: We give a conjectural characterisation of the stable reduction of plane quartics over local fields in terms of their Cayley octads. This results in p-adic criteria that efficiently give the stable reduction type amongst the 42 possible types, and whether the reduction is hyperelliptic or not. These criteria are in the vein of the machinery of "cluster pictures" for hyperelliptic curves. We also co… ▽ More We give a conjectural characterisation of the stable reduction of plane quartics over local fields in terms of their Cayley octads. This results in p-adic criteria that efficiently give the stable reduction type amongst the 42 possible types, and whether the reduction is hyperelliptic or not. These criteria are in the vein of the machinery of "cluster pictures" for hyperelliptic curves. We also construct explicit families of quartic curves that realise all possible stable types, against which we test these criteria. We give numerical examples that illustrate how to use these criteria in practice. △ Less

Submitted 20 February, 2024; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: Comments are welcome, 683 pictures, improved introduction

MSC Class: 11G20 (primary); 11Y99; 14H10; 14H45; 14Q05

Functionalities for genus $2$ and $3$ curves

Authors: Reynald Lercier, Jeroen Sijsling, Christophe Ritzenthaler

Abstract: We gather and illustrate some functions that we wrote in the Magma computer algebra system for curves of genus $2$ and $3$. In genus $3$, we furnish functions both for non-hyperelliptic and for hyperelliptic curves. A fair bit of the functionality in the latter case extends to hyperelliptic curves of arbitrary genus. We gather and illustrate some functions that we wrote in the Magma computer algebra system for curves of genus $2$ and $3$. In genus $3$, we furnish functions both for non-hyperelliptic and for hyperelliptic curves. A fair bit of the functionality in the latter case extends to hyperelliptic curves of arbitrary genus. △ Less

Submitted 8 February, 2021; originally announced February 2021.

Comments: 13 pages

Fast computation of elliptic curve isogenies in characteristic two

Authors: Xavier Caruso, Elie Eid, Reynald Lercier

Abstract: We propose an algorithm that calculates isogenies between elliptic curves defined over an extension $K$ of $\mathbb{Q}_2$. It consists in efficiently solving with a logarithmic loss of $2$-adic precision the first order differential equation satisfied by the isogeny. We give some applications, especially computing over finite fields of characteristic 2 isogenies of elliptic curves and irreducibl… ▽ More We propose an algorithm that calculates isogenies between elliptic curves defined over an extension $K$ of $\mathbb{Q}_2$. It consists in efficiently solving with a logarithmic loss of $2$-adic precision the first order differential equation satisfied by the isogeny. We give some applications, especially computing over finite fields of characteristic 2 isogenies of elliptic curves and irreducible polynomials, both in quasi-linear time in the degree. △ Less

Submitted 17 May, 2021; v1 submitted 13 March, 2020; originally announced March 2020.

MSC Class: 11G20; 12H25; 14Q05

Siegel modular forms of degree three and invariants of ternary quartics

Authors: Reynald Lercier, Christophe Ritzenthaler

Abstract: We determine the structure of the graded ring of Siegel modular forms of degree 3. It is generated by 19 modular forms, among which we identify a homogeneous system of parameters with 7 forms of weights 4, 12, 12, 14, 18, 20 and 30. We also give a complete dictionary between the Dixmier-Ohno invariants of ternary quartics and the above generators. We determine the structure of the graded ring of Siegel modular forms of degree 3. It is generated by 19 modular forms, among which we identify a homogeneous system of parameters with 7 forms of weights 4, 12, 12, 14, 18, 20 and 30. We also give a complete dictionary between the Dixmier-Ohno invariants of ternary quartics and the above generators. △ Less

Submitted 15 May, 2024; v1 submitted 17 July, 2019; originally announced July 2019.

MSC Class: 14K20; 14K25; 14J15; 11F46; 14L24

Stable models of plane quartics with hyperelliptic reduction

Authors: Reynald Lercier, Elisa Lorenzo García, Christophe Ritzenthaler

Abstract: Let C/K: F = 0 be a smooth plane quartic over a complete discrete valuation field K. In a previous paper the authors togetehr with Q. Liu give various characterizations of the reduction (i.e. non-hyperelliptic genus 3 curve, hyperelliptic genus 3 curve or bad) of the stable model of C: in terms of the existence of a special plane quartic model and in terms of the valuations of the Dixmier-Ohno inv… ▽ More Let C/K: F = 0 be a smooth plane quartic over a complete discrete valuation field K. In a previous paper the authors togetehr with Q. Liu give various characterizations of the reduction (i.e. non-hyperelliptic genus 3 curve, hyperelliptic genus 3 curve or bad) of the stable model of C: in terms of the existence of a special plane quartic model and in terms of the valuations of the Dixmier-Ohno invariants of C. The last one gives in particular an easy computable criterion for the reduction type. However, it does not produce a stable model, even in the case of good reduction. In this paper we give an algorithm to obtain (an approximation of) the stable model when the reduction of the latter is hyperelliptic and the characteristic of the residue field is not 2. This is based on a new criterion giving the reduction type in terms of the valuations of the theta constants of C. Some examples of the computation of these models are given. △ Less

Submitted 31 May, 2019; originally announced June 2019.

Comments: 12 pages. arXiv admin note: substantial text overlap with arXiv:1803.05816

MSC Class: 14D05; 14H42; 14H45; 14H50; 14K25; 14Q05; 11G20

Reduction type of smooth quartics

Authors: Reynald Lercier, Qing Liu, Elisa Lorenzo García, Christophe Ritzenthaler

Abstract: Let $C/K$ be a smooth plane quartic over a discrete valuation field. We characterize the type of reduction (i.e. smooth plane quartic, hyperelliptic genus 3 curve or bad) over $K$ in terms of the existence of a special plane quartic model and, over $\bar{K}$, in terms of the valuations of certain algebraic invariants of $C$ when the characteristic of the residue field is not $2,\,3,\,5$ or $7$. On… ▽ More Let $C/K$ be a smooth plane quartic over a discrete valuation field. We characterize the type of reduction (i.e. smooth plane quartic, hyperelliptic genus 3 curve or bad) over $K$ in terms of the existence of a special plane quartic model and, over $\bar{K}$, in terms of the valuations of certain algebraic invariants of $C$ when the characteristic of the residue field is not $2,\,3,\,5$ or $7$. On the way, we gather several results of general interest on geometric invariant theory over an arbitrary ring $R$ in the spirit of (Seshadri 1977). For instance when $R$ is a discrete valuation ring, we show the existence of a homogeneous system of parameters over $R$. We exhibit explicit ones for ternary quartic forms under the action of $\textrm{SL}_{3,R}$ depending only on the characteristic $p$ of the residue field. We illustrate our results with the case of Picard curves for which we give simple criteria for the type of reduction. △ Less

Submitted 2 August, 2020; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: Final version. Accepted for publication in Algebra and Number Theory (Mathematical Sciences Publishers)

MSC Class: 11G20; 14Q05; 14D10; 14D20; 14H25

Journal ref: Alg. Number Th. 15 (2021) 1429-1468

Plane quartics over $\mathbb{Q}$ with complex multiplication

Authors: Pınar Kılıçer, Hugo Labrande, Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling, Marco Streng

Abstract: We give examples of smooth plane quartics over $\mathbb{Q}$ with complex multiplication over $\overline{\mathbb{Q}}$ by a maximal order with primitive CM type. We describe the required algorithms as we go, these involve the reduction of period matrices, the fast computation of Dixmier-Ohno invariants, and reconstruction from these invariants. Finally, we discuss some of the reduction properties of… ▽ More We give examples of smooth plane quartics over $\mathbb{Q}$ with complex multiplication over $\overline{\mathbb{Q}}$ by a maximal order with primitive CM type. We describe the required algorithms as we go, these involve the reduction of period matrices, the fast computation of Dixmier-Ohno invariants, and reconstruction from these invariants. Finally, we discuss some of the reduction properties of the curves that we obtain. △ Less

Submitted 8 April, 2022; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: 25 pages

Journal ref: Acta Arith. 185 (2018), no. 2, 127-156

Reconstructing plane quartics from their invariants

Authors: Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling

Abstract: We present an explicit method that, given a generic tuple of Dixmier-Ohno invariants, reconstructs a corresponding plane quartic curve. We present an explicit method that, given a generic tuple of Dixmier-Ohno invariants, reconstructs a corresponding plane quartic curve. △ Less

Submitted 17 June, 2016; originally announced June 2016.

Comments: 36 pages

Distributions of traces of Frobenius for smooth plane curves over finite fields

Authors: Reynald Lercier, Christophe Ritzenthaler, Florent Rovetta, Jeroen Sijsling, Benjamin Smith

Abstract: In a previous article, we obtained data on the distribution of traces of Frobenius of non-hyperelliptic genus $3$ curves over small finite fields. In the present one, we give a heuristic explanation of these data, by extrapolating from results on the distribution of traces of Frobenius for plane curves whose degree is small with respect to the cardinality of their finite base field. In particular,… ▽ More In a previous article, we obtained data on the distribution of traces of Frobenius of non-hyperelliptic genus $3$ curves over small finite fields. In the present one, we give a heuristic explanation of these data, by extrapolating from results on the distribution of traces of Frobenius for plane curves whose degree is small with respect to the cardinality of their finite base field. In particular, our methods shed some new light on the asymmetry of the distribution around its mean value, which is related to the Serre obstruction. △ Less

Submitted 19 October, 2015; originally announced October 2015.

Comments: 12 pages, 4 figures

MSC Class: 14Q05; 14H10; 14H25; 14H37; 14H45; 14H50

Covariant algebra of the binary nonic and the binary decimic

Authors: Reynald Lercier, Marc Olive

Abstract: We give a minimal system of 476 generators (resp. 510 generators) for the algebra of SL(2,C)-covariant polynomials on binary forms of degree 9 (resp. degree 10). These results were only known as conjectures so far. The computations rely on Gordan's algorithm, and some new improvements. We give a minimal system of 476 generators (resp. 510 generators) for the algebra of SL(2,C)-covariant polynomials on binary forms of degree 9 (resp. degree 10). These results were only known as conjectures so far. The computations rely on Gordan's algorithm, and some new improvements. △ Less

Submitted 29 September, 2015; originally announced September 2015.

MSC Class: 14Q99 (Primary) 13C90 (Secondary)

Parametrizing the moduli space of curves and applications to smooth plane quartics over finite fields

Authors: Reynald Lercier, Christophe Ritzenthaler, Florent Rovetta, Jeroen Sijsling

Abstract: We study new families of curves that are suitable for efficiently parametrizing their moduli spaces. We explicitly construct such families for smooth plane quartics in order to determine unique representatives for the isomorphism classes of smooth plane quartics over finite fields. In this way, we can visualize the distributions of their traces of Frobenius. This leads to new observations on fluct… ▽ More We study new families of curves that are suitable for efficiently parametrizing their moduli spaces. We explicitly construct such families for smooth plane quartics in order to determine unique representatives for the isomorphism classes of smooth plane quartics over finite fields. In this way, we can visualize the distributions of their traces of Frobenius. This leads to new observations on fluctuations with respect to the limiting symmetry imposed by the theory of Katz and Sarnak. △ Less

Submitted 4 February, 2019; v1 submitted 3 March, 2014; originally announced March 2014.

MSC Class: 14Q05 (primary); 13A50; 14H10; 14H37 (secondary)

Journal ref: LMS J. Comput. Math. 17 (2014), suppl. A, 128-147

The geometry of some parameterizations and encodings

Authors: Jean-Marc Couveignes, Reynald Lercier

Abstract: We explore parameterizations by radicals of low genera algebraic curves. We prove that for $q$ a prime power that is large enough and prime to $6$, a fixed positive proportion of all genus 2 curves over the field with $q$ elements can be parameterized by $3$-radicals. This results in the existence of a deterministic encoding into these curves when $q$ is congruent to $2$ modulo $3$. We extend this… ▽ More We explore parameterizations by radicals of low genera algebraic curves. We prove that for $q$ a prime power that is large enough and prime to $6$, a fixed positive proportion of all genus 2 curves over the field with $q$ elements can be parameterized by $3$-radicals. This results in the existence of a deterministic encoding into these curves when $q$ is congruent to $2$ modulo $3$. We extend this construction to parameterizations by $\ell$-radicals for small odd integers $\ell$, and make it explicit for $\ell=5$. △ Less

Submitted 17 November, 2014; v1 submitted 3 October, 2013; originally announced October 2013.

Explicit Galois obstruction and descent for hyperelliptic curves with tamely cyclic reduced automorphism group

Authors: Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling

Abstract: This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along the way, we obtain an arithmetic criterion for the existence of a hyperelliptic descent. The obstruction is described by the so-called arithmetic dihedral inva… ▽ More This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along the way, we obtain an arithmetic criterion for the existence of a hyperelliptic descent. The obstruction is described by the so-called arithmetic dihedral invariants of the curves in question. If it vanishes, then the use of these invariants also allows the explicit determination of a model over the field of moduli; if not, then one obtains a hyperelliptic model over a degree 2 extension of this field. △ Less

Submitted 7 January, 2015; v1 submitted 4 January, 2013; originally announced January 2013.

Comments: 35 pages; improve the readability of the paper

An explicit expression of the Luroth invariant

Authors: Romain Basson, Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling

Abstract: In this short note, we give an algorithm to get an explicit expression of the Luroth invariant in terms of the Dixmier-Ohno invariants. We also get the explicit factorized expression on the locus of Ciani quartics in terms of the coefficients. Finally, we answer two open questions on sub-loci of singular Luroth quartics. In this short note, we give an algorithm to get an explicit expression of the Luroth invariant in terms of the Dixmier-Ohno invariants. We also get the explicit factorized expression on the locus of Ciani quartics in terms of the coefficients. Finally, we answer two open questions on sub-loci of singular Luroth quartics. △ Less

Submitted 10 January, 2015; v1 submitted 6 November, 2012; originally announced November 2012.

Journal ref: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, pages 31-36, 2013. Association for Computing Machinery

A faster pseudo-primality test

Authors: Jean-Marc Couveignes, Tony Ezome, Reynald Lercier

Abstract: We propose a pseudo-primality test using cyclic extensions of $\mathbb Z/n \mathbb Z$. For every positive integer $k \leq \log n$, this test achieves the security of $k$ Miller-Rabin tests at the cost of $k^{1/2+o(1)}$ Miller-Rabin tests. We propose a pseudo-primality test using cyclic extensions of $\mathbb Z/n \mathbb Z$. For every positive integer $k \leq \log n$, this test achieves the security of $k$ Miller-Rabin tests at the cost of $k^{1/2+o(1)}$ Miller-Rabin tests. △ Less

Submitted 28 May, 2012; v1 submitted 7 April, 2012; originally announced April 2012.

Comments: Published in Rendiconti del Circolo Matematico di Palermo Journal, Springer

MSC Class: 11Y11

Journal ref: LMS J. Comput. Math. 18 (2015) 555-577

Fast computation of isomorphisms of hyperelliptic curves and explicit Galois descent

Authors: Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling

Abstract: We show how to speed up the computation of isomorphisms of hyperelliptic curves by using covariants. We also obtain new theoretical and practical results concerning models of these curves over their field of moduli. We show how to speed up the computation of isomorphisms of hyperelliptic curves by using covariants. We also obtain new theoretical and practical results concerning models of these curves over their field of moduli. △ Less

Submitted 10 January, 2015; v1 submitted 24 March, 2012; originally announced March 2012.

Journal ref: Proceedings of the Tenth Algorithmic Number Theory Symposium, volume 1 of The Open Book Series, pages 463-486. Mathematical Sciences Publishers, 2013

Hyperelliptic curves and their invariants: geometric, arithmetic and algorithmic aspects

Authors: Reynald Lercier, Christophe Ritzenthaler

Abstract: We apply classical invariant theory of binary forms to explicitly characterize isomorphism classes of hyperelliptic curves of small genus and, conversely, propose algorithms for reconstructing hyperelliptic models from given invariants. We focus on genus 3 hyperelliptic curves. Both geometric and arithmetic aspects are considered. We apply classical invariant theory of binary forms to explicitly characterize isomorphism classes of hyperelliptic curves of small genus and, conversely, propose algorithms for reconstructing hyperelliptic models from given invariants. We focus on genus 3 hyperelliptic curves. Both geometric and arithmetic aspects are considered. △ Less

Submitted 17 November, 2011; originally announced November 2011.

Comments: 46 pages ; related programs are available on the web pages of the authors

MSC Class: 14Q05; 13A50; 14H10; 14H37

Encoding points on hyperelliptic curves over finite fields in deterministic polynomial time

Authors: Jean-Gabriel Kammerer, Reynald Lercier, Guénaël Renault

Abstract: We present families of (hyper)elliptic curve which admit an efficient deterministic encoding function. We present families of (hyper)elliptic curve which admit an efficient deterministic encoding function. △ Less

Submitted 25 June, 2010; v1 submitted 10 May, 2010; originally announced May 2010.

Normal Elliptic Bases and Torus-Based Cryptography

Authors: Clement Dunand, Reynald Lercier

Abstract: We consider representations of algebraic tori $T_n(F_q)$ over finite fields. We make use of normal elliptic bases to show that, for infinitely many squarefree integers $n$ and infinitely many values of $q$, we can encode $m$ torus elements, to a small fixed overhead and to $m$ $φ(n)$-tuples of $F_q$ elements, in quasi-linear time in $\log q$. This improves upon previously known algorithms, whi… ▽ More We consider representations of algebraic tori $T_n(F_q)$ over finite fields. We make use of normal elliptic bases to show that, for infinitely many squarefree integers $n$ and infinitely many values of $q$, we can encode $m$ torus elements, to a small fixed overhead and to $m$ $φ(n)$-tuples of $F_q$ elements, in quasi-linear time in $\log q$. This improves upon previously known algorithms, which all have a quasi-quadratic complexity. As a result, the cost of the encoding phase is now negligible in Diffie-Hellman cryptographic schemes. △ Less

Submitted 1 September, 2009; originally announced September 2009.

Fast construction of irreducible polynomials over finite fields

Authors: Jean-Marc Couveignes, Reynald Lercier

Abstract: We present a randomized algorithm that on input a finite field $K$ with $q$ elements and a positive integer $d$ outputs a degree $d$ irreducible polynomial in $K[x]$. The running time is $d^{1+ε(d)} \times (\log q)^{5+ε(q)}$ elementary operations. The function $ε$ in this expression is a real positive function belonging to the class $o(1)$, especially, the complexity is quasi-linear in the degree… ▽ More We present a randomized algorithm that on input a finite field $K$ with $q$ elements and a positive integer $d$ outputs a degree $d$ irreducible polynomial in $K[x]$. The running time is $d^{1+ε(d)} \times (\log q)^{5+ε(q)}$ elementary operations. The function $ε$ in this expression is a real positive function belonging to the class $o(1)$, especially, the complexity is quasi-linear in the degree $d$. Once given such an irreducible polynomial of degree $d$, we can compute random irreducible polynomials of degree $d$ at the expense of $d^{1+ε(d)} \times (\log q)^{1+ε(q)}$ elementary operations only. △ Less

Submitted 19 November, 2011; v1 submitted 11 May, 2009; originally announced May 2009.

Comments: To appear in the Israel Journal of Mathematics

MSC Class: 11G20; 11Y16; 14H45; 68Q25

Elliptic periods and primality proving

Authors: Jean-Marc Couveignes, Tony Ezome, Reynald Lercier

Abstract: We define the ring of elliptic periods modulo an integer $n$ and give an elliptic version of the AKS primality criterion. We define the ring of elliptic periods modulo an integer $n$ and give an elliptic version of the AKS primality criterion. △ Less

Submitted 23 June, 2009; v1 submitted 16 October, 2008; originally announced October 2008.

MSC Class: 11Y11; 11G20; 14H52; 14J27

On Elkies subgroups of l-torsion points in elliptic curves defined over a finite field

Authors: Reynald Lercier, Thomas Sirvent

Abstract: As a subproduct of the Schoof-Elkies-Atkin algorithm to count points on elliptic curves defined over finite fields of characteristic p, there exists an algorithm that computes, for l an Elkies prime, l-torsion points in an extension of degree l-1 at cost O(l max(l, \log q)^2) bit operations in the favorable case where l < p/2. We combine in this work a fast algorithm for computing isogenies du… ▽ More As a subproduct of the Schoof-Elkies-Atkin algorithm to count points on elliptic curves defined over finite fields of characteristic p, there exists an algorithm that computes, for l an Elkies prime, l-torsion points in an extension of degree l-1 at cost O(l max(l, \log q)^2) bit operations in the favorable case where l < p/2. We combine in this work a fast algorithm for computing isogenies due to Bostan, Morain, Salvy and Schost with the p-adic approach followed by Joux and Lercier to get for the first time an algorithm valid without any limitation on l and p but of similar complexity. △ Less

Submitted 16 September, 2008; originally announced September 2008.

Comments: 13 pages

MSC Class: 11T99; 14H52; 14G50; 11T71

Galois invariant smoothness basis

Authors: Jean-Marc Couveignes, Reynald Lercier

Abstract: This text answers a question raised by Joux and the second author about the computation of discrete logarithms in the multiplicative group of finite fields. Given a finite residue field $\bK$, one looks for a smoothness basis for $\bK^*$ that is left invariant by automorphisms of $\bK$. For a broad class of finite fields, we manage to construct models that allow such a smoothness basis. This wor… ▽ More This text answers a question raised by Joux and the second author about the computation of discrete logarithms in the multiplicative group of finite fields. Given a finite residue field $\bK$, one looks for a smoothness basis for $\bK^*$ that is left invariant by automorphisms of $\bK$. For a broad class of finite fields, we manage to construct models that allow such a smoothness basis. This work aims at accelerating discrete logarithm computations in such fields. We treat the cases of codimension one (the linear sieve) and codimension two (the function field sieve). △ Less

Submitted 3 February, 2008; originally announced February 2008.

MSC Class: 11T99; 14H52; 14G50; 11T71

Elliptic periods for finite fields

Authors: Jean-Marc Couveignes, Reynald Lercier

Abstract: We construct two new families of basis for finite field extensions. Basis in the first family, the so-called elliptic basis, are not quite normal basis, but they allow very fast Frobenius exponentiation while preserving sparse multiplication formulas. Basis in the second family, the so-called normal elliptic basis are normal basis and allow fast (quasi linear) arithmetic. We prove that all exten… ▽ More We construct two new families of basis for finite field extensions. Basis in the first family, the so-called elliptic basis, are not quite normal basis, but they allow very fast Frobenius exponentiation while preserving sparse multiplication formulas. Basis in the second family, the so-called normal elliptic basis are normal basis and allow fast (quasi linear) arithmetic. We prove that all extensions admit models of this kind. △ Less

Submitted 17 June, 2008; v1 submitted 1 February, 2008; originally announced February 2008.

MSC Class: 11T24; 14H52;

Journal ref: Finite Fields and their Applications, 15(2009), pages 1--22