Abstract:In their recent article, Min Ru and Paul Vojta, among other things, proved the so-called general theorem (arithmetic part) which can be viewed as an extension of Schmidt's subspace theorem. In this note, we extend their result by replacing the divisors by closed subschemes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the results of Ru - Vojta from divisors to closed subschemes. Specifically, the paper aims to expand the scope of application of Schmidt's subspace theorem to cover a wider range of mathematical objects.
### Problem Background
Schmidt's subspace theorem is an important result in number theory, which provides a method to study the distribution of rational points on certain algebraic varieties. Min Ru and Paul Vojta have already generalized this theorem to the case of divisors in their previous work. However, many geometric objects are not only divisors but also include more complex closed subschemes. Therefore, it is very meaningful to further generalize this theorem to be applicable to closed subschemes.
### Main Contributions of the Paper
In this paper, the authors successfully generalize the results of Ru - Vojta from divisors to closed subschemes by introducing new definitions and techniques. Specifically, they define a new invariant \(\beta(L, Y)\), where \(L\) is a big line bundle and \(Y\) is a closed subscheme. This invariant is used to measure the influence of the closed subscheme on the distribution of points on the algebraic variety.
### Main Theorem
The main theorem of the paper can be stated as follows:
Let \(X\) be a projective variety defined over a number field \(k\), \(Y_1,\ldots, Y_q\) be closed subschemes of \(X\) intersecting in appropriate positions, \(L\) be a big line bundle on \(X\), and \(S\subset M_k\) be a finite set of places. Then for any \(\epsilon> 0\), the inequality
\[
\sum_{i = 1}^q\beta(L, Y_i)m_{Y_i, S}(p)\leq(1 + \epsilon)h_L(p)
\]
holds for all \(k\)-rational points \(p\) not in some proper Zariski - closed subset of \(X\). Here,
\[
m_{Y, S}(p):=\sum_{v\in S}\lambda_{Y, v}(p),
\]
where \(\lambda_{Y, v}\) is the Weil function with respect to the closed subscheme \(Y\) and the place \(v\).
### Significance
This generalization not only enriches the scope of application of Schmidt's subspace theorem but also provides new tools for studying more complex algebraic - geometric objects. In addition, this result is also closely related to Nevanlinna theory, which provides more possibilities for further research.
In conclusion, the main goal of this paper is to generalize the existing number - theoretic results from divisors to closed subschemes, thereby providing a broader and more powerful tool for studying the distribution of rational points on algebraic varieties.