Nested Hilbert Schemes on Hirzebruch surfaces and quiver varieties

Ugo Bruzzo,Valeriano Lanza,Pedro H. Dos Santos

2024-05-09

Abstract:For $n\ge 1$ we show that the length 1 nested Hilbert scheme of the total space $X_n$ of the line bundle $\mathcal O_{\mathbb P^1}(-n)$, parameterizing pairs of nested 0-cycles in $X_n$, is a quiver variety associated with a suitable quiver with relations. This generalizes previous work about nested Hilbert schemes on $\mathbb C^2$ in one direction, and about the Hilbert schemes of points of $X_n$ in another direction.

Algebraic Geometry,Representation Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to explore the representation problem of nested Hilbert schemes on certain specific geometric objects. Specifically, the author studied the nested Hilbert scheme of length 1 on the total space $\Xi^n$ of the line bundle $\mathcal{O}_{\mathbb{P}^1}(-n)$, and proved that these schemes can be regarded as quiver varieties related to a specific quiver and its relations. This result generalizes the previous research on nested Hilbert schemes on $\mathbb{C}^2$, and also generalizes the research on Hilbert schemes of points on $\Xi^n$.

### Main Contributions
1. **Generalize the Research on Nested Hilbert Schemes**:
- The author shows that the nested Hilbert scheme of length 1 on $\Xi^n$ can be understood as a specific quiver variety. This not only extends the research on nested Hilbert schemes on $\mathbb{C}^2$, but also provides a new method to understand the Hilbert scheme of points on $\Xi^n$.

2. **Construction of Quiver and Its Relations**:
- By introducing an enhanced ADHM quiver, the author constructs a framework so that the nested Hilbert scheme can be described as a quiver variety. This construction involves the representation theory of quivers and the stability conditions of moduli spaces.

3. **Isomorphism of Moduli Spaces**:
- The author proves that there is a natural isomorphism between the moduli space of the nested Hilbert scheme and the moduli space of the quiver variety. This result is achieved by establishing a natural transformation $\eta$, which establishes the correspondence between the two moduli spaces at the functor level.

### Technical Details
- **Quiver Representations**:
- The author defines the quiver $\bar{Q}$ and its relations, as well as the related stability parameter $\Theta$. Through these definitions, they construct the representation space of the quiver and prove that these representation spaces are stable under appropriate conditions.

- **Construction of Moduli Spaces**:
- By using monad techniques, the author constructs the moduli space of framed sheaves on $\Xi^n$. These moduli spaces are proved to be isomorphic to the moduli space of quiver varieties.

- **Natural Transformation $\eta$**:
- The author defines a natural transformation $\eta$ that maps the stable representation families of quivers to the families of framed flags. This transformation establishes an isomorphism relationship between the two moduli spaces at the functor level.

### Conclusion
This paper successfully relates the nested Hilbert scheme on $\Xi^n$ to the quiver variety by introducing the enhanced ADHM quiver and related relations. This result not only extends the existing theory, but also provides new tools and methods for studying nested Hilbert schemes on other geometric objects.