A K3 surface related to Leonardo Pisano's work on congruent numbers

DOI10.1016/J.EXMATH.2023.03.003MaRDI QIDQ6056572zbMATH OpenOpenAlexFDO

Authors Martin Djukanović, Jaap Top

Publication date 2 October 2023

Published in Expositiones Mathematicae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.exmath.2023.03.003

zbMATH Keywords

\(K3\) surfacecongruent numberelliptic curveFermat quartic surfaceKummer surface

Mathematics Subject Classification ID

Quadratic and bilinear Diophantine equations (11D09) Elliptic curves over global fields (11G05) Arithmetic ground fields for surfaces or higher-dimensional varieties (14J20) Elliptic surfaces, elliptic or Calabi-Yau fibrations (14J27) (K3) surfaces and Enriques surfaces (14J28)

Review text

This paper recasts the early result on congruent numbers by Leonardo Pisano, in terms of a specific \(K3\) surface and an elliptic fibration on this surface. Pisano's theorem on congruent numbers is formulated in the following Theorem 1. Given integers \(m>n>0\), if three of \(m, n, m-n, m+n\) are squares, then the fourth one is a congruent number. It is a well-known fact that an integer \(N\) is a congruent number means the existence of a rational point on the intersection of quadrics \(v^2-N=u^2; v^2+N=w^2\). The curve defined by these equations is birational to the elliptic curve \(Y^2=X^3-N^2X\) via the specific map (and its inverse). From Theorem 1, there are four possibilites; (i): \(n\) is congruent; (ii) \(m\) is congruent; (iii) \(m-n\) is congruent, and (iv) \(m+n\) is congruent. In each case, there result in an explicit \(K3\) surface defined over \(\mathbb{Q}\), that are twists of each other and identified as Kummer surfaces of a product of elliptic curves with \(j\)-invariant \(1728\). These \(K3\) surfaces are covered by certain twists of the Fermat quartic surface. (i) corresponds to an elliptic \(K3\) surface \(Y^2=X^3-(t^3-t^2)X\) (a singular \(K3\) surface); (ii) to \(Y^2=X^3-(t^4+4)^2X\); (iii) to \(Y^2=X^3-(t^4-6t^2+1)^2X\), and (iv) to \(Y^2=X^3-(t^4+6t^2+1)^2X\).

Recommendations

• Congruent numbers, quadratic forms and \(K_2\)
• scientific article; zbMATH DE number 653580
• Congruent Numbers and Elliptic Curves
• A singular K3 surface related to sums of consecutive cubes
• scientific article; zbMATH DE number 3941614

Cites work

• A remark on prime (non)congruent numbers
• AN ISOGENY OF K3 SURFACES
• Arithmetic of diagonal quartic surfaces, II
• Congruent number problems and their variants
• Congruent numbers, quadratic forms and \(K_2\)
• History of the theory of numbers. Vol. I: Divisibility and primality. Vol. II: Diophantine analysis. Vol. III: Quadratic and higher forms.
• scientific article; zbMATH DE number 3841940 (Why is no real title available?)
• scientific article; zbMATH DE number 4025392 (Why is no real title available?)
• scientific article; zbMATH DE number 16131 (Why is no real title available?)
• scientific article; zbMATH DE number 3582297 (Why is no real title available?)
• scientific article; zbMATH DE number 3630917 (Why is no real title available?)
• scientific article; zbMATH DE number 767012 (Why is no real title available?)
• scientific article; zbMATH DE number 3270406 (Why is no real title available?)
• scientific article; zbMATH DE number 3089063 (Why is no real title available?)
• Lectures on K3 Surfaces
• On Ranks of Twists of Elliptic Curves and Power-Free Values of Binary Forms
• On the Brauer group of diagonal quartic surfaces. With an appendix by Peter Swinnerton-Dyer
• The \(L\)-series of a cubic fourfold
• The two most algebraic K3 surfaces
• Twists of genus three curves over finite fields

This page was built for publication: A \(K3\) surface related to Leonardo Pisano's work on congruent numbers

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