Cameron L. Stewart
Abstract:In 2001 Thunder gave an estimate for the number of integer solutions of decomposable form inequalities under the assumption that the forms are of finite type. The purpose of this article is to generalize this result to forms which are of essentially finite type. In the special case of binary forms this gives an improvement of a result of Mahler from 1933.
What problem does this paper attempt to address?
This paper attempts to solve the problem of estimating the number of solutions to inequalities in decomposable forms. Specifically, the author C.L. Stewart aims to generalize the result given by Thunder in 2001, that is, the estimation of the number of integer solutions under the assumption of finite - type forms. The main contribution of this paper is to generalize this result to forms of essentially finite - type, and in the special case of binary forms, improve the result obtained by Mahler in 1933.
### Background and Problem Description of the Paper
The core problem of the paper is to estimate the number of integer solutions \( N_F(m) \) of the decomposable form inequality \( |F(a_1, \ldots, a_n)| \leq m \) in the form of \( F(X) = L_1(X) \cdots L_d(X) \), where \( F(X) \) is a non - zero decomposable form with integer coefficients, and \( d > n \geq 2 \).
### Main Results
1. **Theorem 1**: If \( F(X) \) is of essentially finite - type, then:
\[
N^*_F(m) \ll_{n,d} m^{\frac{1}{d}+\frac{n - 1}{d - d_F}}
\]
where \( N^*_F(m) \) represents the number of integer points satisfying \( 0 < |F(a_1, \ldots, a_n)| \leq m \).
2. **Theorem 2**: For \( F(X) \) of essentially finite - type, there is a more accurate estimate:
\[
\left| N^*_F(m)-\frac{m^{n/d}}{V_F} \right| \ll_{n,d} H(F)^{c_F}(\log m)^{n - 2}m^{\frac{n - 1}{d}-a_F}+(\log m+\log H(F))^{n - 1}m^{\frac{1}{d}+\frac{n - 2}{d - d_F}}
\]
### Key Concepts
- **Finite - type**: It means that \( V_F \) (i.e., the volume of \( |F(x_1, \ldots, x_n)| \leq 1 \)) is finite, and this also holds on any non - trivial rational subspace.
- **Essentially finite - type**: In addition to the above conditions, it is also required to satisfy \( A_1\cap\cdots\cap A_k = \{0\} \), where \( A_i \) is the rational subspace determined by the linear form \( L_i \).
### Methods and Techniques
The paper utilizes the quantitative version of Schmidt's subspace theorem (proved by Evertse), and through a series of lemmas and technical means (such as Lemmas 5 and 6) to deal with the case of essentially finite - type. These techniques enable the author to effectively estimate the number of solutions, and independently of the specific coefficients of the form.
### Applications and Significance
This research not only generalizes previous work, but also improves the existing results in the case of binary forms. This is of great significance for understanding the solution structure of decomposable form inequalities and their applications, especially in number theory and other related fields.