## Limit of a series of singularities

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The $A_\infty$ and $D_\infty$ plane curve singularities have defining equations $x^2=0$ and $x^2y=0$. These equations are "clearly" natural limiting cases of the equations for $A_n$ singularities $x^2 + y^{n+1}=0$ and $D_n$ singularities $x^2y+y^{n-1}=0$ as $n \to \infty$, since large powers are small in the adic topology. So we're tempted to say that $A_\infty$ and $D_\infty$ are "limits" of the "series of singularities" ${A_n}$ and ${D_n}$. This was already observed by Arnol'd in 1981, who wrote "Although the series undoubtedly exist, it is not at all clear what a series of singularities is."

Have there been any attempts since Arnol'd to make sense out of the phrases in quotes in the previous paragraph? That is:

Are there precise definitions of a "series of singularities", and of the "limit" of a series of singularities, under which $\lim_{n\to \infty} A_n = A_\infty$ and $\lim_{n\to \infty} D_n = D_\infty$?

If the answer is Yes, here's another desideratum: does the notion of "limit" extend to modules/sheaves over the singularities? My motivation here is that the $A_n$ and $D_n$ are (almost) precisely the equicharacteristic hypersurfaces with finite Cohen-Macaulay type (i.e. only finitely many indecomposable MCM modules), while $A_\infty$ and $D_\infty$ are precisely the ones with countable or bounded CM type. I'd really like some statement that each MCM module over the "limit" "comes from" a module "at some finite stage".

-

I think the answer might be No. The reason is that varieties/singularities are parametrized by coefficients rather than by degrees. But that is my guess which won't serve a correct/formal answer to your question. – 7-adic Mar 20 2010 at 19:45
regarding the second point, note that in both cases you can put in a scaling parameter and get families $x^2 + \epsilon y^{n+1}$ and $x^2 y + \epsilon y^{n-1}$.  Taking $\epsilon \to 0$ gives a map from matrix factorizations of $A_n$ to matrix factorizations of $A_\infty$, which is presumably injective and eventually gets everything, so I guess a posteriori you learn that everything over the limit comes from a finite stage. – Vivek Shende Feb 23 at 6:39
my previous comment was really meant to be a question: are you asking that the notion of limit should be compatible with the above described maps? – Vivek Shende Feb 23 at 6:43

## 2 Answers

This is not an answer, but rather a long comment (grad student level, so please don't take it seriously). I use surfaces for simplicity. The answer must yes in some form. My belief is from the moduli space theory. It is known that the normal stable surfaces admit at worst log canonical isolated singularities. This includes $xyz+x^p+y^r+z^q$ singularities. However, to have a complete moduli space of surfaces, we must include no isolated singularities of the form $xyz$, $xyz+x^p$, and $xyz+x^p+y^r$ (among others). The resemblance of the equations must be more than a coincidence. So, I can imagine we can have an isolated singularity and consider all the deformations from it to non isolated ones. Then to look for the minimal "complete" family of such degenerations.

I wish someone can say something more about all this.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Large power are small in adic topology: For series of singularities let A infinity and D infinity are plane curve singularities:x^2=0 & X^2.y=0 both equations are natural limiting for A(n) singularities x^2+y^n+1=0 & D(n) singularities x^2y+y^n-1=0 as n_>infinty thats why here we are able to say that A (infinity) and D(infinity) are limits of series of singularity A(n) and D(n)

-

3
Isn't this just the first paragraph in the question? – Ketil Tveiten Aug 21 at 9:49
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9499034881591797, "perplexity_flag": "middle"}