Deformation Formulas for Parameterized Hypersurfaces

Abstract

We investigate one-parameter deformations of functions on affine space which define parameterizable hypersurfaces. With the assumption of isolated polar activity at the origin, we are able to completely express the Lê numbers of the special fiber in terms of the Lê numbers of the generic fiber and the characteristic polar multiplicities of the comparison complex, a perverse sheaf naturally associated to any reduced complex analytic space on which the constant sheaf Q • X [dim X] is perverse. This generalizes the classical formula for the Milnor number of a plane curve in terms of double points as well as Mond's image Milnor number. We also recover results of Gaffney and Bobadilla using this framework. We obtain similar deformation formulas for maps from C 2 to C 3 , and provide an ansatz for obtaining deformation formulas for all dimensions within Mather's nice dimensions.Résumé. -Nous étudions les déformations à un paramètre de fonctions sur un espace affine qui définissent des hypersurfaces paramétrables. Avec l'hypothèse d'une activité polaire isolée à l'origine, nous pouvons exprimer complètement les nombres Lê de la fibre spéciale en fonction des nombres Lê de la fibre générique et des multiplicités polaires caractéristiques de la complexe comparaison, un faisceau pervers naturellement associé à tout espace analytique complexe réduit sur lequel le faisceau constant Q • X [dim X] est pervers. Cela généralise la formule classique du nombre de Milnor d'une courbe plane en termes de points doubles ainsi que le nombre de Milnor de l'image de Mond. Nous récupérons également les résultats de Gaffney et Bobadilla en utilisant ce cadre. Nous obtenons des formules de déformation similaires pour les cartes de C 2 à C 3 , et fournissons un ansatz pour obtenir des formules de déformation pour toutes les dimensions dans les dimensions agréables de Mather. Generalizing Milnor's Formula to Higher DimensionsSuppose that U is an open neighborhood of the origin in C 2 . Let f 0 : (U, 0) → (C, 0) be a complex analytic function which has an isolated critical point at the origin. Thus, f 0 defines a plane curve V (f 0