Shell formulas for instantons and gauge origami

This paper introduces the "shell formula," a unifying framework that provides explicit closed-form expressions and recursion relations for partition functions across diverse physical systems—including 5d super Yang-Mills instantons and various gauge origami configurations—by classifying their pole structures through arbitrary-dimensional Young diagrams.

The Gist

Imagine you are trying to count the number of ways to stack blocks to build a tower. In the world of physics, these "blocks" aren't just wooden cubes; they are tiny, invisible packets of energy called instantons that appear in complex mathematical universes.

For decades, physicists have been trying to write a single "recipe" to count these stacks. The problem is that the rules change depending on how many dimensions the universe has. In a 2D world, the stacks look like flat shapes (like Tetris blocks). In a 3D world, they look like solid cubes. In a 4D world, they become even stranger, hyper-dimensional structures.

Previously, physicists had different recipes for 2D, different ones for 3D, and yet another for 4D. It was like having a different cookbook for every floor of a building.

Enter the "Shell Formula."

This paper, written by Jiaqun Jiang, introduces a universal "Master Recipe" called the Shell Formula. Here is how it works, explained through simple analogies:

1. The "Shell" Analogy: Peeling an Onion

Imagine you have a giant, irregularly shaped pile of blocks (a Young diagram).

• The Old Way: To count the properties of this pile, you had to measure every single block inside, calculate its distance to every other block, and do a massive amount of math. It was like trying to count the weight of a mountain by weighing every single pebble inside it.
• The Shell Formula Way: The author realized you don't need to look at the inside of the pile at all. You only need to look at the Shell—the very outer layer of blocks that are exposed to the air.
  • Think of it like an onion. To understand the onion's shape, you don't need to slice through the whole thing. You just need to look at the outer skin.
  • The "Shell Formula" says: "If you know the shape of the outer skin and the 'charge' (a special property) of each block on that skin, you can instantly calculate the total energy of the entire pile."

2. The "J-Factor": The Magic Ingredient

The paper introduces a mathematical tool called the J-Factor.

• Analogy: Imagine the J-Factor is a special "flavor enhancer" or a "magic sauce."
• In the old recipes, the sauce was different for every dimension. For 2D, it was a thin broth. For 3D, it was a thick stew.
• The Shell Formula provides a Universal Sauce. No matter if your block pile is flat (2D), cubic (3D), or hyper-cubic (4D), you just apply this one J-Factor to the outer shell. It automatically adjusts the math to fit the dimension.

3. The "Gauge Origami": Folding the Universe

The paper applies this formula to a concept called Gauge Origami.

• The Metaphor: Imagine the universe is a giant sheet of paper.
  • Magnificent Four: This is a sheet folded into a 4D shape (like a complex origami crane).
  • Tetrahedron Instantons: This is the same sheet folded into a 3D pyramid.
  • Spiked Instantons: This is the sheet folded into a 2D star.
• The Discovery: The author shows that all these different "folds" are actually connected. If you "unfold" the 4D paper, it becomes the 3D paper. If you unfold that, it becomes the 2D paper.
• The Shell Formula is the instruction manual that works for all these folds. It proves that the physics of a 4D universe and a 2D universe are speaking the same language, just with different accents.

4. Why This Matters (The "Aha!" Moment)

Before this paper, if a physicist wanted to study a 4D system, they had to manually insert "correction factors" (like adding a pinch of salt) to make the math work. If they got the pinch wrong, the whole calculation exploded.

• The Breakthrough: The Shell Formula automatically handles these corrections. It's like a self-correcting calculator. If you use the Shell Formula, the "pinch of salt" appears automatically because of the way the "shell" is calculated. You don't have to guess anymore.

Summary

• The Problem: Counting complex energy structures in different dimensions was messy and required different rules for each dimension.
• The Solution: The Shell Formula.
• The Trick: Ignore the inside of the structure. Only look at the outer shell.
• The Result: A single, elegant mathematical tool that works for 2D, 3D, and 4D universes, unifying the study of instantons, string theory, and geometry.

In short, the author found a way to describe the entire "block tower" universe by simply looking at its skin, providing a universal key to unlock some of the deepest mysteries of how the universe is built.

Technical Summary

1. Problem Statement

Supersymmetric gauge theories, particularly those involving instanton counting and BPS state enumeration, exhibit deep connections to combinatorics, specifically integer partitions and Young diagrams of various dimensions (2D, 3D, and 4D). While the partition functions for specific systems (like 5d $U(N)$ SYM or the "Magnificent Four") are known, they often rely on case-specific formulations:

• Nekrasov Factors: These are expressed using "arm" and "leg" lengths, which are intrinsic to 2D Young diagrams but do not generalize naturally to higher dimensions ($d \geq 3$).
• Complexity in Higher Dimensions: Systems like tetrahedron instantons (3D), the Magnificent Four (4D), and Donaldson-Thomas (DT) invariants on Calabi-Yau manifolds require intricate, often ad-hoc derivations.
• BPS Jumping Coefficients: For classical gauge groups like $SO(N)$ and $Sp(2N)$, partition functions require manually inserted "jumping coefficients" ($C_{\vec{\lambda}, v}$) that depend on the specific shape of the Young diagram and Coulomb branch parameters. These coefficients complicate the algebraic structure and obscure the underlying geometric unity.

The paper addresses the need for a unified, dimension-independent framework that can systematically describe the partition functions of these diverse systems, provide closed-form expressions, and naturally handle the special coefficients of non-Abelian gauge groups without manual intervention.

2. Methodology: The Shell Formula

The author introduces a universal framework called the Shell Formula, built upon two geometric concepts attached to a $d$-dimensional Young diagram $Y$:

1. The Shell ($S(Y)$): Defined as the set of boxes on the outer boundary of the diagram. Mathematically, $S(Y) = (Y + B_d) \setminus Y$, where $B_d$ is the set of binary tuples in $d$ dimensions. These are the boxes that can be reached from $Y$ by a unit step in any coordinate direction but are not currently in $Y$.
2. The Charge ($Q_Y(x)$): An integer charge assigned to each shell box $x$, defined via an inclusion-exclusion principle:
   $$Q_Y(x) = \sum_{b \in B_d, x-b \in Y} (-1)^{|b|}$$
   This charge measures the "cornerness" of the box relative to the diagram, weighted by sign.

The Central Object: The $J$-Factor
The core of the methodology is the $J$-factor, defined as a product over the shell boxes:
$$J(x \mid Y_A) \equiv \prod_{y \in S(Y_A)} \text{sh}(x - X_A(y))^{Q_{Y_A}(y)}$$
where $\text{sh}(x) = e^{x/2} - e^{-x/2}$ and $X_A(y)$ is the coordinate function mapping box positions to integration variables (Coulomb branch parameters).

Key Algebraic Properties:
The paper establishes that the $J$-factor satisfies several powerful algebraic properties that hold uniformly for any dimension $d$:

• Expansion: The $J$-factor expands into a product over all boxes in the diagram, recovering the universal pole structure of instanton integrands.
• Recursion: The ratio of partition functions between a diagram $Y$ and its extension $Y \cup \{w\}$ (adding one box) is a local product involving only the new box $w$. This allows for the systematic derivation of integrands.
• Splitting: The $J$-factor factorizes when a diagram is decomposed into disjoint parts, with a specific interface term.
• Swapping: An identity relating the $J$-factors of two diagrams with the same basis, crucial for deriving recursion relations.

3. Key Contributions and Results

A. Unified Description of Partition Functions

The shell formula successfully unifies the description of partition functions for a wide range of physical systems, mapping them to Young diagrams of specific dimensions:

• 2D (5d SYM & Spiked Instantons): Recovers the Nekrasov partition function for $U(N)$, $SO(N)$, and $Sp(2N)$ gauge theories. The formula replaces the Nekrasov factor with the $J$-factor, making the interaction between instantons and D-branes manifest.
• 3D (Tetrahedron Instantons & DT3): Describes D0-D6 systems and Donaldson-Thomas invariants on $\mathbb{C}^3$. The poles are classified by 3D Young diagrams (plane partitions).
• 4D (Magnificent Four & DT4): Describes D0-D8 systems (Magnificent Four) and DT invariants on $\mathbb{C}^4$. Here, the poles are classified by 4D Young diagrams (solid partitions). The paper introduces a modified $J_{\geq}$-factor to handle the specific sign ambiguities in 4D.

B. Automatic Absorption of BPS Jumping Coefficients

A major technical breakthrough is the treatment of $Sp(2N)$ and $SO(N)$ theories.

• In previous formulations, the partition function required manually inserting coefficients $C_{\vec{\lambda}, v}$ to account for the discrete topological angle and the specific structure of the $O(k)$ or $Sp(2k)$ moduli spaces.
• The shell formula, when applied in the unrefined limit ($\epsilon_2 \to -\epsilon_1$), automatically absorbs these coefficients. The limiting procedure of the $J$-factor naturally produces the correct numerical factors (e.g., $1/24$ for specific L-shaped diagrams) without ad-hoc insertion. This is demonstrated explicitly for $Sp(2)$ at $k=1, 2$.

C. Gauge Origami and Tachyon Condensation

The paper elucidates the hierarchical relationship between different brane systems (Gauge Origami) via tachyon condensation:

• D0-D8 (4D) $\xrightarrow{\text{condensation}}$ D0-D6 (3D) $\xrightarrow{\text{condensation}}$ D0-D4 (2D).
• The shell formula provides a consistent language to describe this hierarchy. For instance, imposing specific boundary conditions on the 4D Young diagram (limiting the growth in one direction) naturally reduces the 4D partition function to the 3D or 2D cases.

D. Donaldson-Thomas Invariants

The framework is applied to compute DT invariants:

• DT3: The partition function for D0-D2-D6 bound states on $\mathbb{C}^3$ is derived using the minimal plane partition (vacuum) with asymptotic boundaries (legs). The formula handles both 1-leg, 2-leg, and 3-leg cases uniformly.
• DT4: The framework extends to D0-D2-D4-D8 systems on $\mathbb{C}^4$, incorporating both "leg" (D2) and "surface" (D4) boundary conditions. A cutoff method is introduced to handle the infinite nature of the minimal solid partitions.

4. Significance

1. Dimensional Unification: The shell formula breaks the barrier between 2D, 3D, and 4D combinatorial structures. It replaces the dimension-dependent "arm/leg" language with a dimension-agnostic "shell/charge" language, allowing for a single mathematical formalism to describe systems across different spacetime dimensions.
2. Algebraic Clarity: By expressing partition functions in terms of the $J$-factor, the paper reveals a direct connection to quantum toroidal algebras and qq-characters. The recursion relations derived from the shell formula correspond to the vanishing conditions of qq-characters, suggesting a deeper algebraic structure underlying these physical systems.
3. Computational Efficiency: The recursive nature of the shell formula allows for the systematic generation of partition functions for arbitrary instanton numbers and complex boundary conditions, bypassing the need for case-by-case residue calculations.
4. Geometric Insight: The framework provides a geometric interpretation of the "jumping coefficients" in $Sp/SO$ theories, showing they are not arbitrary but arise naturally from the geometry of the shell and the unrefined limit.
5. Future Directions: The paper sets the stage for generalizing these results to exceptional Lie groups, orbifolds, and more general Calabi-Yau manifolds, potentially serving as a universal tool for BPS counting in string theory and enumerative geometry.

In summary, the paper presents a powerful, geometrically motivated "shell formula" that unifies the description of instanton partition functions and gauge origami across dimensions, resolving long-standing technical issues regarding higher-dimensional combinatorics and non-Abelian gauge group coefficients.