Abstract:Let $F \in \mathbb{Z}[x_1, \ldots, x_n]$ be a homogeneous form of degree $d \geq 2$, and $V_F^*$ the singular locus of the hypersurface $\{\mathbf{x} \in \mathbb{A}^n_{\mathbb{C}}: F(\mathbf{x}) = 0 \}$. A longstanding result of Birch states that there is a non-trivial integral solution to the equation $F(\mathbf{x}) = 0$ provided $n > \dim V_F^* + (d-1) 2^d$ and there is a non-singular solution in $\mathbb{R}$ and $\mathbb{Q}_p$ for all primes $p$. In this article, we give a different formulation of this result. More precisely, we replace $\dim V_F^*$ with a quantity $\mathcal{H}_F$ defined in terms of the Hessian matrix of $F$. This quantity satisfies $0 \leq \mathcal{H}_F \leq \dim V_F^*$; therefore, we improve on the aforementioned result of Birch if $\mathcal{H}_F < \dim V_F^*$. We also prove the corresponding result for systems of forms of equal degree.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve the condition regarding the number of variables in Birch's theorem. Specifically, Birch's theorem provides a condition for the existence of a non - trivial integer solution, that is, when the number of variables \(n\) exceeds the dimension of the singular point set \(V^*_{\mathbf{F}}\) plus a term depending on the degree \(d\) of the form, the system of equations \(F_1(x_1,\dots,x_n)=\cdots = F_R(x_1,\dots,x_n) = 0\) has a non - trivial integer solution.
The main contribution of this paper lies in replacing \(\dim V^*_{\mathbf{F}}\) with the quantity \(H_{\mathbf{F}}\) related to the Hessian matrix, thereby reducing the required number of variables. Specifically, the author defines:
\[H_G=\begin{cases}\max_{0\leq r\leq n}(\dim\{x\in\mathbb{A}^n_{\mathbb{C}}:\operatorname{rank}H_G(x)\leq r\}-r)&\text{if }d > 2,\\n-\operatorname{rank}H_G&\text{if }d = 2\end{cases}\]
where \(H_G\) is the Hessian matrix of the form \(G\). For multiple forms \(F_1,\dots,F_R\), define:
\[H_{c\cdot\mathbf{F}}=H_{c_1F_1+\cdots + c_RF_R},\]
and consider:
\[\sigma=\max_{c\in\mathbb{Z}^R\setminus\{0\}}H_{c\cdot\mathbf{F}}.\]
The new theorem (Theorem 1.2) shows that as long as the number of variables \(n\) satisfies:
\[n > \sigma+R(R + 1)(d - 1)^2d,\]
then the system of equations has a non - trivial integer solution, and the number of solutions can be estimated as:
\[\#\{x\in PB\cap\mathbb{Z}^n:F_1(x)=\cdots = F_R(x)=0\}=c_FP^{n - d}+O(P^{n - d-\delta}),\]
where \(c_F\geq0\), and \(c_F > 0\) when certain local conditions are met.
By introducing the Hessian matrix condition, the author not only simplifies the condition on the number of variables but also provides a more refined estimation method. This makes it possible to replace \(\dim V^*_{\mathbf{F}}\) with \(H_{\mathbf{F}}\) in many technical problems involving Birch's theorem, potentially improving existing results.