Abstract:Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$ with automorphism groups isomorphic to the dihedral group of cardinality $6$ or $12$. We characterize exactly when $F$ and $G$ have the same value set, i.e. $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Determine when binary forms with the same value sets satisfy specific conditions, especially when the automorphism groups of these forms are the dihedral groups (D3 or D6) of order 6 or 12**.
Specifically, the paper studies two binary forms \(F\) and \(G\) whose coefficients are integers and whose degrees \(d\geq3\), and they have the same value sets, that is, \(F(\mathbb{Z}^2) = G(\mathbb{Z}^2)\), but they are not \(GL(2,\mathbb{Z})\)-equivalent. The author attempts to characterize the specific conditions of these forms and pays special attention to the cases where the automorphism groups are \(D_3\) or \(D_6\).
### Main problems:
1. **How to determine whether two binary forms \(F\) and \(G\) have the same value sets but are not \(GL(2,\mathbb{Z})\)-equivalent?**
2. **For binary forms with automorphism groups \(D_3\) or \(D_6\), do such non - trivial pairs exist? And how to describe the properties of these forms?**
### Research background:
- Previous work has dealt with the cases where the automorphism groups are \(C_1,C_2,C_3,C_4,C_6,D_1,D_2,D_4\).
- This paper continues to study the cases where the automorphism groups are \(D_3\) and \(D_6\).
### Main results:
- **Theorem 1.4** provides a key result, indicating that if two binary forms \(F_1\) and \(F_2\) are non - trivial and satisfy condition (C3), then there exist two forms \(G_1\) and \(G_2\) such that they are equivalent under \(GL(2,\mathbb{Z})\) and satisfy certain specific conditions.
- **Corollaries 1.1 and 1.3** further simplify the methods for identifying these non - trivial forms and provide specific discriminant criteria.
### Formulas and symbol explanations:
- \(\text{Aut}(F,\mathbb{Q})\) represents the automorphism group of form \(F\).
- \(GL(2,\mathbb{Z})\) represents the group consisting of all \(2\times2\) integral matrices with determinants \(\pm1\).
- \(F\sim_{\text{val}}G\) means that \(F\) and \(G\) have the same value sets.
- \(F\sim_{GL(2,\mathbb{Z})}G\) means that \(F\) and \(G\) are equivalent under \(GL(2,\mathbb{Z})\).
Through these studies, the author hopes to gain a deeper understanding of the properties of binary forms with specific automorphism groups and provide a systematic method for identifying and classifying these forms.