Averages of arithmetic functions over polynomials in many variables

Kevin Destagnol,Efthymios Sofos
2024-09-27
Abstract:We estimate the average of any arithmetic function $k$ over the values of any smooth polynomial in many variables provided only that $k$ has a distribution in arithmetic progressions of fixed modulus. We give several applications of this result including the analytic Hasse principle for an intersection of two cubics in 21 variables and asymptotics for the number of integer solutions of a non-algebraic variety.
Number Theory
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to estimate the average value of an arbitrary arithmetic function \(k\) on the values of smooth polynomials of multiple variables. Specifically, the paper mainly focuses on how to estimate the average behavior of the arithmetic function \(k\) on polynomial values when \(k\) has a distribution in arithmetic progressions with a fixed modulus. ### Problem Background The paper mentions that in many problems involving Diophantine geometry, calculating the average value of an arithmetic function \(k:\mathbb{N}\to\mathbb{C}\) on the values of integer polynomials is a crucial step. For example: - The study of Hasse's principle for conic bundles - The Manin conjecture on Châtelet surfaces - The study of prime and square - free values of polynomials ### Main Results The main result of the paper is to provide a general framework for estimating the average value of an arithmetic function \(k\) on the values of a smooth polynomial \(f\) of multiple variables. Specifically, the author proves the following theorem: #### Theorem 1.1 Suppose positive integers \(d, n\in\mathbb{N}\) satisfy \(n > 2d(d - 1)\), and \(f\in\mathbb{Z}[x_1,\ldots,x_n]\) is a smooth polynomial of degree \(d\). Let \(s\in\{- 1,1\}\), and \(B\subset\mathbb{R}^n\) be as described in Definition 1.1. For any \(z\geq2\) and \(m_p\) as described in Definition 1.2, let \(W_z\) be as described in Definition 1.2, and assume that \(\tilde{\varepsilon}(z)\to0\). Then there exist constants \(c,\delta>0\) depending only on \(f\), such that for any function \(k:\mathbb{N}\to\mathbb{C}\) and a sufficiently large \(P\), we have: \[ \frac{1}{P^n}\sum_{t\in\mathbb{Z}^n\cap PB}sf(t)>0k(sf(t))=\left(\int_{t\in B,sf(t)>P^{-d}}\omega(P^dsf(t))dt\right)\sum_{t\in(\mathbb{Z}/W_z\mathbb{Z})^n}\frac{\rho(sf(t),W_z)}{W_z^{n - 1}} +O\left(\frac{\|k\|_1}{P^d}(P^{-\delta}+\tilde{\varepsilon}(z)+z^{-c})+E(bP^d,W_z)\frac{W_z}{P^d}\right) \] where \(b\) is defined as in formula (1.2), \(\|k\|_1:=\sum_{\nu\in\mathbb{N}\cap[1,bP^d]}|k(\nu)|\) ### Applications The paper also provides several applications, including but not limited to: - **Analytic Hasse Principle**: For the intersection of two cubic polynomials (with at least 21 variables), the analytic Hasse principle is proved. - **The number of integer solutions of non - algebraic varieties**: An asymptotic estimate of the number of integer solutions of non - algebraic varieties is given. - **Chowla Conjecture**: It is proved that the Chowla conjecture holds for smooth homogeneous polynomials with a sufficient number of variables. These applications demonstrate the wide applicability of this method in dealing with complex polynomial equation systems.