Feldman–Ilmanen–Knopf conjecture

Let YY be a compact Kähler manifold, let p∈Yp\in Y, and let π:M=Bl⁡pY→Y\pi:M=\operatorname{Bl}_pY\to Y be the blow-up at pp. Suppose that a Kähler–Ricci flow on MM with initial Kähler class [ω0][\omega_0] becomes singular at time T<∞T<\infty and satisfies [ω0]−Tc1(M)=π∗[ωY][\omega_0]-T c_1(M)=\pi^*[\omega_Y]. Then every Type I\mathrm{I} parabolic blow-up limit of the flow along the exceptional divisor is the Feldman–Ilmanen–Knopf shrinking soliton on Tot⁡(OPn−1(−1))\operatorname{Tot}(\mathcal{O}_{\mathbb{P}^{n-1}}(-1)).

References

Primary source

arXiv

Progress summary

Refreshed
Claimed solved

An August 2026 preprint claims to settle the conjecture in the stated setting, but the result has not yet been independently verified.

The conjecture identifies the unique singularity model arising from a fundamental class of Kähler–Ricci-flow degenerations. Feldman, Ilmanen, and Knopf formulated it after proving uniqueness in the rotationally symmetric setting.

Known results

  • Feldman–Ilmanen–Knopf: uniqueness of the U(n)U(n)-invariant complete shrinking soliton.
  • Maximo: a partial result in complex dimension 22 under additional hypotheses.
  • 2015: the conjecture in the U(n)U(n)-invariant, non-collapsed flow on CPn\mathbb{CP}^{n} blown up at one point; collapsed flows instead limit to a compact soliton.
  • Cifarelli–Conlon–Deruelle: a strong compact-surface result, including bubble classification.

August 2026 preprint claim

A preprint claims that, for the stated compact Kähler blow-ups and finite-time Type I\mathrm{Type}\ I singularities, every exceptional-divisor parabolic blow-up converges to the unique FIK shrinker on Tot⁡(OPn−1(−1))\operatorname{Tot}(\mathcal{O}_{\mathbb{P}^{n-1}}(-1)). The claim is unverified. The authors disclose that Chat GPT and Deepseek assisted with technical checking and exposition, not that they independently produced the proof.

Current status (as of August 2026): Special cases are established, while the new general compact-Kähler theorem remains an unverified preprint claim, so the conjecture is not yet settled.

Sources

Solutions 0

No solutions have been posted yet.