Skip to main content
1 of 3
peter
  • 211
  • 1
  • 4

Local algebra of a real-analytic singularity vs. its complexification

This is probably a well-known issue, but I could not find a clear discussion in the literature, and I think others could find it useful.

Consider a real-analytic function germ $f:(\mathbb R^2,0) \rightarrow \mathbb R$, it is represented by a convergent power series $\sum_{i,j}a_{ij}x^iy^j \in \mathbb R\{x,y\}$. Suppose $f$ has a singularity at $0$, i.e. $df(0)=0$. Define its Jacobian ideal as the ideal generated by its partial derivatives: $I_{df} = \mathbb R\{x,y\}\langle f_x,f_y\rangle$, and its real local algebra as: $$Q_f := \frac{\mathbb R\{x,y\}}{I_{df}}.$$

Let $\mu_{\mathbb R} := \dim_{\mathbb R} Q_f$. The singularity is called algebraically isolated if $\mu_{\mathbb R}< \infty$. It is called isolated if, in some small neighborhood of $0$, $df(x,y)=0$ only at $(x,y)=0$ (i.e., the usual meaning).

Now take the complexification of $f$ by simply considering the series as a complex one: $\sum_{i,j}a_{ij}z^iw^j$. It is convergent in some polydisc and defines an holomorphic germ $f^{\mathbb C}:(\mathbb C^2,0) \rightarrow \mathbb C$. Take its (complex) Jacobian ideal, that is: $I_{df^{\mathbb C}} = \mathbb C\{x,y\}\langle f^{\mathbb C}_z,f^{\mathbb C}_w\rangle$, and the complex local algebra $$Q^{\mathbb C}_f := \frac{\mathbb C\{x,y\}}{I_{df^{\mathbb C}}}.$$

The Milnor number of the complexified singularity is defined by: $\mu_{\mathbb C} := \dim_{\mathbb C} Q_f^{\mathbb C}.$ A complex singularity is called isolated if $\mu_{\mathbb C} < \infty$. (In the holomorphic case it can be proven that a singularity is isolated if and only if, in some small neighborhood of $0$, $df(z,w)=0$ only at $(z,w)=0$, so we don't need to specify ''algebraically'' here.)

Questions:

  1. What is the relationship between the real-analytic singularity and its complexification? In particular: between the two local algebras, and between $\mu_{\mathbb R}$ and $\mu_{\mathbb C}$? Is there a class of functions where things work better?
  2. Is true (or false) that a real-analytic singularity is algebraically isolated if and only if its complexification is isolated?
  3. In the real setting: is ''algebraically isolated'' stronger then simply ''isolated''?
  4. Any reference!

Thank you.

peter
  • 211
  • 1
  • 4