Abstract:Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$, non-zero discriminant and with automorphism group isomorphic to $D_4$. If $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$, we show that $F$ and $G$ are ${\rm GL}(2, \mathbb{Z})$--equivalent.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: For two binary forms \(F(X, Y)\) and \(G(X, Y)\) with the same value set, in the case where their automorphism groups are isomorphic to \(D_4\), whether \(F\) can be transformed into \(G\) by a certain \(GL(2,\mathbb{Z})\)-equivalent transformation.
Specifically, the paper focuses on the following problem:
**Problem 1.1**:
Let \(d\geq3\), and let \(F(X, Y)\) and \(G(X, Y)\) be two binary forms (that is, binary polynomials of degree \(d\), with rational coefficients and non - zero discriminant), satisfying \(F(\mathbb{Z}^2)=G(\mathbb{Z}^2)\). Does there exist a matrix \(\gamma=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in GL(2,\mathbb{Z})\) such that \(F(aX + bY,cX + dY)=G(X, Y)\)?
If there is no such matrix \(\gamma\), then the pair \((F, G)\) is called an extraordinary pair, and the form \(F\) is an extraordinary form.
The main result of the paper is:
**Theorem 1.2**:
Let \(d\geq4\). Then there does not exist an extraordinary form \(F\) such that its automorphism group \(\text{Aut}(F,\mathbb{Q})\) is isomorphic to \(D_4\) in \(GL(2,\mathbb{Q})\).
A simple corollary of this theorem is:
**Corollary 1.3**:
Let \(F\in\text{Bin}(4,\mathbb{Q})\), and \(F(\mathbb{Z}^2)=\{m:m = t^4+u^4\text{ for some }(t, u)\in\mathbb{Z}^2\}\). Then there exist integers \((a, b, c, d)\) satisfying \(ad - bc=\pm1\) such that \(F(X, Y)=(aX + cY)^4+(bX + dY)^4\).
By studying the properties of the \(D_4\) automorphism group, the paper proves that when the automorphism groups of two binary forms are isomorphic to \(D_4\), if their value sets are the same, then these two forms must be \(GL(2,\mathbb{Z})\)-equivalent. This solves the above - mentioned problem and further promotes the research on extraordinary forms.