On binary quadratic forms with the semigroup property

From MaRDI portal



Abstract: A quadratic form f is said to have semigroup property if its values at points of the integer lattice form a semigroup under multiplication. A problem of V. Arnold is to describe all binary integer quadratic forms with semigroup property. If there is an integer bilinear map s such that f(s(x,y))=f(x)f(y) for all vectors x and y from the integer 2-dimensional lattice, then the form f has semigroup property. We give an explicit description of all pairs (f,s) with the property stated above. We do not know any other examples of forms with semigroup property.


A quadratic form \(f\) is said to have the semigroup property if its values at the points of the integer lattice form a semigroup under multiplication. A bilinear map \(s: \mathbb R^2\times\mathbb R^2\to\mathbb R^2\) is an integer normed pairing with respect to a quadratic form \(f: \mathbb R^2\to\mathbb R\) if it takes \(\mathbb Z^2\times\mathbb Z^2\to\mathbb Z^2\) and satisfies the property \(f(s(x,y)= f(x)f(y)\) for all \(x,y\in\mathbb R^2\). A problem of \textit{V. Arnold} [Bull. Braz. Math. Soc. (N.S.) 34, No. 1, 1--42 (2003; Zbl 1044.11016)] is to describe all binary integer quadratic forms with semigroup property. In this article, all nondegenerate quadratic forms admitting integer normed pairings have been described. Explicit polynomial formulas for all possible integer normed pairings have also been given. They split into four families according to their type. Integer normed pairings of types \((+,+)\), \((-,+)\), \((+,-)\) depend on five parameters and always come together. However, integer normed pairings of type \((-,-)\), which depend on four parameters, behave very differently. The arithmetic of positive definite quadratic forms is closely related to the geometry of two-dimensional lattices in \(\mathbb C\). The integer normed pairings of types \((+,+)\), \((-,+)\) and \((+,-)\) are described as those corresponding to ideals in the rings of quadratic integers. Quadratic forms admitting normed pairings of only one type \((-,-)\), give rise to elements of order 3 in the class groups. Indefinite forms correspond to lattices in the algebra \(\mathbb H\) of hyperbolic numbers. Indefinite forms with the semigroup property admit results analogous to those for positive definite forms. From the trigroup property it follows that an integer quadratic form representing 1 satisfies the semigroup property. It turns out that such a form admits integer normed pairings of all four types in this case.











This page was built for publication: On binary quadratic forms with the semigroup property

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