Fernández de Bobadilla's smooth critical-locus conjecture

Let ff be a holomorphic function germ with critical locus Σf\boldsymbol{\Sigma} f, let CC be its irreducible component, and let Ff,pF_{f,\mathbf p} denote the Milnor fiber of ff at a point p\mathbf p. Write nn for the ambient complex dimension and let μC\stackrel{\circ}{\mu}_C be the corresponding transverse Milnor number. Fernández de Bobadilla's conjecture. Suppose that the critical locus of ff has a single irreducible component CC and that the isomorphism type of the cohomology groups H~(Ff,p;Z)\widetilde H^*(F_{f,\mathbf p};{\mathbb Z}) is independent of the choice of pC\mathbf p\in C, with

H~(Ff,0;Z)\widetilde H^*(F_{f,\mathbf 0};{\mathbb Z})

nonzero only in degree n1n-1, and

H~n1(Ff,0;Z)ZμC.\widetilde H^{n-1}(F_{f,\mathbf 0};{\mathbb Z})\cong {\mathbb Z}^{\stackrel{\circ}{\mu}_C}.

Then CC is smooth. The conjecture was presented as related to the Lê–Lazzeri–Gabrielov non-splitting theorem, but does not follow from that theorem by any known argument and remains open.

Sources & referencesView supporting material

Primary source

David B. Massey, “A New Conjecture, a New Invariant, and a New Non-splitting Result”, arXiv:1410.3316 (2015).

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.