Source author record

Peter Koymans

Peter Koymans appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT

Catalog footprint

What is connected

11works

1topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

On Stevenhagen's conjecture

We generalize a classical reciprocity law due to Rédei using our recently developed description of the $2$-torsion of class groups of multiquadratic fields. This result is then used to prove a variety of new reflection principles for class groups, one of which involves a symbol similar to the spin symbol as defined in work of Friedlander, Iwaniec, Mazur and Rubin. We combine these reflection principles with Smith's techniques to prove Stevenhagen's conjecture on the solubility of the negative Pell equation.

preprint2021arXiv

Malle's conjecture for nonic Heisenberg extensions

We prove Malle's conjecture for nonic Heisenberg extensions over $\mathbb{Q}$. Our main algebraic result shows that the number of nonic Heisenberg extensions over $\mathbb{Q}$ with discriminant bounded by $X$ is given by a character sum. We then extract the main term from this sum by exploiting oscillation of characters.

preprint2021arXiv

The $4$-rank of class groups of $K(\sqrt{n})$

Let $K/\mathbb{Q}$ be a quadratic extension. In this paper we study the $4$-rank of the class group $\text{Cl}(K(\sqrt{n}))$, where $n$ varies over squarefree rational integers. We show that for $100\%$ of squarefree $n$, the $4$-rank is given by an explicit formula involving the $2$-rank of $\text{Cl}(K)$ and the number of prime factors of $n$ which are inert in $K/\mathbb{Q}$.

preprint2020arXiv

A sharp upper bound for the $2$-torsion of class groups of multiquadratic fields

Let $K$ be a multiquadratic extension of $\mathbb{Q}$ and let $\text{Cl}^{+}(K)$ be its narrow class group. Recently, the authors \cite{KP} gave a bound for $|\text{Cl}^{+}(K)[2]|$ only in terms of the degree of $K$ and the number of ramifying primes. In the present work we show that this bound is sharp in a wide number of cases. Furthermore, we extend this to ray class groups.

preprint2020arXiv

Effective convergence of coranks of random Rédei matrices

We give effective estimates for the $l^1$-distance between the corank distribution of $r \times r$ Rédei matrices and the measure predicted by the Cohen--Lenstra heuristics. To this end we pinpoint a class of stochastic processes, which we call $c$-transitioning. These stochastic processes are well approximated by Markov processes, and we give an effective ergodic theorem for such processes. With this tool we make effective a theorem of Gerth \cite{Gerth} that initiated the study of the Cohen--Lenstra heuristics for $p = 2$. Gerth's work triggered a series of developments that has recently culminated in the breakthrough of Smith \cite{Smith}. The present work will be used in upcoming work of the authors on further applications of Smith's ideas to the arithmetic of quadratic fields. To this end we extend our main result to several other families of matrix spaces that occur in the study of integral points on the equation $x^2 - dy^2 = l$ as $d$ varies.

preprint2020arXiv

Higher genus theory

In $1801$, Gauss found an explicit description, in the language of binary quadratic forms, for the $2$-torsion of the narrow class group and dual narrow class group of a quadratic number field. This is now known as Gauss's genus theory. In this paper we extend Gauss's work to the setting of multi-quadratic number fields. To this end, we introduce and parametrize the categories of expansion groups and expansion Lie algebras, giving an explicit description for the universal objects of these categories. This description is inspired by the ideas of Smith \cite{smith2} in his recent breakthrough on Goldfeld's conjecture and the Cohen--Lenstra conjectures. Our main result shows that the maximal unramified multi-quadratic extension $L$ of a multi-quadratic number field $K$ can be reconstructed from the set of generalized governing expansions supported in the set of primes that ramify in $K$. This provides an explicit description for the group $\text{Gal}(L/\mathbb{Q})$ and a systematic procedure to construct the field $L$. A special case of our main result gives a sharp upper bound for the size of $\text{Cl}^{+}(K)[2]$. For every positive integer $n$, we find infinitely many multi-quadratic number fields $K$ such that $[K:\mathbb{Q}]$ equals $2^n$ and $\text{Gal}(L/\mathbb{Q})$ is a universal expansion group. Such fields $K$ are obtained using Smith's notion of additive systems and their basic Ramsey-theoretic behavior.

preprint2020arXiv

On Dirichlet biquadratic fields

We study the $4$-rank of the ideal class group of $K_n := \mathbb{Q}(\sqrt{-n}, \sqrt{n})$. Our main result is that for a positive proportion of the squarefree integers $n$ we have that the $4$-rank of $\text{Cl}(K_n)$ equals $ω_3(n) - 1$, where $ω_3(n)$ is the number of prime divisors of $n$ that are $3$ modulo $4$.

preprint2020arXiv

On the $4$-rank of class groups of Dirichlet biquadratic fields

We show that for $100\%$ of the odd, squarefree integers $n > 0$ the $4$-rank of $\text{Cl}(\mathbb{Q}(i, \sqrt{n}))$ is equal to $ω_3(n) - 1$, where $ω_3$ is the number of prime divisors of $n$ that are $3$ modulo $4$.

preprint2019arXiv

The $16$-rank of $\mathbb{Q}(\sqrt{-p})$

Recently, a density result for the $16$-rank of $\text{Cl}(\mathbb{Q}(\sqrt{-p}))$ was established when $p$ varies among the prime numbers, assuming a short character sum conjecture. In this paper we prove the same density result unconditionally.

preprint2018arXiv

Vinogradov's three primes theorem with primes having given primitive roots

The first purpose of our paper is to show how Hooley's celebrated method leading to his conditional proof of the Artin conjecture on primitive roots can be combined with the Hardy-Littlewood circle method. We do so by studying the number of representations of an odd integer as a sum of three primes, all of which have prescribed primitive roots. The second purpose is to analyse the singular series. In particular, using results of Lenstra, Stevenhagen and Moree, we provide a partial factorisation as an Euler product and prove that this does not extend to a complete factorisation.

preprint2016arXiv

The generalized Catalan equation in positive characteristic

Let $K = \mathbb{F}_p(z_1, \ldots, z_r)$ be a finitely generated field over $\mathbb{F}_p$. In this article we study the generalized Catalan equation $ax^m + by^n = 1$ in $x, y \in K$ and integers $m, n > 1$ coprime with $p$. Our main result shows that there are only finitely many solutions up to the action of Frobenius.

Peter Koymans

What is connected

Connect this record

See the researcher in context

Building this map preview

11 published item(s)

On Stevenhagen's conjecture

Malle's conjecture for nonic Heisenberg extensions

The $4$-rank of class groups of $K(\sqrt{n})$

A sharp upper bound for the $2$-torsion of class groups of multiquadratic fields

Effective convergence of coranks of random Rédei matrices

Higher genus theory

On Dirichlet biquadratic fields

On the $4$-rank of class groups of Dirichlet biquadratic fields

The $16$-rank of $\mathbb{Q}(\sqrt{-p})$

Vinogradov's three primes theorem with primes having given primitive roots

The generalized Catalan equation in positive characteristic