Abstract:We use the determinant method of Bombieri-Pila and Heath-Brown and its Arakelov reformulation by Chen utilizing Bost's slope method to estimate the number of hypersurfaces required to cover the regular rational points with bounded Arakelov height on a projective variety. Using complex cellular structures introduced by Binyamini-Novikov, we replace the usual subpolynomial factor by a polylogarithmic factor in the estimation.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to estimate the number of hypersurfaces required to cover the regular rational points on the projective variety \(X\) with bounded Arakelov height. Specifically, the author aims to improve the results of previous work. By introducing the complex cell structure and using the slope method to replace the usual sub - polynomial factor with a logarithmic factor, the number of these hypersurfaces can be estimated more precisely.
### Specific problem description
1. **Background and motivation**:
- The author utilizes the determinant methods of Bombieri - Pila and Heath - Brown and their reformulations by Chen in the framework of Arakelov geometry using the Bost slope method.
- The author also introduces the complex cell structure proposed by Binyamini and Novikov to improve the estimate of the number of hypersurfaces.
2. **Main objectives**:
- Estimate the number of hypersurfaces required to cover the regular rational points on the projective variety \(X\) with bounded Arakelov height.
- Improve the sub - polynomial factor used in previous work to a logarithmic factor, thereby increasing the precision of the estimate.
3. **Specific problems**:
- Given a finite extension \(K\) and a positive integer \(M\), let \(\iota: X\hookrightarrow\mathbb{P}^M_K\) be a closed immersion, where \(X\) is an irreducible sub - variety with dimension \(n\) and degree \(d\).
- The goal is to prove that there exists a constant \(B_0>0\) that depends only on \(M\), \(n\), \(d\) and \(K\), such that for any \(B > B_0\), the set \(S_1(X, B)\) of regular \(K\)-points with height not exceeding \(B\) can be covered by \(N\) hypersurfaces defined over \(K\) with degree \(\lceil d\log B\rceil\) and not containing \(X\), where
\[
N\leqslant\text{poly}_{M,n,K}(d,\log B)\cdot B^{(n + 1)d-1/n}.
\]
### Main contributions
1. **Introduction of complex cell structure**: By introducing the complex cell structure, the author can estimate the number of hypersurfaces required to cover the regular rational points more precisely.
2. **Improvement of estimation factor**: Replacing the sub - polynomial factor with a logarithmic factor improves the precision of the estimate.
3. **Combination of multiple methods**: The combined use of the determinant method, the slope method and the complex cell structure provides a more refined estimate.
Through these improvements, the author hopes to estimate more accurately the number of hypersurfaces required to cover the regular rational points on the projective variety with bounded Arakelov height, thus promoting the research progress in related fields.