MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What kind of singularity is commonly meant by $A_{\infty}$?

share|cite|improve this question
It would help if you said what type of singularity you think $A_n$ means; Fly by Night's answer below is using a different notion of $A_n$ than the question Francesco links. – David Speyer Aug 1 '12 at 15:05
up vote 3 down vote accepted

For $\mu \ge 0,$ the $A_{\mu}$ series of map germs $f : (\mathbb{R}^n,0) \to (\mathbb{R},0)$ is, for $\varepsilon_i = \pm 1$, given by $f(x) = \varepsilon_1x_1^2 + \cdots + \varepsilon_{n-1}x_{n-1}^2 \pm x_n^{\mu +1}$. These all have algebraically isolated singularities at $0 \in \mathbb{R}^n$. I this setting, finite Milnor number is equivalent to the singularity being isolated. For $\mu = \infty$, the $A_{\infty}$ singularity is non-isolated, and is given by $f(x) = \varepsilon_1x_1^2 + \cdots + \varepsilon_{n-1}x_{n-1}^2$. Notice the lack of $x_n$. If you're working over $\mathbb{C}$ then drop all of the $\pm$s.

share|cite|improve this answer
@David: They're the same notation. In Francesco's link $n = 2$ and we get the $A_{\mu}$ series given by $f(x) = x_1^2 + x_2^{\mu+1}$, with $A_{\infty}$ being $f(x) = x_1^2$. – Fly by Night Aug 1 '12 at 15:13
Thank you, I got it. – IMeasy Aug 4 '12 at 8:00

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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