Abstract:A generalisation of Waring's problem, considered first by Arkhipov and Karatsuba, is the question of representing not an integer, but a given polynomial, as a sum of powers of linear polynomials. We investigate a related problem and prove a Hasse principle for the number of identical representations of a set of given forms by homogeneous polynomials of general shape. The result leads to sizeable improvements for estimates of the number of linear spaces on the intersection of hypersurfaces.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the representation of forms by other forms and the existence and quantity estimation of linear spaces in high - dimensional spaces. Specifically, the author aims to prove a Hasse principle, which is used to describe how a given set of forms \(\psi^{(\rho)} \in \mathbb{Z}[t_1, \ldots, t_m]\) can be represented by general forms \(F^{(\rho)} \in \mathbb{Z}[x_1, \ldots, x_s]\), and these forms have the same degree, provided that the number of variables \(s\) is large enough and the forms \(F^{(\rho)}\) are "sufficiently non - singular".
### Main problems and goals
1. **Proof of the Hasse principle**:
- The author attempts to prove that for given forms \(\psi^{(\rho)}\) and \(F^{(\rho)}\), under certain conditions, there exists a Hasse principle, that is, these forms can be represented simultaneously locally (such as in p - adic fields) and globally (such as in the field of rational numbers).
- The specific conditions are: when \(s \gg R^2 m d\) and \(F^{(\rho)}\) is "sufficiently non - singular", the existence of such a representation can be proved.
2. **Quantity estimation of linear spaces**:
- Using the above results, the author further studies the asymptotic behavior of m - dimensional linear spaces in the intersection of multiple hypersurfaces, especially when the degree is odd.
- For cubic forms, the author establishes the conditions for the existence of m - dimensional linear spaces, that is, when the number of variables \(s\) asymptotically exceeds \(R^6 + m^3 R^3\), these linear spaces exist.
3. **Application in special cases**:
- The paper also briefly discusses the problem of linear spaces on quintic equation systems, showing how to apply the previous results to deal with more complex situations.
### Mathematical expressions
- The representation problem of forms can be formalized as:
\[
F^{(\rho)}(t_1 x_1+\cdots + t_m x_m)=\psi^{(\rho)}(t_1, \ldots, t_m), \quad 1 \leq \rho \leq R
\]
- The number of variables \(s\) needs to satisfy:
\[
s-\dim V > 3\cdot 2^{d - 1}(d - 1)R(Rr + 1)
\]
where \(V\) is the intersection of the singular point sets of the forms \(F^{(\rho)}\), and \(r=\binom{m + d-1}{d}\).
### Conclusion
By proving the above Hasse principle and asymptotic formulas, the author not only solves the form representation problem, but also provides new tools and methods for understanding the existence and quantity of solutions to high - degree polynomial equations. This is of great significance in the fields of algebraic geometry and number theory, especially when dealing with the problem of linear spaces on high - degree hypersurfaces.