On the semi-universal deformation of a simple-elliptic hypersurface singularity: Part I: Unimodularity
On the semi-universal deformation of a simple-elliptic hypersurface singularity: Part I: Unimodularity
复制标题
DOI:
10.1016/0040-9383(77)90006-4
复制
发表时间:
1977
期刊:
影响因子:
--
通讯作者:
E. Looijenga
中科院分区:
文献类型:
--
作者:
E. Looijenga
IN VI ARNOLD’S hierarchy of isolated hypersurface singularities the simple-elliptic singularities come next to the simple singularities and this property actually characterizes them. According to K. Saito they admit in dimension two the following alternative description. Let C be an elliptic curve and let 1 be a line bundle over C with negative Chern class c (l). The space X0 obtained by collapsing the null-section of 1 to a point is known to admit a canonical algebraic structure. Saito has shown that X0 is a hypersurface if and only if c (l) E {--I,-2,-3). The hypersurfaces thus obtained have an isolated singularity which is simple-elliptic and conversely any two-dimensional simple-elliptic singularity arises in this way (hence their name). In particular, any such singularity admits a resolution with an elliptic curve isomorphic to C as exceptional divisor. The advantage of this description is that it explains why they occur in one-dimensional families: apart from c (l), they are distinguished by the j-invariant of C, which thus parametrizes a moduli space of simple-elliptic singularities. The deformation theory of the singularities with c (l)=-i (=-1,-2,-3) turns out to have an intimate connection with the affine root system &+. That is why this class of singularities is labeled by the symbol Bgmi.(Note that i is just the connection index of the root system Esei).According to GN Tyurina and Kas-Schlessinger a complex space with isolated singularity admits a semi-universal deformation. We propose to investigate the semi-universal deformation of a simple-elliptic singularity. In particular, we shall give in part II a description a la Brieskorn-Grothendieck of the discriminant locus of such a deformation. The present paper will show that two simple-elliptic singularities belonging to the same family have topologically equivalent semi-universal deformations. In this way we will obtain explicit examples of topologically stable map-germs which are not analytically stable. It is noteworthy that these examples show that neither the Boardman symbol nor, as G.-M. Greuel pointed out to me, the number of cusps constitute a topological invariant for stable map-germs. This contradicts a conjecture of F. Pham and others (cf. conjecture (3.8) in expose X of Asterisque 17). For a more detailed discussion, see the remarks following (1.2). An earlier version of this paper contained a rather serious error. I thank 0. W. Liaschko and VI Arnol’d for pointing this out to me.