Abstract:The introduction is modified in the revised version. Also, many typos and errors were corrected.
Let $W\to C$ be degeneration of smooth varieties so that the special fiber has normal crossing singularity. In this paper, we first constructed the stack of expanded degenerations of $W$. We then constructed the moduli space of stable morphisms to this stack, which provides a degeneration of the moduli spaces of stable morphisms associated to $W/C$. Using similar technique, for a pair of smooth variety and a smooth divisor $(Z,D)$, we constructed the stack of expanded relative pairs and then the moduli spaces of relative stable morphisms to $(Z,D)$. In the subsequent paper we will construct the relative Gromov-Witten invariants and prove a degeneration formula of Gromov-Witten invariants.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to develop the theory of relative Gromov - Witten invariants and prove a degeneration formula, which can relate the Gromov - Witten invariants of smooth varieties to the relative Gromov - Witten invariants of pairs. Specifically, the author Jun Li focuses on how to understand the behavior of Gromov - Witten invariants when the target variety degenerates by studying relatively stable morphisms and relative Gromov - Witten invariants.
### Background and Objectives of the Paper
- **Background**: Gromov - Witten invariants are essentially virtual counts of algebraic curves in algebraic varieties and have important applications in topology. Since their introduction, Gromov - Witten invariants have become an indispensable tool for studying many mathematical problems, especially in applications in mathematical physics.
- **Challenge**: A challenging problem is how to understand the Gromov - Witten invariants of singular varieties and the behavior of Gromov - Witten invariants when the target variety degenerates. This problem has been explored in multiple research groups, such as the work of Tian, A. Li - Ruan, Ionel - Parker, etc.
### Main Contributions
- **Constructing Extended Degenerations**: The author first constructs the moduli spaces of extended degenerations, which provide degenerations of the moduli spaces of stable morphisms associated with degenerated varieties.
- **Relatively Stable Morphisms**: For a pair of smooth varieties and a smooth divisor, the author constructs the moduli space of extended relative pairs and further constructs the moduli space of relatively stable morphisms.
- **Degeneration Formula**: The author proves a degeneration formula that relates the Gromov - Witten invariants of smooth varieties to the relative Gromov - Witten invariants, in the form:
\[
\text{GW}(W_t)=\text{GW}(Y_1, D_1)*\text{GW}(Y_2, D_2)
\]
where \(\text{GW}(W_t)\) represents the complete Gromov - Witten invariant of \(W_t\), \(\text{GW}(Y_i, D_i)\) represents the complete relative Gromov - Witten invariant of \((Y_i, D_i)\), and \(*\) is a linear involutive - type product.
### Technical Methods
- **Geometric Construction**: The author adopts a geometric method. First, the moduli spaces of extended degenerations are constructed, and then the stable morphisms on these moduli spaces are studied.
- **Obstruction Theory**: In subsequent work, the author will develop the obstruction theory of these moduli spaces, prove that they have a perfect obstruction theory, and construct relative Gromov - Witten invariants.
### Application Prospects
- **Curve Counting**: These techniques are very useful in counting curves in algebraic surfaces and Calabi - Yau manifolds, and these problems are crucial for research in mathematical physics.
- **Other Moduli Spaces**: These techniques can also be applied to other moduli space problems, including stable sheaves on algebraic varieties.
In conclusion, this paper provides a new method to understand and calculate Gromov - Witten invariants, especially the behavior when the target variety degenerates, by constructing the moduli spaces of extended degenerations and the moduli spaces of relatively stable morphisms. This not only fills a gap in algebraic geometry but also provides a powerful tool for future research in mathematical physics.