- The paper establishes the existence and uniqueness of an expanding soliton model for the Kähler-Ricci flow on spaces with isolated conical singularities.
- It employs a combination of local and global gluing techniques with delicate PDE estimates to ensure precise curvature control and asymptotic convergence.
- The study underscores the role of soliton-based desingularization in resolving singularities and advancing the analytic minimal model program.
Expanding Soliton Models for Kähler-Ricci Flow Near Conical Singularities
Introduction and Motivation
The paper "Expanding Soliton Models for Kähler-Ricci Flow Near Conical Singularities" (2604.04223) addresses the geometric and analytic structure of the Kähler-Ricci flow (KRF) initialized on complex spaces with isolated conical singularities. The paradigm is motivated by the analytic minimal model program, where the interplay between singularity formation and the continuation of geometric flows through such singularities is essential. While significant advances have been made for the Riemannian Ricci flow in singular settings, the geometric description near singularities under the Kähler-Ricci flow—crucial in both complex geometry and birational classification of varieties—remained incomplete, especially in the absence of curvature sign assumptions on the underlying cones. This work provides a novel soliton-based local model, constructing and characterizing the Kähler-Ricci flow as a desingularization process via expanding gradient Kähler-Ricci solitons asymptotic to the conical data.
Main Results
The central theorem establishes the existence, uniqueness, and precise asymptotic behavior of solutions to the KRF starting from a compact analytic Kähler space Y with finitely many isolated conical singularities, each modeled on an admissible Kähler cone. The results can be summarized as follows:
- Existence: For each such Y, there exists a smooth Kähler manifold M and a smooth Kähler-Ricci flow g(t) for t∈(0,T] on M such that (M,dg(t)) Gromov-Hausdorff converges to (Y,dY) as t→0+, and π∗g(t) converges smoothly and uniformly away from the singular points to the initial metric Y0.
- Curvature Bound: The evolving metrics satisfy a sharp bound Y1 for some uniform Y2.
- Local Asymptotics: Near each singularity, and under suitable rescalings, the flow is locally modeled (in the Cheeger-Gromov sense) by the unique expanding Kähler-Ricci soliton asymptotic to the corresponding cone.
- Uniqueness: Any Kähler-Ricci flow with scalar curvature bounded by Y3 and matching the prescribed local convergence to Y4 must coincide with the constructed flow—unlike in the general Ricci flow setting where nonuniqueness is ubiquitous [Angenent-Knopf, Gianniotis-Schulze].
Moreover, the proof demonstrates that, for admissible cones, the modeling expanders exist and are unique (up to biholomorphism), weakening the analytic assumptions needed compared to the Riemannian setting.
Analytical and Geometric Framework
Admissible Kähler Cones and Solitons
The spaces of interest are compact Kähler analytic spaces Y5 with singularities modeled on admissible Kähler cones, i.e., quasi-Calabi-Yau cones with smooth canonical models as in the sense of Demailly-Păun [Demailly-Paun]. The core model in the smoothing process is the unique complete expanding gradient Kähler-Ricci soliton Y6 asymptotic to the cone, classified in [Conlon-Deruelle-Sun]. Notably, the analytic and geometric structure of these expanders is critical for the gluing analysis and subsequent flow estimates.
Construction Outline
The principal technical novelty is the patched local-global construction of the initial data. The authors use a cutoff procedure and gluing parameter Y7 to interpolate between the local conical geometry near each singularity and the smooth Kähler structure away from the singular points. The glued metrics are shown to admit a uniform lower bound (Kähler property), and to be compatible with both the cone and the expander up to controllable error terms.
They then study the complex Monge-Ampère version of the KRF, reducing the analysis to parabolic PDE estimates for the potentials. The linearized and fully nonlinear a priori estimates, including Y8 and higher derivatives, leverage a maximum principle and a barrier function optimized for the presence of the soliton drift vector field. The non-trivial nature of the drift term necessitates a refined adaptation of Yau's technique (as in the Calabi conjecture resolution) and intricate localization procedures to maintain control up to the singular set.
Pseudolocality and Regularity
Curvature control in the conical regions is achieved using Perelman's pseudolocality, combined with Shi-type derivative estimates, yielding space-time curvature bounds with optimal spatial decay rates. These results are localized via cone-adapted barrier functions and rescaled normal forms.
Limit Process and Weak Stability
Letting the gluing/smoothing parameter Y9, the estimates show strong convergence of the Ricci flow sequence to a smooth limit for positive times. In the rescaling limit at singular points, the flows are demonstrated to converge in the smooth Cheeger-Gromov topology to the canonical expander flows, with the convergence realized via biholomorphisms rather than general diffeomorphisms, thus preserving the complex geometric structure.
Uniqueness Mechanism
The uniqueness leverages a combination of maximal regularity of the KRF and the precise boundary behavior encoded in the Monge-Ampère formulation. The result is a sharp classification: any flow satisfying the same initial data and scalar curvature bound must agree with the constructed model, contrasting with the Riemannian case where soliton-based smoothing is non-unique, cf. [Angenent-Knopf].
Comparison to Previous Work
- The analysis removes curvature sign constraints (no positivity required), extending beyond the Ricci flow results of Gianniotis-Schulze [GT 2018] and others.
- The geometric complexity of Kähler cones and the presence of canonical singularities are fully accounted for, in contrast to the 3D or positive curvature cases more typical in the Ricci flow literature.
- The construction aligns the analytic output of Song-Tian [Invent. Math. 2017] with a direct geometric description at the level of tangent flows and Gromov-Hausdorff limits. In particular, the results show that, under these geometric hypotheses, the Song-Tian weak KRF solutions are indeed modeled on expanders near conical singularities—a previously unresolved issue.
Implications and Future Directions
The results have several theoretical and practical consequences:
- Analytic Minimal Model Program: The identification and uniqueness of canonical flows through conical singularities clarify and strengthen aspects of the analytic minimal model program, especially in higher dimensions or in the context of flips and divisorial contractions.
- Geometric Flow Surgery and Desingularization: The soliton-based desingularization paradigm is cemented as the canonical regularization mechanism for Kähler-Ricci flow, underlining the necessity and sufficiency of the asymptotic cone model and the expander's spectral properties.
- Extension to Orbifold and Edge Singularities: The analysis and techniques are poised for extension to orbifold singularities and higher-codimension edge-type singular sets, as hinted by the authors. This would further align the KRF machinery with the full range of singular varieties appearing in birational geometry.
- Broader Connections: The methods exhibit robust parallels with recent work in mean curvature flow from conical singularities [Chodosh-Daniels-Holgate-Schulze] and may inform advances in Kähler-Einstein metrics with conical or edge singularities.
Conclusion
This work provides a comprehensive and detailed geometric-analytic model for the Kähler-Ricci flow through isolated conical singularities: the flow is shown to be governed locally by unique expanding soliton geometries and to admit precise global regularity and convergence properties, with uniqueness in the category of scalar curvature-bounded KRFs. The resulting framework integrates and strengthens analytic, geometric, and birational perspectives, and establishes soliton moduli as central in the classification of KRF singularity resolution (2604.04223).