The metric Zariski multiplicity conjecture in dimension 4
Abstract
Recently, OpenAI announced a counterexample to the Zariski multiplicity conjecture in dimension 4. Here, we prove that the metric Zariski multiplicity conjecture is true in dimension 4. More precisely, let f,g:(ℂn,0)→(ℂ,0) be germs of reduced holomorphic functions, and let φ:(ℂn,0)→(ℂn,0) be a bi-Lipschitz homeomorphism such that φ(V(f))=V(g). We prove that if every irreducible component of the tangent cone of V(f) at the origin has a singular locus of dimension at most two, then V(f) and V(g) have the same multiplicity at the origin. In particular, the multiplicity of complex analytic hypersurface singularities in ℂn, n≤ 4, is an embedded bi-Lipschitz invariant; the cases n=2 and n=3 were known. This extends a previous result of the author for tangent cones whose components have singular loci of dimension at most one. We also prove that two irreducible homogeneous hypersurfaces whose singular loci have dimension at most two, and which are mapped onto each other by a homeomorphism of ℂn fixing the origin, have the same degree.
Related
- Metric dimension and maximum eigenvalue multiplicity of graph Laplacians
- On the Arnold corank, the Zariski multiplicity, and the tangent Milnor fiber problems
- A proof of the Zariski closure conjecture and quasi-Frobenius exponential algebras
- Quantum entropy and the Bannai--Ito multiplicity conjecture
- Multiplicity One and van Dijk's Conjecture for Connected Complex Symmetric Spaces
BibTeX
@misc{sampaio2026metric,
title = {{The metric Zariski multiplicity conjecture in dimension 4}},
author = {José Edson Sampaio},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.41954},
eprint = {2610.41954},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.41954},
}
RIS
TY - UNPB
TI - The metric Zariski multiplicity conjecture in dimension 4
AU - José Edson Sampaio
PY - 2026
DA - 2026/10/30
PB - arXiv
DO - 10.48550/arxiv.2610.41954
UR - https://arxiv.org/abs/2610.41954
AB - Recently, OpenAI announced a counterexample to the Zariski multiplicity conjecture in dimension 4. Here, we prove that the metric Zariski multiplicity conjecture is true in dimension 4. More precisely, let f,g:(ℂ^n,0)→(ℂ,0) be germs of reduced holomorphic functions, and let φ:(ℂ^n,0)→(ℂ^n,0) be a bi-Lipschitz homeomorphism such that φ(V(f))=V(g). We prove that if every irreducible component of the tangent cone of V(f) at the origin has a singular locus of dimension at most two, then V(f) and V(g) have the same multiplicity at the origin. In particular, the multiplicity of complex analytic hypersurface singularities in ℂ^n, n≤ 4, is an embedded bi-Lipschitz invariant; the cases n=2 and n=3 were known. This extends a previous result of the author for tangent cones whose components have singular loci of dimension at most one. We also prove that two irreducible homogeneous hypersurfaces whose singular loci have dimension at most two, and which are mapped onto each other by a homeomorphism of ℂ^n fixing the origin, have the same degree.
ER -