Lattice-polytope conjecture for generic surface-map singularities

Let cAcA be the parameter space of maps associated with a triple cbmA\inccIththcbmA\inccIthth of integer polytopes, and let cA1cA_1, cA2cA_2, and cA3cA_3 denote the indicated singularity types. Lattice-polytope singularity conjecture. There exist integers m1m_1, m2m_2, and m3m_3, depending only on the respective singularity types cA3cA_3, cA2cA1cA_2cA_1, and cA13cA_1^3, such that a singularity of a generic map f\incAf\incA is of one of these three types and, if cdelta0(f)cdelta_0(f) measures the Milnor number at the origin, then

\hcirΔ(f)\hcirΣ(f)=m1#cA3(f)+m2#cA2cA1(f)+m3#cA13(f)+cdelta0(f).\hcir\Delta(f)-\hcir\Sigma(f)=m_1\#cA_3(f)+m_2\#cA_2cA_1(f)+m_3\#cA_1^3(f)+cdelta_0(f).

This is presented as a generalization of a theorem on generic polynomial maps, and the preceding text says that the generalization remains open.

Sources & referencesView supporting material

Primary source

Boulos El Hilany, “Around the topological classification problem of polynomial maps: A survey”, arXiv:2501.03828 (2025).

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.