Configurations of points on degenerate varieties and properness of moduli spaces

TL;DR

This paper generalizes the construction of moduli spaces of stable point configurations to algebraic stacks and degenerations, proving their properness and applying these results to Gromov--Witten invariants.

Contribution

It extends Kim and Sato's moduli space construction to stacks and degenerations, providing new properness proofs and applications to Gromov--Witten theory.

Findings

Constructed moduli spaces $X_D^{[n]}$ and $W_ ho^{[n]}$ for stacks and degenerations.

Proved properness of these moduli spaces using a universal construction.

Applied the properness results to Gromov--Witten invariants of stacks.

Abstract

Consider a smooth variety $X$ and a smooth divisor $D\subset X$. Kim and Sato (arXiv:0806.3819) define a natural compactification of $(X\setminus D)^n$, denoted $X_D^{[n]}$, which is a moduli space of stable configurations of $n$ points lying on expansions of $(X,D)$ in the sense of Jun Li (arXiv:math/0009097, arXiv:math/0110113). The purpose of this note is to generalize Kim and Sato's construction to the case where $X$ is an algebraic stack; and to construct an analogous projective moduli space $W_\pi^{[n]}$ for a degeneration $\pi:W \to B$. We construct $X^n_D$ and $W_\pi^{[n]}$ and prove their properness using a universal construction introduced in our paper arXiv:1110.2976 with Cadman and Wise. We then use these spaces for a concrete application, as explained in the next paragraph. In arXiv:1103.5132, a degeneration formula for Gromov--Witten invariants of schemes and stacks is developed, generalizing the approach of Jun Li. This in particular requires proving properness of Li's stack of pre-deformable stable maps in the case where the target $(X,D)$ or $W\to B$ is a Deligne--Mumford stack. One could simply adapt Li's proof, or follow the age-old tradition of imposing such endeavor as an exercise on "the interested reader". Instead, we prefer to provide a different proof here, which uses the properness of $X_D^{[n]}$ and $W_\pi^{[n]}$. Similar ideas are used by Kim, Kresch and Oh (arXiv:1105.6143) to prove the properness of their space of ramified maps. This note is identical to the text available on our web pages since March 2013. It is posted now as it has become an essential ingredient in others' work.