-
On the decisional Diffie-Hellman problem for class group actions on oriented elliptic curves
Authors:
Wouter Castryck,
Marc Houben,
Frederik Vercauteren,
Benjamin Wesolowski
Abstract:
We show how the Weil pairing can be used to evaluate the assigned characters of an imaginary quadratic order $\mathcal{O}$ in an unknown ideal class $[\mathfrak{a}] \in \mathrm{Cl}(\mathcal{O})$ that connects two given $\mathcal{O}$-oriented elliptic curves $(E, ι)$ and $(E', ι') = [\mathfrak{a}](E, ι)$. When specialized to ordinary elliptic curves over finite fields, our method is conceptually si…
▽ More
We show how the Weil pairing can be used to evaluate the assigned characters of an imaginary quadratic order $\mathcal{O}$ in an unknown ideal class $[\mathfrak{a}] \in \mathrm{Cl}(\mathcal{O})$ that connects two given $\mathcal{O}$-oriented elliptic curves $(E, ι)$ and $(E', ι') = [\mathfrak{a}](E, ι)$. When specialized to ordinary elliptic curves over finite fields, our method is conceptually simpler and often somewhat faster than a recent approach due to Castryck, Sotáková and Vercauteren, who rely on the Tate pairing instead. The main implication of our work is that it breaks the decisional Diffie-Hellman problem for practically all oriented elliptic curves that are acted upon by an even-order class group. It can also be used to better handle the worst cases in Wesolowski's recent reduction from the vectorization problem for oriented elliptic curves to the endomorphism ring problem, leading to a method that always works in sub-exponential time.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Scrollar invariants, syzygies and representations of the symmetric group
Authors:
Wouter Castryck,
Floris Vermeulen,
Yongqiang Zhao
Abstract:
We give an explicit minimal graded free resolution, in terms of representations of the symmetric group $S_d$, of a Galois-theoretic configuration of $d$ points in $\mathbb{P}^{d-2}$ that was studied by Bhargava in the context of ring parametrizations. When applied to the geometric generic fiber of a simply branched degree $d$ cover of $\mathbb{P}^1$ by a relatively canonically embedded curve $C$,…
▽ More
We give an explicit minimal graded free resolution, in terms of representations of the symmetric group $S_d$, of a Galois-theoretic configuration of $d$ points in $\mathbb{P}^{d-2}$ that was studied by Bhargava in the context of ring parametrizations. When applied to the geometric generic fiber of a simply branched degree $d$ cover of $\mathbb{P}^1$ by a relatively canonically embedded curve $C$, our construction gives a new interpretation for the splitting types of the syzygy bundles appearing in its relative minimal resolution. Concretely, our work implies that all these splitting types consist of scrollar invariants of resolvent covers. This vastly generalizes a prior observation due to Casnati, namely that the first syzygy bundle of a degree $4$ cover splits according to the scrollar invariants of its cubic resolvent. Our work also shows that the splitting types of the syzygy bundles, together with the multi-set of scrollar invariants, belong to a much larger class of multi-sets of invariants that can be attached to $C \to \mathbb{P}^1$: one for each irreducible representation of $S_d$, i.e., one for each partition of $d$.
△ Less
Submitted 10 January, 2023; v1 submitted 17 January, 2022;
originally announced January 2022.
-
An infinite class of Neumaier graphs and non-existence results
Authors:
Aida Abiad,
Wouter Castryck,
Maarten De Boeck,
Jack H. Koolen,
Sjanne Zeijlemaker
Abstract:
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. A Neumaier graph that is not strongly regular is called a strictly Neumaier graph. In this work we present a new construction of strictly Neumaier graphs, and using Jacobi sums, we show that our construction produces infinitely many instances. Moreover, we prove some necessary conditions for the existence of (strict…
▽ More
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. A Neumaier graph that is not strongly regular is called a strictly Neumaier graph. In this work we present a new construction of strictly Neumaier graphs, and using Jacobi sums, we show that our construction produces infinitely many instances. Moreover, we prove some necessary conditions for the existence of (strictly) Neumaier graphs that allow us to show that several parameter sets are not admissible.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Lifting low-gonal curves for use in Tuitman's algorithm
Authors:
Wouter Castryck,
Floris Vermeulen
Abstract:
Consider a smooth projective curve $\overline{C}$ over a finite field $\mathbb{F}_q$, equipped with a simply branched morphism $\overline{C} \to \mathbb{P}^1$ of degree $d \leq 5$. Assume char$\, \mathbb{F}_q > 2$ if $d \leq 4$, and char$\, \mathbb{F}_q > 3$ if $d=5$. In this paper we describe how to efficiently compute a lift of $\overline{C}$ to characteristic zero, such that it can be fed as in…
▽ More
Consider a smooth projective curve $\overline{C}$ over a finite field $\mathbb{F}_q$, equipped with a simply branched morphism $\overline{C} \to \mathbb{P}^1$ of degree $d \leq 5$. Assume char$\, \mathbb{F}_q > 2$ if $d \leq 4$, and char$\, \mathbb{F}_q > 3$ if $d=5$. In this paper we describe how to efficiently compute a lift of $\overline{C}$ to characteristic zero, such that it can be fed as input to Tuitman's algorithm for computing the Hasse-Weil zeta function of $\overline{C} / \mathbb{F}_q$. Our method relies on the parametrizations of low rank rings due to Delone-Faddeev and Bhargava.
△ Less
Submitted 4 September, 2020; v1 submitted 23 February, 2020;
originally announced February 2020.
-
The dimension growth conjecture, polynomial in the degree and without logarithmic factors
Authors:
Wouter Castryck,
Raf Cluckers,
Philip Dittmann,
Kien Huu Nguyen
Abstract:
We address Heath-Brown's and Serre's dimension growth conjecture (proved by Salberger), when the degree $d$ grows. Recall that Salberger's dimension growth results give bounds of the form $O_{X, \varepsilon} (B^{\dim X+\varepsilon})$ for the number of rational points of height at most $B$ on any integral subvariety $X$ of ${\mathbb P}^n_{\mathbb Q}$ of degree $d\geq 2$, where one can write…
▽ More
We address Heath-Brown's and Serre's dimension growth conjecture (proved by Salberger), when the degree $d$ grows. Recall that Salberger's dimension growth results give bounds of the form $O_{X, \varepsilon} (B^{\dim X+\varepsilon})$ for the number of rational points of height at most $B$ on any integral subvariety $X$ of ${\mathbb P}^n_{\mathbb Q}$ of degree $d\geq 2$, where one can write $O_{d,n, \varepsilon}$ instead of $O_{X, \varepsilon}$ as soon as $d\geq 4$. Our main contribution is to remove the factor $B^\varepsilon$ as soon as $d \geq 5$, without introducing a factor $\log B$, while moreover obtaining polynomial dependence on $d$ of the implied constant. Working polynomially in $d$ allows us to give a self-contained and slightly simplified treatment of dimension growth for degree $d \geq 16$, while in the range $5 \leq d \leq 15$ we invoke results by Browning, Heath-Brown and Salberger. Along the way we improve the well-known bounds due to Bombieri and Pila on the number of integral points of bounded height on affine curves and those by Walsh on the number of rational points of bounded height on projective curves. The former improvement leads to a slight sharpening of a recent estimate due to Bhargava, Shankar, Taniguchi, Thorne, Tsimerman and Zhao on the size of the $2$-torsion subgroup of the class group of a degree $d$ number field. Our treatment builds on recent work by Salberger which brings in many primes in Heath-Brown's variant of the determinant method, and on recent work by Walsh and Ellenberg--Venkatesh, who bring in the size of the defining polynomial. We also obtain lower bounds showing that one cannot do better than polynomial dependence on $d$.
△ Less
Submitted 30 April, 2019;
originally announced April 2019.
-
Hash functions from superspecial genus-2 curves using Richelot isogenies
Authors:
Wouter Castryck,
Thomas Decru,
Benjamin Smith
Abstract:
Last year Takashima proposed a version of Charles, Goren and Lauter's hash function using Richelot isogenies, starting from a genus-2 curve that allows for all subsequent arithmetic to be performed over a quadratic finite field Fp2. In a very recent paper Flynn and Ti point out that Takashima's hash function is insecure due to the existence of small isogeny cycles. We revisit the construction and…
▽ More
Last year Takashima proposed a version of Charles, Goren and Lauter's hash function using Richelot isogenies, starting from a genus-2 curve that allows for all subsequent arithmetic to be performed over a quadratic finite field Fp2. In a very recent paper Flynn and Ti point out that Takashima's hash function is insecure due to the existence of small isogeny cycles. We revisit the construction and show that it can be repaired by imposing a simple restriction, which moreover clarifies the security analysis. The runtime of the resulting hash function is dominated by the extraction of 3 square roots for every block of 3 bits of the message, as compared to one square root per bit in the elliptic curve case; however in our setting the extractions can be parallelized and are done in a finite field whose bit size is reduced by a factor 3. Along the way we argue that the full supersingular isogeny graph is the wrong context in which to study higher-dimensional analogues of Charles, Goren and Lauter's hash function, and advocate the use of the superspecial subgraph, which is the natural framework in which to view Takashima's Fp2-friendly starting curve.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
-
New bounds for exponential sums with a non-degenerate phase polynomial
Authors:
Wouter Castryck,
Kien Huu Nguyen
Abstract:
We prove a recent conjecture due to Cluckers and Veys on exponential sums modulo $p^m$ for $m \geq 2$ in the special case where the phase polynomial $f$ is sufficiently non-degenerate with respect to its Newton polyhedron at the origin. Our main auxiliary result is an improved bound on certain related exponential sums over finite fields. This bound can also be used to settle a conjecture of Denef…
▽ More
We prove a recent conjecture due to Cluckers and Veys on exponential sums modulo $p^m$ for $m \geq 2$ in the special case where the phase polynomial $f$ is sufficiently non-degenerate with respect to its Newton polyhedron at the origin. Our main auxiliary result is an improved bound on certain related exponential sums over finite fields. This bound can also be used to settle a conjecture of Denef and Hoornaert on the candidate-leading Taylor coefficient of Igusa's local zeta function associated to a non-degenerate polynomial, at its largest non-trivial real candidate pole.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
-
Hypersurfaces in weighted projective spaces over finite fields with applications to coding theory
Authors:
Yves Aubry,
Wouter Castryck,
Sudhir R. Ghorpade,
Gilles Lachaud,
Michael E. O'Sullivan,
Samrith Ram
Abstract:
We consider the question of determining the maximum number of $\mathbb{F}_q$-rational points that can lie on a hypersurface of a given degree in a weighted projective space over the finite field $\mathbb{F}_q$, or in other words, the maximum number of zeros that a weighted homogeneous polynomial of a given degree can have in the corresponding weighted projective space over $\mathbb{F}_q$. In the c…
▽ More
We consider the question of determining the maximum number of $\mathbb{F}_q$-rational points that can lie on a hypersurface of a given degree in a weighted projective space over the finite field $\mathbb{F}_q$, or in other words, the maximum number of zeros that a weighted homogeneous polynomial of a given degree can have in the corresponding weighted projective space over $\mathbb{F}_q$. In the case of classical projective spaces, this question has been answered by J.-P. Serre. In the case of weighted projective spaces, we give some conjectures and partial results. Applications to coding theory are included and an appendix providing a brief compendium of results about weighted projective spaces is also included.
△ Less
Submitted 9 June, 2017;
originally announced June 2017.
-
A lower bound for the gonality conjecture
Authors:
Wouter Castryck
Abstract:
For every integer $k \geq 3$ we construct a $k$-gonal curve $C$ along with a very ample divisor of degree $2g + k - 1$ (where $g$ is the genus of $C$) to which the vanishing statement from the Green-Lazarsfeld gonality conjecture does not apply.
For every integer $k \geq 3$ we construct a $k$-gonal curve $C$ along with a very ample divisor of degree $2g + k - 1$ (where $g$ is the genus of $C$) to which the vanishing statement from the Green-Lazarsfeld gonality conjecture does not apply.
△ Less
Submitted 12 March, 2017; v1 submitted 16 November, 2016;
originally announced November 2016.
-
Canonical syzygies of smooth curves on toric surfaces
Authors:
Wouter Castryck,
Filip Cools,
Jeroen Demeyer,
Alexander Lemmens
Abstract:
In a first part of this paper, we prove constancy of the canonical graded Betti table among the smooth curves in linear systems on Gorenstein weak Fano toric surfaces. In a second part, we show that Green's canonical syzygy conjecture holds for all smooth curves of genus at most 32 or Clifford index at most 6 on arbitrary toric surfaces. Conversely we use known results on Green's conjecture (due t…
▽ More
In a first part of this paper, we prove constancy of the canonical graded Betti table among the smooth curves in linear systems on Gorenstein weak Fano toric surfaces. In a second part, we show that Green's canonical syzygy conjecture holds for all smooth curves of genus at most 32 or Clifford index at most 6 on arbitrary toric surfaces. Conversely we use known results on Green's conjecture (due to Lelli-Chiesa) to obtain new facts about graded Betti tables of projectively embedded toric surfaces.
△ Less
Submitted 29 April, 2019; v1 submitted 8 September, 2016;
originally announced September 2016.
-
Computing graded Betti tables of toric surfaces
Authors:
Wouter Castryck,
Filip Cools,
Jeroen Demeyer,
Alexander Lemmens
Abstract:
We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the linear strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for…
▽ More
We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the linear strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for determining the graded Betti table of a given toric surface by explicitly computing its Koszul cohomology, and report on an implementation in SageMath. This works well for ambient projective spaces of dimension up to roughly $25$, depending on the concrete combinatorics, although the current implementation runs in finite characteristic only. As a main application we obtain the graded Betti table of the Veronese surface $ν_6(\mathbb{P}^2) \subseteq \mathbb{P}^{27}$ in characteristic $40\,009$. This allows us to formulate precise conjectures predicting what certain entries look like in the case of an arbitrary Veronese surface $ν_d(\mathbb{P}^2)$.
△ Less
Submitted 2 December, 2016; v1 submitted 27 June, 2016;
originally announced June 2016.
-
Point counting on curves using a gonality preserving lift
Authors:
Wouter Castryck,
Jan Tuitman
Abstract:
We study the problem of lifting curves from finite fields to number fields in a genus and gonality preserving way. More precisely, we sketch how this can be done efficiently for curves of gonality at most four, with an in-depth treatment of curves of genus at most five over finite fields of odd characteristic, including an implementation in Magma. We then use such a lift as input to an algorithm d…
▽ More
We study the problem of lifting curves from finite fields to number fields in a genus and gonality preserving way. More precisely, we sketch how this can be done efficiently for curves of gonality at most four, with an in-depth treatment of curves of genus at most five over finite fields of odd characteristic, including an implementation in Magma. We then use such a lift as input to an algorithm due to the second author for computing zeta functions of curves over finite fields using $p$-adic cohomology.
△ Less
Submitted 13 June, 2017; v1 submitted 7 May, 2016;
originally announced May 2016.
-
The holomorphy conjecture for nondegenerate surface singularities
Authors:
Wouter Castryck,
Denis Ibadula,
Ann Lemahieu
Abstract:
The holomorphy conjecture states roughly that Igusa's zeta function associated to a hypersurface and a character is holomorphic on $\mathbb{C}$ whenever the order of the character does not divide the order of any eigenvalue of the local monodromy of the hypersurface. In this article we prove the holomorphy conjecture for surface singularities which are nondegenerate over $\mathbb{C}$ with respect…
▽ More
The holomorphy conjecture states roughly that Igusa's zeta function associated to a hypersurface and a character is holomorphic on $\mathbb{C}$ whenever the order of the character does not divide the order of any eigenvalue of the local monodromy of the hypersurface. In this article we prove the holomorphy conjecture for surface singularities which are nondegenerate over $\mathbb{C}$ with respect to their Newton polyhedron. In order to provide relevant eigenvalues of monodromy, we first show a relation between the normalized volume (which appears in the formula of Varchenko for the zeta function of monodromy) of faces in a simplex in arbitrary dimension. We then study some specific character sums that show up when dealing with false poles. In contrast with the context of the trivial character, we here need to show fakeness of certain poles in addition to the candidate poles contributed by $B_1$-facets.
△ Less
Submitted 2 August, 2015;
originally announced August 2015.
-
Translating between the roots of the identity in quantum computers
Authors:
Wouter Castryck,
Jeroen Demeyer,
Alexis De Vos,
Oliver Keszocze,
Mathias Soeken
Abstract:
The Clifford+$T$ quantum computing gate library for single qubit gates can create all unitary matrices that are generated by the group $\langle H, T\rangle$. The matrix $T$ can be considered the fourth root of Pauli $Z$, since $T^4 = Z$ or also the eighth root of the identity $I$. The Hadamard matrix $H$ can be used to translate between the Pauli matrices, since $(HTH)^4$ gives Pauli $X$. We are g…
▽ More
The Clifford+$T$ quantum computing gate library for single qubit gates can create all unitary matrices that are generated by the group $\langle H, T\rangle$. The matrix $T$ can be considered the fourth root of Pauli $Z$, since $T^4 = Z$ or also the eighth root of the identity $I$. The Hadamard matrix $H$ can be used to translate between the Pauli matrices, since $(HTH)^4$ gives Pauli $X$. We are generalizing both these roots of the Pauli matrices (or roots of the identity) and translation matrices to investigate the groups they generate: the so-called Pauli root groups. In this work we introduce a formalization of such groups, study finiteness and infiniteness properties, and precisely determine equality and subgroup relations.
△ Less
Submitted 22 October, 2015; v1 submitted 30 March, 2015;
originally announced March 2015.
-
A minimal set of generators for the canonical ideal of a non-degenerate curve
Authors:
Wouter Castryck,
Filip Cools
Abstract:
We give an explicit way of writing down a minimal set of generators for the canonical ideal of a non-degenerate curve, or of a more general smooth projective curve in a toric surface, in terms of its defining Laurent polynomial.
We give an explicit way of writing down a minimal set of generators for the canonical ideal of a non-degenerate curve, or of a more general smooth projective curve in a toric surface, in terms of its defining Laurent polynomial.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
A combinatorial interpretation for Schreyer's tetragonal invariants
Authors:
Wouter Castryck,
Filip Cools
Abstract:
Schreyer has proved that the graded Betti numbers of a canonical tetragonal curve are determined by two integers $b_1$ and $b_2$, associated to the curve through a certain geometric construction. In this article we prove that in the case of a smooth projective tetragonal curve on a toric surface, these integers have easy interpretations in terms of the Newton polygon of its defining Laurent polyno…
▽ More
Schreyer has proved that the graded Betti numbers of a canonical tetragonal curve are determined by two integers $b_1$ and $b_2$, associated to the curve through a certain geometric construction. In this article we prove that in the case of a smooth projective tetragonal curve on a toric surface, these integers have easy interpretations in terms of the Newton polygon of its defining Laurent polynomial. We can use this to prove an intrinsicness result on Newton polygons of small lattice width.
△ Less
Submitted 13 January, 2015; v1 submitted 7 October, 2014;
originally announced October 2014.
-
The lattice size of a lattice polygon
Authors:
Wouter Castryck,
Filip Cools
Abstract:
We give upper bounds on the minimal degree of a model in $\mathbb{P}^2$ and the minimal bidegree of a model in $\mathbb{P}^1 \times \mathbb{P}^1$ of the curve defined by a given Laurent polynomial, in terms of the combinatorics of the Newton polygon of the latter. We prove in various cases that this bound is sharp as soon as the polynomial is sufficiently generic with respect to its Newton polygon…
▽ More
We give upper bounds on the minimal degree of a model in $\mathbb{P}^2$ and the minimal bidegree of a model in $\mathbb{P}^1 \times \mathbb{P}^1$ of the curve defined by a given Laurent polynomial, in terms of the combinatorics of the Newton polygon of the latter. We prove in various cases that this bound is sharp as soon as the polynomial is sufficiently generic with respect to its Newton polygon.
△ Less
Submitted 21 May, 2015; v1 submitted 19 February, 2014;
originally announced February 2014.
-
Linear pencils encoded in the Newton polygon
Authors:
Wouter Castryck,
Filip Cools
Abstract:
Let $C$ be an algebraic curve defined by a sufficiently generic bivariate Laurent polynomial with given Newton polygon $Δ$. It is classical that the geometric genus of $C$ equals the number of lattice points in the interior of $Δ$. In this paper we give similar combinatorial interpretations for the gonality, the Clifford index and the Clifford dimension, by removing a technical assumption from a r…
▽ More
Let $C$ be an algebraic curve defined by a sufficiently generic bivariate Laurent polynomial with given Newton polygon $Δ$. It is classical that the geometric genus of $C$ equals the number of lattice points in the interior of $Δ$. In this paper we give similar combinatorial interpretations for the gonality, the Clifford index and the Clifford dimension, by removing a technical assumption from a recent result of Kawaguchi. More generally, the method shows that apart from certain well-understood exceptions, every base-point free pencil whose degree equals or slightly exceeds the gonality is 'combinatorial', in the sense that it corresponds to projecting $C$ along a lattice direction. We then give an interpretation for the scrollar invariants associated to a combinatorial pencil, and show how one can tell whether the pencil is complete or not. Among the applications, we find that every smooth projective curve admits at most one Weierstrass semi-group of embedding dimension $2$, and that if a non-hyperelliptic smooth projective curve $C$ of genus $g \geq 2$ can be embedded in the $n$th Hirzebruch surface $\mathcal{H}_n$, then $n$ is actually an invariant of $C$.
△ Less
Submitted 4 April, 2016; v1 submitted 19 February, 2014;
originally announced February 2014.
-
Curves in characteristic 2 with non-trivial 2-torsion
Authors:
Wouter Castryck,
Marco Streng,
Damiano Testa
Abstract:
Cais, Ellenberg and Zureick-Brown recently observed that over finite fields of characteristic two, all sufficiently general smooth plane projective curves of a given odd degree admit a non-trivial rational 2-torsion point on their Jacobian. We extend their observation to curves given by Laurent polynomials with a fixed Newton polygon, provided that the polygon satisfies a certain combinatorial pro…
▽ More
Cais, Ellenberg and Zureick-Brown recently observed that over finite fields of characteristic two, all sufficiently general smooth plane projective curves of a given odd degree admit a non-trivial rational 2-torsion point on their Jacobian. We extend their observation to curves given by Laurent polynomials with a fixed Newton polygon, provided that the polygon satisfies a certain combinatorial property. We also show that in each of these cases, the sufficiently general condition is implied by being ordinary. Our treatment includes many classical families, such as hyperelliptic curves of odd genus and $C_{a,b}$ curves. In the hyperelliptic case, we provide alternative proofs using an explicit description of the 2-torsion subgroup.
△ Less
Submitted 8 December, 2020; v1 submitted 13 February, 2014;
originally announced February 2014.
-
Intrinsicness of the Newton polygon for smooth curves on $\mathbb{P}^1\times \mathbb{P}^1$
Authors:
Wouter Castryck,
Filip Cools
Abstract:
Let $C$ be a smooth projective curve in $\mathbb{P}^1\times \mathbb{P}^1$ of genus $g\neq 4$, and assume that it is birationally equivalent to a curve defined by a Laurent polynomial that is non-degenerate with respect to its Newton polygon $Δ$. Then we show that the convex hull $Δ^{(1)}$ of the interior lattice points of $Δ$ is a standard rectangle, up to a unimodular transformation. Our main aux…
▽ More
Let $C$ be a smooth projective curve in $\mathbb{P}^1\times \mathbb{P}^1$ of genus $g\neq 4$, and assume that it is birationally equivalent to a curve defined by a Laurent polynomial that is non-degenerate with respect to its Newton polygon $Δ$. Then we show that the convex hull $Δ^{(1)}$ of the interior lattice points of $Δ$ is a standard rectangle, up to a unimodular transformation. Our main auxiliary result, which we believe to be interesting in its own right, is that the first scrollar Betti numbers of $Δ$-non-degenerate curves are encoded in the combinatorics of $Δ^{(1)}$, if $Δ$ satisfies some mild conditions.
△ Less
Submitted 5 April, 2016; v1 submitted 17 April, 2013;
originally announced April 2013.
-
Constraints on counterexamples to the Casas-Alvero conjecture, and a verification in degree 12
Authors:
Wouter Castryck,
Robert Laterveer,
Myriam Ounaïes
Abstract:
In a first (theoretical) part of this paper, we prove a number of constraints on hypothetical counterexamples to the Casas-Alvero conjecture, building on ideas of Graf von Bothmer, Labs, Schicho and van de Woestijne that were recently reinterpreted by Draisma and de Jong in terms of $p$-adic valuations. In a second (computational) part, we present ideas improving upon Diaz-Toca and Gonzalez-Vega's…
▽ More
In a first (theoretical) part of this paper, we prove a number of constraints on hypothetical counterexamples to the Casas-Alvero conjecture, building on ideas of Graf von Bothmer, Labs, Schicho and van de Woestijne that were recently reinterpreted by Draisma and de Jong in terms of $p$-adic valuations. In a second (computational) part, we present ideas improving upon Diaz-Toca and Gonzalez-Vega's Gröbner basis approach to the Casas-Alvero conjecture. One application is an extension of the proof of Graf von Bothmer et al. to the cases $5p^k$, $6p^k$ and $7p^k$ (that is, for each of these cases, we elaborate the finite list of primes $p$ for which their proof is not applicable). Finally, by combining both parts, we settle the Casas-Alvero conjecture in degree 12 (the smallest open case).
△ Less
Submitted 27 August, 2012;
originally announced August 2012.
-
Newton polygons and curve gonalities
Authors:
Wouter Castryck,
Filip Cools
Abstract:
We give a combinatorial upper bound for the gonality of a curve that is defined by a bivariate Laurent polynomial with given Newton polygon. We conjecture that this bound is generically attained, and provide proofs in a considerable number of special cases. One proof technique uses recent work of M. Baker on linear systems on graphs, by means of which we reduce our conjecture to a purely combinato…
▽ More
We give a combinatorial upper bound for the gonality of a curve that is defined by a bivariate Laurent polynomial with given Newton polygon. We conjecture that this bound is generically attained, and provide proofs in a considerable number of special cases. One proof technique uses recent work of M. Baker on linear systems on graphs, by means of which we reduce our conjecture to a purely combinatorial statement.
△ Less
Submitted 16 January, 2012; v1 submitted 19 June, 2011;
originally announced June 2011.
-
The probability that the number of points on the Jacobian of a genus 2 curve is prime
Authors:
Wouter Castryck,
Amanda Folsom,
Hendrik Hubrechts,
Andrew V. Sutherland
Abstract:
In 2000, Galbraith and McKee heuristically derived a formula that estimates the probability that a randomly chosen elliptic curve over a fixed finite prime field has a prime number of rational points. We show how their heuristics can be generalized to Jacobians of curves of higher genus. We then elaborate this in genus 2 and study various related issues, such as the probability of cyclicity and th…
▽ More
In 2000, Galbraith and McKee heuristically derived a formula that estimates the probability that a randomly chosen elliptic curve over a fixed finite prime field has a prime number of rational points. We show how their heuristics can be generalized to Jacobians of curves of higher genus. We then elaborate this in genus 2 and study various related issues, such as the probability of cyclicity and the probability of primality of the number of points on the curve itself. Finally, we discuss the asymptotic behavior as the genus tends to infinity.
△ Less
Submitted 30 September, 2011; v1 submitted 25 January, 2011;
originally announced January 2011.
-
Nondegenerate curves of low genus over small finite fields
Authors:
Wouter Castryck,
John Voight
Abstract:
In a previous paper, we proved that over a finite field $k$ of sufficiently large cardinality, all curves of genus at most 3 over k can be modeled by a bivariate Laurent polynomial that is nondegenerate with respect to its Newton polytope. In this paper, we prove that there are exactly two curves of genus at most 3 over a finite field that are not nondegenerate, one over F_2 and one over F_3. Bo…
▽ More
In a previous paper, we proved that over a finite field $k$ of sufficiently large cardinality, all curves of genus at most 3 over k can be modeled by a bivariate Laurent polynomial that is nondegenerate with respect to its Newton polytope. In this paper, we prove that there are exactly two curves of genus at most 3 over a finite field that are not nondegenerate, one over F_2 and one over F_3. Both of these curves have remarkable extremal properties concerning the number of rational points over various extension fields.
△ Less
Submitted 12 July, 2009;
originally announced July 2009.
-
The distribution of the number of points modulo an integer on elliptic curves over finite fields
Authors:
Wouter Castryck,
Hendrik Hubrechts
Abstract:
Let F be a finite field and let b and N be integers. We prove explicit estimates for the probability that the number of rational points on a randomly chosen elliptic curve E over F equals b modulo N. The underlying tool is an equidistribution result on the action of Frobenius on the N-torsion subgroup of E. Our results subsume and extend previous work by Achter and Gekeler.
Let F be a finite field and let b and N be integers. We prove explicit estimates for the probability that the number of rational points on a randomly chosen elliptic curve E over F equals b modulo N. The underlying tool is an equidistribution result on the action of Frobenius on the N-torsion subgroup of E. Our results subsume and extend previous work by Achter and Gekeler.
△ Less
Submitted 31 January, 2011; v1 submitted 25 February, 2009;
originally announced February 2009.
-
On nondegeneracy of curves
Authors:
Wouter Castryck,
John Voight
Abstract:
A curve is called nondegenerate if it can be modeled by a Laurent polynomial that is nondegenerate with respect to its Newton polytope. We show that up to genus 4, every curve is nondegenerate. We also prove that the locus of nondegenerate curves inside the moduli space of curves of fixed genus g > 1 is min(2g+1,3g-3)-dimensional, except in case g=7 where it is 16-dimensional.
A curve is called nondegenerate if it can be modeled by a Laurent polynomial that is nondegenerate with respect to its Newton polytope. We show that up to genus 4, every curve is nondegenerate. We also prove that the locus of nondegenerate curves inside the moduli space of curves of fixed genus g > 1 is min(2g+1,3g-3)-dimensional, except in case g=7 where it is 16-dimensional.
△ Less
Submitted 11 April, 2008; v1 submitted 4 February, 2008;
originally announced February 2008.
-
Computing Zeta Functions of Nondegenerate Curves
Authors:
Wouter Castryck,
Jan Denef,
Frederik Vercauteren
Abstract:
In this paper we present a p-adic algorithm to compute the zeta function of a nondegenerate curve over a finite field using Monsky-Washnitzer cohomology. The paper vastly generalizes previous work since all known cases, e.g. hyperelliptic, superelliptic and C_{ab} curves, can be transformed to fit the nondegenerate case. For curves with a fixed Newton polytope, the property of being nondegenerat…
▽ More
In this paper we present a p-adic algorithm to compute the zeta function of a nondegenerate curve over a finite field using Monsky-Washnitzer cohomology. The paper vastly generalizes previous work since all known cases, e.g. hyperelliptic, superelliptic and C_{ab} curves, can be transformed to fit the nondegenerate case. For curves with a fixed Newton polytope, the property of being nondegenerate is generic, so that the algorithm works for almost all curves with given Newton polytope. For a genus g curve over F_{p^n}, the expected running time is O(n^3g^6 + n^2g^{6.5}), whereas the space complexity amounts to O(n^3g^4), assuming p is fixed.
△ Less
Submitted 8 January, 2007; v1 submitted 13 July, 2006;
originally announced July 2006.
