4
$\begingroup$

Let $f: \mathbb{R}^n \to \mathbb{R}$ be a germ of an isolated, real analytic singularity. Let $I$ be the ideal in $R = \mathbb{R}[x_1, \dots, x_n]$ generated by the components of $\nabla f$, and $Q = R/I$ the local algebra. An unfolding of the germ consists in sending $f \mapsto f+g$, where $g$ is a polynomial belonging to $Q$. The index of the germ is the Poincare-Hopf index of the singularity of the vector field $\nabla f$.

For a complex singularity, it is known that an arbitrary unfolding splits the singularity into $\mu = \dim Q$ Morse singularities. In the real case of course, this is not true: some of the singularities produced may exist only in the complex domain (e.g, $x^3 \mapsto x^3 + x$ gives a function with no real singularities).

There are a couple of constraints on which singularities may appear in the unfolding. It's obvious that any unfolding into Morse singularities can only leave an even number of them of the complex world, and the indices of those that do appear in the real world must sum to the index of $f$. Matters are complicated by the fact that an unfolding need not produce just Morse singularities, but also degenerate singularities of lower multiplicity.

Question: Are there any constraints on which singularities can be produced by an unfolding of $f$ other than the obvious ones I mentioned? Is there a clean way to enumerate all possible combinations of singularities produced by an unfolding, for an arbitrary function germ $f$? I would hope to be able to compute this enumeration in terms of information about $Q$ and the levels sets of $f$. I know very little about algebraic geometry, but it seems that we could perhaps relate it to deformations of the variety $f=0$.

To see what I mean, consider the germ $f = x^2y - y^3 + z^2$ of a $D^-_4$ singularity. A basis for the local algebra is $1, x, y, y^2$. Playing around for a while has convinced me there are 3 "essentially different" real unfoldings corresponding to the images below. In the first two cases a pair of Morse index 1 singularities is created, but the behaviour of the level set $f=0$ is different. In the final case we produce three Morse index 1 and one Morse index 0 singularities. It is not possible to produce just the pair with Morse index 0 and 1, and we can rule this out because the index of this combination is not right. In principle, we could produce 3 singularities, two Morse index 1 and an $A_2$ singularity that is itself comprised of the remaining Morse index 0 and 1 singularities, but if this is possible I haven't been able to figure out how to do it.

Apologies if this is a foolish question, this is not really my area.

enter image description here

$\endgroup$

1 Answer 1

3
$\begingroup$

This is a fun question. I thought a bit about it and the specific $D_4^-$ example, and here is what I got (apologies for a longish answer).


Refined count of singularities in unfoldings:

First, let me note that the conditions that Morse indices have to add up can be reformulated in terms of a refinement of the Milnor number. From the work of Eisenbud-Levine and Khimshiashvili, there is a symmetric bilinear form on the local algebra $Q$, given as follows: choose a linear form $\phi:Q\to \mathbb{R}$ such that the image of the Hessian matrix $(\frac{\partial^2 f}{\partial x_i\partial x_j})_{i,j}$ has positive image under $\phi$; then consider the symmetric bilinear form $\langle f,g\rangle:=\phi(fg)$. The rank of this form is the Milnor number for the complexification, and the signature provides refined information about the singularities which appear in unfoldings of $f$.

More precisely, consider an unfolding $f(x_1,\dots,x_n)+\sum a_ix_i$ (only adding linear terms!) and assume it has only Morse (i.e. nodal) singularities. To each of the nodal singularities, one can associate a similar bilinear form, and the direct sum of those must be isometric to the Eisenbud-Levine-Khimshiashvili form of the singularity of $f$. I learned this from the fantastic work of Kass and Wickelgren:

  • J. Kass and K. Wickelgren. The class of Eisenbud-Khimshiashvili-Levine is the local $\mathbb{A}^1$-Brouwer degree. arXiv:1608.05669v1. (link to paper on arXiv)

Also check out the references in there. Their results work for varieties over general fields, but if you're only interested in working over the real numbers, there are earlier versions of refinements for Milnor numbers e.g. in the work of Wall on topological invariance of Milnor numbers mod 2:


Singularity counting in case $D_4^-$: In the example of the singularity $D_4^-$ in the question, we have $$ \det\left(\begin{array}{ccc} 2y&2x&0\\2x&-6y&0\\0&0&1\end{array}\right)=-24y^2. $$ So we choose the linear form on $Q$ which maps $1,x,y$ to $0$ and $y^2$ to $1$. In the basis $x,y,\frac{y^2+1}{2},\frac{y^2-1}{2}$, the symmetric bilinear form is given by the diagonal matrix ${\rm diag}(-1,-1,-1,1)$.

Note that if $n$ is odd the quadratic form isn't an invariant of the singularity but of the equation. Multiplying the equation in the question by $-1$ produces the diagonal matrix $(1,1,1,-1)$. (This works better in even dimensions where the quadratic form is really an invariant of the singularity.)

In any case, most of the preliminary exclusion of possible singularities formulated in the question can be rephrased in terms of the quadratic form above. It should be noted that arguments with the form also exclude that the singularity bifurcates into two pairs of complex conjugate nodes -- at least two of the nodes must be defined over $\mathbb{R}$. However, this reasoning doesn't exclude the possibility of $A_2$-singularities appearing.


Space of unfoldings: Ok, now we can also look at the space of all unfoldings $u=f+\sum a_ig_i$ where $g_i$ runs through representative polynomials of the local algebra $Q$. If we fix a parameter tuple $(a_1,\dots,a_{\mu-1})$ we can compute the zeros of $\nabla u$. The vanishing loci for the components of $\nabla u$ are hypersurfaces in the space $\mathbb{R}^{\mu-1}$ of all unfoldings. The simple zeroes (i.e. where the hypersurfaces for the components of $\nabla u$ intersect transversely) will correspond to Morse singularities, the multiple zeroes to more complicated ones. The system of equations defining the locus of multiple zeroes is an analogue of the discriminant of a one-variable polynomial (but here we have several variables $a_1,\dots,a_{\mu-1}$). Nevertheless, the complement of this locus of multiple zeroes will consist of several connected components. Now, one of the possible definitions of "essentially different" for Morse unfoldings is: "lying in different connected components". (Note that this only counts essentially different unfoldings where only nodal/Morse singularities appear. The more complicated singularities that in the multiple-zero-locus of $\nabla u$ have to be investigated separately.)

So here we have a more precise formulation of the question: count the connected components of the complement of the discriminant locus in the space of all unfoldings. I don't think that this question can be answered by general theory (at this point):

  1. determining the discriminant locus is not so easy. This is the locus where the scheme-theoretic intersection of the (singular) hypersurfaces where the components of $\nabla u$ vanish is non-reduced. Already working out the degree would require more elaborate methods, and to get explicit formulas is more complicated than formulas for the discriminant of one-variable polynomials. (The discriminant-resultant book of Gelfand-Kapranov-Zelevinsky could be very useful here.)

  2. Determining the number of connected components of the complement seems a pretty complicated task. In real algebraic geometry, there are generally only bounds for the number of connected components of the real points of a variety in terms of information like degree, genus etc. (e.g. Harnack's bound) but the exact number can vary in families.

Addendum: An estimate for the number of connected components of the complement can be found in the answers to this MO-question. Papers that study statistics for Hilbert's 16th problem seem to say that the expected number of components for random hypersurfaces are close to the upper bound (which for degree 4 in $\mathbb{R}^3$ for the $D_4$-singularity would be 216) -- but then the discriminant isn't just any random polynomial.

  1. at this point I am not even sure if the number of connected components will be the same for all possible realizations of the singularity.

This is similar to other problems in real enumerative geometry: the space of solutions to the enumeration problem has several connected components and the number of solutions is only locally constant and varies between different components. All you can hope for is some signature-type information (as in the refined Milnor number discussed in the beginning). There seems to be no general theory which would answer questions concerning the number of components in the solution space, the possible number of real solutions in each of the components or the more precise information on the topology of the components of the solution space.

Two examples for the structure of the space of unfoldings are discussed below.


A simpler example $A_3$: The hypersurface is given by $x^2+y^2+z^4=0$. In this case, the local algebra is generated by $1,z,z^2$. So the unfoldings would be of the form $g(x,y,z)=x^2+y^2+z^4+a_1z+a_2z^2$. Then $$ \nabla g=(2x,2y,4z^3+a_1+2a_2z). $$ Therefore, the singularities always have $x=y=0$ and the $z$-coordinates of the singularities satisfy $4z^3+2a_2z+a_1=0$. The discriminant hypersurface for this degree 3 polynomial is defined by $-8a_2^3-27a_1^2=0$. This is a curve which separates the $(a_1,a_2)$-plane into two connected components. On the one component where the discriminant is positive, there are three distinct real Morse singularities, and on the component where the discriminant is negative, there is one real Morse singularity (and the other two are complex conjugates). In this case we can confidently say that there are two types of nodal/Morse unfoldings, determined by their numbers of real Morse singularities. The types of more complicated singularities that appear on the discriminant hypersurface have to be investigated separately.


Space of unfoldings for example $D_4^-$: the hypersurface in question is $x^2y-y^3+z^2$. The local algebra is generated by $1,x,y,y^2$ and the unfoldings are of the form $u(x,y,z)=x^2y-y^3+z^2+a_1x+a_2y+a_3y^2$. Then $$ \nabla u=(2xy+a_1,x^2-3y^2+a_2+2a_3y,2z). $$ All the singularities will have $z=0$. There is a case distinction:

  • if $y=0$ then $a_1=0$ and $x=\pm \sqrt{-a_2}$.

  • if $y\neq 0$ then we can substitute $x=-\frac{a_1}{2y}$ into $\nabla_yu$ and get $a_1^2-12y^4+8a_3y^3+4a_2y^2=0$.

Now we can write out the discriminant for the degree 4 polynomial which determines the locus where we have multiple zeroes. The hypersurface has equation $$ a_1^2\left(108a_1^4-72a_1^2a_2^2-108a_1^2a_2a_3^2-12a_2^4-27a_1^2a_3^4-4a_2^3a_3^2\right)=0. $$ The component $a_1=0$ is sort of artificial: outside the line $a_1=a_2=0$, there are always four distinct zeroes of $\nabla u$, given by $(0,\frac{a_3}{3}\pm\frac{\sqrt{a_3^2+3a_2}}{3})$ and $(\pm\sqrt{-a_2},0)$. On the line $a_1=a_2=0$, there are multiple singularities, these are probably still the original $D_4^-$ singularities.

The other component is the interesting one, a hypersurface of degree $6$. I don't quite know how many components the complement of this hypersurface has. Some plots in the $(a_1,a_3)$-plane for various fixed values of $a_2$ suggest that it's more than three. So I would expect that the classification of the different types is a bit more complicated than suggested in the question. Also, for now I haven't looked at the singularities that appear on for parameters $(a_1,a_2,a_3)$ on the discriminant hypersurface. I would expect that these are non-Morse singularities, maybe with the $A_2$ suggested in the question.


Well, that's all for now, and it already suggests that this is going to be more complicated for other singularities (like $E_8$-type). Let me know if this goes in the direction you were interested in, or if this doesn't answer the question at all. I apologize again that the length of this answer has gotten out of hand...

$\endgroup$
4
  • $\begingroup$ This is really helpful, thanks! It's not too long at all. I had an inkling that the discriminant was the right thing to look at from the work of Arnold, but it wasn't clear to me that the different unfoldings corresponded to connected components. I'll take another look at the D4 case myself and see if I can figure out anything else. $\endgroup$ Jun 15, 2018 at 9:48
  • $\begingroup$ Just to clarify, do unfoldings that produce non-Morse singularities show up as singularities on the discriminant hypersurface? If so, what relationship is there between the singularity that appears on the hypersurface and the non-Morse singularities in the unfolidng? $\endgroup$ Jun 15, 2018 at 9:49
  • $\begingroup$ @JoePollard: to clarify, the points $(a_1,\dots,a_n)$ on the discriminant hypersurface are those where the unfolding $f+\sum a_ig_i=t$ (viewed as a family over $\mathbb{R}$ has some fibers which have worse than Morse singularities. I'm not sure what the singularities of the discriminant hypersurface correspond to (maybe points where the non-Morse singularities are even worse than usual). Maybe it's possible to get some stratification of the discriminant hypersurface where the strata are indexed by the different types of singularities that appear. I'll try to see what can be said for $D_4-$. $\endgroup$ Jun 15, 2018 at 15:26
  • $\begingroup$ @JoePollard: from the work of Arnold, we have algorithms determining the types of singularities. Over the real numbers, everything is again a bit more complicated than over the complex numbers, but in principle these algorithms could be used to determine for a given point on the discriminant hypersurface what the types of the corresponding singularities are (not sure about computational feasibility). I'm not sure if Arnold's theory allows to obtain formulas for the locus (on the discriminant hypersurface) of singularities of a given type... $\endgroup$ Jun 15, 2018 at 15:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.