Threefold log abundance in numerical dimension one in characteristic p>3 at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Threefold log abundance in numerical dimension one in characteristic $p>3$

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

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:	2
Category:	Algebraic and complex geometry	Lean version:	not yet
Rate this game! 4.3 out of 5 (4,525 votes)

>>> How to Play <<<

Log-canonical threefold abundance in numerical dimension one. Proves log abundance for projective log canonical threefold pairs over algebraically closed fields of characteristic p > 3 when the effective boundary is rational and the ℚ-Cartier adjoint is nef of numerical dimension one. The adjoint is semiample, without requiring the original variety to be terminal or ℚ-factorial.

>>> Level Select <<<

LEVEL 1 Log abundance in numerical dimension one for threefolds in positive characteristic

released 2026-10-05 | 2 theorems · 2 lemmas · 9 proofs · 7,828 words | PLAY LEVEL 1 » (pdf)

We prove the numerical-dimension-one case of log abundance for threefolds over algebraically closed fields of characteristic p > 3. If $(X,B)$ is a projective log canonical threefold pair with effective rational boundary, and $K_X+B$ is ℚ-Cartier, nef, and of numerical dimension one, then $K_X+B$ is semiample. Neither terminality nor ℚ-factoriality of X is required.

LEVEL 2 Abundance in numerical dimension one for terminal threefolds in positive characteristic

released 2026-09-24 | 2 theorems · 19 lemmas · 29 proofs · 21,963 words | PLAY LEVEL 2 » (pdf)

Let X be a projective ℚ-factorial terminal threefold over an algebraically closed field of characteristic p > 3. We prove the numerical-dimension-one case of abundance: if K_X is nef with $\nu(K_X)=1$, then K_X is semiample and $\kappa(X,K_X)=1$.

More Algebraic and complex geometry Games!
Anticanonical nonvanishing under smooth semipositivity	Quantum geometric Langlands at irrational level	The rational Hodge conjecture for CM abelian varieties HOT!	Campana's orbifold Iitaka conjecture and logarithmic subadditivity
Log abundance and effective Iitaka fibrations	Numerical semiampleness and generalized minimal models	The sharp ordinary-double-point volume gap	Fujita's freeness conjecture HOT!

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600