Conjectures on Stably Newton Degenerate Singularities

We discuss a problem of Arnold, whether every function is stably equivalent to one which is non-degenerate for its Newton diagram. We argue that the answer is negative. We describe a method to make functions non-degenerate after stabilisation and give examples of singularities where this method does not work. We conjecture that they are in fact stably degenerate, that is not stably equivalent to non-degenerate functions. We review the various non-degeneracy concepts in the literature. For finite characteristic, we conjecture that there are no wild vanishing cycles for non-degenerate singularities. This implies that the simplest example of singularities with finite Milnor number, xp+xq\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x^p+x^q$$\end{document} in characteristic p, is not stably equivalent to a non-degenerate function. We argue that irreducible plane curves with an arbitrary number of Puiseux pairs (in characteristic zero) are stably non-degenerate. As the stabilisation involves many variables, it becomes very difficult to determine the Newton diagram in general, but the form of the equations indicates that the defining functions are non-degenerate.


Introduction
Many invariants of a hypersurface singularity can be computed from its Newton diagram, if the singularity is non-degenerate. Almost all singularities with a given diagram are non-degenerate, but a given function is degenerate for most choices of coordinates and for most functions it is even impossible to find suitable coordinates in which the function is non-degenerate. Sometimes this becomes possible after adding a quadratic form in new variables to the function. Invariants computed from the Newton diagram B Jan Stevens stevens@chalmers.se of the new function allow conclusions about the original singularity. A successful case is the study of Luengo's example [18] of a non-smooth μ-const stratum in [27]. Attention to the fact that a singularity can be made non-degenerate by a coordinate transformation after adding variables was drawn by Arnold, who raised the question whether this is always possible.
Problem 3 of Arnold's list [1] in the Arcata volume (the Russian version of the problem is older, see problems 1975-3 and 1976-8 in [2]) reads: Is every function stably equivalent to a Γ -non-degenerate function (in a neighbourhood of a critical point of finite multiplicity)?
Function germs are R-equivalent (or shortly equivalent) if they can be turned into each other under the action of invertible coordinate changes, and stably equivalent if they become equivalent after the addition of non-degenerate quadratic forms in additional variables [3, 11.1]. The function f (x 0 , . . . , x n ) + Q(y 0 , . . . , y m ) with Q a non-degenerate quadratic form is called a stabilisation of the function f (x 0 , . . . , x n ).
In this paper, we argue that the answer to Arnold's question is negative. We call a function which is not stably equivalent to a non-degenerate function shortly for stably degenerate.
The Newton number ν(Γ ) of a Newton diagram Γ gives a lower bound for the Milnor number μ( f ) and for a non-degenerate function f the equality μ( f ) = ν(Γ ( f )) holds [16]. This equality is a necessary and sufficient condition for a weaker non-degeneracy condition, defined by Mondal [21]. His partially non-degeneracy condition does not involve the partial derivatives of initial forms, but initial forms of the partial derivatives. Another condition (NPND * ) was introduced by Wall [31], who wanted a condition sufficient for the principal results of the theory, and wide enough to include all weighted homogeneous functions with isolated singularity. Following the terminology of Boubakri, Greuel and Markwig [6], we call it inner non-degeneracy. Conjecturally Mondal's and Wall's conditions are equivalent in characteristic zero.
In finite characteristic, one can make the same definitions, but the results are weaker. It is no longer true that the generic function with a given diagram is non-degenerate. This is related to the occurrence of wild vanishing cycles (see SGA 7 [11]) . We conjecture that these do not appear for non-degenerate singularities. This implies that the simplest example of singularities with finite Milnor number, x p + x q in characteristic p, is not stably equivalent to a non-degenerate function.
This negative answer does not extend to the case of real or complex functions. I found a number of successful cases, using basically only one trick, which, however, carries a long way. By lack of counterexamples, I expected that every function could be made non-degenerate. The first indication that this is not true came by considering deformations on the μ-const stratum in Luengo's example. A closer analysis led to simpler examples. The easiest example (see Example 3.8) is the singularity We conjecture that in fact μ( f ) = μ(f ) > ν(Γ (f )) for everyf , stably equivalent to f 23 . This implies degeneracy for all three concepts. We present Luengo's example and other examples, both stably non-degenerate and conjecturally stably degenerate. In particular, we conjecture that there are stably degenerate and stably non-degenerate functions on the same μ-constant stratum. This means that simple and less simple topological invariants do not discriminate between stably degenerate and non-degenerate singularities.
The main reason to conjecture that our examples are stably degenerate is that our methods do not work in these cases. We describe why they have to fail. This does not exclude the possibility that some unknown, complicated transformation makes the function non-degenerate after stabilisation.
In the last section, evidence is presented that every irreducible plane curve singularity (with an arbitrary number of Puiseux pairs) is stably equivalent to a non-degenerate singularity. The number of variables is rapidly increasing, making it difficult to determine the Newton diagram and check non-degeneracy, but the form of the equations indicates that the defining functions are non-degenerate.

Non-degenerate Functions
We recall the standard definition of non-degeneracy, given by Kouchnirenko [16], and the related concepts of Wall [31] and Mondal [21].

The Newton Diagram
Let f ∈ k[[x 1 , . . . , x n ]] be a formal power series over a field k, with algebraic closure K . Write (in multi-index notation) f = a m x m . The support of f is Supp( f ) = {m ∈ N n | a m = 0} (note that 0 ∈ N). We will assume that f (0) = 0, so 0 / ∈ Supp( f ) (otherwise one defines the reduced support by removing the origin [4, 6.2.1]). A Newton diagram Γ (A) can be defined for an arbitrary subset A of N n not containing the origin. The Newton diagram Γ ( f ) of f is then the Newton diagram of its support. The Newton polyhedron Γ + (A) is the convex hull of the set m∈A (m + R n + ) ⊂ R n . The Newton diagram Γ (A) of A is the union of all compact faces of Γ + (A). The union Γ − (A) of all segments connecting the origin and the Newton diagram is the Newton polytope. See Fig.1 for an example.
A set A is convenient if it contains a point on each coordinate axis. A series f is convenient if its support is convenient, that is if for every 1 ≤ i ≤ n there is a m i such that the monomial x m i i occurs with non-zero coefficient. In such cases, also the Newton diagram is called convenient.
Given f = a m x m and a subset S ⊂ R n (e.g. a face Δ of Γ ( f )), we denote by f S the series m∈S a m x m . The principal part of f is the polynomial f Γ = m∈Γ ( f ) a m x m . The classical concept of non-degeneracy is treated by Kouchnirenko [16].
have no common zero on the torus (K * ) n .

Example 1.2
The function f = (y 2 − x 3 ) 2 − 4x 5 y + x 7 is degenerate. Its Newton diagram Γ ( f ) can be seen in Fig.1 as the line between the Newton polytope Γ − ( f ) and the Newton polyhedron Γ + ( f ). If char k = 2, the function f is stably equivalent to the non-degenerate function (provided char k = 3, 13) is a stabilisation and z = z − y 2 + x 3 a coordinate transformation) with Newton diagram as shown in Fig.2. The function f is convenient, butf is not.

Milnor and Newton Number
If f is non-degenerate, many invariants can be computed from the Newton diagram. We concentrate here on the Milnor number Note that μ( f ) can be infinite. For any compact polytope S in R n + with the origin as vertex, we denote by V k (S) the sum of the k-dimensional volumes of the intersections of S with the k-dimensional coordinate subspaces of R n , and we define following Kouchnirenko [16] its Newton number to be The main result of Kouchnirenko [16]  Kouchnirenko proves that in characteristic zero the set of degenerate principal parts is a proper algebraic subset in the variety of all principal parts corresponding to a given Newton diagram [16,Théorème I (iii)]. Furthermore, given any subset A ⊂ N n \{0}, with ν(A) < ∞ there exist a non-degenerate series f with Supp( f ) = A [16, 1.13 Remarque (i)], see also [17] where a combinatorial criterion on A for ν(A) < ∞ is given.
For non-isolated singularities, the meaning of ν(Γ − ( f )) is in the complex case given by a theorem of Varchenko [30], conjectured by Kouchnirenko [16]. The converse of Theorem 1.4 does not hold in general: for degenerate series it can be that μ( f ) = ν( f ). Example 1. 6 The simplest example is the function (z + x) 2 + x y + y 2 [16,Remarque 1.21]. More generally, one can start from any homogeneous isolated curve singularity of the form y f (x, y) of degree d and make a suspension z d + y f (x, y). A simple linear coordinate transformation gives the degenerate function g = (z + x) d + y f (x, y), but μ(g) = ν(g) = (d − 1) 3 .

Inner and Partially Non-degenerate Functions
The function in the above example is in fact non-degenerate in the sense of Wall [31] and of Mondal [21]. As their definitions are given for algebraically closed fields, we assume from now on for simplicity that the coefficient field is algebraically closed; the definitions to follow can easily be extended by taking coefficients in a smaller field k, but zeroes over an algebraic closure K . But first we need some more notation and terminology.
The exponents m of monomials lie in N n ⊂ R n + . On R n we take coordinates r = (r 1 , . . . , r n ) . Let w = (w 1 , . . . , w n ) be a system of positive (rational) weights on the variables x i . We consider w as element in the dual space (R n ) * . So it defines a linear function λ : r → w, r on R n , and a valuation on A (finite) set of linear functions λ j given by a set of weights {w ( j) | j ∈ J } has a minimum λ J : r → min j∈J λ j (r ) = min j∈J w ( j) , r . We suppose the set to be irredundant, in that no proper subset has the same minimum. It defines a diagram Γ = {r ∈ (R + ) n | λ J (r ) = 1}. The faces Δ j = {r ∈ (R + ) n | λ j (r ) = λ J (r ) = 1} are non-empty and (n − 1)-dimensional. Conversely, given a diagram Γ such that the closed region Γ + on and above it is convex and central projection onto the unit simplex is a bijection, each facet Δ defines a unique linear function λ Δ such that λ Δ (r ) = 1 for all r ∈ Δ, that is, there is a uniquely defined system of weights w Δ such that all points r ∈ Δ satisfy w Δ , r = 1. The collection of these linear functions defines a convenient diagram Γ as above. Definition 1.7 A convenient and convex diagram Γ defined (as above) by a finite set of positive weights is called a C-diagram.
For an arbitrary subset I ⊂ {1, . . . , n}, we denote the coordinate subspace {(r 1 , . . . , r n ) ∈ R n | r i = 0 if i / ∈ I } by R I . For K n , we use a similar notation, Furthermore we put (K * ) I = (K * ) n ∩ K I . Let Q = (q 1 , . . . , q n ) ∈ K n be a point. We set I Q = {i | q i = 0}. Then, Note that Kouchnirenko's non-degeneracy condition depends only on the principal part of the series f . As the condition in Definition 1.1 only involves zeroes on We first reformulate the definition following Mondal [21].

Definition 1.8
The series f is non-degenerate if for every system of positive weights w the ideal has no zero on the torus (K * ) n .
Mondal's non-degeneracy condition does not involve the partial derivatives of initial forms, but initial forms of the partial derivatives. Definition 1.9 [21] A series f with f (0) = 0 is partially non-degenerate if for every non-empty subset I of {1, . . . , n} and any system of positive weights w on the x i with i ∈ I the ideal This condition involves also terms of the series f different from the principal part.
contains terms involving the variable y.
Wall's non-degeneracy condition is stronger than Kouchnirenko's, but will be required for less faces. It starts from a C-diagram Γ , for which the intersection points with the coordinate axes need not be lattice points. Definition 1.10 A face Δ is an inner face of a C-diagram Γ if it is not contained in any coordinate hyperplane.

Definition 1.11
Let f be a series whose support has no points below the C-diagram Γ . The series f is inner non-degenerate with respect to Γ if for every inner face Δ the following holds: We say that f is inner non-degenerate if there exists a C-diagram Γ with respect to which f is inner non-degenerate. Wall [31] calls his condition NPND * ; we follow the terminology of Boubakri et al. [6], where the concept is extended to finite characteristic. The condition depends on the diagram Γ , and it is not quite clear how it is related to the Newton diagram Γ ( f ) of f . The case n = 2 is easy to analyse; this is done by Wall [31]. A detailed study of the possible shape of Newton diagrams in R 3 is made by Oleksik [23] in connection with the computation of Łojasiewicz exponents. He defines an exceptional face Δ of Γ ( f ) ⊂ R n as a facet with one of its vertices at a distance 1 to a coordinate axis, while the remaining vertices define an (n −2)-dimensional face in one of the coordinate hyperplanes through that axis. A combinatorial characterisation Brzostowski, Krasiński and Walewska [8].
If dim Γ ( f ) = n − 1 and not convenient one obtains a convenient diagram by taking the diagram determined by the linear functions λ Δ for all facets of Γ ( f ). Here one can leave out the exceptional faces. It is not clear from the definition, but we conjecture that in characteristic zero, if f is inner non-degenerate with respect to a C-diagram Γ , and Γ is a C-diagram with Supp( f ) ⊂ Γ + with the same Newton number, then f is also inner non-degenerate with respect to Γ .

Example 1.12 (Example 1.2 continued). The two systems of weights
There are only three inner faces. The (reduced) singular set of f Δ = 2z(y 2 −x 3 )−4x 5 y is the z-axis and the face Δ does not touch this axis.
This function is inner non-degenerate with respect to Γ consisting of the triangle given by the weights The triangle itself is the only inner face, and as g has an isolated singularity, the non-degeneracy condition is satisfied.
The function is also partially non-degenerate. Restricted to y = 0 and with weights (1, 1), or what amounts to the same, weights ( 1 d , 1 d ) the ideal of initial forms of the partial derivatives is generated by (z + x) d−1 and f (x, 0). As f (x, 0) is a non-zero multiple of x d−1 , there are no zeroes on (K * ) 3 .

Relations Between the Different Conditions
Kouchnirenko's non-degeneracy of a series f does not imply that f is inner or partial non-degenerate, as non-isolated singularities also can be non-degenerate. On the other hand, inner non-degenerate functions have finite Milnor number [6,31], and the same is true for partially non-degenerate functions.

Proposition 1.14 If f is partially non-degenerate, then the origin is an isolated critical
The weights w of an appropriate weighted tangent cone to B ⊂ K I B lead to initial forms violating the non-degeneracy condition (cf. [21], LemmaX.17).
We have the following relations between the different non-degeneracy conditions. Proposition 1.15 ([21,Proposition XII.6]). If f is non-degenerate and μ( f ) < ∞, then f is partially non-degenerate.

Proposition 1.16 ([21, Proposition XII.9]). An inner non-degenerate series is partially non-degenerate.
We give here the proof of the easiest case, that f is non-degenerate and convenient. Let I ⊂ {1, . . . , n} and w a system of positive (integral) weights on the x i with i ∈ I be given. As f is convenient, Γ ( f )∩R I = ∅. We can extend w to a system w of positive (rational) weights on all x i such that In w (Γ ( f )) ⊂ R I . Then, In w ( f ) depends only on the x i with i ∈ I . By non-degeneracy the polynomials Those functions do not have a common zero, so also not all The other direction of the implication in Proposition 1.16 is not true in finite characteristic (the simplest example is x p +x q ), but in characteristic zero no counterexamples are known. It is easy to see that for n = 2 partial non-degeneracy implies inner nondegeneracy, and Mondal gives a proof for n = 3 [21, XII.30].

Conjecture 1.17 A partially non-degenerate series
, with char K = 0, is also inner non-degenerate.

Minimal Milnor Number
For series g 1 , . . . , g n ∈ K [[x 1 , . . . , x n ]], the intersection multiplicity (at the origin) is For a collection (Γ 1 , . . . , Γ n ) of n diagrams in R n define [Γ 1 , . . . , Γ n ] 0 as the minimal intersection multiplicity at the origin of series g 1 , . . . , g n with the Newton diagram of g i on or above Γ i .
We now state Mondal's main result on the generic Milnor number. This is easy to check, without determining the faces of the Newton diagram. One has to compute, say with Singular [10], μ( f ) and μ(g) for a general enough function with the same support. Taking all coefficients equal to 1 might not be general enough; in my experience a good choice is to use the coefficients 1, 2, 3, . . . , k, if there are k monomials.

Weakly Non-degenerate Functions
In finite characteristic, it is no longer true that the Milnor number is invariant under contact equivalence. The simplest example is the function f (x) = x p in characteristic p with μ( f ) = ∞, while μ(g) = p for the contact equivalent function g( ) and a unit u ∈ K [[x 1 , . . . , x n ]] * such that f = u · ϕ(g) (see e.g. [6], p.62).
Some invariants depend only on the contact class, that is on the zero set of f . An example is the δ-invariant (the number of virtual double points) for plane curve singularities. The question then arises under which conditions such invariants can be computed from the Newton diagram. A face function f Δ is quasi-homogeneous, but in finite characteristic it can be that f Δ does not lie in the ideal in characteristic zero one can use Euler's identity, but not if the characteristic divides the weighted degree. The simplest example is again the polynomial x p . This leads to the following definitions.
have no common zero on the torus (K * ) n .

Definition 2.2
Let f be a series whose support has no points below the convenient diagram Γ . The series f is weakly inner non-degenerate with respect to Γ if for every inner face Δ the following holds: In fact, it is rather common in the literature on p-adic zeta-functions to add the function f Δ in the definition of non-degeneracy, see, e.g Denef and Hoornaert [12]. This is also the definition of Beelen and Pellikaan [5] in the case n = 2; they included convenience. They refer to Kouchnirenko's definition as non-degeneracy in the strong sense. The term weakly non-degenerate is from Boubakri et al. [6], where the condition is only asked for top-dimensional faces, as a direct but nowhere used generalisation of the definition in Beelen and Pellikaan [5]; as the weak non-degeneracy condition is automatically satisfied for zero dimensional faces, it suffices in the case n = 2 to ask the condition for top-dimensional faces. Note that the function f Δ is also added in Khovanskii's definition of non-degenerate Laurent polynomials [15], called 0-nondegenerate by Varchenko [30].  (x, y), with x y f p−2 (x, y) a homogeneous polynomial of degree p with p distinct factors, and f > p (x, y) a series with multiplicity at least p + 1, making the function convenient and the Milnor number finite. Then, f is (partially) degenerate: and similarly for the derivative w.r.t. y. As x ∂ g p ∂ x + y ∂ g p ∂ y = 0 for any homogeneous polynomial g p of degree p in char p > 0, we get non-trivial solutions. But f is weakly non-degenerate, and in fact weakly inner non-degenerate with respect to the segment joining ( p, 0) and (0, p).

Example 2.5 The polynomial
f (x, y, z) = x p y + y p z + z p x is non-degenerate and inner non-degenerate. For every value of m > p, the function f m = x p y + y p z + z p x + x m + y m + z m is still inner non-degenerate, but degenerate, also when p m. The face δ with f m,δ = x p y + y m is not an inner face. The ideal of partial derivatives is generated by It follows that f m is weakly non-degenerate, except when m = kp + 1. For n = 2, the argument does work in finite characteristic, as f (x, y) + x m + y m is non-degenerate for suitable m, if f (x, y) is non-degenerate.

Conjectures
For non-degenerate plane curve singularities, one can compute the δ-invariant from the Newton diagram. Over the complex numbers, this is described in [4, 13.3.1]: it is the number σ of subdiagrammatic monomials x m , meaning that m + (1, 1) does not belong to the interior of the Newton polyhedron. More generally, for n > 2 the number of subdiagrammatic monomials gives the geometric genus of the singularity. An elementary proof in all characteristics in the plane curve case is given by Beelen and Pellikaan [5].

Proposition 2.6 If f ∈ K [[x, y]] is weakly non-degenerate then δ( f ) is equal to σ ( f ), the number of subdiagrammatic monomials.
As also the number r of branches of f is easily computed from the Newton diagram, this gives, as observed in [6]:

Theorem 2.7 For a weakly non-degenerate f ∈ K [[x, y]], one has ν( f ) = 2δ −r +1.
Observe that in general Milnor's formula μ = 2δ − r + 1 does not hold in finite characteristic. The difference μ − (2δ − r + 1) is the number of wild vanishing cycles [20, p. 265]. In particular, if f is non-degenerate then there are no wild vanishing cycles. We conjecture that this holds in any dimension. Greuel and Nguyen [13, p. 579] write: 'Although we can compute the number of wild vanishing cycles, it seems hard to understand them'. The number of wild vanishing cycles was introduced by Deligne in SGA 7 [11]. He defines sheaves of vanishing cycles R i Φη(Z/ ) (with = p). He gets the total number of vanishing cycles as the sum of the number of (ordinary) vanishing cycles and the number of wild vanishing cycles. In the equicharacteristic case, Deligne proves that the Milnor number is equal to the total number of vanishing cycles [11, Exposé XVI]. Even simpler examples are obtained from the function f (x) = x p in char p. This function is weakly non-degenerate. As it has μ( f ) = ∞, it can not be stably equivalent to an inner or partially non-degenerate function. Arnold's problem asks for functions with finite multiplicity. We take a function with the same zero locus: we consider f q (x) = x p + x q with q > p and p and q coprime. In this case, μ( f q ) = q − 1, and f q is not (inner) non-degenerate. Conjecture 2.8 implies

Conjecture 2.10
The function f q (x) = x p + x q , char K = p, q > p and gcd( p, q) = 1 is stably degenerate.
We note that f q (x) = x p + x q is partially non-degenerate. This is caused by the monomial x q above the Newton diagram.

Characteristic Zero
In this section, we give examples of stably non-degenerate and (conjecturally) degenerate singularities in the case char K = 0.

The Basic Trick
Let f be a (degenerate) function of the form f = g + mϕ k , where m is any function, but preferably a monomial. Then, we can remove the term mϕ k after stabilisation with two new variables: This formula includes the special case k = 1: one has that g + mϕ is stably equivalent to −uv + uϕ + vm + g. We note also the case m = 1 and k = 2, where we have f = g +ϕ 2 . The basic trick gives −uv +uϕ +v 2 +g, to which we apply the coordinate transformation v =v +ū, u = 2ū, yieldingv 2 −ū 2 + 2ūϕ + g, so f is also stably equivalent to −ū 2 + 2ūϕ + g; this is the obvious way to treat this case.

Corollary 3.2 Every polynomial is stably equivalent to a polynomial of degree three.
Proof A product mϕ k with deg m = d, deg ϕ = e can be replaced by −uv +uϕ +v k m with summands of degrees 2, e + 1 and d + k. The condition that each of these degrees is less than d + ke is that d > 1 or k > 1 and that e > 1. A monomial of degree at least 4 can always be written as a product mϕ with d, e ≥ 2, and therefore, be replaced by monomials of lower degree (this might not be the most efficient way to reduce the degree).

Remark 3.3
If f = g + m 1 ϕ k 1 + m 2 ϕ k 2 , we can apply our basic trick twice to get after which we make u 1 + u 2 into a new variable, say by replacing u 2 by u 2 − u 1 , giving This procedure generalises to more terms.
The stratum Luengo [18] computed is in fact the μ * -constant stratum S μ * . Recall that μ * is the sequence of the Milnor numbers of repeated hyperplane sections [28]. If we also know that the topological type is constant in a μ-constant deformation, or the multiplicity, then it follows that the stratum S μ * is the whole μ-constant stratum S μ . It is known that for the function f it is least an irreducible component of S μ [27]. The stratum S μ * has a quadratic singularity. When Luengo [19] did his computation on an IBM 370 with a memory of 8256 K, he could not determine the decisive polynomial explicitly. Maybe nowadays it is possible, but it is clear that the result is too big to be of any use. Starting from the first order deformation the obstruction to lift it to second order (see [27]) is given by a 60 a 33 + a 51 a 42 = 0 .
Some 1-parameter families are easy to describe. We can even make the μ-constant deformation f + a 60 x 5 (x y 3 + z 4 ) stably non-degenerate by the transformation u → u − a 60 x 5 , resulting in −uv + u(x y 3 + z 4 ) + yv 2 + a 60 vx 5 + y 10 .
For the deformation in the a 51 -direction, we computed up to order 30 in the deformation variable, but we have not been able to find a μ-constant deformation.
By changing the coefficient of x 5 y 2 z 2 , the Milnor number drops to 533. The polynomial degenerates on the face Δ which is the intersection of the facets with normalised weight vectors (5, 4, 1, 1, 1)/9 and (128, 99, 26, 22, 23)/220 respectively and f Δ = u(x y 3 + z 4 ) + yv 2 + 2a 33 vx 2 z 3 − a 2 33 x 5 y 2 z 2 . We can write this expression as symmetric determinant: This hypersurface is singular on the codimension 3 space defined by the 2 × 2-minors of the above matrix. It is reducible, with one component in z = y = v = 0 and the other having as normalisation the cone over the rational normal curve of degree 4; it can be parametrised as z = −st 3 , y = −y 4 , x = s 4 , v = −a 33 s 11 t 5 and u = −a 2 33 s 18 q 2 . Note also that the weight of the monomial x 7 yz is larger than 1 for both weight vectors. We conjecture that already this polynomial provides an example of a function which is stably degenerate.
More generally, we make the following conjecture.

Conjecture 3.5 A general function on a non-smooth μ-constant stratum is stably degenerate.
In particular, this would prove Conjecture 3.6 There exist a stably degenerate function, which is a μ-constant deformation of a Newton non-degenerate function.
The existence of such a function implies that the question of stable non-degeneracy cannot be decided with invariants depending only on the embedded topological type.
Besides the fact that I do not know what to do in the example above, the heuristic for conjecture 3.5 is the following. The μ-constant stratum has very complicated equations and in fact it is not known in a single case how to write down a general function on the stratum, whereas the Newton diagram seems to be a relatively simple, combinatorial object. Furthermore, the non-degenerate functions with the same Newton diagram as a generic function on the stratum should dominate the μ-constant stratum and this fits badly with the non-smoothness. However, this idea does not lead to a proof, as the coordinate transformations involved need not extend to the original function (as for the function g in Example 3.7 below).

du Plessis' Examples
In [25], Andrew du Plessis gave in a systematic way examples of hypersurfaces of degree d in P n , whose singularities are not versally deformed by the family H d (n) of all hypersurfaces of degree d in P n . Then, at the corresponding point the stratum of hypersurfaces with exactly these singularities can be smooth of dimension larger than the expected dimension or it can be singular. A classical example of the first case is Segre's family of curves of degree 6k of the form ( f 3m ) 2 + ( f 2m ) 3 with 6k 2 cusps (see [32], VIII.5).
If the stratum is singular, we obtain by adding a suitable form of degree d + 1 to the equation of the hypersurface a superisolated singularity with non-smooth μ * -constant stratum (and probably also non-smooth μ-constant stratum, but this has to be proved, as in [27] for the case of Luengo's example). As communicated by du Plessis, the smallest example constructed this way is the following, with d = 3 and n = 7.
The μ * -constant stratum of f is singular with quadratic singularity: the obstruction to lift the first order deformation f 3 + 2x 1 (a 67 x 6 x 7 + a 57 x 5 x 7 + a 56 x 5 x 6 + a 57 x 3 x 6 + a 37 x 3 x 7 + a 35 is a 67 a 35 + a 57 a 36 + a 56 a 37 = 0. In the chart x 0 = 1 one completes the square x 1 + (a 67 x 6 x 7 + a 57 x 5 x 7 + a 56 x 5 x 6 + a 57 x 3 x 6 + a 37 x 3 x 7 + a 35 x 3 x 5 ) 2 and the obstruction to find an equivalent polynomial of degree three is the coefficient of x 3 x 5 x 6 x 7 . Also here some 1-parameter μ-constant deformations are easy to write down: and similar ones obtained by symmetry, but a general deformation is not known explicitly.
The a 67 -deformation has non-degenerate Newton diagram. We now show that for a fixed value of a 35 the function is equivalent to an inner non-degenerate function. As x 6 and x 7 do not occur in the a 35 -deformation we might as well leave them out. Consider, therefore, the polynomial g given by . We write g Δ as determinant: In this case, the singular locus is reducible and consists of four linear spaces, which we can move into coordinate subspaces by a coordinate transformation: It transforms the original function into Now, μ = ν = 68. The polynomial still degenerates on some faces in coordinate hyperplanes. The Newton diagram has 803 compact faces (computed with Gérmenes [22]). It can be checked that the polynomial is inner non-degenerate. Presumably, it can be made non-degenerate with the basic trick. Note that the coordinate transformation only works for a 35 = 0.

Small Examples
Motivated by the above examples we search for a simpler example, with low Milnor number. We start from a quasi-homogeneous singularity f δ with one-dimensional singular locus, which is generically reduced (to get a small example); denote by Σ the reduced singular locus. There should be no coordinate transformation which moves Σ into a coordinate hyperplane. Therefore, Σ should be irreducible. Moreover, it should not be a complete intersection, where our methods apply, see Example 3. 10.
The condition that f δ is singular along Σ = V (I ) is that f δ ∈ I , where I is the primitive ideal [24,26]: The terminology is from Pellikaan [24].
Interesting examples can be found in the work of De Jong and Van Straten on rational quadruple points [14,Proposition 1.8]. The easiest example is the following.

Example 3.8 Let
. Its ideal is given by the minors of a 2 × 3 matrix. We define a function f δ with Σ as singular locus by adding one row to the matrix to get the following symmetric 3 × 3 determinant: All 2 × 2 minors lie in the ideal I , because they vanish on the curve (t 3 , t 4 , t 5 ), so by the product rule the partial derivatives of f δ lie also in I , showing that f δ ∈ I .
We find isolated singularities in three related series by adding suitable monomials: The lower index denotes the Milnor number. We can write it as μ = 7 + v, where v denotes the weight of the added monomial (using the weights 3, 4, 5). The smallest example is f 23 . The functions f μ degenerate by construction on the face δ of the Newton diagram with vertices (5, 0, 0), (1, 3, 0) and (0, 0, 3).
To determine the resolution graph, we look at f δ in the chart x = 1. It is given by curves, all but one having self intersection −2, and at the only (−3)-curve a chain of three (−2)-curves is attached. One has p g ( f 7+v ) = 2, whereas the maximal elliptic singularity has p g = 4.
If we change the coefficients in the matrix defining f δ the function will define a non-degenerate function. Every transformation I tried can also be done for the nondegenerate function, leading to the same Newton diagram. These transformations involve somehow the generators of the ideal I , but by changing their coefficients the ideal will become a complete intersection. This does, however, not exclude the existence of a very strange coordinate transformation, which does the trick.

Example 3.10
If we take only two generators of the ideal I of the monomial curve (t 3 , t 4 , t 5 ) we get as reduced singular locus the union of this curve and the z-axis; it is the complete intersection x 3 − yz = xz − y 2 = 0. We take the function We have μ(g δ + z k ) = 6k + 16 for k ≥ 4. The function g δ + z k is stably equivalent to the non-degenerate function

Example 3.11
If we take h δ ∈ I 2 , with still the same ideal I , we can apply the basic trick as first step. Take the function The reduced singular locus consists of the monomial curve (t 3 , t 4 , t 5 ) and the y-axis, and is not a complete intersection. We have μ(h δ + y k ) = 23 + 5k for k ≥ 5, but ν(h δ + y k ) = 41 + k.
We apply the basic trick to h = h δ + y k and get This polynomial degenerates on the four-dimensional face δ whereh δ = u(xz − y 2 ) + v(yx 2 − z 2 ) + 2w(x 3 − yz). Indeed, the function h δ involves all five monomials of the given degree and a general non-degenerate function can be written as H δ = (ax 3 − byz) 2 + (cx z − dy 2 )(eyx 2 − f z 2 ). Therefore, the same type of transformation can be applied to H δ + y k , leading to the same Newton diagram. As we have a relation r i f i between the generators f i of I we get by deriving a relation between the partial derivatives of the f i , holding modulo I . This can be written in terms of the parameter t in the parametrisation (t 3 , t 4 , t 5 ) of Σ. If (u, v, 2w) is a multiple of the relation vector we get a non-trivial solution. Note that we can writeh δ as determinant:h This shows that the singular locus ofh δ is not contained in the coordinate hyperplanes.
As there seems no way to use the fact that there are relations between the generators f i of I , we conjecture that also h δ + y k is stably degenerate.
It does not suffice that Σ is not a complete intersection, as the following example shows.

Example 3.12 Consider
Then, f δ = x 3 + y 3 + z 3 − 3x yz, which is a product of three linear factors, and f δ + l k for a general linear function l (a coordinate function will do) is equivalent to a function of type T k,k, , so a simple coordinate transformation makes the function non-degenerate. But it is even possible to make it non-degenerate after stabilisation, keeping the original (x, y, z)-coordinates. The equation has the form l 1 l 2 l 3 + l k . We apply the basic trick, first once: −u 1 v 1 + u 1 l 1 + v 1 l 2 l 3 + l k and then once again: Example 3. 13 We give a non-trivial example with Σ a complete intersection. Consider the curve with parametrisation (t 4 , t 5 , t 6 ) and equations y 2 − xz = z 2 − x 3 = 0. This is the simple complete intersection curve W 8 in Giusti's notation (see [3], 9.8). We take as f δ a rather general element in the square of the ideal. Let with μ( f ) = 103. The (reduced) singular locus of f δ = x 7 + x 2 y 4 − 2x 4 z 2 + 2xz 4 − y 2 z 3 − x 3 y 2 z consists of W 8 and the y-axis. We apply the basic trick several times and simplify. The result can be seen directly: a function of the form g = αϕ 2 +βϕψ +γ ψ 2 is stably equivalent to −uv −tw +uϕ +tψ +αv 2 +βvw +γ w 2 , as the last expression is equal to Therefore, f is stably equivalent tõ The examples above show that there is no easy criterion for a function to be stably equivalent to a non-degenerate function. Our strategy is to remove f Δ , if f degenerates on Δ. To increase the Newton number in this way, the function f Δ should have a specific form, which is different from the generic function with the same support, as in Examples 3.4, 3.12 and 3.13. In Examples 3.8 and 3.11, the only specific structure is the existence of relations between the generators of the ideal of the singular locus, but that does not seem to help.

Irreducible Plane Curve Singularities
It is well known that the only non-degenerate irreducible plane curve singularities are those with one characteristic pair (g = 1 in the notation below). This follows from Newton's method to find a Newton-Puiseux series (see, e.g. [7], 8.3); indeed the Newton polygon was introduced by Newton for this purpose. In this section, we give evidence that all irreducible plane curve singularities are stably non-degenerate (in characteristic zero).
We describe equations for irreducible plane curve singularities following Teissier [29], see also [9]. We look at algebroid curves over an algebraically closed field K of characteristic zero. The basic invariant is the semigroup.
Teissier showed that every plane curve singularity with semigroup S occurs in the positive weight part of versal deformation of the monomial curve C S with the same semigroup S. Embed C S in K g+1 by u i = tβ i . Write n iβi = l (i) 0β 0 + l (i) 1β 1 + · · · + l (i) i−1β i−1 .
The curve C S is a complete intersection with equations  A particular simple deformation of positive weight is given by f i + εu i+1 , i < g, and we may even take ε = 1. It is then easy to eliminate the u i with i ≥ 2 to obtain an equation of a plane curve. Cassou-Nogués [9] has shown that one can write the whole equisingular deformation of this particular curve as f i + u i+1 , where f i only depends on the coordinates u 0 , . . . , u i , so it is possible to do the same elimination for the whole stratum. However, as the curve is no longer quasi-homogeneous it is not clear whether every plane curve occurs in this family.
The easiest elimination occurs when l (i) j = 0 for all j ≥ 2 and all i. Such semigroups exist for all g. They can be constructed inductively. Given β 0 , . . . ,β g−1 with gcd(β 0 , . . . ,β g−1 ) = 1 and such that l (i) j = 0 for j ≥ 2, take a semigroup n gβ0 , . . . , n gβg−1 ,β g with gcd(n g ,β g ) = 1,β g > n g−1 n gβg−1 andβ g ∈ β 0 ,β 1 . 1 . The facets containing both v 2 u n 1 1 and v 2 u l 0 (1) 0 are rather easy to describe, but the remaining facets, on which only one of v 2 u n 1 1 and v 2 u l 0 (1) 0 lies, are more difficult, as they depend on the values of l (i) k . Each such a facet contains exactly six points and is, therefore, a simplex.

Remark 4.2 Without the assumption l
(i) j = 0 for all j ≥ 2, the situation is more complicated and we only give the case g = 4. The equation is now (u n 1 1 − u 0 .
Acknowledgements I thank Claus Hertling for asking the decisive question about non-degeneracy of singularities on a non-smooth μ-const stratum.
Funding Open access funding provided by University of Gothenburg.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.