Source author record

Wouter Castryck

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CO math.NT math.CV math.GR quant-ph

Catalog footprint

Research overview

15works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Scrollar invariants, syzygies and representations of the symmetric group

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$ .

preprint2020arXiv

Lifting low-gonal curves for use in Tuitman's algorithm

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.

preprint2019arXiv

The dimension growth conjecture, polynomial in the degree and without logarithmic factors

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$ .

preprint2016arXiv

Computing graded Betti tables of toric surfaces

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)$ .

preprint2016arXiv

Intrinsicness of the Newton polygon for smooth curves on $\mathbb{P}^1\times \mathbb{P}^1$

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.

preprint2016arXiv

Linear pencils encoded in the Newton polygon

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$ .

preprint2015arXiv

A combinatorial interpretation for Schreyer's tetragonal invariants

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.

preprint2015arXiv

The holomorphy conjecture for nondegenerate surface singularities

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.

preprint2015arXiv

The lattice size of a lattice polygon

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.

preprint2015arXiv

Translating between the roots of the identity in quantum computers

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.

preprint2014arXiv

A minimal set of generators for the canonical ideal of a non-degenerate curve

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.

preprint2012arXiv

Constraints on counterexamples to the Casas-Alvero conjecture, and a verification in degree 12

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).

preprint2012arXiv

Newton polygons and curve gonalities

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.

preprint2011arXiv

The distribution of the number of points modulo an integer on elliptic curves over finite fields

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.

preprint2011arXiv

The probability that the number of points on the Jacobian of a genus 2 curve is prime

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Wouter Castryck

Research overview

Is this your work?

15 publications

Scrollar invariants, syzygies and representations of the symmetric group

Lifting low-gonal curves for use in Tuitman's algorithm

The dimension growth conjecture, polynomial in the degree and without logarithmic factors

Computing graded Betti tables of toric surfaces

Intrinsicness of the Newton polygon for smooth curves on $\mathbb{P}^1\times \mathbb{P}^1$

Linear pencils encoded in the Newton polygon

A combinatorial interpretation for Schreyer's tetragonal invariants

The holomorphy conjecture for nondegenerate surface singularities

The lattice size of a lattice polygon

Translating between the roots of the identity in quantum computers

A minimal set of generators for the canonical ideal of a non-degenerate curve

Constraints on counterexamples to the Casas-Alvero conjecture, and a verification in degree 12

Newton polygons and curve gonalities

The distribution of the number of points modulo an integer on elliptic curves over finite fields

The probability that the number of points on the Jacobian of a genus 2 curve is prime

See the researcher in context

Building this map preview

Wouter Castryck

Research overview

Is this your work?

15 publications

Scrollar invariants, syzygies and representations of the symmetric group

Lifting low-gonal curves for use in Tuitman's algorithm

The dimension growth conjecture, polynomial in the degree and without logarithmic factors

Computing graded Betti tables of toric surfaces

Intrinsicness of the Newton polygon for smooth curves on P1×P1\mathbb{P}^1\times \mathbb{P}^1P1×P1

Linear pencils encoded in the Newton polygon

A combinatorial interpretation for Schreyer's tetragonal invariants

The holomorphy conjecture for nondegenerate surface singularities

The lattice size of a lattice polygon

Translating between the roots of the identity in quantum computers

A minimal set of generators for the canonical ideal of a non-degenerate curve

Constraints on counterexamples to the Casas-Alvero conjecture, and a verification in degree 12

Newton polygons and curve gonalities

The distribution of the number of points modulo an integer on elliptic curves over finite fields

The probability that the number of points on the Jacobian of a genus 2 curve is prime

See the researcher in context

Building this map preview

Intrinsicness of the Newton polygon for smooth curves on $\mathbb{P}^1\times \mathbb{P}^1$