Lattice embeddings of planar point sets

DOI10.1007/S00454-016-9812-4MaRDI QIDQ331380zbMATH OpenOpenAlexFDO

Authors Michael Knopf, Jesse Milzman, Derek Smith, Dantong Zhu, Dara Zirlin

Publication date 27 October 2016

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00454-016-9812-4

zbMATH Keywords

\(n\)-clusterHeronian triangleimaginary quadratic extensionlattice embeddingmaximal orderring of integers

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) Quadratic extensions (11R11) Miscellaneous applications of number theory (11Z05) Lattices and convex bodies in (2) dimensions (aspects of discrete geometry) (52C05) Erd?s problems and related topics of discrete geometry (52C10)

Review text

Let \(\mathcal{M}\) be a non-collinear point set in the complex plane with \(|\mathcal{M}| \geq 3\) and such that for any two points \(\alpha, \beta \in \mathcal{M}\) we have \(|\alpha - \beta |^{2} \in \mathbb{Z}\). Since the norm of a complex number is the square of its length, we call \(\mathcal{M}\) an integer norm point set. Let \(T\) be a triangle in \(\mathcal{M}\) with side lengths \((a,b,c)\) -- it is assumed that all triangles are non-degenerate. By Heron's formulae one has \[ \mathrm{area }A = \frac{1}{4}\sqrt{ (a+b+c)(a+b-c)(a-b+c)(-a+b+c)}. \] Since the squares of the edge lengths of \(T\) are all integers, the area \(A\) will be of the form \(\frac{m}{4}\sqrt{D}\), where \(m \in \mathbb{Z}\) and \(D\) is a positive square-free integer. This integer \(D\) is called the \textit{characteristic} of \(T\). The main goal of the present paper is to provide a characterization which could allow to decide whether an integer norm point set \(\mathcal{M}\) can be embedded into \(\mathbb{Q}(\sqrt{-D})\) or its ring of integers \(\mathcal{O}_{-D}\). The main result of the paper can be formulated as follows. Main Result. Let \(\mathcal{M}\) be an integer norm point set. Let \(D\) be the characteristic of any non-degenerate triangle \(T\) in \(\mathcal{M}\). If at least one distance \(|\alpha - \beta| \in \mathbb{Z}\), and if the square of every ideal in the ring of integers \(\mathcal{O}_{-D}\) in \(\mathbb{Q}(\sqrt{-D})\) is principal, then \(\mathcal{M}\) embeds in \(\mathcal{O}_{-D}\).

Recommendations

• Triangles with Vertices on Lattice Points
• Planar lattices and equilateral polygons
• On the characteristic of integral point sets in \(\mathbb E^m\)
• Publication:4503728
• Heronian Triangles Are Lattice Triangles

Cites work

• Constructing 7-clusters
• Exponents of the class groups of complex quadratic fields
• Heronian Tetrahedra Are Lattice Tetrahedra
• Heronian Triangles Are Lattice Triangles
• scientific article; zbMATH DE number 3743380 (Why is no real title available?)
• scientific article; zbMATH DE number 41498 (Why is no real title available?)
• Idoneal numbers and some generalizations
• On a question of Erdős and Ulam
• On angles whose squared trigonometric functions are rational
• On the `gap' in a theorem of Heegner
• On the characteristic of integral point sets in \(\mathbb E^m\)
• Research Problems in Discrete Geometry
• There are integral heptagons, no three points on a line, no four on a circle
• Triangles with Vertices on Lattice Points
• Unsolved problems in number theory

Cited in

(5)

• On the number of points with pairwise integral distances on a circle
• Component-by-Component Construction of Hybrid Point Sets Based on Hammersley and Lattice Point Sets
• Triangles with Vertices on Lattice Points
• scientific article; zbMATH DE number 1506797 (Why is no real title available?)
• Brahmagupta quadrilaterals are lattice quadrilaterals

This page was built for publication: Lattice embeddings of planar point sets

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