\(\mu\)-constant monodromy groups and marked singularities (Q2391369)

Let \(f:(\mathbb{C}^{n+1},0)\to (\mathbb{C},0)\) be a germ of a holomorphic function with an isolated singularity at \(0\). Two types of global objects are associated to \(f\), the so-called \(\mu\)-constant monodromy groups and moduli spaces for marked singularities. The Milnor lattice of \(f\) is \(Ml(f):=H_n(f^{-1}(t), \mathbb{Z})\cong \mathbb{Z}^\mu\), \(\mu\) the Milnor number, \(t>0\) and \(f^{-1}(t)\) a regular fibre. There are two pairings on \(Ml(f)\), the intersection form \(I\) and the Seifert form \(L\). \(L\) determines \(I\) and the monodromy \(M_h\). Let \(G_{\mathbb{Z}}(f):=\text{Aut}(Ml(f), L)\) and \(ML(f)=(Ml(f), L, M_h, I)\). The \(\mu\)-constant monodromy of \(f\) is the subgroup of \(G_{\mathbb{Z}}(f)\) generated by all monodromy groups of all \(\mu\)-constant families which contain \(f\). The author conjectures the \(\mu\)-constant monodromy of \(f\) contains all automorphism, modulo \(\pm\text{id}\). Fix one singularity \(f_0\). A marked singularity is a pair \((f, \pm \rho)\), where \(f\) is a singularity in the \(\mu\)-homotopy class of \(f_0\) and \(\rho: ML(f)\to ML(f_0)\) is an isomorphism. Let \(M^{\text{mar}}_\mu(f_0)\) be the moduli space with respect to right equivalence of marked singularities. Locally \(M^{\text{mar}}_\mu (f)\) is isomorphic to the \(\mu\)-constant stratum of \(f\). The conjecture on the group implies that the moduli spaces are connected. The relation with Torelli type problems is discussed and a new global Torelli type conjecture for marked singularities is formulated. The conjectures are proved for the simple singularities and \(22\) of the \(28\) exceptional singularities.