Coprime-Universal Quadratic Forms
Matteo Bordignon, Giacomo Cherubini

TL;DR
This paper characterizes positive-definite integral quadratic forms that represent all integers coprime to a prime p, extending the 290-Theorem and related results, with some results conditional on GRH.
Contribution
It generalizes the concept of universality to coprime-universality for primes p, extending previous theorems and providing conditional proofs for specific primes.
Findings
Characterization of coprime-universal quadratic forms for primes p>3.
Extension of the 290-Theorem to coprime-universality.
Conditional proofs for primes 5, 23, 29, 31 under GRH.
Abstract
Given a prime , we characterize positive-definite integral quadratic forms that are coprime-universal for , i.e. representing all positive integers coprime to . This generalizes the -Theorem by Bhargava and Hanke and extends later works by Rouse () and De Benedetto and Rouse (). When , our results are conditional on the coprime-universality of specific ternary forms. We prove this assumption under GRH (for Dirichlet and modular -functions), following a strategy introduced by Ono and Soundararajan, together with some more elementary techniques borrowed from Kaplansky and Bhargava. Finally, we discuss briefly the problem of representing all integers in an arithmetic progression.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics and Applications
