Borisov–Alexeev–Borisov conjecture
For every integer and every real number , the class of -dimensional -log-canonical Fano varieties over a field, equivalently varieties with , -lc singularities, and ample anticanonical divisor , is bounded. In the surface case considered by Bhutani and Das, for every the class of geometrically integral -klt del Pezzo surfaces over arbitrary fields is bounded.
References
Primary source
Additional references
- Boundedness of geometrically integral ε-klt del Pezzo surfaces — arXiv — Shikha Bhutani, Sudipta Das
Progress summary
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 , was established earlier; later work gives sharper quantitative bounds.
September 2026 positive-characteristic surface claim
Bhutani and Das claim that geometrically integral -klt del Pezzo surfaces are bounded in all positive characteristics. Their preprint proves the stated uniform irregularity bound in characteristics , , and , 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
- arxiv.org
- mathunion.org
- ar5iv.labs.arxiv.org
- arxiv.org
- api.repository.cam.ac.uk
- youtube.com
- chenjiangfudan.github.io
- openai.com
- cdn.openai.com
- openai.com
- export.arxiv.org
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- x.com
- cdn.openai.com
- deepmind.google
- openai.com
- cdn.openai.com
- quantamagazine.org
- cdn.openai.com
- quantamagazine.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
Solutions 0
No solutions have been posted yet.