⚛️ high-energy theory

Galois Covers of Calabi-Yau Quivers and BPS State Counting

This paper investigates Galois covers of BPS quivers induced by finite abelian group actions, establishing a connection between the BPS invariants of a quiver and its covering quiver (representing an orbifold singularity) through fixed loci and algebra homomorphisms, and proposes an explicit covering formula expressing the rational BPS invariants of the original theory as a sum of those of the covering theory.

Original authors: Johannes Aspman, Cyril Closset, Elias Furrer, Jan Manschot

Published 2026-03-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Johannes Aspman, Cyril Closset, Elias Furrer, Jan Manschot

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the complex "weather patterns" of a mysterious universe. In physics, these weather patterns are called BPS states. They are special, stable particles that act like the fundamental building blocks of reality in certain quantum theories.

Physicists have a clever way of mapping these particles using diagrams called Quivers. Think of a quiver as a subway map:

Stations (Nodes): Represent different types of basic particles.
Tracks (Arrows): Represent how these particles can interact or bind together to form new, more complex particles.

The paper you provided is about a mathematical trick called a Galois Cover. Here is the simple explanation of what the authors discovered, using everyday analogies.

1. The "Zoom-In" Trick (The Galois Cover)

Imagine you have a simple subway map with just two stations and a few tracks connecting them. It's easy to understand, but maybe it's too simple to describe a whole city.

Now, imagine you take that simple map and "zoom in" on every station. Suddenly, every single station splits into a whole cluster of identical stations, and every track splits into a whole web of tracks connecting them.

The Original Map (Quiver $Q$ ): The simple, small theory.
The Zoomed-In Map (Covering Quiver $\tilde{Q}$ ): A much larger, more complex theory that contains the original one inside it.

In physics, this "zooming in" is called a Galois Cover. The authors show that you can build complicated theories (like those describing 5-dimensional universes or black holes) by taking simple theories and applying this "zoom" operation, which is essentially a type of orbifolding (folding space in a specific way).

2. The "Recipe" for Counting Particles

The hardest part of this physics is counting how many stable particles exist for a given configuration. This is like trying to count how many different types of sandwiches you can make with a specific set of ingredients.

The authors found a master formula (a recipe) that connects the count of particles in the simple map to the count in the complex, zoomed-in map.

The Analogy:
Imagine you are counting the number of people in a small town (the simple theory).

You know that this town is actually just a "shadow" or a "projection" of a much larger, bustling city (the complex theory) where everyone has a twin, a triplet, or a whole group of look-alikes.
The paper says: "If you want to know the population of the small town, you don't need to count them directly. Instead, count everyone in the big city, group them by their look-alike families, and then divide by the number of look-alikes."

Mathematically, they express the "Rational BPS Invariant" (a fancy way of saying the "effective count" of particles) of the simple theory as a sum of the counts from the complex theory.

3. Why This Matters: The "Orbifold" Connection

The paper connects two very different worlds:

Field Theory: The study of particles and forces (like the Standard Model).
Geometry: The study of shapes and spaces (like Calabi-Yau manifolds, which are 6-dimensional shapes used in string theory).

The authors show that if you take a geometric shape (like a crystal) and perform a specific "folding" operation (an orbifold), the resulting shape's "particle map" is exactly the Galois Cover of the original shape's map.

The Metaphor:
Think of a kaleidoscope.

The original pattern is the simple quiver.
The kaleidoscope effect is the Galois cover.
The paper proves that if you know the rules of the simple pattern, you can predict exactly what the kaleidoscope will show, and vice-versa. You can translate the "physics" of the simple world directly into the "physics" of the complex, folded world.

4. The "Symmetry" Secret

The authors discovered that this translation works best when the "zoom" is symmetric.

Symmetric Cover: Imagine a pizza cut into perfect, equal slices. Every slice looks exactly like the others. In this case, the math is clean, and the formula works perfectly.
Non-Symmetric Cover: Imagine a pizza where some slices are huge and others are tiny. The math gets messy, but the authors still found a way to make the formula work by adding "signs" (positive or negative numbers) to balance the equation.

5. The Big Picture: Why Should You Care?

This paper is a bit like finding a universal translator between two different languages of physics.

Before this, if a physicist wanted to study a very complex, high-energy universe (like a 5D theory), they had to do incredibly difficult calculations from scratch.
Now, thanks to this paper, they can say: "Hey, this complex universe is just a 'Galois Cover' of a simple one we already understand. Let's just use our simple map, apply the 'zoom' formula, and we instantly know the answer."

In summary:
The authors discovered a mathematical shortcut. They proved that complex particle systems are often just "multi-layered" versions of simple systems. By understanding the relationship between the layers (the Galois Cover), we can solve difficult counting problems in advanced physics by looking at much simpler, easier-to-understand diagrams. It turns a mountain of math into a manageable hill.

1. Problem Statement

The determination of the full BPS spectrum in 4d $\mathcal{N}=2$ supersymmetric quantum field theories (SQFTs) and 5d superconformal field theories (SCFTs) compactified on a circle is a central challenge in mathematical physics. While BPS states are often encoded in BPS quivers (directed graphs with a superpotential), calculating the BPS invariants (counts of stable states) for complex quivers is difficult.

The paper addresses the relationship between the BPS spectra of distinct theories that are related by Galois coverings. Specifically, it investigates how the BPS invariants of a "base" quiver $Q$ relate to those of a "covering" quiver $\tilde{Q}$ , where $\tilde{Q}$ is constructed from $Q$ via a finite abelian group $G$ acting on the nodes and arrows. This setup is physically motivated by the fact that many 5d BPS quivers (describing D-branes on Calabi-Yau threefold singularities) are related to orbifold singularities $X/G$ , where the covering quiver describes the orbifold and the base quiver describes the resolution.

2. Methodology

The authors employ a multi-faceted approach combining algebraic geometry, representation theory, and supersymmetric quantum mechanics:

Galois Covering Construction: They define a Galois cover $\tilde{Q} \to Q$ via a $G$ -grading of the arrows of $Q$ . The covering quiver $\tilde{Q}$ has $|G|$ times more nodes, and the quotient $\tilde{Q}/G$ recovers $Q$ . This is interpreted physically as an orbifolding procedure on the underlying Calabi-Yau geometry.
Functors between Representation Categories: The authors utilize push-down ( $F_*$ $F_{*}$ ) and pull-up ( $F^*$ $F^{*}$ ) functors to map representations between $\tilde{Q}$ $\tilde{Q}$ and $Q$ $Q$ .
- $F_*$ sums the ranks of nodes in an orbit to form a node in $Q$ .
- $F^*$ distributes the rank of a node in $Q$ equally among the nodes in its orbit in $\tilde{Q}$ .
Gauging and Ungauging: The relationship is interpreted physically as discrete gauging. The theory associated with $\tilde{Q}$ possesses a global $G$ symmetry. Gauging this symmetry yields the theory associated with $Q$ . Conversely, "ungauging" recovers the covering theory.
Kontsevich–Soibelman (KS) Algebra: The authors analyze the homomorphisms between the graded Lie algebras (KS algebras) associated with $Q$ and $\tilde{Q}$ . They construct explicit surjective homomorphisms that map the monodromy operators of the covering theory to the base theory.
Localization and Fixed Loci: They relate the covering to the fixed loci of circle actions ( $\mathbb{C}^*$ ) on the moduli spaces of quiver representations. Using the Atiyah–Bott–Kirwan localization formula, they decompose the Euler characteristic of the base moduli space into contributions from the fixed loci, which correspond to representations of the covering quiver.

3. Key Contributions

A. The Covering Formula for Rational BPS Invariants

The central result is an explicit formula relating the rational BPS invariants $\bar{\Omega}_Q(\gamma)$ of the base quiver to the invariants $\bar{\Omega}_{\tilde{Q}}(\tilde{\gamma})$ of the covering quiver:

$\bar{\Omega}_Q(\gamma, \zeta) = \frac{1}{|G|} \sum_{\tilde{\gamma} \, | \, F_*(\tilde{\gamma})=\gamma} \xi(\gamma, \tilde{\gamma}) \, \bar{\Omega}_{\tilde{Q}}(\tilde{\gamma}, \tilde{\zeta})$

$\xi(\gamma, \tilde{\gamma})$ : A sign factor determined by the relative complex dimension of the moduli spaces.
Rational Invariants: The use of rational invariants (which account for multi-particle states and marginal stability) is crucial, as integer invariants often fail to satisfy this relation for non-primitive charges.
Validity: The formula is proven for primitive charges and quivers without loops, and conjectured to hold generally.

B. Refined Covering Relation for Symmetric Covers

For symmetric Galois covers (where arrow gradings are invariant under $G$ ), the authors derive a refined formula involving the spin parameter $y$ :

$\bar{\Omega}_Q(\gamma, \zeta; y) = \frac{y - y^{-1}}{y^{|G|} - y^{-|G|}} \sum_{\tilde{\gamma} \, | \, F_*(\tilde{\gamma})=\gamma} \xi(\gamma, \tilde{\gamma}) \, \bar{\Omega}_{\tilde{Q}}(\tilde{\gamma}, \tilde{\zeta}; \tilde{y})$

where $\tilde{y} = y^{|G|}$ . This relation requires assigning non-trivial single-centred invariants to the nodes of the covering quiver to mix spacetime rotation symmetry with the discrete $G$ -symmetry.

C. Algebraic Homomorphisms

The paper establishes that the covering relation is a consequence of a surjective homomorphism between the KS Lie algebras:
$f^G_*: \mathfrak{g}^G_{\tilde{Q}} \to \mathfrak{g}_Q$
This homomorphism maps the monodromy operator of the covering theory to that of the base theory, thereby enforcing the relation between their BPS spectra.

4. Results and Examples

The authors verify their formulas across a wide range of examples:

Kronecker Quivers ( $K_n$ ): They explicitly check the formulas for $Z_n$ covers of $K_2$ , $K_3$ , and $K_4$ . This includes the famous relation between pure $SU(2) $($ N_f=0$) and $SU(2)$ with $N_f=2$ hypermultiplets, where the latter is a $Z_2$ cover of the former.
5d SCFTs (Seiberg $E_n$ theories):
- $E_0 \leftrightarrow E_6$ : The $E_6$ theory is shown to be a $Z_3$ Galois cover of the $E_0$ theory (associated with the orbifold $\mathbb{C}^3/\mathbb{Z}_3$ ).
- $E_1 \leftrightarrow E_5$ : The $E_5$ theory is a $Z_2$ cover of the $E_1$ theory (local $F_0$ geometry).
- $SU(N)_0$ theories: The BPS quiver for 5d $SU(N)_0$ is identified as a $Z_N$ cover of the conifold quiver.
Local Del Pezzo Surfaces: The local $dP_3$ quiver is shown to be a $Z_6$ cover of a single-node quiver with two self-loops.
Non-Symmetric Covers: The authors also analyze non-symmetric covers (where gradings are not $G$ -invariant), such as specific covers of $K_2$ and the conifold, demonstrating that the general formula holds even when the refined symmetric formula does not directly apply.

5. Significance

Unification of Spectra: The work provides a powerful algebraic tool to generate complex BPS spectra from simpler ones, effectively "lifting" known results from base theories to their orbifold covers.
Geometric Engineering: It rigorously connects the algebraic concept of Galois covers of quivers with the geometric operation of orbifolding Calabi-Yau singularities, confirming that the BPS quiver of an orbifold $X/G$ is indeed the Galois cover of the quiver for $X$ .
Computational Efficiency: The covering formulas allow for the calculation of BPS invariants for complicated quivers (like those for $E_6$ or $SU(N)$) by reducing them to sums over simpler, known invariants.
Mathematical Physics Bridge: The paper bridges the gap between the representation theory of quivers (moduli spaces, GIT quotients) and the physics of BPS states (wall-crossing, KS algebras), offering new perspectives on the Kontsevich–Soibelman wall-crossing formula.

In summary, the paper establishes a comprehensive framework for understanding how BPS spectra transform under Galois coverings, providing explicit formulas that relate rational and refined invariants, and validating these relations through diverse examples in 4d and 5d supersymmetric theories.