## Applications for knowing the singularities parametrized by the boundary of a moduli space

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

Given a moduli space $M$ of some smooth algebraic geometric object such as curves, surfaces, etc. Let $\overline{M}$ be a compactification of $M$. Then, $\overline{M}\setminus M$ introduces singular objects in our moduli. The question is: What is the use of knowing the singularities parametrized by the boundary of the compactified moduli space i.e $\overline{M} \setminus M$. Usually $M$ has diferent compactifications, and so different " limit singular objects". Does this difference mean something?

For example: the smooth genus $g=3$ have the $\overline{M_3}$ compactification with only stable curves in the boundary, but is possible to find another compactification by the GIT analysis of degree four plane curves. The singular curves present in the boundaries are quite different. What is the use of having an explicit descriptions of them?

-

The output of de Jong's work on alterations of singularities (and subsequent work by various authors, such as Temkin and Gabber) is unrelated to moduli spaces. However, the method itself crucially relies on the ability to compactify the moduli space of smooth curves by adding (the very slightly singular) stable curves. – anon Jan 12 at 9:39

## 2 Answers

here's a try: suppose you have a quartic surface in P^3 and ask whether the isomorphism type of plane sections varies or not. If the planes pass through a general common line, the general singularity of the curve section is an odp. If these curve sections are also irreducible, it seems that the conclusion is that the holomorphic type of the sections varies. I.e. the fact that the compactified moduli space of smooth genus 3 curves contains all irreducible nodal curves of genus 3, and is hausdorff, implies that the plane sections of a quartic surface are not all isomorphic.

-

### 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.

Here's an example: Suppose you'd like to know about the divisors on $X = \overline{M_{g,n}}$. Say for instance that you have a divisor $D$ and you'd like to know whether $D$ is ample or nef, that is, if for all curves $C$ on $X$, we have $D\cdot C > 0$ or $\ge 0$.

There's a conjecture out there called the $F$ conjecture which says that if we want to show $D$ is nef, it suffices to check $D\cdot C \ge 0$ for a smaller set of curves in the boundary strata, called the $F$-curves. Because that's a definition for which pictures help, I refer you over to http://www-irm.mathematik.hu-berlin.de/~larsen/talkM2Goettingen.pdf

Of course that's a conjecture to be proven, but it's related to a big circle of ideas surrounding the minimal model program, including the question of Hu and Keel on whether or not $\overline{M_{0,n}}$ is a Mori Dream Space ( http://arxiv.org/PS_cache/math/pdf/0004/0004017v1.pdf )

-
{"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": 20, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9203386902809143, "perplexity_flag": "head"}