Classically integral quadratic forms excepting at most two values

DOI10.1090/PROC/13891MaRDI QIDQ4577142zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 17 July 2018

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.01656

zbMATH Keywords

critical integerspositive definite integral quadratic formsquaternary quadratic formsrepresented integers

Mathematics Subject Classification ID

Quadratic forms over global rings and fields (11E12) General ternary and quaternary quadratic forms; forms of more than two variables (11E20) Sums of squares and representations by other particular quadratic forms (11E25) Analytic theory (Epstein zeta functions; relations with automorphic forms and functions) (11E45)

Abstract: Let $SsubseteqmathbbN$ be finite. Is there a positive definite quadratic form that fails to represent only those elements in $S$? For $S=emptyset$, this was solved (for classically integral forms) by the $15$-Theorem of Conway-Schneeberger in the early 1990s and (for all integral forms) by the $290$-Theorem of Bhargava-Hanke in the mid-2000s. In 1938 Halmos attempted to list all weighted sums of four squares that failed to represent $S=m$; of his $88$ candidates, he could provide complete justifications for all but one. In the same spirit, we ask, "for which $S=m,n$ does there exist a quadratic form excepting only the elements of $S$?" Extending the techniques of Bhargava and Hanke, we answer this question for quaternary forms. In the process, we prove what Halmos could not; namely, that $x^2+2y^2+7z^2+13w^2$ represents all positive integers except $5$. We develop new strategies to handle forms of higher dimensions, yielding an enumeration of and proofs for the $73$ possible pairs that a classically integral positive definite quadratic form may except.

Recommendations

• Bounds for the Representations of Integers by Positive Quadratic Forms
• PRIME-UNIVERSAL QUADRATIC FORMS AND
• Finiteness theorems for universal sums of squares of almost primes
• Quadratic forms representing all integers coprime to 3
• A ``four integers theorem and a ``five integers theorem
• Diagonal quadratic forms representing all binary diagonal quadratic forms
• Quadratic forms representing all primes
• 2-universal positive definite integral quinary diagonal quadratic forms
• scientific article; zbMATH DE number 2152653
• Quadratic Forms Representing All Odd Positive Integers

Cites work

• Almost-universal quadratic forms: an effective solution of a problem of Ramanujan
• An almost universal form
• scientific article; zbMATH DE number 2134201 (Why is no real title available?)
• scientific article; zbMATH DE number 1224949 (Why is no real title available?)
• scientific article; zbMATH DE number 818002 (Why is no real title available?)
• La conjecture de Weil. I
• Lectures on P-Adic L-Functions. (AM-74)
• Local densities and explicit bounds for representability by a quadratic form
• On the Conway-Schneeberger Fifteen Theorem
• Quadratic Forms Representing All Odd Positive Integers
• The Magma algebra system. I: The user language
• The Unknown Technology in Homer

Cited in

(12)

• Quadratic forms representing large integers only
• Quadratic Forms Representing All Odd Positive Integers
• scientific article; zbMATH DE number 1121909 (Why is no real title available?)
• Everything you wanted to know about ax^2+by^2+cz^2+dt^2 but were afraid to ask
• Integers represented by positive-definite quadratic forms and Petersson inner products
• On the exceptional sets of integral quadratic forms
• Integral quadratic forms avoiding arithmetic progressions
• Euclidean quadratic forms and ADC forms II: integral forms
• PRIME-UNIVERSAL QUADRATIC FORMS AND
• Determination of all classes of positive quaternary quadratic forms which represent all (positive) integers
• Quadratic forms representing all integers coprime to 3
• Miyaoka's bound for conics on K3 surfaces and beyond

Describes a project that uses

Uses Software

• Magma
• SageMath

This page was built for publication: Classically integral quadratic forms excepting at most two values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577142)