Abstract:We estimate the number of integer solutions to decomposable form inequalities (both asymptotic estimates and upper bounds are provided) when the degree of the form and the number of variables are relatively prime. These estimates display good behavior in terms of the coefficients of the form, and greatly improve upon previous estimates in this regard.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the asymptotic estimation of integer solutions to inequalities in decomposable forms. Specifically, the author is concerned with the asymptotic behavior of the number \(N_F(m)\) of integer solutions \(x\in\mathbb{Z}^n\) in the inequality \(|F(x)|\leq m\) for a homogeneous decomposable form \(F(X)\) with integer coefficients as \(m\rightarrow\infty\).
### Main problems
1. **Improving the error term**: The author hopes to improve the error term in the asymptotic estimate given in previous work so that the error term decreases as the "height" (height) of the form \(F\) increases. Here, "height" refers to certain measures of \(F\), such as \(H(F)\) or \(m(F)\).
2. **Uniform applicability**: The author hopes to find an asymptotic estimate applicable to all forms \(F\) of finite type, that is, the error term is always dominated by the main term \(m^{n/d}V(F)\).
3. **Accurate estimation under specific conditions**: When \(n\) and \(d\) are coprime, the author hopes to obtain a more accurate asymptotic estimate, and in this case, the error term should perform better.
### Specific content
- **Definitions and notations**:
- \(F(X)\) is a homogeneous decomposable form with integer coefficients, which can be decomposed into a product of linear factors.
- \(V(F)\) represents the \(n\)-dimensional volume of real solutions satisfying \(|F(x)|\leq1\).
- \(N_F(m)\) represents the number of integer solutions satisfying \(|F(x)|\leq m\).
- \(H(F)\) is the height of \(F\), defined as the product of the \(L_2\) norms of each linear factor.
- \(m(F)\) is the geometric height of \(F\), defined as the infimum of \(H(F\circ T)\) for \(T\in GL_n(\mathbb{R})\) and \(|\det(T)| = 1\).
- **Main results**:
- Theorem 1 provides the relationship between \(V(F)\) and \(m(F)\), especially when \(a'(F)<d/n\), \(V(F)\ll m(F)^{-n/d}\).
- Theorem 2 gives the asymptotic estimate when \(m(F)\leq m^{1/n}\), and the error term decreases as \(m(F)\) increases.
- Theorem 3 provides a simple upper - bound estimate, especially applicable to the case where \(m(F)\geq m^{1/n}\).
- The corollary combines Theorems 1 - 3 and gives the asymptotic estimate when \(n\) and \(d\) are coprime.
Through these improvements, the author hopes to better understand the distribution of integer solutions to inequalities in decomposable forms and provide more accurate asymptotic estimates.