<p>We prove that there exist infinitely many quartic rational Diophantine quadruples, that is, sets of four pairwise distinct nonzero rational numbers whose pairwise products increased by <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> are fourth powers in <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textbf{Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">Q</mi> </math></EquationSource> </InlineEquation>. To the best of our knowledge, no examples of such quadruples were previously known. Our construction is motivated by computer experiments and leads naturally to the classical Euler surface <Equation ID="Equ26"> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {E}:\qquad X^4+Y^4=Z^4+W^4. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="script">E</mi> <mo>:</mo> <mspace width="2em" /> <msup> <mi>X</mi> <mn>4</mn> </msup> <mo>+</mo> <msup> <mi>Y</mi> <mn>4</mn> </msup> <mo>=</mo> <msup> <mi>Z</mi> <mn>4</mn> </msup> <mo>+</mo> <msup> <mi>W</mi> <mn>4</mn> </msup> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We show that every rational point on a suitable Zariski-open subset of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {E}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">E</mi> </math></EquationSource> </InlineEquation> yields a quartic rational Diophantine quadruple, thereby obtaining a rational map from the Euler surface to the parameter space of quartic quadruples. In particular, Euler’s classical parametrization produces the first explicit infinite family of quartic rational Diophantine quadruples. We also explain that the same mechanism extends to arbitrary exponents <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(k\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, with the Euler surface replaced by the Fermat–Euler surface <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {E}_k:X^k+Y^k=Z^k+W^k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">E</mi> <mi>k</mi> </msub> <mo>:</mo> <msup> <mi>X</mi> <mi>k</mi> </msup> <mo>+</mo> <msup> <mi>Y</mi> <mi>k</mi> </msup> <mo>=</mo> <msup> <mi>Z</mi> <mi>k</mi> </msup> <mo>+</mo> <msup> <mi>W</mi> <mi>k</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. For even <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation>, every rational point on a suitable open subset of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {E}_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">E</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> gives rise to a <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation>th power rational Diophantine quadruple, while for odd <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation> one obtains such quadruples on the locus where <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(W/Z\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <mo stretchy="false">/</mo> <mi>Z</mi> </mrow> </math></EquationSource> </InlineEquation> is a square.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Quartic rational Diophantine quadruples and the Euler surface

  • Alen Andrašek,
  • Matija Kazalicki,
  • Domagoj Vlah

摘要

We prove that there exist infinitely many quartic rational Diophantine quadruples, that is, sets of four pairwise distinct nonzero rational numbers whose pairwise products increased by \(1\) 1 are fourth powers in \(\textbf{Q}\) Q . To the best of our knowledge, no examples of such quadruples were previously known. Our construction is motivated by computer experiments and leads naturally to the classical Euler surface \(\begin{aligned} \mathcal {E}:\qquad X^4+Y^4=Z^4+W^4. \end{aligned}\) E : X 4 + Y 4 = Z 4 + W 4 . We show that every rational point on a suitable Zariski-open subset of \(\mathcal {E}\) E yields a quartic rational Diophantine quadruple, thereby obtaining a rational map from the Euler surface to the parameter space of quartic quadruples. In particular, Euler’s classical parametrization produces the first explicit infinite family of quartic rational Diophantine quadruples. We also explain that the same mechanism extends to arbitrary exponents \(k\ge 2\) k 2 , with the Euler surface replaced by the Fermat–Euler surface \(\mathcal {E}_k:X^k+Y^k=Z^k+W^k\) E k : X k + Y k = Z k + W k . For even \(k\) k , every rational point on a suitable open subset of \(\mathcal {E}_k\) E k gives rise to a \(k\) k th power rational Diophantine quadruple, while for odd \(k\) k one obtains such quadruples on the locus where \(W/Z\) W / Z is a square.