Abstract:We study the collapsing of Calabi-Yau metrics and of Kahler-Ricci flows on fiber spaces where the base is smooth. We identify the collapsed Gromov-Hausdorff limit of the Kahler-Ricci flow when the divisorial part of the discriminant locus has simple normal crossings. In either setting, we also obtain an explicit bound for the real codimension 2 Hausdorff measure of the Cheeger-Colding singular set, and identify a sufficient condition from birational geometry to understand the metric behavior of the limiting metric on the base.
What problem does this paper attempt to address?
This paper aims to study the collapsing behavior of Calabi - Yau manifolds and the long - time solutions of the Kähler - Ricci flow. Specifically, the author focuses on the collapsing behavior of Calabi - Yau metrics and the Kähler - Ricci flow on fiber spaces when the base space is smooth. The following are the main problems that the paper attempts to solve:
1. **Collapse of Calabi - Yau manifolds**:
- Study the behavior of Ricci - flat Kähler metrics on Calabi - Yau manifolds along specific paths, especially the limit behavior as \(t \to \infty\).
- Identify the Gromov - Hausdorff limit and determine its relationship with the base space \(N\).
- Give an explicit bound for the real two - dimensional Hausdorff measure of the Cheeger - Colding singular set \(S\).
2. **Long - time solutions of the Kähler - Ricci flow**:
- Study the long - time behavior of the Kähler - Ricci flow on fiber spaces, especially the limit behavior as \(t \to \infty\).
- Identify the limit metric of the Kähler - Ricci flow and determine its relationship with the base space \(N\).
- Give an explicit bound for the real two - dimensional Hausdorff measure of the Cheeger - Colding singular set \(S\).
3. **Results in the general case**:
- When the base space \(N\) is allowed to have singularities, give an algebraic - geometric condition that is sufficient to prove a key estimate (1.4), thereby further understanding the behavior of the limit metric.
- Prove the Gromov - Hausdorff convergence of the Kähler - Ricci flow under the log - smooth assumption.
Specifically, the main contributions of the paper include:
- **Bounds on Hausdorff measure**:
- In the Calabi - Yau setting or the Kähler - Ricci flow setting, assume that the base space \(N\) is smooth and \([\omega_N] \in H^2(N,\mathbb{Q})\), then the Cheeger - Colding singular set \(S\) satisfies:
\[
H^{2n - 2}(S) \leq C_n\int_D\omega_N^{n - 1}
\]
where \(C_n\) is a dimension - dependent constant.
- **Algebraic - geometric condition**:
- Identify an algebraic - geometric condition from birational geometry that is sufficient to prove the key estimate (1.4), thereby further understanding the behavior of the limit metric.
- **Gromov - Hausdorff convergence**:
- Under the log - smooth assumption, prove the Gromov - Hausdorff convergence of the Kähler - Ricci flow, which is the first time this conjecture has been proven when the dimension of the base space \(N\) is greater than 1.
These results not only advance the understanding of Calabi - Yau manifolds and the Kähler - Ricci flow but also provide an important theoretical basis for further research in related fields.