HKT-Ricci-flow maximal-time conjecture

Let (M,I,J,K,g0)(M,I,J,K,g_0) be a compact HKT manifold, let Ω0\Omega_0 be the HKT form of the initial metric, and let Tmax⁡T_{\max} denote the maximal existence time of the unnormalized HKT-Ricci flow starting from g0g_0. Define τ∗(Ω0):=sup⁡{t≥0:[Ω0]−t c1BC(M) contains a positive HKT form}\tau^*(\Omega_0):=\sup\{t\ge 0:[\Omega_0]-t\,c_1^{\mathrm{BC}}(M)\text{ contains a positive HKT form}\}. The conjecture asserts that Tmax⁡=τ∗(Ω0)T_{\max}=\tau^*(\Omega_0); equivalently, the flow exists on [0,τ∗(Ω0))[0,\tau^*(\Omega_0)) and cannot be continued past τ∗(Ω0)\tau^*(\Omega_0) when τ∗(Ω0)<∞\tau^*(\Omega_0)<\infty.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A recent paper proves the predicted flow-time formula for compact locally conformally hyperkähler manifolds, but the conjecture for all compact HKT manifolds remains open.

The conjecture predicts that the HKT flow on a compact manifold exists precisely up to the cohomologically defined time τ∗\tau^{*}. The general statement is not proved; the latest result covers only the locally conformally hyperkähler subclass.

Known results

  • In quaternionic dimension n=1n=1, the conjecture is proved: hyperKähler manifolds have immortal flow, while quaternionic Hopf surfaces admit immortal normalized flow.
  • For general compact HKT manifolds, only conditional resolutions under additional a priori estimates are reported.
  • The hyperKähler case is supported by long-time-flow and quaternionic Monge–Ampère results.

October 6, 2026 locally conformally hyperkähler result

Giovanni Gentili and Luigi Vezzoni report a proof of the conjectured maximal-time formula in the compact locally conformally hyperkähler setting and construct nontrivial solitons on quaternionic Hopf surfaces. This is substantive progress, not a proof for arbitrary compact HKT manifolds.

Current status (as of October 2026): The conjecture is proved in quaternionic dimension n=1n=1 and in the compact locally conformally hyperkähler subclass, while the general compact HKT case remains open.

Sources

Solutions 0

No solutions have been posted yet.