Indices of M5 and M2 branes at finite $N$ from equivariant volumes, and a new duality

This paper derives finite-$N$ formulas for the supersymmetric indices of M5-branes on toric Sasaki-Einstein manifolds and M2-branes probing toric Calabi-Yau four-folds using equivariant integration, revealing a shared mathematical structure that motivates a new duality exchanging the worldvolume and transverse geometries of these brane systems.

The Gist

Imagine the universe is built from tiny, vibrating strings, but sometimes, to make the math work, physicists imagine these strings are actually higher-dimensional sheets called branes. Think of them like different shapes of soap bubbles floating in a vast, invisible ocean.

This paper is about two specific types of these bubbles: M5-branes (big, six-dimensional sheets) and M2-branes (smaller, three-dimensional sheets). For a long time, physicists have suspected that these two seemingly different bubbles are actually connected by a secret "duality"—a hidden rule that says if you understand one, you automatically understand the other, even though they live in different dimensions.

Here is the story of what this paper does, explained without the heavy math:

1. The Two Different Worlds

• The M5-Brane World: Imagine a giant, six-dimensional sheet (the M5-brane) floating in space. To study its properties, physicists usually look at the "anomalies" (glitches or quirks) in its behavior. It's like trying to figure out the shape of a balloon by listening to the sound of the air leaking out.
• The M2-Brane World: Now imagine a tiny, three-dimensional sheet (the M2-brane). To study this one, physicists use a tool called "topological string theory," which is like taking a photograph of the balloon's shadow to guess its shape.

For a long time, these two methods (listening to glitches vs. taking shadow photos) seemed to give different answers. But a recent discovery suggested they were actually saying the same thing, just in different languages.

2. The Great "Swap"

The authors of this paper decided to test this connection. They realized that to make the two worlds match, you have to do a strange geometric swap.

Think of it like a Tetris game:

• In the M5-brane world, the "game board" (the space the brane lives on) is one shape, and the "empty space" around it is another.
• In the M2-brane world, these two shapes are swapped. The "game board" becomes the "empty space," and the "empty space" becomes the "game board."

The paper proves that if you take the M5-brane, swap its world with the space around it, and then swap the "number of particles" (N) with a "chemical potential" (a fancy way of saying a dial that controls how many particles you allow in), you get the exact same mathematical result as the M2-brane.

3. The "Equivariant" Magic Trick

How did they prove this? They used a mathematical tool called equivariant integration.

Imagine you have a complex, twisting sculpture made of glass. You want to measure its volume, but it's too complicated to measure directly.

• The Trick: Instead of measuring the whole thing, you shine a special light on it. This light only illuminates the "fixed points"—the corners or tips where the sculpture doesn't move when you spin it.
• The Result: Amazingly, if you measure just those few tips, you can calculate the volume of the entire sculpture.

The authors used this "tip-measuring" trick on both the M5 and M2 branes. They found that the "tips" of the M5-brane world and the "tips" of the M2-brane world (after the swap) were identical. They were looking at the same geometric fingerprint, just from opposite sides of the mirror.

4. Why This Matters

This isn't just a neat math trick; it's a unification.

• Before: Physicists had two separate rulebooks for these two types of branes.
• Now: This paper shows that there is really only one rulebook. The M5 and M2 branes are two sides of the same coin.

The authors also used this to predict new things about "spindles" (a weird, twisted shape of space) and "black holes" in higher dimensions. It's like realizing that if you know how a square behaves, you automatically know how a circle behaves, because they are actually the same shape in a different dimension.

The Bottom Line

This paper is a "Rosetta Stone" for string theory. It translates the language of big, six-dimensional branes into the language of small, three-dimensional branes. By swapping their roles and using a clever mathematical shortcut (measuring only the corners), the authors proved that these two distinct systems are deeply, intimately connected. It's a huge step toward understanding the fundamental geometry of our universe.

Technical Summary

1. Problem Statement

The paper addresses the relationship between the partition functions (specifically supersymmetric indices) of two distinct brane systems in M-theory:

• M5-branes: The 6d $(2,0)$ superconformal field theory (SCFT) of $N$ coincident M5-branes on a squashed Sasaki-Einstein 5-manifold ($L$).
• M2-branes: The 3d SCFT of $N$ coincident M2-branes probing a local toric Calabi-Yau (CY) 4-fold.

While a duality between these systems was recently proposed in [1] (Chen et al.), that work focused on specific cases and the large-$N$ limit. The goal of this paper is to:

1. Extend this duality to an infinite class of toric geometries at finite $N$.
2. Provide a geometric origin for the duality using equivariant methods.
3. Derive explicit formulas for M5-brane indices on general Sasaki-Einstein manifolds and M2-brane indices (including twisted and spindle indices) using topological string theory and supergravity.

2. Methodology

The author employs equivariant localization techniques on toric manifolds to compute partition functions without relying on full quantum gravity solutions. The methodology is split into two parallel derivations that are later compared:

A. M5-Brane Side (Anomaly Polynomial Integration)

• Framework: The partition function of the 6d $(2,0)$ theory is constrained by its anomaly polynomial, $P_8$.
• Geometric Setup: The 6d worldvolume $M_6 = S^1 \times L$ is embedded into an 8-dimensional extension space $X_8$. For toric geometries, $X_8$ is taken as a local toric Calabi-Yau 4-fold. The normal bundle is modeled as $Z_4 = \mathbb{C}^2$.
• Calculation: The author performs an equivariant integration of the anomaly polynomial $P_8$ over the toric manifold $X_8$.
  • The integration localizes to fixed points, expressed via equivariant characteristic classes (Chern and Pontryagin classes).
  • The result is expressed in terms of the equivariant volume $C_X(\epsilon)$ and intersection numbers $k_X^p(\epsilon)$.
• Cardy Limit: The calculation focuses on the Cardy limit (high temperature limit), where the logarithm of the partition function is dominated by the anomaly contribution.

B. M2-Brane Side (Topological Strings & Supergravity)

• Framework: The partition function is derived using equivariant topological string theory (specifically constant map contributions) and higher-derivative (HD) supergravity.
• Geometric Setup: The M2-branes probe a transverse space $X_8$ (a local toric CY 4-fold), while the worldvolume is modeled as $Z_4 = \mathbb{C}^2$ (asymptotically $AdS_4$).
• Calculation:
  • Finite $N$ Partition Function: The $S^3$ partition function is identified with an Airy function, $Z \sim \text{Ai}(\dots)$, where the argument depends on the equivariant volume of the transverse space.
  • Supergravity Dual: The author constructs an effective 4d $N=2$ supergravity Lagrangian with higher-derivative corrections (Weyl-squared and T-log terms). The prepotential $\mathcal{F}$ is constrained to match the finite-$N$ Airy expansion.
  • Indices: Using supergravity localization, the author derives formulas for the superconformal index (SCI), topologically twisted index (TTI), and spindle indices (on $S^1 \times \mathbb{W}P^1_{a,b}$).

3. Key Contributions

1. Unified Geometric Framework

The paper establishes that both the M5 anomaly integral and the M2 topological string constant map contributions depend on identical combinations of equivariant characteristic classes.

• Both results are governed by the equivariant volume $C_X$ and the intersection numbers $k_X^p$.
• This suggests a deep structural link between anomaly polynomials in even dimensions and topological string amplitudes in odd dimensions.

2. Generalization of the M2/M5 Duality

The paper proposes a generalized duality map (Equation 5) that exchanges the roles of the worldvolume and transverse spaces:
$$Z_{M5}(N; X_{\parallel} \times Z_{\perp}) \leftrightarrow Z_{M2}(\mu; Z_{\parallel} \times X_{\perp})$$

• M5: Worldvolume $X$ (CY 4-fold), Transverse $Z$ ($\mathbb{C}^2$).
• M2: Worldvolume $Z$ ($\mathbb{C}^2$), Transverse $X$ (CY 4-fold).
• Ensemble Exchange: The duality maps the canonical ensemble (fixed $N$) of M5-branes to the grand-canonical ensemble (chemical potential $\mu$) of M2-branes.
• Scope: This generalizes previous results (which were limited to $Y=\mathbb{C}^3$) to an infinite family of examples where the transverse space is $X = \mathbb{C} \times Y$ (with $Y$ being any local toric CY 3-fold).

3. Explicit Finite-$N$ Formulas

The author derives explicit, compact formulas for:

• M5 Indices: The Cardy limit of the index on $S^1 \times L$ for arbitrary toric Sasaki-Einstein manifolds.
• M2 Indices: The superconformal index, twisted index, and spindle indices for M2-branes on general toric CY 4-folds.
• Supergravity Prepotential: A specific form for the higher-derivative supergravity prepotential (Equation 26) that reproduces the finite-$N$ partition functions.

4. Key Results

• The Matching Formula: For the case $X = \mathbb{C} \times Y$, the M5 index $I_{M5}$ and the M2 superconformal index $I_{M2}$ are shown to match exactly under the identification:
  $$I_{M2}^{SCI}(\mu = -N\frac{\Delta_1}{2}; \tilde{\epsilon}_0 = -\Delta_1, \omega, \nu = \Delta_2) = I_{M5}^{S^1 \times L}(N; \omega, \Delta)$$
  This holds up to constant prefactors and non-perturbative corrections.
• Supersymmetry Constraints: The derivation relies on a crucial constraint equating the total equivariant first Chern class of the parallel and transverse spaces:
  $$c_1^T(X_{\parallel}) = c_1^T(Z_{\perp})$$
  This ensures the preservation of supersymmetry in both setups.
• Spindle Indices: The paper provides the first derivation of M2-brane spindle indices (on $S^1 \times \mathbb{W}P^1_{a,b}$) using the Airy function structure derived from the supergravity prepotential.

5. Significance

• Perturbative Evidence: The work provides strong perturbative evidence (at finite $N$) for the M2/M5 duality, moving beyond the large-$N$ (classical supergravity) limit.
• Geometric Unification: It clarifies the geometric origin of the duality: the exchange of worldvolume and transverse geometries in M-theory corresponds to an exchange of the integration domain and the equivariant parameters in the mathematical formulation.
• New Tools for Holography: By linking anomaly polynomials (M5) to topological string constant maps (M2), the paper offers a unified toolkit for computing indices in diverse dimensions.
• Future Directions: The results suggest that the duality might hold at the exact quantum level, though proving this requires non-perturbative corrections (instantons, etc.), which remain an open problem. The framework also opens the door to studying more general non-toric geometries.

In summary, Hristov successfully extends the M2/M5 duality to a broad class of toric geometries at finite $N$, demonstrating that the partition functions of these seemingly distinct theories are governed by the same underlying equivariant geometric data.