Abstract:Batyrev and Tschinkel's example is a Fermat cubic surface bundle $X$ which is a Fano $5$-fold. It is the first example for which Manin's conjecture can never hold for a proper closed exceptional set. Lehmann, Sengupta, and Tanimoto proposed a conjectural geometric description of the exceptional set in Manin's conjecture and showed that it is always contained in a thin set. Over a field of characteristic $0$, we construct finitely many thin maps such that any thin map $f:Y\rightarrow X$ with equal or larger $a$- and $b$-values in lexicographical order factors rationally through one of them. In particular, these define a thin set which coincides with the conjectural exceptional set.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is, in the Manin conjecture, for the examples of Batyrev and Tschinkel, how to define a geometric exceptional set such that after removing this set, a meaningful asymptotic formula can be obtained to reflect the geometric characteristics of the entire variety.
Specifically, the Manin conjecture provides an asymptotic formula regarding the change in the number of rational points as the height increases. However, on many varieties, there exist some proper closed subsets that contain almost all rational points, which leads to the inability to obtain meaningful results when directly applying the Manin conjecture. Therefore, it is necessary to define an "exceptional set" to exclude these points in order to obtain a more accurate asymptotic formula.
The example of Batyrev and Tschinkel is a special one. It is a Fermat cubic surface bundle \(X\), which is a Fano 5 - fold. The characteristic of this example is that there does not exist any proper closed subset such that the Manin conjecture holds. Therefore, Lehmann, Sengupta and Tanimoto proposed an exception set with a geometric description and proved that this exception set is always contained in a "thin set".
In this paper, the author constructs finitely many thin maps such that any thin map with the same or larger \(a\)-value and \(b\)-value can reasonably pass through one of these maps. In particular, these maps define a thin set that coincides with the proposed geometric exception set.
### Main contributions
1. **Constructing thin maps**: The author constructs finitely many thin maps, and these maps define a thin set.
2. **Verifying the geometric exception set**: It is proved that this thin set is consistent with the geometric exception set proposed by Lehmann, Sengupta and Tanimoto.
3. **Concrete calculations**: Concrete calculations are carried out for the examples of Batyrev and Tschinkel to verify the theoretical results.
### Formula summary
- **a - invariant**:
\[
a(X, L) := \min \{ t \in \mathbb{R} \mid K_X + tL \in \text{Eff}^1(X) \}
\]
- **b - invariant**:
\[
b(F, X, L) := \dim F_{X, L}
\]
where \(F_{X, L} := \{ \alpha \in \text{Nef}_1(X) \mid (K_X + a(X, L)L) \cdot \alpha = 0 \}\).
### Conclusion
Through these results, the author not only solves the problem of the geometric exception set in the examples of Batyrev and Tschinkel, but also provides new ideas and methods for the application of the Manin conjecture on high - dimensional varieties.