Abstract:Let $B$ be a smooth projective curve and let $\pi: \mathcal{X} \to B$ be a smooth integral model of a geometrically integral Fano variety over $K(B)$. Geometric Manin's Conjecture predicts the structure of the irreducible components $M \subset \textrm{Sec}(\mathcal{X}/B)$ which parametrize non-relatively free sections of sufficiently large anticanonical degree. Over the complex numbers, we prove that for any such component $M$ the sections come from morphisms $f: \mathcal{Y} \to \mathcal{X}$ such that the generic fiber of $\mathcal{Y}$ has Fujita invariant $\geq 1$. Furthermore, we prove that there is a bounded family of morphisms $f$ which together account for all such components $M$. These results verify the first part of Batyrev's heuristics for Geometric Manin's Conjecture over $\mathbb{C}$. Our result has ramifications for Manin's Conjecture over global function fields: if we start with a Fano fibration over a number field and reduce mod $p$, we obtain upper bounds of the desired form by first letting the prime go to infinity, then the height.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the classification problem of the non - free part in the geometric Manin conjecture for Fano fibrations. Specifically, the goal of the paper is to classify these "non - free components", especially for Fano fibrations over the complex number field. The authors prove that for non - relatively free sections with a sufficiently large anti - canonical degree, these sections must come from maps that do not decrease the Fujita invariant, and these maps form a bounded family. In addition, the paper also explores the impact of these results on the upper bound estimates of the Manin conjecture over global function fields.
### Main contributions
1. **Classification of non - relatively free sections**:
- The authors prove that for non - relatively free sections with a sufficiently large anti - canonical degree, these sections must come from maps that do not decrease the Fujita invariant.
- These maps form a bounded family, thus verifying the first part of the geometric Manin conjecture.
2. **Control of the Fujita invariant**:
- By using the tools of the minimal model program (MMP), the paper provides a practical method to classify families of non - relatively free sections.
- These results show that the Fujita invariant can be used to control the failure of relative freedom.
3. **Arithmetic applications**:
- The results of the paper can be applied to prove upper bound estimates of the Manin type, especially over global function fields.
- By considering the reduction of Fano fibrations modulo p, the authors obtain upper bound estimates of the counting function of the Manin conjecture.
### Technical details
- **Fujita invariant**:
\[
a(X, L)=\min\{t\in\mathbb{R}\mid K_X + tL\text{ is pseudo - effective}\}
\]
If \(L\) is nef but not big, then formally set \(a(X, L)=\infty\).
- **Main theorems**:
- **Theorem 1.3**: For non - relatively free sections with a sufficiently large anti - canonical degree, these sections must come from maps that do not decrease the Fujita invariant.
- **Theorem 1.6**: All non - relatively free sections come from a bounded family, which consists of maps \(f:Y\rightarrow X\) such that the Fujita invariant of \(Y\) is at least 1.
### Application examples
- **Example 1.5**: Analyze the situation of the moduli space \(\text{Sec}(X/B)\) when \(\pi:X\rightarrow B\) is a cubic hypersurface fibration and \(B\) is a curve of arbitrary genus. When \(\dim(X_\eta)\geq5\), it is shown that the "exceptional set" is empty, so each component of sufficient height will generically parameterize relatively free sections.
- **Example 1.2**: Show that the codimension of non - generally globally generated sections can remain constant as the degree increases, which indicates that the second part of Theorem 1.8 must be included.
### Conclusion
The paper provides an important theoretical basis for understanding the geometric structure of Fano fibrations by classifying non - relatively free sections and verifying the first part of the geometric Manin conjecture. These results are not only of great significance in algebraic geometry but also provide new insights in arithmetic geometry.