Explicit result on equivalence of rational quadratic forms avoiding primes

DOI10.1016/J.JNT.2021.02.006MaRDI QIDQ2030229zbMATH OpenOpenAlexFDO

Authors Haochen Gao, Han Li, Wai Kiu Chan

Publication date 7 June 2021

Published in Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

equivalence of quadratic forms

Mathematics Subject Classification ID

Quadratic forms over global rings and fields (11E12)

Abstract: Given a pair of regular quadratic forms over $mathbbQ$ which are in the same genus and a finite set of primes $P$, we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are integral over every prime in $P$. This answers one of the principal questions posed by Conway and Sloane in their book {em Sphere packings, lattices and groups}, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Vol 290, Springer-Verlag, New York, 1999; page 402.

Review text

Consider a pair of regular quadratic forms over \(\mathbb{Q}\) which are in the same genus and a finite set of primes \(P\). The authors show that there is an effective way to determine a rational equivalence between these two quadratic forms which are integral over every prime in \(P\). The method is an argument by \textit{C. L. Siegel} [Am. J. Math. 63, 658--680 (1941; Zbl 0025.24702)], which is made effective. This answers a question posed by \textit{J. H. Conway} and \textit{N. J. A. Sloane} [Sphere packings, lattices and groups. 3rd ed. New York, NY: Springer (1999; Zbl 0915.52003), p. 402].

Recommendations

• Genera and rational equivalence classes of integral quadratic forms
• Quadratic forms that represent almost the same primes
• Spinor equivalence of quadratic forms
• Genera of rationally equivalent integral binary quadratic forms
• Rational equivalence of primitive integral binary quadratic forms

Cites work

• A.D. Alexandrov spaces with curvature bounded below
• Effective estimates on integral quadratic forms: Masser's conjecture, generators of orthogonal groups, and bounds in reduction theory
• How to Solve a Quadratic Equation In Rationals
• scientific article; zbMATH DE number 3174540 (Why is no real title available?)
• scientific article; zbMATH DE number 3613145 (Why is no real title available?)
• scientific article; zbMATH DE number 1224949 (Why is no real title available?)
• scientific article; zbMATH DE number 1981157 (Why is no real title available?)
• scientific article; zbMATH DE number 3397605 (Why is no real title available?)
• Polynomial bounds for equivalence of quadratic forms with cube-free determinant
• Spinor equivalence of quadratic forms

Cited in

(3)

• Polynomial bounds for equivalence of quadratic forms with cube-free determinant
• Constructive and stable Cartan-Dieudonné and applications to binary quadratic forms over number fields
• Spinor equivalence of quadratic forms

This page was built for publication: Explicit result on equivalence of rational quadratic forms avoiding primes

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