Abstract:Let S be a smooth projective surface over $\mathbb{C}$. We prove that, under certain technical assumptions, the degeneracy locus of the universal sheaf over the moduli space of stable sheaves is either empty or an irreducible Cohen-Macaulay variety of the expected dimension. We also provide a criterion for when the degeneracy locus is non-empty. This result generalizes the work of Bayer, Chen, and Jiang for the Hilbert scheme of points on surfaces.
The above result is a special case of a general phenomenon: for a perfect complex of Tor-amplitude [0,1], the geometry of the degeneracy locus is closely related to the geometry of the derived Grassmannian. We analyze their birational geometry and relate it to the incidence varieties of derived Grassmannians. As a corollary, we prove a statement previously claimed by the author in <a class="link-https" data-arxiv-id="2408.06860" href="https://arxiv.org/abs/2408.06860">arXiv:2408.06860</a>.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the geometric properties of the degeneracy loci of vector bundles on the smooth moduli space. Specifically, the paper focuses on the properties of the \(l\)-th degeneracy locus \(\bar{D}_{U_n, l}\) of the universal vector bundle \(U_n\) in the moduli space \(M_H(r, c_1, n)\) of stable vector bundles on a given smooth projective surface \(S\).
### Main problems
1. **Existence of degeneracy loci**:
- Researchers hope to determine when the degeneracy locus \(\bar{D}_{U_n, l}\) is non - empty.
- Specifically, they prove that there exists an integer \(\theta\geq0\), depending on \(S, H, r, c_1\), such that \(\bar{D}_{U_n, l}\) is non - empty if and only if \(M_H(r, c_1, n)\) is non - empty and the virtual dimension \(vdim_{n, l}\) satisfies:
\[
vdim_{n, l}\geq\theta + t(r - t)
\]
where \(t\) is the remainder of \(l\) divided by \(r\).
2. **Geometric properties of degeneracy loci**:
- When the degeneracy locus is non - empty, researchers hope to prove that it is an irreducible Cohen - Macaulay variety and its dimension is equal to the expected virtual dimension \(vdim_{n, l}\).
- Specifically, they prove that under certain technical assumptions, for any \(n\in\mathbb{Z}\) and \(l\geq0\), the degeneracy locus \(\bar{D}_{U_n, l}\) is either empty or an irreducible Cohen - Macaulay variety with dimension:
\[
vdim_{n, l}:=\dim(M_H(r, c_1, n))+\min\{0, l(r - l)\}
\]
### Solutions
1. **Birational geometry and Grassmannian**:
- The paper uses the theories of birational geometry and derived Grassmannian to study the properties of degeneracy loci.
- By analyzing the birational geometry of Grassmannian, researchers can relate the properties of degeneracy loci to the properties of derived Grassmannian.
2. **ADHM construction and perverse coherent sheaves**:
- The paper also uses the theories of ADHM construction and perverse coherent sheaves to study the properties of the universal vector bundle on the moduli space.
- In particular, researchers use the results of Nakajima and Yoshioka, which provide a detailed description of the moduli space of perverse coherent sheaves.
### Conclusions
- This paper successfully generalizes the research results of Chen, Jiang, and Bayer on Hilbert scheme points and extends them to the moduli space of stable vector bundles of higher rank.
- Through these results, researchers not only prove the existence and geometric properties of degeneracy loci but also provide a new perspective to understand the structure of these moduli spaces.