A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Bounded klt complements for Fano contractions
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:shapes made of equations Levels:2
Category:Algebraic and complex geometry Lean version:YES! ✔
Rate this game! 4.0 out of 5 (8,094 votes)

>>> How to Play <<<
Bounded klt complements for Fano contractions. Proves the finite-rational-coefficient form of Shokurov’s bounded-klt-complement conjecture for ϵ-lc complex Fano-type pairs with nef anti-log-canonical divisor. For ϵ-lc Fano contractions over any algebraically closed characteristic-zero field, it gives klt complements near every base point, with index bounded only by dimension and positive rational ϵ.

>>> Level Select <<<
released 2026-09-25  |  1 theorem · 44 lemmas · 68 proofs · 54,435 words  |  PLAY LEVEL 1 »  (pdf)
For fixed dimension d and positive rational ϵ, we prove that every ϵ-log-canonical Fano contraction over an algebraically closed field of characteristic zero admits, near each closed base point, a klt complement of index bounded only by d and ϵ. Over ℂ, we also obtain monotone klt complements for Fano type pairs with nef anti-log-canonical divisor and coefficients in a fixed finite rational set. This proves the finite-rational-coefficient form of Shokurov's bounded-klt-complement conjecture.
released 2026-09-25  |  2 theorems · 35 lemmas · 62 proofs · 55,872 words  |  PLAY LEVEL 2 »  (pdf)
We prove the Cartier-divisor conjecture of Birkar and Shokurov for rational boundaries in characteristic zero and for real boundaries over ℂ. For an ϵ-lc Fano type contraction with positive-dimensional base and nef negative log canonical class, a Cartier divisor through any prescribed base point can be chosen with pullback log canonical threshold bounded below in terms of the dimension and ϵ alone.

More Algebraic and complex geometry Games!
The equivariant cohomological Hikita conjecture for quiversCounterexamples to Shafarevich holomorphic convexityComplex counterexamples to cancellation and affine fibrationsA characteristic-zero counterexample to Lipman–Zariski
A stable-coordinate counterexample in four variablesA counterexample to Griffiths' positivity conjectureKobayashi's canonical-ampleness conjectureTangent-bundle splittings and universal covers

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games