Abstract:By adopting a new approach to the analysis of the density of p-adic solutions arising in applications of the circle method, we show that under modest conditions the existence of non-trivial p-adic solutions suffices to establish positivity of the singular series. This improves on earlier approaches due to Davenport, Schmidt and others, and allows us to establish an asymptotic formula for the number of simultaneous zeros of non-singular pairs of cubic forms in at least 131 variables. As a by-product, we obtain a version of Hensel's Lemma for linear spaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the p - adic solvability in multiple forms, especially how to deduce the positive value of the singular series from the existence of non - trivial p - adic solutions. Specifically, the author proposes a new method to analyze the density of p - adic solutions generated by the circle method, thereby proving that the existence of non - trivial p - adic solutions is sufficient to ensure that the singular series is positive under relatively mild conditions. This improves the earlier methods of Davenport, Schmidt, etc., and allows the author to establish an asymptotic formula for non - singular cubic form pairs in at least 131 variables.
### Main problems and goals
1. **Analysis of the density of p - adic solutions**:
The author solves the problem of the transition from non - trivial to non - singular p - adic points by introducing a new geometric method without significantly increasing the number of variables. This method simplifies the conversion process from non - trivial solutions to solution density.
2. **Establishment of an asymptotic formula**:
The author's goal is to establish an asymptotic formula for non - singular polynomial form systems (for example, two cubic forms) to describe the number of solutions of these forms in a sufficient number of variables. Specifically, the author hopes to prove that when the number of variables is large enough, the number of solutions of these forms can be represented by an asymptotic formula, and the main term of this formula is non - zero.
3. **Generalization of Hensel's lemma**:
As a by - product, the author also obtains a version of Hensel's lemma applicable to linear spaces, which is very important for understanding the existence of local solutions and lifting these solutions to solutions of higher moduli.
### Summary of mathematical formulas
- **Asymptotic formula**:
Let \( N(P) \) denote the number of integral points \( x \) satisfying the equations \( F^{(1)}(x)=\cdots = F^{(R)}(x) = 0 \), where \( |x_i|\leq P \), then
\[
N(P)=(c + o(1))P^{s - Rd}
\]
where \( c \) is a non - negative constant representing the density of local solutions.
- **Key conditions**:
To ensure that the above asymptotic formula holds, the following two conditions need to be satisfied:
1. \( s-\max_{a\neq 0}\dim V_a(F)\geq H_d(R) \)
2. \( s - \dim S(F)\geq\gamma_d^*(R) \)
- **Generalization of Hensel's lemma**:
For the linear space \( m \), if \( ms-\dim S_m(F)\geq\gamma_p^d(R, m) \), then there exists a non - singular p - adic solution, and
\[
\Gamma_m(p^\nu)\geq\kappa_p p^{\nu(ms - Rr)}
\]
Through these improvements and new methods, the author not only simplifies the existing theory but also provides stronger results in some cases.