Borisov–Alexeev–Borisov conjecture

For every integer d≥1d\ge 1 and every real number ε>0\varepsilon>0, the class of dd-dimensional ε\varepsilon-log-canonical Fano varieties over a field, equivalently varieties XX with dim⁡X=d\dim X=d, ε\varepsilon-lc singularities, and ample anticanonical divisor −KX-K_X, is bounded. In the surface case considered by Bhutani and Das, for every ε>0\varepsilon>0 the class of geometrically integral ε\varepsilon-klt del Pezzo surfaces over arbitrary fields is bounded.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

The characteristic-zero conjecture is proved, while a new unrefereed paper claims the remaining surface cases over fields of positive characteristic.

Alexeev and the Borisov brothers proposed boundedness for Fano varieties with fixed dimension and singularity threshold. Birkar later proved the conjecture in characteristic zero in all dimensions.

Known results

  • Birkar (2016) proved characteristic-zero boundedness for fixed dimension and fixed singularity threshold, including pairs with nef and big anticanonical divisor.
  • The weak three-dimensional form, bounding anticanonical volume in terms of ε\varepsilon, was established earlier; later work gives sharper quantitative bounds.

September 2026 positive-characteristic surface claim

Bhutani and Das claim that geometrically integral ε\varepsilon-klt del Pezzo surfaces are bounded in all positive characteristics. Their preprint proves the stated uniform irregularity bound q(X)≤1+1/εq(X)\le 1+1/\varepsilon in characteristics 22, 33, and 55, completing the remaining surface cases; the claim is unrefereed and unverified.

Current status (as of September 2026): Birkar's characteristic-zero theorem is settled, while the claimed arbitrary-field surface completion awaits verification and these sources do not establish higher-dimensional positive-characteristic cases.

Sources

Solutions 0

No solutions have been posted yet.