Geometry of the stability scattering diagram for $\mathbb{P}^2$ and applications

TL;DR

We study the stability scattering diagram \mathfrak{D}^{stab} for {\mathbb P}^2 on a two-dimensional slice U of Bridgeland stability conditions. The region is decomposed into a triangular discrete part and a diamond part, with the Le Potier curve appearing naturally as the roof of diamonds; the unbounded region exhibits dense ray collisions. Triangles correspond to strong exceptional triples and diamonds to exceptional bundles, yielding a precise chamber structure in the bounded region and enabling explicit first-wall descriptions for rank-zero one-dimensional sheaves. The framework ties wall-crossing to classical invariants (e.g., Markov numbers) and mirrors symmetry phenomena, and sets the stage for full Bridgeland wall-crossing descriptions of Hilb^n({\mathbb P}^2). The approach provides algorithmic control of moduli emptiness/non-emptiness in bounded regions and bridges to the Li–17 plane and Le Potier curve, connecting stability, representation theory, and classical sheaf theory on {\mathbb P}^2.

Abstract

We give a detailed analysis of the stability scattering diagram for $\mathbb{P}^2$ introduced by Bousseau. This scattering diagram lives in a subset of $\mathbb{R}^2$, and we decompose this subset into three regions, $R_Δ,R_{\Diamond}$ and $R_{\mathrm{unbdd}}$. The region $R_Δ$ has a chamber structure whose chambers are in one-to-one correspondence with strong exceptional triples. No ray of the stability scattering diagram enters the interior of such a triangle, replicating a result of Prince, and generalizing a result of Bousseau. The region $R_{\Diamond}$ is decomposed into diamonds, which are in one-to-one correspondence with exceptional bundles. Each diamond has a vertical diagonal corresponding to a rank zero object and is traversed by a dense set of rays. Crucially, however, there are no collisions of rays inside diamonds, making it still possible to control the scattering diagram in $R_{\Diamond}$. Finally, the behaviour of $R_{\mathrm{unbdd}}$ is chaotic, in that every rational point inside it is a collision of an infinite number of rays. We show that the bounded region $R_{\mathrm{bdd}}= R_Δ\cup R_{\Diamond}$ has as upper boundary the Le Potier curve, thus showing that this curve arises naturally through the algorithmic scattering process. We give an application of these results by describing the first wall-crossing for the moduli space of one-dimensional rank zero objects on $\mathbb{P}^2$. In the sequel, we apply these results to describe the full Bridgeland wall-crossing for $\mathrm{Hilb}^n(\mathbb{P}^2)$ for any $n$.

Figures (31)

• Figure 1:
• Figure 2: The repeated subobjects and the repeated quotients.
• Figure 3: The infinite binary tree $\mathcal{T}$. The hybrid edges are depicted by dashed lines.
• Figure 4:
• Figure 5: $\Delta_w$ along with $\Delta_{w_1}$ and $\Delta_{w_2}$. Note that $E_1$ is hybrid and $E_2$ is outgoing. Part of the tree corresponding to this diagram is also pictured.

Theorems & Definitions (159)

• Theorem A: See Corollaries \ref{['Cor:equivofScatPartial']} and \ref{['Thm:Equivalence']}
• Theorem B: See Corollary \ref{['Cor:unboundedCharacterization']}
• Theorem C: See Theorems \ref{['thm:bousseau generalization']} and \ref{['Thm:nonEmptiness']}
• Theorem D: See Theorem \ref{['Thm: FirstWallRank0']}
• Theorem E: See Theorem \ref{['SufficientRank0Dene']}
• Theorem F: See Corollary \ref{['cor:vertex location']}
• Remark 1
• Theorem 1.1: Bogomolov-Gieseker inequality BMT14:stability_threefolds
• Definition 1.2
• Definition 1.3