Francesca Balestrieri,Julia Brandes,Miriam Kaesberg,Judith Ortmann,Marta Pieropan,Rosa Winter
Abstract:We construct an integral model for counting Campana points of bounded height on diagonal hypersurfaces of degree greater than one, and give an asymptotic formula for their number, generalising work by Browning and Yamagishi. The paper also includes background material on the theory of Campana points on hyperplanes and previous results in the field.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to calculate the number of Campana points on diagonal hypersurfaces and give the asymptotic formula for these points under bounded height. Specifically, the authors construct an integral model to calculate the number of Campana points on diagonal hypersurfaces and generalize the previous work of Browning and Yamagishi.
### Problem Background
Campana points are a special type of points between rational points and integral points, and they have important applications in number theory and algebraic geometry. An important goal in the study of Campana points is to use the techniques for studying rational points to understand Campana points, and then better understand integral points.
### Core Contributions of the Paper
1. **Constructing an Integral Model**: The authors construct an integral model for Campana points on diagonal hypersurfaces.
2. **Asymptotic Formula**: Gives the asymptotic formula for the number of these points under bounded height. Specifically, for given positive integers \(k, n\) and \(m_0, \ldots, m_n\), and a positive real number \(B\), consider the diagonal hypersurface \(X \subset \mathbb{P}^n_{\mathbb{Q}}\) given by the equation
\[
\sum_{i = 0}^n c_i x_i^k = 0
\]
where \(c_0, \ldots, c_n \in \mathbb{Z} \setminus \{0\}\) and \(\gcd(c_0, \ldots, c_n)=1\). Let \(D\) be an effective \(\mathbb{Q}\)-divisor on \(X\), defined as
\[
D=\sum_{i = 0}^n \left(1-\frac{1}{m_i}\right) \{x_i = 0\}
\]
where \(m_i\geq2\). Then \((X, D)\) is a Campana orbifold.
3. **Main Results**: Under the assumptions that \(k\geq2\) and \(2\leq m_0\leq\cdots\leq m_n\), if
\[
\sum_{i = 0}^n \frac{1}{s_0(k m_i)}>1,
\]
where \(s_0(m)=\min\{2m - 1, \frac{1}{2}m(m - 1)+\lfloor\sqrt{2m + 2}\rfloor\}\), then there exist constants \(C\geq0\) and \(\eta>0\) such that for all \(B>0\),
\[
\#N(X, D, B)=C B^{k\Gamma}+O(B^{k\Gamma-\eta}),
\]
where \(k\Gamma=\sum_{i = 0}^n \frac{1}{m_i}-k\) is the Fujita invariant of \((X, D)\) with respect to the line bundle \(\mathcal{O}_X(1)\).
### Methods and Techniques
To obtain the above results, the authors use the circle method, which is a powerful counting method in analytic number theory. By transforming the problem into the estimation of exponential sums and combining the results of Vinogradov's mean - value theorem, the authors successfully obtain the required asymptotic formula.
### Summary
This paper solves the problem of estimating the number of Campana points on diagonal hypersurfaces by constructing an integral model and using the circle method, and gives the asymptotic formula for these points under bounded height. This result not only generalizes the previous work but also provides new tools and methods for further research on Campana points.