BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Peter Koymans

Peter Koymans contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access