Quivers and BPS states in 3d and 4d

This paper proposes and rigorously establishes a symmetrization relation between 4d $\mathcal{N}=2$ BPS quivers and 3d $\mathcal{N}=2$ symmetric quivers, demonstrating that the wall-crossing structure of 4d Argyres-Douglas theories is isomorphic to the unlinking of their 3d counterparts and that these symmetric quivers successfully capture the Schur indices of the original 4d theories.

The Gist

Imagine the universe of theoretical physics as a vast, complex library. Inside this library, there are two very different kinds of books: one set describes 4-dimensional theories (our familiar space-time plus time, where particles dance and interact), and another set describes 3-dimensional theories (slices of that reality, often simpler but deeply connected).

For decades, physicists have known these two sets of books are related, but the "translation dictionary" between them was missing. This paper, Quivers and BPS states in 3d and 4d, writes that dictionary. It proposes a magical rule called the "Symmetrization Map" that translates the complex language of 4D physics into the simpler, mirrored language of 3D physics.

Here is the breakdown of their discovery using everyday analogies:

1. The "Quiver" (The Map of the Territory)

To understand these theories, physicists use a tool called a Quiver. Think of a quiver not as a container for arrows, but as a flowchart or a social network map.

• The Dots (Nodes): These represent the fundamental building blocks of the theory (like basic particles or "charges").
• The Arrows: These represent how these blocks interact. If two dots are connected by an arrow, they talk to each other. If they are connected by two arrows pointing in opposite directions, they are in a very specific, balanced relationship.

In 4D physics, these maps are often one-way streets (asymmetric). In 3D physics, the maps are two-way streets (symmetric).

2. The Big Discovery: The "Mirror" Effect

The authors found that for a specific class of theories (called Argyres-Douglas theories), you can take the 4D map (the one-way street) and simply add a return arrow to every single connection.

• The Analogy: Imagine a 4D city where you can only drive North. The 3D version of this city is the exact same layout, but now you can drive North and South.
• The Result: This "symmetrized" 3D map isn't just a copy; it contains the exact same information as the original 4D map, just encoded in a way that is easier to calculate.

3. The "Wall-Crossing" Puzzle (The Shifting Landscape)

In these theories, the "stability" of particles depends on the environment (like temperature or pressure). When you cross a "wall of marginal stability," the rules change: particles might merge, split, or disappear. This is called Wall-Crossing.

• The 4D Problem: In the 4D world, crossing a wall is chaotic. The map changes shape, arrows flip, and it's hard to predict what happens next.
• The 3D Solution: The authors discovered that in the 3D world, this chaos corresponds to a simple operation called "Unlinking."
  • The Analogy: Imagine the 4D wall-crossing is like a tangled knot of headphones that suddenly snaps into a different shape. In the 3D world, this isn't a snap; it's like taking a pair of scissors and simply cutting one loop of the knot to untangle it.
  • They proved that the complex math of 4D wall-crossing is isomorphic (structurally identical) to the simple act of "unlinking" arrows in the 3D map.

4. The "Path Polytope" (The Shape of Change)

To visualize how these changes happen, the authors use a geometric concept called a Path Polytope.

• The Analogy: Imagine you are navigating a maze (the 4D theory). There are many paths from the start to the finish.
  • In the 4D world, changing the path (crossing a wall) feels like teleporting to a different part of the maze.
  • In the 3D world, the authors show that all these different paths are actually faces of a single, high-dimensional shape (like a hexagon or a cube). Moving from one 4D state to another is just walking along the edge of this shape.
  • This shape acts as a "bridge" that guarantees no matter which path you take, you end up with the correct 3D map.

5. The "Schur Index" (The Fingerprint)

Finally, the paper shows that these 3D maps can calculate something called the Schur Index.

• The Analogy: Think of the Schur Index as a fingerprint or a barcode for the 4D theory. It's a unique number that identifies the theory regardless of how you look at it.
• The authors found that by using their "symmetrized" 3D maps (and adding a few extra "anti-particle" nodes to the map), you can calculate this fingerprint perfectly. It's like taking a complex 4D sculpture and realizing you can recreate its exact weight and texture just by looking at its shadow on a 3D wall.

Summary

In short, this paper says:

"If you want to understand the complex, chaotic behavior of particles in 4D space, don't struggle with the 4D math. Instead, take your 4D map, add a return arrow to every connection to make it a 3D map, and then use simple 'untangling' moves to see how the system changes. The 3D map is the key that unlocks the secrets of the 4D world."

This is a massive step forward because it turns a nightmare of complex equations into a game of connecting dots and cutting strings, opening the door to solving problems that were previously impossible.

Technical Summary

Here is a detailed technical summary of the paper "Quivers and BPS states in 3d and 4d" by Piotr Kucharski, Pietro Longhi, Dmitry Noshchenko, Sunghyuk Park, and Piotr Sułkowski.

1. Problem Statement

The paper addresses the relationship between BPS (Bogomol'nyi–Prasad–Sommerfield) states in four-dimensional $\mathcal{N}=2$ supersymmetric field theories and their three-dimensional $\mathcal{N}=2$ counterparts. Specifically, it seeks to establish a precise mathematical and physical correspondence between:

• 4d BPS Quivers: Directed graphs encoding the spectrum of BPS states in 4d $\mathcal{N}=2$ theories (e.g., Argyres-Douglas theories), where vertices represent fundamental BPS states and arrows encode Dirac pairings.
• 3d Symmetric Quivers: Undirected (or symmetrically directed) graphs encoding the partition functions of 3d $\mathcal{N}=2$ theories, where vertices represent $U(1)$ gauge factors and arrows encode Chern-Simons couplings.

While previous work established that 4d BPS spectra can be encoded by quivers and 3d theories by symmetric quivers, a direct, general map relating the two structures—particularly across different stability chambers (regions in moduli space where the BPS spectrum changes)—was lacking. The authors aim to define a "symmetrization map" that transforms a 4d BPS quiver with stability data into a corresponding 3d symmetric quiver, capturing wall-crossing phenomena and Schur indices.

2. Methodology

The authors employ a multi-faceted approach combining topology, algebra, and M-theory physics:

• Geometric Engineering (M-theory): They utilize the 3d-3d correspondence, engineering both 3d and 4d theories from a pair of M5-branes wrapping a 3-manifold $M$ with boundary.
  • The 4d theory arises from compactification on a Riemann surface $C$ (boundary of $M$).
  • The 3d theory arises from the topology of $M$ itself, described by an ideal triangulation into tetrahedra.
• Skein Modules and Topology: They reformulate the construction using $gl_1$-skein modules. They show that sequences of signed flips in ideal triangulations of $C$ correspond to elementary bordisms in $M$. The partition functions of these bordisms are encoded by quantum dilogarithms ($\Psi$), and the invariance under 2-3 Pachner moves (wall-crossing) corresponds to the pentagon relation.
• Algebraic Framework (Quantum Torus Algebras):
  • They define a 3d-4d homomorphism ($\epsilon$) that embeds the quantum torus algebra of the 4d theory (generated by line operators $X_\alpha$) into a larger quantum torus algebra of rank $2m$associated with the 3d symmetric quiver (generated by$\hat{x}_i, \hat{y}_i$).
  • This homomorphism maps the pentagon relation (governing 4d wall-crossing) to the unlinking operation (governing 3d quiver transformations).
• Combinatorics (Path Polytopes): They utilize the oriented exchange graph of the 4d quiver (which is an associahedron for $A_m$ types) to define connectors. These connectors are sequences of unlinking operations that map different stability chambers of the 4d theory to specific symmetric quivers.

3. Key Contributions

A. The Symmetrization Map ($S$)

The authors define a map $S: (Q_{4d}, \text{stability data}) \to Q_{3d}$.

• Minimal Chamber: In the minimal BPS chamber, the map is a simple "symmetrization": for every arrow in the 4d quiver, a reverse arrow is added, creating a symmetric quiver.
• General Chambers: For chambers with more complex BPS spectra (non-minimal), the map is constructed via unlinking. The structure of wall-crossing in 4d (governed by the pentagon relation) is shown to be isomorphic to the structure of unlinking operations on the 3d symmetric quiver.
• Isomorphism: They prove that the wall-crossing formula for $A_m$ Argyres-Douglas theories is isomorphic to the unlinking relations of symmetric quivers. This allows the definition of the symmetrization map outside the minimal chamber using path polytopes (dual to associahedra).

B. The CPT-Doubled Symmetrization Map ($S_{CPT}$)

To capture the Schur index of the 4d theory, the authors introduce a CPT-doubled map.

• The Schur index is the trace of the Kontsevich-Soibelman operator, which includes contributions from both BPS and anti-BPS states.
• $S_{CPT}$ produces a CPT-doubled symmetric quiver ($Q_{CPT}$) with twice as many nodes.
• They demonstrate that the motivic generating series of $Q_{CPT}$ exactly reproduces the Schur index of the corresponding 4d theory.

C. Topological and Physical Derivations

• Skein Modules: They derive the motivic generating series (Nahm sums) directly from the skein module of the 3-manifold $L_0$ (the double cover of the mapping cylinder), interpreting the quantum dilogarithm as a count of holomorphic disks.
• Witten Effect: They provide a physical explanation for the relation between 4d Dirac pairings and 3d Chern-Simons couplings. A shift in the 4d theta-angle (induced by wall-crossing) manifests as a shift in the boundary Chern-Simons level, which is encoded by the adjacency matrix of the symmetric quiver.

4. Results

• Explicit Constructions: The paper provides explicit constructions of the symmetrization map for $A_m$ Argyres-Douglas theories (for $m=2, 3, 4$) and $D_4$ theories.
  • For $A_2$, the map relates the pentagon relation to a single unlinking operation.
  • For $A_3$ and $A_4$, the map involves hexagonal and higher-dimensional polytopes representing the space of possible wall-crossing sequences.
• Schur Indices: The authors successfully encode the Schur indices for various theories (Pure $SU(2)$, $SU(2)$ with matter, $A_m$, $E_6$, $E_8$) as partition functions of specific symmetric quivers.
  • Example: The Schur index of pure $SU(2)$ is shown to be the generating series of a 4-node symmetric quiver containing a subquiver that is the symmetrization of the 4d BPS quiver.
• Unlinking and Wall-Crossing: They establish that the set of all possible symmetric quivers reachable from a 4d theory via the symmetrization map corresponds bijectively to the set of stability chambers in the 4d theory (excluding those with superpotentials).

5. Significance

• Unification of 3d/4d Physics: The work provides a rigorous framework connecting the BPS spectra of 4d $\mathcal{N}=2$ theories to the partition functions of 3d $\mathcal{N}=2$ theories, bridging the gap between wall-crossing phenomena and quiver representation theory.
• New Mathematical Tools: The introduction of connectors and path polytopes offers a powerful combinatorial tool for studying wall-crossing and cluster algebras, generalizing the concept of associahedra.
• Schur Index Computation: By identifying Schur indices with motivic generating series of symmetric quivers, the paper opens new avenues for computing these indices using quiver representation theory and topological recursion.
• Holography and VOAs: The results suggest deep connections to Vertex Operator Algebras (VOAs) and holographic duals. Since Schur indices are characters of VOAs, the symmetric quiver description may encode features of the holographic dual geometries of Argyres-Douglas theories.
• Generalizability: While focused on $A_m$ and $D_4$ theories, the authors argue that the underlying principles (isomorphism between wall-crossing and unlinking) likely extend to broader classes of Class S theories and even wild wall-crossing phenomena.

In summary, this paper establishes a profound "symmetrization" duality where the complex dynamics of 4d BPS states and their wall-crossing are encoded in the simpler, symmetric combinatorial structure of 3d quivers, providing a unified language for observables across dimensions.