Showing 1–29 of 29 results for author: García, E L

On the computation of endomorphism rings of abelian surfaces over finite fields

Authors: Samuele Anni, Gaetan Bisson, Annamaria Iezzi, Elisa Lorenzo García, Benjamin Wesolowski

Abstract: We study endomorphism rings of principally polarized abelian surfaces over finite fields from a computational viewpoint with a focus on exhaustiveness. In particular, we address the cases of non-ordinary and non-simple varieties. For each possible surface type, we survey known results and, whenever possible, provide improvements and missing results. We study endomorphism rings of principally polarized abelian surfaces over finite fields from a computational viewpoint with a focus on exhaustiveness. In particular, we address the cases of non-ordinary and non-simple varieties. For each possible surface type, we survey known results and, whenever possible, provide improvements and missing results. △ Less

Submitted 11 March, 2025; originally announced March 2025.

MSC Class: 11G07; 11G10; 11G15; 14H52; 14K02; 14K05; 14K10; 14K22

An arithmetic intersection for squares of elliptic curves with complex multiplication

Authors: Elisa Lorenzo García, Christophe Ritzenthaler, Fernando Rodríguez Villegas

Abstract: Let $C$ be a genus $2$ curve with Jacobian isomorphic to the square of an elliptic curve with complex multiplication by a maximal order in an imaginary quadratic field of discriminant $-d<0$. We show that if the stable model of $C$ has bad reduction over a prime $p$ then $p \leq d/4$. We give an algorithm to compute the set of such $p$ using the so-called refined Humbert invariant introduced by Ka… ▽ More Let $C$ be a genus $2$ curve with Jacobian isomorphic to the square of an elliptic curve with complex multiplication by a maximal order in an imaginary quadratic field of discriminant $-d<0$. We show that if the stable model of $C$ has bad reduction over a prime $p$ then $p \leq d/4$. We give an algorithm to compute the set of such $p$ using the so-called refined Humbert invariant introduced by Kani. Using results from Kudla-Rapoport and the formula of Gross-Keating, we compute for each of these primes $p$ its exponent in the discriminant of the stable model of $C$. We conclude with some explicit computations for $d<100$ and compare our results with an unpublished formula by the third author. △ Less

Submitted 11 December, 2024; originally announced December 2024.

Comments: 31 pages, 3 tables, programs are available as ancillary files

MSC Class: 14G25; 14G40; 14H45; 14K22; 14K25; 14Q25; 11E20; 11F46; 11G05; 11G20; 11R52

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.

On invariants of Artin-Schreier curves

Authors: Juanita Duque-Rosero, Heidi Goodson, Elisa Lorenzo García, Beth Malmskog, Renate Scheidler

Abstract: The main goal of this article is to expand the theory of invariants of Artin-Schreier curves by giving a complete classification in genus 3 and 4. To achieve this goal, we first establish standard forms of Artin-Schreier curves and determine all isomorphisms between curves in this form. We then compute reconstructing systems of invariants for curves in each connected component of the strata of the… ▽ More The main goal of this article is to expand the theory of invariants of Artin-Schreier curves by giving a complete classification in genus 3 and 4. To achieve this goal, we first establish standard forms of Artin-Schreier curves and determine all isomorphisms between curves in this form. We then compute reconstructing systems of invariants for curves in each connected component of the strata of the moduli spaces for Artin-Schreier curves of genus 3 and 4 for $p>2$. △ Less

Submitted 18 April, 2025; v1 submitted 16 January, 2024; originally announced January 2024.

Comments: 25 pages

MSC Class: 11G20 (Primary) 11Y70; 14H10; 14H37 (Secondary)

Explicit height estimates for CM curves of genus 2

Authors: Linda Frey, Samuel Le Fourn, Elisa Lorenzo García

Abstract: In this paper we make explicit the constants of Habegger and Pazuki's work from 2017 on bounding the discriminant of cyclic Galois CM fields corresponding to genus 2 curves with CM by them and potentially good reduction outside a predefined set of primes. We also simplify some of the arguments. In this paper we make explicit the constants of Habegger and Pazuki's work from 2017 on bounding the discriminant of cyclic Galois CM fields corresponding to genus 2 curves with CM by them and potentially good reduction outside a predefined set of primes. We also simplify some of the arguments. △ Less

Submitted 22 November, 2023; originally announced November 2023.

MSC Class: 11G15; 11G30; 14G50; 11L07; 11R29; 11R42; 11Y40;

On the conductor of Ciani plane quartics

Authors: Irene Bouw, Nirvana Coppola, Elisa Lorenzo García, Anna Somoza

Abstract: In this paper we determine the conductor exponent of non-special Ciani quartics at primes of potentially good reduction in terms of the Ciani invariants. As an intermediate step in order to do so, we provide a reconstruction algorithm to construct Ciani quartics with given invariants. We also discuss how to descend the provided model to be defined over the same field as the invariants. In this paper we determine the conductor exponent of non-special Ciani quartics at primes of potentially good reduction in terms of the Ciani invariants. As an intermediate step in order to do so, we provide a reconstruction algorithm to construct Ciani quartics with given invariants. We also discuss how to descend the provided model to be defined over the same field as the invariants. △ Less

Submitted 16 October, 2023; originally announced October 2023.

MSC Class: 11G20; 14G20; 14H10; 14H20; 14H45; 14H50; 14Q05

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

Refinements of Katz-Sarnak theory for the number of points on curves over finite fields

Authors: Jonas Bergström, Everett W. Howe, Elisa Lorenzo García, Christophe Ritzenthaler

Abstract: This paper goes beyond Katz-Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g \geq 3$. The experiments point to a stronger notion of converge… ▽ More This paper goes beyond Katz-Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g \geq 3$. The experiments point to a stronger notion of convergence than the one provided by the Katz-Sarnak framework for all curves of genus $\geq 3$. However, for elliptic curves and for hyperelliptic curves of every genus we prove that this stronger convergence cannot occur. △ Less

Submitted 13 December, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 24 pages, 5 figures. We reformulated one of our main results (Theorem 3.1) and added remark 2.6 after one of the referees' questions

Determining the primes of bad reduction of CM curves of genus 3

Authors: Sorina Ionica, Pinar Kiliçer, Kristin Lauter, Elisa Lorenzo García, Adelina Mânzăţeanu, Christelle Vincent

Abstract: In this paper we introduce a new problem called the Isogenous Embedding Problem (IEP). The existence of solutions to this problem is related to the primes of bad reduction of CM curves of genus $3$ and we can detect potentially good reduction in absence of solutions. We propose an algorithm for computing the solutions to the IEP and run the algorithm through different families of curves. We were a… ▽ More In this paper we introduce a new problem called the Isogenous Embedding Problem (IEP). The existence of solutions to this problem is related to the primes of bad reduction of CM curves of genus $3$ and we can detect potentially good reduction in absence of solutions. We propose an algorithm for computing the solutions to the IEP and run the algorithm through different families of curves. We were able to prove the reduction type of some particular curves at certain primes that were open cases in [LLLR21]. △ Less

Submitted 28 December, 2022; originally announced December 2022.

Counter-examples to the Hasse principle among the twists of the Klein quartic

Authors: Elisa Lorenzo García, Michaël Vullers

Abstract: In this paper we inspect from closer the local and global points of the twists of the Klein quartic. For the local ones we use geometric arguments, while for the global ones we strongly use the modular interpretation of the twists. The main result is providing families with (conjecturally infinitely many) twists of the Klein quartic that at counter-examples to the Hasse principle. In this paper we inspect from closer the local and global points of the twists of the Klein quartic. For the local ones we use geometric arguments, while for the global ones we strongly use the modular interpretation of the twists. The main result is providing families with (conjecturally infinitely many) twists of the Klein quartic that at counter-examples to the Hasse principle. △ Less

Submitted 21 December, 2022; originally announced December 2022.

Lower bounds on the maximal number of rational points on curves over finite fields

Authors: Jonas Bergström, Everett W. Howe, Elisa Lorenzo García, Christophe Ritzenthaler

Abstract: For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all $q$ large enough, the existence of a curve of genus $g$ over ${\mathbb F}_q$ with at least… ▽ More For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all $q$ large enough, the existence of a curve of genus $g$ over ${\mathbb F}_q$ with at least $1+q+ (2g-\varepsilon) \sqrt{q}$ rational points. Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lower bound of the form $1+q+1.71 \sqrt{q}$ valid for $g \geq 3$ and odd $q \geq 11$. Finally, explicit constructions of towers of curves improve this result, with a bound of the form $1+q+4 \sqrt{q} -32$ valid for all $g\ge 2$ and for all $q$. △ Less

Submitted 29 April, 2022; v1 submitted 18 April, 2022; originally announced April 2022.

Comments: Minor revisions

MSC Class: 11G20 (Primary) 14H25; 14H30; 11R45 (Secondary)

On smooth plane models for modular curves of Shimura type

Authors: Samuele Anni, Eran Assaf, Elisa Lorenzo García

Abstract: In this paper we prove that there are finitely many modular curves that admit a smooth plane model. Moreover, if the degree of the model is greater than or equal to 19, no such curve exists. For modular curves of Shimura type we show that none can admit a smooth plane model of degree 5, 6 or 7. Further, if a modular curve of Shimura type admits a smooth plane model of degree 8 we show that it must… ▽ More In this paper we prove that there are finitely many modular curves that admit a smooth plane model. Moreover, if the degree of the model is greater than or equal to 19, no such curve exists. For modular curves of Shimura type we show that none can admit a smooth plane model of degree 5, 6 or 7. Further, if a modular curve of Shimura type admits a smooth plane model of degree 8 we show that it must be a twist of one of four curves. △ Less

Submitted 23 September, 2022; v1 submitted 12 March, 2022; originally announced March 2022.

MSC Class: 11G18; 14G35; 11F11; 14H45

Decomposing Jacobians via Galois covers

Authors: Davide Lombardo, Elisa Lorenzo García, Christophe Ritzenthaler, Jeroen Sijsling

Abstract: Let $φ:\,X\rightarrow Y$ be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of $φ$, up to isogeny, as the Jacobian of a quotient curve $C$ in the Galois closure of the composition of $φ$ with a well-chosen map $Y\rightarrow \mathbb{P}^1$. This method allows us to recover all previously obtained descriptions of a Prym v… ▽ More Let $φ:\,X\rightarrow Y$ be a (possibly ramified) cover between two algebraic curves of positive genus. We develop tools that may identify the Prym variety of $φ$, up to isogeny, as the Jacobian of a quotient curve $C$ in the Galois closure of the composition of $φ$ with a well-chosen map $Y\rightarrow \mathbb{P}^1$. This method allows us to recover all previously obtained descriptions of a Prym variety in terms of a Jacobian that are known to us, besides yielding new applications. We also find algebraic equations for some of these new cases, including one where $X$ has genus $3$, $Y$ has genus $1$ and $φ$ is a degree $3$ map totally ramified over $2$ points. △ Less

Submitted 17 March, 2020; originally announced March 2020.

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

Reduction type of genus-3 curves in a special stratum of their moduli space

Authors: Irene Bouw, Nirvana Coppola, Pınar Kılıçer, Sabrina Kunzweiler, Elisa Lorenzo García, Anna Somoza

Abstract: We study a 3-dimensional stratum $\mathcal{M}_{3,V}$ of the moduli space $\mathcal{M}_3$ of curves of genus $3$ parameterizing curves $Y$ that admit a certain action of $V= C_2\times C_2$. We determine the possible types of the stable reduction of these curves to characteristic different from $2$. We define invariants for $\mathcal{M}_{3,V}$ and characterize the occurrence of each of the reduction… ▽ More We study a 3-dimensional stratum $\mathcal{M}_{3,V}$ of the moduli space $\mathcal{M}_3$ of curves of genus $3$ parameterizing curves $Y$ that admit a certain action of $V= C_2\times C_2$. We determine the possible types of the stable reduction of these curves to characteristic different from $2$. We define invariants for $\mathcal{M}_{3,V}$ and characterize the occurrence of each of the reduction types in terms of them. We also calculate the $j$-invariant (resp. the Igusa invariants) of the irreducible components of positive genus of the stable reduction of $Y$ in terms of the invariants. △ Less

Submitted 7 August, 2024; v1 submitted 17 March, 2020; originally announced March 2020.

Comments: We corrected a mistake in Table 4 and expanded the appendices

MSC Class: 14H10; 14H50; 14H25; 11G20; 14Q05;

Journal ref: In: Women in numbers Europe III - research directions in number theory, Assoc. Women Math. Ser., 24, 115-162, 2021

On different expressions for invariants of hyperelliptic curves of genus 3

Authors: Elisa Lorenzo García

Abstract: In this paper we give a passage formula between different invariants of genus 3 hyperelliptic curves: in particular between Tsuyumine and Shioda invariants. This is needed to get modular expressions for Shioda invariants, that is, for example, useful for proving the correctness of numerically computed equations of CM genus 3 hyperelliptic curves. On the other hand, we also get Shioda invariants… ▽ More In this paper we give a passage formula between different invariants of genus 3 hyperelliptic curves: in particular between Tsuyumine and Shioda invariants. This is needed to get modular expressions for Shioda invariants, that is, for example, useful for proving the correctness of numerically computed equations of CM genus 3 hyperelliptic curves. On the other hand, we also get Shioda invariants described in terms of differences of roots of the equation defining the hyperelliptic curve, that has applications for studying the reduction type of the curve. Under certain conditions on its jacobian, we give a criterion for determining the type of bad reduction of a genus 3 hyperelliptic curve. △ Less

Submitted 12 July, 2019; originally announced July 2019.

MSC Class: 11F37; 11F46; 11G10; 11G15; 14K10; 14K25; 14J15; 14L24; 14H15; 14H42; 14H45; 14Q05

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

Modular invariants for genus 3 hyperelliptic curves

Authors: Sorina Ionica, Pinar Kilicer, Kristin Lauter, Elisa Lorenzo Garcia, Maike Massierer, Adelina Manzateanu, Christelle Vincent

Abstract: In this article we prove an analogue of a theorem of Lachaud, Ritzenthaler, and Zykin, which allows us to connect invariants of binary oc-tics to Siegel modular forms of genus 3. We use this connection to show that certain modular functions, when restricted to the hyperelliptic locus, assume values whose denominators are products of powers of primes of bad reduction for the associated hyperellipti… ▽ More In this article we prove an analogue of a theorem of Lachaud, Ritzenthaler, and Zykin, which allows us to connect invariants of binary oc-tics to Siegel modular forms of genus 3. We use this connection to show that certain modular functions, when restricted to the hyperelliptic locus, assume values whose denominators are products of powers of primes of bad reduction for the associated hyperelliptic curves. We illustrate our theorem with explicit computations. This work is motivated by the study of the value of these modular functions at CM points of the Siegel upper-half space, which, if their denominators are known, can be used to effectively compute models of (hyperelliptic, in our case) curves with CM. △ Less

Submitted 8 March, 2019; v1 submitted 24 July, 2018; originally announced July 2018.

Journal ref: Research in Number Theory, SpringerOpen, 2019, 5 (1), pp.article n. 9

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

Primes dividing invariants of CM Picard curves

Authors: Pınar Kılıçer, Elisa Lorenzo García, Marco Streng

Abstract: We give a bound on the primes dividing the denominators of invariants of Picard curves of genus 3 with complex multiplication. Unlike earlier bounds in genus 2 and 3, our bound is based not on bad reduction of curves, but on a very explicit type of good reduction. This approach simultaneously yields a simplification of the proof, and much sharper bounds. In fact, unlike all previous bounds for gen… ▽ More We give a bound on the primes dividing the denominators of invariants of Picard curves of genus 3 with complex multiplication. Unlike earlier bounds in genus 2 and 3, our bound is based not on bad reduction of curves, but on a very explicit type of good reduction. This approach simultaneously yields a simplification of the proof, and much sharper bounds. In fact, unlike all previous bounds for genus 3, our bound is sharp enough for use in explicit constructions of Picard curves. △ Less

Submitted 17 September, 2018; v1 submitted 15 January, 2018; originally announced January 2018.

MSC Class: 14H45; 14K22; 11H06; 14G50; 14H40; 14Q05

Sato-Tate distributions of twists of the Fermat and the Klein quartics

Authors: Francesc Fité, Elisa Lorenzo García, Andrew V. Sutherland

Abstract: We determine the limiting distribution of the normalized Euler factors of an abelian threefold A defined over a number field k when A is geometrically isogenous to the cube of a CM elliptic curve defined over k. As an application, we classify the Sato-Tate distributions of the Jacobians of twists of the Fermat and Klein quartics, obtaining 54 and 23, respectively, and 60 in total. We encounter a n… ▽ More We determine the limiting distribution of the normalized Euler factors of an abelian threefold A defined over a number field k when A is geometrically isogenous to the cube of a CM elliptic curve defined over k. As an application, we classify the Sato-Tate distributions of the Jacobians of twists of the Fermat and Klein quartics, obtaining 54 and 23, respectively, and 60 in total. We encounter a new phenomenon not visible in dimensions 1 or 2: the limiting distribution of the normalized Euler factors is not determined by the limiting distributions of their coefficients. △ Less

Submitted 17 September, 2018; v1 submitted 19 December, 2017; originally announced December 2017.

Comments: Minor corrections, added Proposition 3.32; 35 pages

MSC Class: 14G10 (primary) 14H45; 14K15; 11G10; 11G40 (secondary)

Journal ref: Res Math Sci (2018) 5: 41

The Picard Group of Brauer-Severi Varieties

Authors: Eslam Badr, Francesc Bars, Elisa Lorenzo Garcia

Abstract: In this note we provide explicit generators of the Picard groups of cyclic Brauer-Severi varieties defined over the base field. In particular, for all Brauer-Severi surfaces. To produce these generators we use the Twisting Theory for smooth plane curves. In this note we provide explicit generators of the Picard groups of cyclic Brauer-Severi varieties defined over the base field. In particular, for all Brauer-Severi surfaces. To produce these generators we use the Twisting Theory for smooth plane curves. △ Less

Submitted 30 June, 2017; originally announced June 2017.

Construction of Brauer-Severi Varieties

Authors: Elisa Lorenzo García

Abstract: In this paper we give an algorithm for computing equations of Brauer-Severi varieties over perfect fields of characteristic 0. As an example we show the equations of all Brauer-Severi surfaces defined over $\mathbb{Q}$. In this paper we give an algorithm for computing equations of Brauer-Severi varieties over perfect fields of characteristic 0. As an example we show the equations of all Brauer-Severi surfaces defined over $\mathbb{Q}$. △ Less

Submitted 4 October, 2020; v1 submitted 30 June, 2017; originally announced June 2017.

A note on the stratification by automorphisms of smooth plane curves of genus 6

Authors: Eslam Badr, Elisa Lorenzo García

Abstract: In this note, we give a so-called representative classification for the strata by automorphism group of smooth $\bar{k}$-plane curves of genus $6$, where $\bar{k}$ is a fixed separable closure of a field $k$ of characteristic $p = 0$ or $p > 13$. We start with a classification already obtained by the first author and we use standard techniques. Interestingly, in the way to get these families for… ▽ More In this note, we give a so-called representative classification for the strata by automorphism group of smooth $\bar{k}$-plane curves of genus $6$, where $\bar{k}$ is a fixed separable closure of a field $k$ of characteristic $p = 0$ or $p > 13$. We start with a classification already obtained by the first author and we use standard techniques. Interestingly, in the way to get these families for the different strata, we find two remarkable phenomenons that did not appear before. One is the existence of a non $0$-dimensional final stratum of plane curves. At a first sight it may sound odd, but we will see that this is a normal situation for higher degrees and we will give a explanation for it. We explicitly describe representative families for all strata, except for the stratum with automorphism group $\mathbb{Z}/5\mathbb{Z}$. Here we find the second difference with the lower genus cases where the previous techniques do not fully work. Fortunately, we are still able to prove the existence of such family by applying a version of Luroth's theorem in dimension $2$. △ Less

Submitted 21 January, 2017; originally announced January 2017.

Isogenies for point counting on genus two hyperelliptic curves with maximal real multiplication

Authors: Sean Ballentine, Aurore Guillevic, Elisa Lorenzo García, Chloe Martindale, Maike Massierer, Benjamin Smith, Jaap Top

Abstract: Schoof's classic algorithm allows point-counting for elliptic curves over finite fields in polynomial time. This algorithm was subsequently improved by Atkin, using factorizations of modular polynomials, and by Elkies, using a theory of explicit isogenies. Moving to Jacobians of genus-2 curves, the current state of the art for point counting is a generalization of Schoof's algorithm. While we are… ▽ More Schoof's classic algorithm allows point-counting for elliptic curves over finite fields in polynomial time. This algorithm was subsequently improved by Atkin, using factorizations of modular polynomials, and by Elkies, using a theory of explicit isogenies. Moving to Jacobians of genus-2 curves, the current state of the art for point counting is a generalization of Schoof's algorithm. While we are currently missing the tools we need to generalize Elkies' methods to genus 2, recently Martindale and Milio have computed analogues of modular polynomials for genus-2 curves whose Jacobians have real multiplication by maximal orders of small discriminant. In this article, we prove Atkin-style results for genus-2 Jacobians with real multiplication by maximal orders, with a view to using these new modular polynomials to improve the practicality of point-counting algorithms for these curves. △ Less

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

Comments: 31 pages

Computing twists of hyperelliptic curves

Authors: Davide Lombardo, Elisa Lorenzo García

Abstract: We give an efficient algorithm to compute equations of twists of hyperelliptic curves of arbitrary genus over any separable field (of characteristic different from 2), and we explicitly describe some interesting examples. We give an efficient algorithm to compute equations of twists of hyperelliptic curves of arbitrary genus over any separable field (of characteristic different from 2), and we explicitly describe some interesting examples. △ Less

Submitted 26 September, 2018; v1 submitted 15 November, 2016; originally announced November 2016.

Comments: Final version, accepted in the Journal of Algebra

A bound on the primes of bad reduction for CM curves of genus 3

Authors: Pınar Kılıçer, Kristin Lauter, Elisa Lorenzo García, Rachel Newton, Ekin Ozman, Marco Streng

Abstract: We give bounds on the primes of geometric bad reduction for curves of genus three of primitive CM type in terms of the CM orders. In the case of genus one, there are no primes of geometric bad reduction because CM elliptic curves are CM abelian varieties, which have potential good reduction everywhere. However, for genus at least two, the curve can have bad reduction at a prime although the Jacobi… ▽ More We give bounds on the primes of geometric bad reduction for curves of genus three of primitive CM type in terms of the CM orders. In the case of genus one, there are no primes of geometric bad reduction because CM elliptic curves are CM abelian varieties, which have potential good reduction everywhere. However, for genus at least two, the curve can have bad reduction at a prime although the Jacobian has good reduction. Goren and Lauter gave the first bound in the case of genus two. In the cases of hyperelliptic and Picard curves, our results imply bounds on primes appearing in the denominators of invariants and class polynomials, which are important for algorithmic construction of curves with given characteristic polynomials over finite fields. △ Less

Submitted 30 December, 2019; v1 submitted 19 September, 2016; originally announced September 2016.

Comments: 16 pages, some minor updates, some typos are corrected

Twists of non-hyperelliptic curves of genus 3

Authors: Elisa Lorenzo García

Abstract: In this paper we explicitly compute equations for the twists of all the smooth plane quartic curves defined over a number field k. Since the plane quartic curves are non-hyperelliptic curves of genus 3 we can apply the method developed by the author in a previous article. The starting point is a classification due to Henn of the plane quartic curves with non-trivial automorphism group up to C-isom… ▽ More In this paper we explicitly compute equations for the twists of all the smooth plane quartic curves defined over a number field k. Since the plane quartic curves are non-hyperelliptic curves of genus 3 we can apply the method developed by the author in a previous article. The starting point is a classification due to Henn of the plane quartic curves with non-trivial automorphism group up to C-isomorphism. △ Less

Submitted 8 April, 2016; originally announced April 2016.

MSC Class: 11G99; 14H10; 14H45; 14H50

Twists of non-hyperelliptic curves

Authors: Elisa Lorenzo Garcia

Abstract: In this paper we show a method for computing the set of twists of a non-singular projective curve defined over an arbitrary (perfect) field $k$. The method is based on a correspondence between twists and solutions to a Galois embedding problem. When in addition, this curve is non-hyperelliptic we show how to compute equations for the twists. If $k = \mathbb{F}_{q}$ the method then becomes an algor… ▽ More In this paper we show a method for computing the set of twists of a non-singular projective curve defined over an arbitrary (perfect) field $k$. The method is based on a correspondence between twists and solutions to a Galois embedding problem. When in addition, this curve is non-hyperelliptic we show how to compute equations for the twists. If $k = \mathbb{F}_{q}$ the method then becomes an algorithm, since in this case, the Galois embedding problems that appear are known how to be solved. As an example we compute the set of twists of the non-hyperelliptic genus $6$ curve $x^{7}-y^{3}z^{4}-z^{7} = 0$ when we consider it defined over a number field such that $[k(ζ_{21}):k] = 12$. For each twist equations are exhibited. △ Less

Submitted 11 March, 2015; originally announced March 2015.

Bad reduction of genus $3$ curves with complex multiplication

Authors: Irene Bouw, Jenny Cooley, Kristin Lauter, Elisa Lorenzo Garcia, Michelle Manes, Rachel Newton, Ekin Ozman

Abstract: Let $C$ be a smooth, absolutely irreducible genus-$3$ curve over a number field $M$. Suppose that the Jacobian of $C$ has complex multiplication by a sextic CM-field $K$. Suppose further that $K$ contains no imaginary quadratic subfield. We give a bound on the primes $\mathfrak{p}$ of $M$ such that the stable reduction of $C$ at $\mathfrak{p}$ contains three irreducible components of genus $1$. Let $C$ be a smooth, absolutely irreducible genus-$3$ curve over a number field $M$. Suppose that the Jacobian of $C$ has complex multiplication by a sextic CM-field $K$. Suppose further that $K$ contains no imaginary quadratic subfield. We give a bound on the primes $\mathfrak{p}$ of $M$ such that the stable reduction of $C$ at $\mathfrak{p}$ contains three irreducible components of genus $1$. △ Less

Submitted 10 December, 2014; v1 submitted 14 July, 2014; originally announced July 2014.

MSC Class: 11G15; 14K22; 15B33