An elliptic K3 surface associated to Heron triangles

By Ronald van Luijk. 2004

56 citations recorded by the source corpus.

A rational triangle is a triangle with rational sides and rational area. A Heron triangle is a triangle with integral sides and integral area. In this article we will show that there exist infinitely many rational parametrizations, in terms of s, of rational triangles with perimeter 2s(s+1) and area s(s2−1). As a corollary, there exist arbitrarily many Heron triangles with all the same area and the same perimeter. The proof uses an elliptic K3 surface Y. Its Picard number is computed to be 18 after we prove that the Neron–Severi group of Y injects naturally into the Neron–Severi group of the reduction of Y at a prime of good reduction. We also give some constructions of elliptic surfaces and prove that under mild conditions a cubic surface in P3 can be given the structure of an elliptic surface by cutting it with the family of hyperplanes through a given line L. Some of these constructions were already known, but appear to have lacked proof in the literature until now.

Subfields: Algebra and Number Theory, Computational Theory and Mathematics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/abe9285fa0e2ef3cb15898ecdc642afc0a3c5450

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Algebra and Number Theory

In Computational Theory and Mathematics

In Geometry and Topology

Citations in the corpus

Bounding Picard numbers of surfaces using p-adic cohomology (2006, background): “…a prime ideal in the ring of integers o K of a number ﬁeld K , k = o K / p , and X is a smooth projective surface over the localization of o K at p , then the torsion-free quotient of NS( X K ) injects into the torsion-free quotient of NS( X k ), compatibly with the intersection pairing [49, § 6].”