TY - JOUR

T1 - Positive-definite ternary quadratic forms with the same representations over ℤ

AU - Oishi-Tomiyasu, Ryoko

PY - 2020/8/1

Y1 - 2020/8/1

N2 - Kaplansky conjectured that if two positive-definite ternary quadratic forms have perfectly identical representations over ℤ, they are equivalent over ℤ or constant multiples of regular forms, or is included in either of two families parameterized by ℝ2. Our results aim to clarify the limitations imposed to such a pair by computational and theoretical approaches. First, the result of an exhaustive search for such pairs of integral quadratic forms is presented in order to provide a concrete version of the Kaplansky conjecture. The obtained list contains a small number of non-regular forms that were confirmed to have the identical representations up to 3,000,000 by computation. However, a strong limitation on the existence of such pairs is still observed, regardless of whether the coefficient field is ℚ or ℝ. Second, we prove that if two pairs of ternary quadratic forms have the identical simultaneous representations over ℚ, their constant multiples are equivalent over ℚ. This was motivated by the question why the other families were not detected in the search. In the proof, the parametrization of quartic rings and their resolvent rings by Bhargava is used to discuss pairs of ternary quadratic forms.

AB - Kaplansky conjectured that if two positive-definite ternary quadratic forms have perfectly identical representations over ℤ, they are equivalent over ℤ or constant multiples of regular forms, or is included in either of two families parameterized by ℝ2. Our results aim to clarify the limitations imposed to such a pair by computational and theoretical approaches. First, the result of an exhaustive search for such pairs of integral quadratic forms is presented in order to provide a concrete version of the Kaplansky conjecture. The obtained list contains a small number of non-regular forms that were confirmed to have the identical representations up to 3,000,000 by computation. However, a strong limitation on the existence of such pairs is still observed, regardless of whether the coefficient field is ℚ or ℝ. Second, we prove that if two pairs of ternary quadratic forms have the identical simultaneous representations over ℚ, their constant multiples are equivalent over ℚ. This was motivated by the question why the other families were not detected in the search. In the proof, the parametrization of quartic rings and their resolvent rings by Bhargava is used to discuss pairs of ternary quadratic forms.

UR - http://www.scopus.com/inward/record.url?scp=85086325055&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85086325055&partnerID=8YFLogxK

U2 - 10.1142/S1793042120500785

DO - 10.1142/S1793042120500785

M3 - Article

AN - SCOPUS:85086325055

VL - 16

SP - 1493

EP - 1534

JO - International Journal of Number Theory

JF - International Journal of Number Theory

SN - 1793-0421

IS - 7

ER -