A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Numerical semiampleness and generalized minimal models
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Color the Plane <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:shapes made of equations Levels:4
Category:Algebraic and complex geometry Lean version:not yet
Rate this game! 4.9 out of 5 (1,657 votes)

>>> How to Play <<<
Numerical semiampleness and generalized minimal models. Proves numerical semiampleness for nef adjoints $K_X+B+M$ with $K_X+B$ pseudo-effective and M nef rational, for projective klt rational pairs over algebraically closed characteristic-zero fields and smooth compact Kähler rational klt simple-normal-crossing pairs, using Bott–Chern cohomology in the latter case. Separately, projective generalized log canonical rational pairs over such fields admit minimal models for pseudo-effective adjoints and Mori fiber spaces otherwise, with nef b-data fixed.

>>> Level Select <<<
released 2026-10-06  |  3 theorems · 24 lemmas · 35 proofs · 24,200 words  |  PLAY LEVEL 1 »  (pdf)
Let X be a smooth connected compact Kähler manifold, let B be an effective rational simple normal crossing divisor with coefficients less than one, and let M be a nef rational holomorphic line bundle on X. If $K_X+B$ is pseudo-effective and $K_X+B+M$ is nef, we prove that its first Chern class in real Bott–Chern cohomology is represented by a semiample rational line bundle. This numerical statement allows a flat change of line bundle; it does not assert semiampleness of the original adjoint.
released 2026-10-03  |  5 theorems · 19 lemmas · 20 proofs · 19,403 words  |  PLAY LEVEL 2 »  (pdf)
We prove the Generalised Abundance Conjecture: if $(X,B)$ is a projective klt ℚ-pair over an algebraically closed field of characteristic zero, $K_X+B$ is pseudo-effective, M is a nef ℚ-Cartier divisor on X, and $K_X+B+M$ is nef, then $K_X+B+M$ is numerically equivalent to a semiample ℚ-Cartier divisor on X.
released 2026-09-24  |  4 theorems · 13 lemmas · 26 proofs · 45,155 words  |  PLAY LEVEL 3 »  (pdf)
We resolve the existence form of the minimal-model conjecture for projective generalized log canonical ℚ-pairs over algebraically closed fields of characteristic zero. Such a pair admits a minimal model when its adjoint divisor is pseudo-effective, and a Mori fibre space otherwise, while keeping the nef ℚ-Cartier b-divisor fixed. Taking the nef part to be zero gives the corresponding result for ordinary log canonical ℚ-pairs.
released 2026-09-24  |  1 theorem · 5 lemmas · 9 proofs · 7,366 words  |  PLAY LEVEL 4 »  (pdf)
We resolve the numerical-dimension-one case of the minimal-model conjecture for smooth connected complex projective varieties of dimension at least three. If KX is pseudo-effective and $\kappa_\sigma(X,K_X)=1$, with κσ defined by section growth with a fixed ample twist, then X admits a projective ℚ-factorial terminal minimal model.

More Algebraic and complex geometry Games!
A stable-coordinate counterexample in four variablesA counterexample to Griffiths' positivity conjectureKobayashi's canonical-ampleness conjectureTangent-bundle splittings and universal covers
A counterexample to Pixton's original completeness conjectureCounterexamples to Kuznetsov's rationality conjectureToda's Gepner conjecture and large-volume stabilityTermination of fourfold minimal model programs HOT!

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