Bobadilla's conjecture on the smoothness of an irreducible singular locus

Let ff be a function germ, let Σf\Sigma f be its singular locus, and let Ff,0F_{f,\mathbf 0} and Ff,pF_{f,\mathbf p} denote the Milnor fibers at 0\mathbf 0 and at points pΣf\mathbf p\in\Sigma f near 0\mathbf 0, respectively. Assume that Σf\Sigma f is an irreducible curve at 0\mathbf 0 and that

H(Ff,0)H(Ff,p)H^*(F_{f,\mathbf 0})\cong H^*(F_{f,\mathbf p})

for pΣf\mathbf p\in\Sigma f near 0\mathbf 0.

Bobadilla's conjecture. Under these assumptions, Σf\Sigma f is smooth at 0\mathbf 0.

This conjecture asks whether constancy of the cohomology of the Milnor fiber along an irreducible one-dimensional singular locus forces that locus to be smooth. The supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

David B. Massey, “Minkowski Inequalities and non-isolated hypersurface singularities”, arXiv:2406.11758 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.