A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Toda's Gepner conjecture and large-volume stability
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

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

>>> How to Play <<<
Gepner symmetry and large-volume stability on threefolds. Proves Toda's Gepner conjecture for every smooth complex quintic threefold, constructing a numerical Bridgeland stability condition with the prescribed phase shift 2/5. Also constructs numerical Bridgeland stability conditions at every sufficiently large volume on all smooth projective complex threefolds with trivial canonical bundle, with the exact ordinary and square-root-Todd central charges.

>>> Level Select <<<
released 2026-09-24  |  1 theorem · 12 lemmas · 18 proofs · 9,707 words  |  PLAY LEVEL 1 »  (pdf)
We prove Toda's normalized quintic Gepner conjecture. On every smooth complex quintic threefold, we construct a numerical Bridgeland stability condition for which tensoring by the hyperplane bundle, followed by the spherical twist at the structure sheaf, increases phase by 2/5.
released 2026-09-24  |  2 theorems · 25 lemmas · 34 proofs · 22,770 words  |  PLAY LEVEL 2 »  (pdf)
Let X be a smooth projective complex threefold with trivial canonical bundle. We construct numerical Bridgeland stability conditions with the exact ordinary and square-root-Todd central charges at every sufficiently large volume. One volume threshold works on an open set of real twists and ample directions. The resulting stability conditions have the support property on the full numerical Grothendieck group and stable point sheaves. Separately, on every smooth projective complex threefold we prove a strong tilt inequality above a volume threshold uniform in the object and twist along a fixed polarization.

More Algebraic and complex geometry Games!
A counterexample to Griffiths' positivity conjectureKobayashi's canonical-ampleness conjectureTangent-bundle splittings and universal coversA counterexample to Pixton's original completeness conjecture
Counterexamples to Kuznetsov's rationality conjectureTermination of fourfold minimal model programs HOT!Campana's abelianity conjecture and special varietiesThe Kollár–Pardon universal-cover conjecture

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