Abstract:We give a complete description of the behavior of the volume function at the boundary of the pseudoeffective cone of certain Calabi-Yau complete intersections known as Wehler N-folds. We find that the volume function exhibits a pathological behavior when N>=3, we obtain examples of a pseudoeffective R-divisor D for which the volume of D+sA, with s small and A ample, oscillates between two powers of s, and we deduce the sharp regularity of this function answering a question of Lazarsfeld. We also show that h^0(X,[mD]+A) displays a similar oscillatory behavior as m increases, showing that several notions of numerical dimensions of D do not agree and disproving a conjecture of Fujino. We accomplish this by relating the behavior of the volume function along a segment to the visits of a corresponding hyperbolic geodesics to the cusps of a hyperbolic manifold.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve include:
1. **Behavior of the volume function on the boundary of the pseudo - effective cone**:
- The paper describes the behavior of the volume function on the boundary of the pseudo - effective cone of certain Calabi - Yau complete intersections (called Wehler N - folds). It is found that when \( N\geq3 \), the volume function exhibits pathological behavior. Specifically, for a pseudo - effective \( \mathbb{R} \)-divisor \( D \), when \( s \) is small, \( \text{vol}(D + sA) \) oscillates between two powers of \( s \). This answers a question raised by Lazarsfeld and reveals the optimal regularity of the volume function in this case.
2. **Growth rate of zero - volume divisors**:
- The research also shows that as \( m \) increases, \( h^0(X,\lfloor mD\rfloor + A) \) also exhibits a similar oscillatory behavior. This indicates that several numerical dimension concepts of \( D \) are not consistent and refutes a conjecture of Fujino.
3. **Main results**:
- For each \( N\geq3 \), there exists a smooth Calabi - Yau N - fold \( X \) such that for any real number \( \delta\in[1,\frac{N}{2}] \), there exists a pseudo - effective \( \mathbb{R} \)-divisor \( D \) with zero volume, and for any sufficiently large divisor \( A \), the following limit properties hold:
\[
\liminf_{s\downarrow0}\frac{\log\text{vol}(D + sA)}{\log s}=\delta,
\]
\[
\limsup_{s\downarrow0}\frac{\log\text{vol}(D + sA)}{\log s}=\frac{N}{2},
\]
\[
\limsup_{m\to\infty}\frac{\log h^0(X,\lfloor mD\rfloor + A)}{\log m}=N - \delta,
\]
\[
\liminf_{m\to\infty}\frac{\log h^0(X,\lfloor mD\rfloor + A)}{\log m}=\frac{N}{2}.
\]
4. **Regularity of the volume function**:
- The paper discusses the regularity problem of the volume function on the boundary of the pseudo - effective cone, especially whether \( s\mapsto\text{vol}(D + sA) \) is smooth or real - analytic. Through the results of the main theorem, the author proves that this function is not \( C^{1,\alpha} \) regular in some cases.
5. **Applications of numerical dimension**:
- The paper further explores various numerical dimension concepts of pseudo - effective \( \mathbb{R} \)-divisors and shows that these concepts are not equal in general, thus refuting a conjecture of Fujino about numerical dimension.
In conclusion, by studying the behavior of the volume function and related geometric quantities on specific Calabi - Yau manifolds, this paper reveals the complexity and irregularity of these functions and quantities and presents new mathematical insights.