arxiv: v2 [math.ag] 16 Nov 2016

Transcription

1 Milnor numbers in deformations of homogeneous singularities Szymon Brzostowski a,, Tadeusz Krasiński a, Justyna Walewska a a Faculty of Mathematics and Computer Science, University of Łódź, ul. Banacha, Łódź, Poland arxiv: v [math.ag] 16 Nov 016 Abstract Let f 0 be a plane curve singularity. We study the Minor numbers of singularities in deformations of f 0. We completely describe the set of these Milnor numbers for homogeneous singularities f 0 in the case of non-degenerate deformations and obtain some partial results on this set in the general case. Keywords: deformation of singularity, Milnor number, Newton polygon, non-degenerate singularity 010 MSC: 3S30, 14B07 1. Introduction Let f 0 : (C n,0) (C,0) be an isolated singularity (in the sequel a singularity means an isolated singularity) and µ( f 0 ) its Milnor number at 0. Consider an arbitrary holomorphic deformation ( f s ) s S of f 0, where s is a single parameter defined in a neighborhood S of 0 C. By the semi-continuity (in the Zariski topology) of Milnor numbers in families of singularities, µ( f s ) is constant for sufficiently small s 0 and µ( f s ) µ( f 0 ). Denote this constant value by µ gen ( f s ) and call it generic Milnor number of the deformation( f s ). Let M(f 0 )=(µ 0 ( f 0 ), µ 1 ( f 0 ),..., µ k ( f 0 )) be the strictly decreasing sequence of generic Milnor numbers of all possible deformations of f 0. In particular µ 0 ( f 0 ) = µ( f 0 ) > µ 1 ( f 0 ) >... > µ k ( f 0 ) = 0. If f 0 is a fixed singularity then the sequence M(f 0 ) will be denoted shortly(µ 0, µ 1,..., µ k ). Analogously we define M nd ( f 0 )=(µ nd 0 ( f 0), µ nd 1 ( f 0),..., µ nd l ( f 0 )), the strictly decreasing sequence of generic Milnor numbers of all possible non-degenerate deformations of f 0 (it means that any element of the family ( f s ) is a Kouchnirenko non-degenerate Szymon Brzostowski and Tadeusz Krasiński were supported by the Polish National Science Centre (NCN), Grant No. 01/07/B/ST1/0393. Szymon Brzostowski and Justyna Walewska were supported by the Polish National Science Centre (NCN) Grant No. 013/09/D/ST1/ Corresponding author addresses: brzosts@math.uni.lodz.pl (Szymon Brzostowski), krasinsk@uni.lodz.pl (Tadeusz Krasiński), walewska@math.uni.lodz.pl (Justyna Walewska) Preprint submitted to Bulletin des Sciences Mathématiques March 19, 014

2 singularity). Notice that the sequence M nd ( f 0 ) is a subsequence of M(f 0 ). The problem of description of M(f 0 ) and M nd ( f 0 ) was posed by A. Bodin [1] who, in turn, generalized related problems posed by A Campo (unpublished) and V.I. Arnold [] (Problems , 198-1). It is a non-trivial problem because by Gusein-Zade [3], see also Brzostowski-Krasiński [4], Bodin [1], Walewska [5], [6], the sequence M(f 0 ) and consequently M nd ( f 0 ) is not always equal to the sequence of all non-negative integers less than µ( f 0 ). For instance, M(x 4 +y 4 )=(9,7,6,...,1,0), M nd (x 4 + y 4 )=(9,6,5,...,1,0). In the paper we will consider the class of homogeneous singularities in the plane. We describe completely the sequence M nd ( f 0 ) for homogeneous plane curve singularities f 0 and we give some partial results on M(f 0 ). The main results are: Theorem 1. If f 0 :(C,0) (C,0) is a homogeneous singularity of degree d (it means f 0 is a homogeneous polynomial of degree d without multiple factors) then if d is odd or d 4 or f 0 is non-convenient, and M nd ( f 0 )=((d 1),(d 1)(d ),...,1,0), (1) M nd ( f 0 )=((d 1),(d 1)(d ),..., d 4d+,...,1,0), () if d is even 6 and f 0 is convenient (â means the symbol a is omitted). Remark 1. The value of the first jump in the above sequences (d 1) (d 1)(d )=d 1 has been given by A. Bodin [1]. The value of the second one equal to 1 was established by J. Walewska [5], [6]. Remark. Since the Milnor number of a non-degenerate singularity depends only on its Newton diagram (see the Kouchnirenko Theorem in Preliminaries) we obtain that Theorem 1 holds also for semi-homogeneous singularities i.e. for singularities of the form f 0 = f 0 + g, where f 0 is a homogeneous singularity of degree d and g is a holomorphic function of order>d. In case M(f 0 ) we can only complement the sequence M nd ( f 0 ) by some numbers. Theorem. If f 0 :(C,0) (C,0) is a homogeneous singularity of degree d 3 then M(f 0 )=((d 1), µ 1,..., µ r,(d 1)(d )+1,(d 1)(d ),...,1,0), where µ 1,..., µ r is an unknown subsequence (may be empty). For a particular homogeneous singularity we have a more precise result. Theorem 3. For the singularity f 0 (x,y)=x d + y d, d, µ 1 ( f 0 )=(d 1), (3) where[a] means the integer part of a real number a.

3 The value of µ 1 ( f 0 ) in Theorem 3, found for very specific singularities, could not be extend to the whole class of homogeneous singularities of degree d, because M(f 0 ) depends on coefficients of f 0. Precisely we have Theorem 4. For homogeneous singularities f 0 of degree d µ 1 ( f 0 ) (d 1) and for f 0 of degree d 5 with generic coefficients we have µ 1 ( f 0 )<(d 1). (4) Remark 3. Having generic coefficients means: there is a proper algebraic subset V in the space C d+1 of coefficients of homogeneous polynomials of degree d such that for homogeneous singularities f 0 of degree d with coefficients outside V the inequality (4) holds.. Preliminaries Let f 0 : (C n,0) (C,0) be an isolated singularity, i.e. f 0 is a germ of a holomorphic function having an isolated critical point at 0 C n and 0 C as the corresponding critical value. A deformation of f 0 is the germ of a holomorphic function f(z,s) :(C n C,0) (C,0) such that: 1. f(z,0)= f 0 (z),. f(0,s)=0. The deformation f(z,s) of the singularity f 0 will be treated as a family ( f s ) of germs, taking f s (z) = f(z,s). Since f 0 is an isolated singularity, f s has also isolated singularities near the origin, for sufficiently small s ([7], Ch.I, Thm.6). Then the Milnor numbers µ( f s ) of f s at 0 are defined. Since the Milnor number is upper semi-continuous in the Zariski topology in families of singularities ([7], Prop..57) there exists an open neighborhood S of 0 C such that 1. µ( f s )=const for s S\{0},. µ( f 0 ) µ( f s ) for s S. Consequently, the notions of µ gen ( f s ), M(f 0 ), and M nd ( f 0 ) in the Introduction are welldefined. Let N be the set of nonnegative integers and R + be the set of nonnegative real numbers. Let f 0 (x,y) = (i, j) N a i j x i y j be a singularity. Put Supp( f 0 ) := {(i, j) N : a i j 0}. The Newton diagram of f 0 is defined as the convex hull of the set (i, j) Supp( f 0 )( (i, j)+r + ) and is denoted by Γ + ( f 0 ). The boundary (inr ) of the diagram Γ + ( f 0 ) is the sum of two half-lines and a finite number of compact line segments. The set of those line segments will be called the Newton polygon of 3

4 f 0 and denoted by Γ( f 0 ). For each segments γ Γ( f 0 ) we define a weighted homogeneous polynomial ( f 0 ) γ := (i, j) γ a i j x i y j. A singularity f 0 is called non-degenerate (in the Kouchnirenko sense) on a segment γ Γ( f 0 ) if and only if the system of equations ( f 0 ) γ x (x,y)=0, ( f 0) γ (x,y)=0, y has no solutions inc C. f 0 is called non-degenerate if and only if it is non-degenerate on every segment γ Γ( f 0 ). A singularity is called convenient if Γ + ( f 0 ) intersects both coordinate axes in R. For such singularities we denote by S the area of the domain bounded by the coordinate axes and the Newton polygon Γ( f 0 ). Let a (resp. b) be the distance of the point(0,0) to the intersection of Γ + ( f 0 ) with the horizontal (resp. vertical) axis. The number ν( f 0 ) := S a b+1, (K) is called the Newton number of the singularity f 0. Let us recall the Planar Kouchnirenko Theorem. Theorem 5 ([8]). For a convenient singularity f 0 we have: 1. µ( f 0 ) ν( f 0 ),. if f 0 is non-degenerate then µ( f 0 )=ν( f 0 ). The Newton number of singularities is monotonic with respect to the Newton diagrams of these singularities (with the relation of inclusion). Proposition 6 ([9], [? ]). If f 0 and f 0 are convenient singularities and Γ + ( f 0 ) Γ + ( f 0 ) then ν( f 0 ) ν( f 0 ). Corollary 7. If f 0 and f 0 are convenient, non-degenerate singularities and Γ + ( f 0 ) Γ + ( f 0 ) then µ( f 0 ) µ( f 0 ). In the paper we will use global results concerning projective algebraic curves proved by A. Płoski. Theorem 8 ([10, Thm 1.1]). Let f = 0, f C[X,Y], be a plane algebraic curve of degree d > 1 with an isolated singular point at 0 C. Suppose that ord 0 ( f)<d. Then µ( f) (d 1). Remark 4. The assumption ord 0 ( f)<d in the above theorem means that f is not a homogeneous polynomial. If f is a homogeneous polynomial of degree d with an isolated singular point at 0 C then obviously µ( f)=(d 1). Theorem 9 ([10, Thm 1.4]). Let f be a polynomial of degree d >, d 4. Then the following two conditions are equivalent 4

5 1. The curve f = 0 passes through the origin and µ 0 ( f)=(d 1) [d/],. The curve f = 0 has d [d/] irreducible components. Each irreducible component of the curve passes through the origin. If d 0 (mod ) then all components are of degree and intersect pairwise at 0 with multiplicity 4. If d 0 (mod ) then all but one component are of degree and intersect pairwise at 0 with multiplicity 4, the remaining component is linear and tangent to all components of degree. 3. Proof of Theorem 1 Let f 0 be a homogeneous isolated singularity of degree d i.e. f 0 (x,y)=a 0 x d +...+a d y d,a i C, d, f 0 0 and f 0 has no multiple factors in C[x,y]. Geometrically it is an ordinary singularity of d lines intersecting at the origin. Notice that f 0 is non-degenerate. By A. Bodin [1] and J. Walewska [5] for any non-degenerate deformation( f s ) of f 0, for which µ gen ( f s ) µ( f 0 ) we have µ gen ( f s ) µ( f 0 ) (d 1) = (d 1) (d 1) = (d 1)(d ) = d 3d+. A. Assume first that f 0 is convenient i.e. a 0 a d 0. Since we consider only non-degenerate deformations of f 0, by the Kouchnirenko Theorem we may assume that f 0 (x,y)=x d + y d, d. (5) We will apply induction with respect to the degree d. It is easy to find non-degenerate deformations ( f s ) of f 0 for the degrees d =,3,4, whose generic Milnor numbers realize all the numbers d 3d+. This gives M nd (x + y )=(1,0), M nd (x 3 + y 3 )=(4,,1,0), M nd (x 4 + y 4 )=(9,6,5,...,1,0), (in the last case one can use some of deformations given below). Let us consider singularity (5) where d 5. It is easy to check (by the Kouchnirenko Theorem) that the deformations 1. f s = f 0 + sy d 1 + sx l d+1 y d l for d 1 l d 3 have generic Milnor numbers d 4d+ 4,...,d 3d+, respectively,. f s = f 0 + sy d has generic Milnor number d 4d+ 3, 3. f s = f 0 +sy d sx d [ d ] y [ d ] 1 has generic Milnor number d 4d+ for d odd and d 4d+ 3 for d even. 4. f s = f 0 + sy d 1 + sx l y d l for 1 l d 3 have generic Milnor numbers d 5d+ 5,..., d 4d+ 1, respectively. 5

6 The above deformations realize all integers from d 5d+ 5 to d 3d+ with exception of the number d 4d+ in the case d is even. Now we use induction hypothesis. Notice that for (d 1) we have ((d 1) 1)((d 1) )=d 5d+ 6>d 5d+ 5. Hence, if d is odd then (d 1) is even and by induction hypotheses we may realize all integers from 0 to d 5d+ 6 with the exception of the number (d 1) 4(d 1)+ = d 6d+ 7. But the deformation f s = f 0 + sy d 1 + sx d 5 y of f 0 has generic Milnor number equal to d 6d+ 7. This gives formula (1). If d is even, then (d 1) is odd and by induction hypothesis we may find deformations of f 0 realizing all integers from 0 to d 5d+ 6. Consequently in these cases we have found deformations of f 0 realizing all integers from 0 to (d 1)(d ) with the exception of the number d 4d+. Now we prove that this number is not generic Milnor number of any non-degenerate deformation of f 0. Assume to the contrary that there exists a non-degenerate deformation ( f s ) of f 0 (x,y)=x d + y d, d 6, d even, for which µ gen ( f s )=d 4d+. Since for sufficiently small s 0 the Newton polygons of f s are the same we consider the following cases: I. ord (x,y) f s d. Then there are points(i, j) in Supp f s, s 0, such that i+ j d. Take any such point(i, j). Consider subcases: Ia. (i, j) (0,d ) and(i, j) (d,0). Consider the non-degenerate auxiliary deformation of f 0 f s (x,y) :={ f0 (x,y)+sx i y d i if i>0, f 0 (x,y)+sxy d 3 if i=0. It is easy to see that Γ + ( f s ) Γ + ( f s ) for s 0. Then by Corollary 7 But by formula (K) we obtain µ gen ( f s ) µ gen ( f s )=d 4d+. µ gen ( f s )=d 4d+ 1, a contradition. Ib. (i, j)=(0,d ) or(i, j)=(d,0). Both cases are similar, so we will consider only the case(i, j) =(0, d ). We define the auxiliary singularity f 0 (x,y) := y d + x d. By formula (K) µ( f 0 )=d 4d+3 and obviously Γ + ( f 0 ) Γ + ( f s ) for s 0. Hence f s (x,y) := f s (x,y) y d + αy d for some generic 0 α C, would be a non-degenerate deformation of f 0 such that Γ + ( f s )=Γ + ( f s ) for s 0. Hence µ gen ( f s )=d 4d+. This gives µ( f 0 ) µ gen ( f s )= 1, that is the first jump of Milnor numbers for the singularity f 0 (x,y)=y d +x d is equal to 1. This is impossible by Bodin result ([1], Section 7) because d 6 and GCD(d,d) = (he proved that the first jump for non-degenerate deformations is equal to in this case). 6

7 II. ord (x,y) f s > d. Then Γ + ( f s ) Γ + (x d 1 + y d 1 ). Hence µ gen ( f s ) µ(x d 1 + y d 1 )= (d ) = d 4d+ 4, which contradicts the supposition that µ gen ( f s )=d 4d+. B. Assume now that f 0 is non-convenient i.e. f 0 (x,y)=x f 0 (x,y) (case I) or f 0 (x,y)=y f 0 (x,y) (case II) or f 0 (x,y)=xy f 0 (x,y) (case III), where f 0 is convenient of degree d 1 and f 0 is convenient of degree d. Take any integer k (d 1)(d ) and consider cases: 1. k d 4d + or d odd. Then there exists a deformation ( fs) 1 of x d + y d such that µ gen ( fs 1) = k. Let f s := f s 1 xd y d. Then for the deformation f s := f 0 + fs + sxd in case I or f s := f 0 + fs +syd in case II or f s := f 0 + fs +sxd +sy d in case III we obviously have µ gen ( f s )=k.. k = d 4d+, d is even and d 6. For the deformation f s (x,y) := f 0 (x,y)+sy d 1 + sx y d 4 + sx d+ in case I and III and f s (x,y) := f 0 (x,y)+sx d 1 + sy x d 4 + sy d+ in case II (the summands sx d+ and sy d+ are superfluous; they have been added in order to use formula (K)) we have µ gen ( f s )=d 4d+. This ends the proof of Theorem Proof of Theorem For any holomorphic function germs f,g at 0 C by i 0 ( f,g) we will denote the intersection multiplicity of the plane curve singularities f = 0 and g=0 at 0. Since M nd ( f 0 ) is a subsequence of M(f 0 ), it suffices to prove that the number (d 1)(d )+1 and the number d 4d+ for d 6 are generic Milnor numbers of some deformations of f 0. Consider first the number (d 1)(d )+1. Let f 0 = L 1 L d be a factorization of f 0 into linear forms (no pair of them are proportional). We define the deformation of f 0 by f s = sl d f 0. Take s 0. Without loss of generality we may assume that L 1 (x,y)=x. Then f 0 (x,y)=x(αy d ) where α 0. Hence µ( f s )= µ(sx d 1 + x(αy d ))= = i 0 ((d 1)sx d +(αy d )+x (αyd ),x((d 1)αy d +...))= x = i 0 ((d 1)sx d +(αy d )+x (αyd ),x)+ x + i 0 ((d 1)sx d +(αy d )+x (αyd ),(d 1)αy d +...)= x =(d 1)+(d )(d )=(d 1)(d )+1. Consider now the number d 4d+ for d 6. Let f 0 = L 1 L d be a factorization of f 0 into linear forms. We may assume that L 1 (x,y) = αx+βy where α 0. If we take a linear change of coordinates Φ : x = L 1 (x,y), y = y inc then the homogeneous singularity f 0 (x,y ) := f 0 Φ 1 (x,y ) = x f 1 (x,y ) is non-convenient and degree d. Then by Theorem 1 there exists a 7

8 deformation( f s ) s S of f 0 such that µ gen ( f s )=d 4d+. Hence for the deformation f s := f s Φ, s S, of f 0 we obtain µ( f s ) = µ( f s Φ) = µ( f s ) = d 4d+ for s 0. Then µ gen ( f s ) = d 4d+. 5. Proof of Theorem 3 Let f 0 (x,y)=x d + y d, d. Let us take a deformation ( f s ) of f 0 which realizes the generic Milnor number µ 1 of f 0 i.e. and µ gen ( f s )< µ( f 0 ) (6) µ( f 0 ) µ gen ( f s ) (7) is minimal non-zero integer among all deformation of f 0. In order to apply Płoski Theorem 8 to elements f s, s 0, of the family ( f s ) we have to fulfill the assumptions of this theorem. We will achieve this by modifying the deformation( f s ) to another one( f s ) which satisfies all the requested conditions. The first step is to reduce holomorphic f s to polynomials (in variables x,y). Notice ( f s ), s 0, is a µ-constant family. So, if we omit in f s (x,y) all the terms of order > µ gen ( f s )+1 then we obtain a deformation( f s ) of f 0 such that ord( f s f s )> µ gen ( f s )+1=µ( f s )+1, s 0. Hence by well-known theorem ([], Prop. 1 and in Section 5.5, [11], Prop. 1. and Lemma 1.4) µ( f s )= µ( f s ) for s 0. This implies µ gen ( f s )=µ gen ( f s ). By this step we may assume in the sequel that the deformation ( f s ) of f 0 which realizes µ 1 consists of polynomials. The second step is to reduce the degree of f s to d. For this we apply the method of Gabrielov and Kouchnirenko [1]. Notice first that there are terms in f s of order < d with non-zero coefficients. In fact if ord( f s ) d then µ( f s ) µ(x d + y d )=(d 1), a contradiction. Let f s (x,y)=x d + y d + u 1 (s)x α 1 y β u k (s)x α k y β k, where u i (s), i=1,...,k, are non-zero holomorphic functions in a neighbourhood of 0 C, u i (0)= 0. Denote d i := α i + β i, γ i :=ord(u i )>0, u i (s)=a i s γ i+..., a i 0. ( ) N (d di ) By the above there exist d i for which d i < d. Let N := LCM(γ i ), v := max. Then v>0. We define a new holomorphic deformation of f 0 depending on two parameters f s,t (x,y) := f t v s(t N x,t N y) t Nd = x d + y d +(a 1 s γ 1 +tũ 1 (s,t))t vγ 1+N(d 1 d) x α 1 y β γ i 8

9 for some holomorphic functions ũ i (s,t), i = 1,...,k. By semi-continuity of Milnor numbers in families of singularities we obtain that for any fixed s S, s 0, µ( f s,0 ) µ( f s,t ) for sufficiently small t. But for any fixed s,t 0 sufficiently small ( ft µ( f s,t )=µ v s(t N x,t N ) y) = µ( f t v s(x,y))= µ 1. Hence µ( f s,0 ) µ 1. But t Nd f s,0 (x,y)=x d + y d + j vγ j +N(d j d)=0 a j s γ j x α j y β j. Of course d j < d for j satisfying vγ j + N(d j d) = 0. So, we have obtained a new deformation f s := f s,0 of f 0 for which deg f s = d, ord( f s )<d and µ gen ( f s ) µ 1. By definition of µ 1 we have either µ gen ( f s )=µ 1 or µ gen ( f s )= µ( f 0 ). The latter case is impossible because then( f s ) for s S would be a µ-constant family in which one element is equal to f 0. Since it is a family of plane curve singularities, the orders of this singularities are the same. Hence ord( f 0 )=ord( f s ) for s S, which is impossible. Summing up, we have obtained a deformation( f s ) of f 0 for which µ gen ( f s )= µ 1, deg( f s )=d, ord( f s ) < d, s 0, and moreover d-th homogeneous component of f s is equal to f 0. So, for any fixed s 0 f s satisfies the assumption of Theorem 8. By this theorem µ 1 = µ( f s ) (d 1). Now we prove the opposite inequality µ 1 (d 1). (8) It suffices to give deformations( f s ) of f 0 for which µ gen ( f s )=(d 1) [d/]. Consider two cases: 1. d is even i.e. d = k, k 1. We define a deformation of f 0 by Then we easily find for s 0 f s (x,y) := x d +(y + sx) d = x k +(y + sx) k. µ( f s )=i 0 (kx k 1 + ks(y + sx) k 1,ky(y + sx) k 1 )=4k 5k+ 1=(d 1) 9.

10 . d is odd i.e. d = k+ 1, k 1. We define a deformation of f 0 by f s (x,y) :=(x+y) k i=1 (sw i (x+y)+x + Re(ε i )xy+y ), (9) where ε = exp( πi k+1 ) is a primitive root of unity of degree k+1 and w i= 1 Re(εi ) 1 Re(ε), i=1,...,k. We easily check that ( f s ) is a deformation of f 0 (x,y)=x k+1 + y k+1. Moreover if we denote by f 0, f 1,..., f k the successive factors in (9) we easily compute that i 0 ( f 0, f i ) =, i=1,...,k, and i 0 ( f i, f j ) = 4, i, j = 1,...,k, i j. Hence by a well-known formula for the Milnor number of a product of singularities we obtain µ( f 0 f k )= 6. Proof of Theorem 4 k i=0 µ( f i )+ k i, j=0 i< j i 0 ( f i, f j ) k=4k k=(d 1). Let us begin with a remark. The second part of Theorem 4 concerns only homogeneous singularities of degree d 5. For degrees d =,3,4 the sequences M(f 0 ) do not depend on the coefficients of f 0 and they are as follows (1,0) for d =, M(f 0 )= (4,3,,1,0) for d = 3, (9,7,6,5,4,3,,1,0) for d = 4. For d =,3 it is an easy fact and for d = 4 it follows from [4]. Moreover, by Theorem 4 we obtain that for d = 5 we have only two possibilities { (16,13,1,...,1,0) for f0 with generic coefficients, M(f 0 )= (16,14,13,1,...,1,0) otherwise. Now we may pass to the proof of Theorem 4. For the first part of the theorem we repeat the reasoning in the proof of inequality µ 1 (x d + y d ) (d 1) [d/] in Theorem 3 because it works for any homogeneous singularity. For the second part of the theorem let f 0 (x,y) = c 0 y d + c 1 y d 1 x+ +c d x d be an arbitrary homogeneous singularity of degree d 5. We may assume that c 0 = 1 (because singularities for which c 0 = 0 are not generic ). Denote f c 0 (x,y) := yd + c 1 y d 1 x+ +c d x d, c=(c 1,...,c d ) C d. By the first part of the theorem µ 1 ( f0 c) (d 1) [d/]. We will find a polynomial F(c 1,...,c d ), F 0, such that if µ 1 ( f0 c )=(d 1) (10) 10

11 then F(c)=0. This will give the second part of the theorem and finish the proof. Let us take an arbitrary f0 c for which (10) holds. Let f c 0 (x,y)=(y a 1x) (y a d x), a i a j for i j be the factorization of f0 c into linear parts. We will also denote this polynomial by f 0 a, where a = (a 1,...,a d ) and call a 1,...,a d the roots of f0 a. By the Vieta formulas connecting c i with a j it suffices to find a polynomial G(a 1,...,a d ), G 0, such that if µ 1 ( f0 a)=(d 1) [d/], then G(a)=0. So, take f0 a for which µ 1( f0 a)=(d 1) [d/]. Using the same method as in the proof of Theorem 3 there exists a deformation( f s ) of f0 a such that for s 0sufficiently small 1. deg f s = d,. d-th homogeneous component of f s is equal to f0 a, 3. µ gen ( f s )=(d 1) [d/]. Let us fix s 0. By Theorem 9 we obtain a factorization f s = LQ 1 Q [d/], where L is either a linear form (if d is odd) or L=1 (if d is even), Q i are irreducible polynomials of degree, L has a common tangent with each Q i (if d is odd) and i 0 (Q i,q j )=4 for i j. Since Q i is irreducible, Q i = L i + Q i where L i is a non-zero linear form and Q i is a non-zero quadratic form. Moreover, the equality i(q i,q j ) = 4 for i j implies the all L i are proportional. Additionally in the odd case L is also proportional to L i. Notice also that d-th homogeneous component of LQ 1...Q [d/] is equal to L Q 1... Q [d/], which by above condition implies f a 0 = L Q 1... Q [d/]. Now we consider the cases: I. d is odd. By renumbering a 1,...,a d we may assume that L=(y a 1 x), Q 1 =(y a x)(y a 3 x),..., Q [d/] =(y a d 1 x)(y a d x). Let L i = w i L, w i C\{0}, i = 1,...,[d/]. Then from the condition i 0 (Q i,q j )=4, i j, we obtain in particular for i=1, j= 4=i 0 (w 1 L+ Q 1,w L+ Q )=i 0 ( Q 1 w 1 w Q,w L+ Q ). Since Q 1 w 1 Q is a form of degree, we get Q 1 w 1 Q = ul for some u C\{0}. Hence w w there exist z 1,z C\{0} such that z 1 Q 1 + z Q = L. Then the non-zero z 1,z satisfy the system of equations z 1 + z = 1, (a + a 3 )z 1 +(a 4 + a 5 )z = a 1, a a 3 z 1 + a 4 a 5 z = a 1. Hence a + a 3 a 4 + a 5 a 1 a a 3 a 4 a 5 a 1 11 = 0.

12 We have obtained a non-trivial relation G(a 1,...,a 5 ) = 0 between the roots a 1,...,a 5. So if we put G(a 1,...,a d ) := G(a σ(1),...,a σ(5) ), σ Vd 5 where Vd k denotes the set of all partial permutations of length k from a d-set, then G is a non-zero polynomial in C[a 1,...,a d ] such that if G(a) 0 then µ 1 ( f0 a)<(d 1) [d/]. This ends the proof of the theorem in this case. II. d is even. Then d 6. By renumbering a 0,...,a d we may assume that Q 1 =(y a 1 x)(y a x),..., Q [d/] =(y a d 1 x)(y a d x). Let L i = w i L, w i C\{0}, i=1,...,[d/], where L is a fixed non-zero linear form. Repeating the reasoning as in I for the equality i 0 (Q 1,Q )=4 we get that there exist z 1,z 0 such that z 1 Q 1 + z Q = L. We may assume that either L=x or L=y or L=y αx, α 0. In the first two cases we easily obtain, as in I, non-trivial relations G 1 (a 1,a,a 3,a 4 ) = 0 and G (a 1,a,a 3,a 4 ) = 0, respectively, between the roots a 1,...,a 4. In the third case we obtain the relation ((a 3 + a 4 ) (a 1 + a ))α (a 3 a 4 a 1 a )α+(a 1 + a )a 3 a 4 a 1 a (a 3 + a 4 )=0 between a 1,a,a 3,a 4 and α. But if we apply the same reasoning to the equality i 0 (Q,Q 3 )=4we obtain a second relation ((a 5 + a 6 ) (a 3 + a 4 ))α (a 5 a 6 a 3 a 4 )α+(a 3 + a 4 )a 5 a 6 a 3 a 4 (a 5 + a 6 )=0 between a 3,a 4,a 5,a 6 and the same α. Hence the resultant of these two polynomials with respect to α must be equal to 0, which gives a non-trivial relation G 3 (a 1,...,a 6 )=0between roots a 1,...,a 6. Hence G(a 1,...,a d ) := (G 1 G )(a σ(1),...,a σ(4) ) G 3 (a σ(1),...,a σ(6) ) σ Vd 4 σ Vd 6 is a non-trivial polynomial such that if G(a) 0 then µ 1 ( f a 0 ) < (d 1) [d/]. This ends the proof of the theorem in this case. 7. Concluding remarks We have completely solved the problem of possible generic Milnor numbers of all non-degenerate deformations of homogeneous plane singularities. The same problem for the family of all deformations is more complicated. In the particular case f 0 (x,y)=x d + y d, d, we have only found µ 1 =(d 1) [d/]. For generic homogeneous singularities of degree d this is not longer true by Theorem 4. We do not know the exact value of µ 1 in this generic case. We only conjecture that for generic homogeneous singularities of degree d µ 1 = (d 1) (d ). If it is true then by Theorem we would get the whole sequence M(f 0 ) in this case. Conjecture. If f 0 is a homogeneous singularity of degree d with generic coefficients then M(f 0 )=((d 1),(d 1) (d ),...,1,0). 1

13 8. Acknowledgements The authors thank very much Arkadiusz Płoski and participants of the seminar Analytic and Algebraic Geometry for valuable remarks which considerably improved the first proofs of the theorems. References [1] A. Bodin, Jump of Milnor numbers, Bull. Braz. Math. Soc. (N.S.) 38 (3) (007) doi: /s URLhttp://dx.doi.org/ /s [] V. I. Arnold, S. M. Guseĭn-Zade, A. N. Varchenko, Singularities of differentiable maps. Vol. I, Vol. 8 of Monographs in Mathematics, Birkhäuser Boston Inc., Boston, MA, doi: / URLhttp://dx.doi.org/ / [3] S. M. Guseĭn-Zade, On singularities that admit splitting off A 1, Funktcional. Anal. i Prilozhen. 7 (1) (1993) doi: /bf URLhttp://dx.doi.org/ /BF [4] S. Brzostowski, T. Krasiński, The jump of the Milnor number in the X 9 singularity class, Cent. Eur. J. Math. 1 (014) [5] J. Walewska, The second jump of Milnor numbers, Demonstratio Math. 43 () (010) [6] J. Walewska, The jump of Milnor numbers in families of non-degenerate and non-convenient singularities, in: Analytic and Algebraic Geometry, University of Łódź Press, 013, pp [7] G.-M. Greuel, C. Lossen, E. Shustin, Introduction to singularities and deformations, Springer, 007. [8] A. G. Kouchnirenko, Polyèdres de Newton et nombres de Milnor, Invent. Math. 3 (1) (1976) [9] A. Lenarcik, On the Jacobian Newton polygon of plane curve singularities, Manuscripta Math. 15 (3) (008) doi: /s y. URLhttp://dx.doi.org/ /s y [10] A. Płoski, A bound for the Milnor number of plane curve singularities, Centr. Eur. J. Math.(to appear). [11] A. Płoski, Sur l exposant d une application analytique. II, Bull. Polish Acad. Sci. Math. 33 (3-4) (1985) [1] A. M. Gabrièlov, A. G. Kušnirenko, Description of deformations with constant Milnor number for homogeneous functions, Funkcional. Anal. i Priložen. 9 (4) (1975)