Abstract:We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective Deligne-Mumford stacks. We study the deformation and obstruction theories of stable pairs, and then prove the existence of virtual fundamental classes for some cases of dimension two and three. This leads to a definition of Pandharipande-Thomas invariants on three-dimensional smooth projective Deligne-Mumford stacks.
What problem does this paper attempt to address?
The paper primarily aims to address the following issues:
### Main Contributions and Objectives
1. **Construction of Moduli Space**: The authors extend the concept of semistable pairs on projective Deligne-Mumford stacks and construct the moduli space for these semistable pairs. This involves studying parameter spaces, group actions, and linearization through techniques such as Geometric Invariant Theory (GIT).
2. **Stability Theory**: A new stability condition based on the stability parameter \(\delta\) is defined, and the properties of semistable pairs under this stability are studied. In particular, the authors investigate the deformation theory and obstruction theory of \(\delta\)-stable pairs and prove the existence of virtual fundamental classes in certain cases.
3. **Pandharipande-Thomas Invariants**: Utilizing the existence and properties of the aforementioned moduli space, the authors define the Orbifold Pandharipande-Thomas theory on 3-dimensional smooth projective Deligne-Mumford stacks, thereby enabling the definition of Orbifold PT invariants.
### Specific Issues
- **Stability and Moduli Space**: The paper introduces a new concept of semistable pairs, namely \(\delta\)-semistable pairs, and demonstrates how to construct the moduli space for these pairs. This includes proving an existence theorem (Theorem 1.1), which states that there exists a moduli space \(M_{ss}\) that parametrizes these pairs.
- **Variation Theory**: The paper also studies the changes in the moduli space as the stability parameter \(\delta\) varies (Theorem 1.2) and provides a description of the chamber structure concerning the stability parameter.
- **Virtual Fundamental Classes**: To define Orbifold PT invariants, the authors investigate the deformation theory and obstruction theory of semistable pairs and prove the existence of virtual fundamental classes in specific dimensions (Theorems 1.4 and 1.5). This is crucial for defining virtual counts.
- **Orbifold PT Theory**: Finally, the paper defines the Orbifold PT theory on 3-dimensional smooth projective Deligne-Mumford stacks and defines Orbifold PT invariants on these stacks.
### Summary
The main objective of this paper is to generalize the Pandharipande-Thomas theory within a broader mathematical framework to the context of Deligne-Mumford stacks. By constructing the corresponding moduli space and defining Orbifold PT invariants, this work advances research in this direction. This work is significant for understanding the relationships between different mathematical objects, such as Gromov-Witten theory, Donaldson-Thomas theory, and Pandharipande-Thomas theory.