BPS Dendroscopy on Local $\mathbb{P}^1\times \mathbb{P}^1$

This paper constructs and analyzes the scattering diagram for BPS states on local $\mathbb{P}^1\times \mathbb{P}^1$ by combining insights from orbifold and large volume limits to map the physical stability slice and provide evidence for the Split Attractor Flow Tree Conjecture within a specific range of central charge phases.

The Gist

Imagine the universe as a giant, complex video game. In this game, the "players" are fundamental particles, and the "rules" are determined by the shape of the hidden dimensions where these particles live. Physicists and mathematicians are trying to map out the "cheat codes" or the most stable, unbreakable states in this game. These are called BPS states.

This paper is like a team of cartographers trying to draw the ultimate map for a specific, tricky level of the game called "Local $P^1 \times P^1$" (a fancy name for a geometric shape made of two spheres glued together).

Here is the breakdown of their journey, using everyday analogies:

1. The Goal: Finding the "Stable Islands"

In this game, particles can combine to form larger, heavier structures. Sometimes these structures are stable (like a rock), and sometimes they are unstable and fall apart (like a sandcastle in a storm).

• The Problem: Depending on how you look at the game (changing the "stability conditions"), a structure that looks stable might suddenly become unstable and split.
• The Solution: The authors use a tool called a Scattering Diagram. Think of this as a weather map.
  • The Rays: These are like storm fronts or boundaries. If you cross a line on the map, the rules of the game change, and particles might split or merge.
  • The Goal: They want to draw the entire map to predict exactly which particles exist and how they interact, no matter where you are in the game world.

2. The Terrain: Two Different Views

To draw this map, the authors looked at the game world from two extreme perspectives, like looking at a mountain from the base camp and from a satellite.

• View 1: The "Large Volume" (The Satellite View)
  Imagine the two spheres in the game are huge. From far away, the landscape looks smooth and simple. The authors found that in this view, the "storm fronts" (rays) are easy to predict. They start at specific points and follow simple curves (hyperbolas). It's like seeing the ocean from space; you see the big waves, but not the tiny ripples.

• View 2: The "Orbifold" (The Microscope View)
  Now, zoom in all the way to a tiny, twisted point in the geometry (an "orbifold point"). Here, the rules are very different. The landscape is jagged and full of sharp corners. The authors realized that if you start your map from this tiny, twisted point, you get a different set of "initial rays." It's like looking at the same mountain through a kaleidoscope; the pattern looks completely different, but it's the same mountain.

3. The Challenge: The "Twisted" Middle Ground

The real difficulty is connecting these two views. The game world has a "twist" in the middle (a branch point).

• The Analogy: Imagine walking on a Möbius strip (a loop with a twist). If you walk along it, you eventually end up on the "other side" of the paper without realizing it.
• The Twist: In this physics model, as you move around the map, you encounter a "branch cut." If you cross it, you don't just move to a new spot; you move to a different version of the map (a different "sheet").
• The Discovery: The authors found that the "storm fronts" from the satellite view and the microscope view actually weave together. They don't just overlap; they interact. Some rays from the "twisted" side cross over to the "large" side, creating new, complex patterns.

4. The "Tree" Theory: How Particles are Born

The paper proposes a way to understand how complex particles are built, called the Split Attractor Flow Conjecture.

• The Metaphor: Imagine a river flowing downhill. The water represents the energy of the particles.
  • The Attractor: At the bottom of the hill, there are specific pools (stable states) where the water naturally settles.
  • The Flow: The authors show that any complex particle can be traced back to a "flow" that splits into smaller streams.
  • The "Shrubs": They found that the complex map can be broken down into small, manageable "shrubs" (small trees of interactions) rooted at specific points, plus a few "lone branches" that stretch out to the horizon.
  • The Proof: They sketched a proof that if you follow the flow of energy backwards, you will always end up at these simple, stable starting points. You don't need to worry about infinite complexity; the universe simplifies itself at the bottom.

5. The "Mass Parameter" (The Secret Knob)

There is a special knob in this game called $m$ (the mass parameter).

• Turning the Knob: If you turn this knob to an integer value (like 1, 2, 3), the map becomes simpler but crowded (many lines merge). If you set it to a fraction (like 0.5), the map becomes more spread out.
• The Result: The authors showed that no matter how you turn this knob, the underlying structure of the map remains consistent, just reshuffled. This is crucial because it means the physics is robust and doesn't break when you change the settings.

Summary: Why Does This Matter?

This paper is a massive step forward in understanding the "grammar" of the universe's hidden dimensions.

• For Mathematicians: It proves that even in complex, twisted geometries, the rules of stability follow a predictable, combinatorial pattern (like a very complex puzzle with a solution).
• For Physicists: It helps calculate the number of stable particles (BPS states) in string theory. This is essential for understanding how our universe might be built from these tiny strings.
• The Big Picture: They took a chaotic, confusing map and showed that it is actually made of simple, repeating patterns (like a fractal). They proved that if you know the "seed" particles at the very bottom (the attractors), you can predict the entire forest of particles above them.

In short, they built a GPS for the quantum world, showing us exactly where the stable islands are, even when the terrain is twisting and turning in ways we can't easily visualize.

Technical Summary

1. Problem Statement

The paper addresses the computation of the BPS spectrum (specifically the refined Donaldson-Thomas invariants $\Omega_\sigma(\gamma)$) for Type II string theory compactified on a non-compact toric Calabi-Yau threefold, $X = K_{F_0}$, which is the total space of the canonical bundle over the Hirzebruch surface $F_0 \cong P^1 \times P^1$ (also known as local $F_0$).

Unlike the previously studied case of local $P^2$ (where the Betti number $b_2=1$), local $F_0$ has $b_2=2$. This introduces a second complexified Kähler parameter (or mass parameter $m$), making the space of Bridgeland stability conditions 4-dimensional (reduced to 2 dimensions after modding out by $GL(2, \mathbb{R})^+$). The central challenge is to construct the scattering diagram $\mathcal{D}$ in the space of stability conditions. This diagram encodes the wall-crossing phenomena and allows the reconstruction of the full BPS spectrum from "attractor indices" (indices at the attractor points of the flow).

The authors aim to:

1. Construct the scattering diagram in the large volume limit and near the orbifold point.
2. Combine these limits to construct the diagram along the $\Pi$-stability slice (the physical slice determined by mirror symmetry), which carries an action of a $\mathbb{Z}_4$ extension of the modular group $\Gamma_0(4)$.
3. Verify the Split Attractor Flow Conjecture (SAFC) in this more complex setting, which posits that BPS states can be decomposed into bound states of attractor constituents.

2. Methodology

The authors employ a multi-faceted approach combining algebraic geometry, modular forms, and scattering diagram techniques:

• Derived Category and Quivers: They utilize the equivalence between the derived category of coherent sheaves on $K_{F_0}$ and the derived category of representations of quivers with potential ($Db \text{Rep}(Q, W)$). They analyze two specific exceptional collections:
  • The Orbifold Quiver (Phase II): Associated with the Ext-exceptional collection at the orbifold point (related to the resolved conifold $\mathbb{Z}_2$ orbifold).
  • The Phase I Quiver: Obtained via mutation from the orbifold collection.
• Scattering Diagram Construction:
  • They construct the diagram in the Large Volume Slice ($\Lambda$) by identifying initial rays emanating from the boundary of the stability space. These rays correspond to massless objects (line bundles and D2-D0 bound states).
  • They construct the diagram in the Orbifold region using the known attractor indices of the quiver (simple representations and D0-branes).
• Mirror Symmetry and Modular Forms:
  • They utilize the mirror curve of local $F_0$, a genus one curve, to define the central charge $Z(\gamma)$.
  • The central charge is expressed as a contour integral of a weight-3 modular form under $\Gamma_0(4)$ (specifically an Eichler integral).
  • They analyze the monodromy group $\Gamma$, which is an extension of $\Gamma_0(4)$ by a rank-4 lattice, and handle the branch cuts (ramification points) introduced by the mass parameter $m$.
• Attractor Flow Trees: They apply the Split Attractor Flow Conjecture, decomposing the BPS spectrum into "shrubs" (trees rooted in exceptional collections within quiver regions) and "lone branches" (rays emanating from conifold points).

3. Key Contributions

A. Construction of the Scattering Diagram

The paper provides the first complete construction of the scattering diagram for local $F_0$ along the physical $\Pi$-stability slice.

• Initial Rays: Unlike local $P^2$, where initial rays emanate only from integer points, the local $F_0$ diagram features an infinite set of initial rays emanating from points $s \in \mathbb{Z} + m/2$ and $s \in \mathbb{Z} + m/2 - \text{Fr}(m)$ on the boundary of the stability space. These correspond to massless line bundles $O(k_1, k_2)$ and D2-D0 bound states.
• Mass Parameter Dependence: The authors explicitly track how the diagram changes as the mass parameter $m$ varies. For non-integer $m$, the diagram involves branch cuts and a double cover of the modular domain. For integer $m$, branch cuts disappear, but rays coalesce, leading to a denser structure.

B. The $\Pi$-Stability Slice and Modular Symmetry

• The authors map the stability conditions to the upper half-plane $\mathbb{H}$ via the modular parameter $\tau$ of the mirror curve.
• They identify the action of the monodromy group $\Gamma$ (an extension of $\Gamma_0(4)$) on the scattering diagram.
• They define a fundamental domain $\mathcal{F}$ and its translates, showing how the diagram is partitioned into regions:
  • $W_\psi$ (Large Volume Region): Where the diagram resembles the large volume scattering diagram.
  • $\Delta_\psi$ and $\tilde{\Delta}_\psi$ (Orbifold Regions): Regions around the ramification points $\tau_B$ where the quiver description (Orbifold or Phase I) is valid.
• They demonstrate how rays "curl back" or cross branch cuts as the phase $\psi$ of the central charge varies, leading to transitions between different descriptions of the same BPS states.

C. Verification of the Split Attractor Flow Conjecture (SAFC)

The authors sketch a proof of the SAFC for local $F_0$ within a specific range of the phase $\psi$ (where convexity arguments hold).

• They show that any attractor flow tree can be decomposed into a finite set of "shrubs" (rooted in the exceptional collections of the quivers) and a "trunk" in the large volume region.
• They introduce a cost function $\phi_\tau(\gamma)$ that decreases monotonically along attractor flow trees, proving that only a finite number of trees contribute to any given BPS index. This ensures the convergence of the combinatorial formula for the index.

D. Critical Phases and Phase Transitions

The paper identifies critical values of the phase $\psi$ ($\psi_{cr}, \tilde{\psi}_{cr}$) where the topology of the scattering diagram changes:

• Below critical values, the diagram is disconnected (large volume and orbifold regions are separate).
• Above critical values, rays from the orbifold region penetrate the large volume region, and the diagram becomes fully connected.
• At $\psi = \pi/2$, the diagram simplifies drastically, with rays coinciding with level sets of a slope function, intersecting only at the ramification points.

4. Key Results

• Explicit Initial Rays: The authors derived the explicit locations and charges of the infinite families of initial rays in the large volume limit (Eq. 1.2), which depend on the fractional part of the mass parameter $m$.
• Central Charge Representation: They established an Eichler integral representation for the central charge $Z(\gamma)$ along the $\Pi$-slice, involving a square root singularity at the branch point $\tau_B$ determined by $J_4(\tau_B) = -8 \cos(\pi m)$.
• BPS Indices: They computed the BPS indices for various charges (e.g., structure sheaf $O(0,0)$, D2-branes) across different phases $\psi$, showing how the contributing scattering trees change while the index remains constant (wall-crossing).
• Comparison with Local $P^2$: The study highlights that while the general structure (scattering of rays) is similar to local $P^2$, the presence of the extra mass parameter $m$ introduces ramification points and branch cuts, making the global structure of the stability space significantly more complex (an infinite cover rather than a simple quotient).

5. Significance

• Extension of Dendroscopy: This work extends the "BPS dendroscopy" program (mapping BPS spectra to scattering diagrams) from the simplest toric CY ($P^2$) to the next simplest case ($F_0$), validating the robustness of the method in the presence of multiple Kähler parameters.
• Modular Structure of BPS States: It provides a concrete realization of how BPS spectra transform under the action of modular groups ($\Gamma_0(4)$) and how branch cuts in the moduli space affect the stability of states.
• Connection to 4D/5D Physics: The results are directly relevant to the BPS spectrum of 5D $\mathcal{N}=1$ $SU(2)$ super-Yang-Mills theory compactified on a circle. The paper also discusses the 4D limit, linking the results to the Seiberg-Witten curve and the spectrum of monopoles and dyons.
• Mathematical Rigor: The paper offers a rigorous framework for constructing stability conditions on non-compact CYs and provides evidence for the Split Attractor Flow Conjecture in a non-trivial setting with ramification.
• Computational Tools: The authors provide a Mathematica package (F0Scattering.m) to numerically evaluate the central charge and reproduce the scattering diagrams, facilitating further research in this area.

In summary, this paper successfully maps the complex landscape of BPS states for local $F_0$, revealing a rich interplay between quiver representations, modular forms, and wall-crossing phenomena, and establishing a template for analyzing more general toric Calabi-Yau threefolds.