Latest

Algebraic and complex geometry

Counterexamples to Zariski’s multiplicity conjecture

OpenAI research collection · 2 manuscripts · Source checked 2026-10-19

OpenAI's result summary

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.

Read the manuscripts

Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.

MANUSCRIPT 01

Ambiently homeomorphic isolated hypersurfaces of multiplicities two and three

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…

Full source abstract

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.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

MANUSCRIPT 02

Ambiently homeomorphic isolated hypersurface germs in ℂ⁴ with multiplicities four and five

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.

This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.

One signal in the wider AGI picture

New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.

Explore the AGI Clock ↗