On Thom polynomials of the singularities \(D_ k\) and \(E_ k\) (Q678797)

A smooth map \(f:(N,x) \to(P,y)\) is said to be AD-regular (resp. ADE-regular), if every singularity of \(f\) is of type \(A_k\) or \(D_k\) (resp. \(A_k\), \(D_k\) or \(E_k)\) with any number \(k\). The Thom polynomial of the singularity \(D_k\) (resp. \(E_k)\) for \(f\) is defined as the Poincaré dual class of the fundamental class of \(S_{\overline D_k} (f)\) (resp. \(S_{\overline E_k} (f))\) in \(H_*(N;\mathbb{Z}/2\mathbb{Z})\) denoted by \(P(D_k,f)\) (resp. \(P(E_k,f))\), where \(S_{\overline D_k} (f)\) (resp. \(S_{\overline E_k} (f))\) is the topological closure of the subset consisting of all singular points of type \(D_k\) (resp. \(E_k)\) of \(f\). The author gives formulae calculating \(P(D_k,f)\) for AD-regular maps and \(P(E_k,f)\) for ADE-regular maps in a finite process. Some generalizations are also obtained.