A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Counterexamples to Zariski's multiplicity conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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.3 out of 5 (784 votes)

>>> How to Play <<<
Counterexamples to Zariski’s multiplicity conjecture. Disproves Zariski's multiplicity conjecture by constructing reduced holomorphic hypersurface germs that are ambiently homeomorphic but have different multiplicities. The examples include hypersurfaces in ℂ4 with isolated critical points and multiplicities four and five.

>>> Level Select <<<
released 2026-09-24  |  9 theorems · 11 lemmas · 20 proofs · 13,268 words  |  PLAY LEVEL 1 »  (pdf)
We give a negative answer to the embedded Zariski multiplicity conjecture. We construct two reduced hypersurface germs that are ambiently homeomorphic but have multiplicities two and three. Both have isolated singularities and lie in a common complex affine space of dimension divisible by eight. Their defining function germs are also topologically right equivalent, and the same examples answer Arnold's corank problem negatively for ambient topological equivalence.
released 2026-09-27  |  2 theorems · 18 lemmas · 21 proofs · 17,567 words  |  PLAY LEVEL 2 »  (pdf)
We give a negative answer to Zariski's multiplicity question in four complex variables. We construct two reduced convergent holomorphic function germs with isolated critical points and multiplicities four and five whose zero-set germs are ambiently homeomorphic.

More Algebraic and complex geometry Games!
Kobayashi's canonical-ampleness conjectureTangent-bundle splittings and universal coversA counterexample to Pixton's original completeness conjectureCounterexamples to Kuznetsov's rationality conjecture
Toda's Gepner conjecture and large-volume stabilityTermination 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