Source author record

Floris Vermeulen

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

ResearcherUnclaimed source record

math.NT math.AG math.LO

Catalog footprint

Research overview

6works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Hensel minimality: Geometric criteria for $\ell$ -h-minimality

Recently, Cluckers, Halupczok and Rideau-Kikuchi developed a new axiomatic framework for tame non-Archimedean geometry, called Hensel minimality. It was extended to mixed characteristic together with the author. Hensel minimality aims to mimic o-minimality in both strong consequences and wide applicability. In this article, we continue the study of Hensel minimality, in particular focusing on $ω$ -h-minimality and $\ell$ -h-minimality, for $\ell$ a positive integer. Our main results include an analytic criterion for $\ell$ -h-minimality, preservation of $\ell$ -h-minimality under coarsening of the valuation and $\ell$ -dimensional dimensional geometry.

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

preprint2022arXiv

Curves of fixed gonality with many rational points

Given an integer $γ\geq 2$ and an odd prime power $q$ we show that for every large genus $g$ there exists a non-singular curve $C$ defined over $\mathbb{F}_q$ of genus $g$ and gonality $γ$ and with exactly $γ(q+1)$ $\mathbb{F}_q$ -rational points. This is the maximal number of rational points possible. This answers a recent conjecture by Faber--Grantham. Our methods are based on curves on toric surfaces and Poonen's work on squarefree values of polynomials.

preprint2022arXiv

On abelian covers of the projective line with fixed gonality and many rational points

A smooth geometrically connected curve over the finite field $\mathbb{F}_q$ with gonality $γ$ has at most ${γ(q+1)}$ rational points. The first author and Grantham conjectured that there exist curves of every sufficiently large genus with gonality $γ$ that achieve this bound. In this paper, we show that this bound can be achieved for an infinite sequence of genera using abelian covers of the projective line. We also argue that abelian covers will not suffice to prove the full conjecture.

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.

preprint2020arXiv

Points of bounded height on curves and the dimension growth conjecture over $\mathbb{F}_q[t]$

In this article we prove several new uniform upper bounds on the number of points of bounded height on varieties over $\mathbb{F}_q[t]$ . For projective curves, we prove the analogue of Walsh' result with polynomial dependence on $q$ and the degree $d$ of the curve. For affine curves, this yields an improvement to bounds by Sedunova, and Cluckers, Forey and Loeser. In higher dimensions, we prove a version of dimension growth for hypersurfaces of degree $d\geq 64$ , building on work by Castryck, Cluckers, Dittmann and Nguyen in characteristic zero. These bounds depend polynomially on $q$ and $d$ , and it is this dependence which simplifies the treatment of the dimension growth conjecture.

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.

Floris Vermeulen

Research overview

Is this your work?

6 publications

Hensel minimality: Geometric criteria for $\ell$ -h-minimality

Scrollar invariants, syzygies and representations of the symmetric group

Curves of fixed gonality with many rational points

On abelian covers of the projective line with fixed gonality and many rational points

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

Points of bounded height on curves and the dimension growth conjecture over $\mathbb{F}_q[t]$

See the researcher in context

Building this map preview

Floris Vermeulen

Research overview

Is this your work?

6 publications

Hensel minimality: Geometric criteria for ℓ\ellℓ-h-minimality

Scrollar invariants, syzygies and representations of the symmetric group

Curves of fixed gonality with many rational points

On abelian covers of the projective line with fixed gonality and many rational points

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

Points of bounded height on curves and the dimension growth conjecture over Fq[t]\mathbb{F}_q[t]Fq​[t]

See the researcher in context

Building this map preview

Hensel minimality: Geometric criteria for $\ell$ -h-minimality

Points of bounded height on curves and the dimension growth conjecture over $\mathbb{F}_q[t]$