5D AGT conjecture for circular quivers

This paper extends the free-field formalism to q-Virasoro conformal blocks on an elliptic surface, demonstrating their equivalence to the instanton partition function of a 5d circular quiver gauge theory and its defect counterpart (the Shiraishi function) for both generic and degenerate cases.

The Gist

Imagine the universe of theoretical physics as a massive, intricate library. For decades, librarians (physicists) have been trying to organize two very different-looking sections of this library: one filled with books about quantum fields (how particles interact) and another filled with books about conformal geometry (how shapes stretch and twist).

For a long time, these two sections seemed completely unrelated. Then, in 2009, a brilliant librarian named Alday, Gaiotto, and Tachikawa discovered a "secret translation key" (the AGT conjecture). They realized that a specific story written in the language of quantum particles was actually the exact same story written in the language of geometry, just using different words.

This paper, written by Mironov, Morozov, and Shakirov, is like a team of explorers taking that translation key and trying to use it in a much more complex, exotic part of the library.

Here is the breakdown of their journey, explained with everyday analogies:

1. The Starting Point: The "Flat" Map

In the simplest version of this library, the world is a flat sheet of paper (a sphere).

• The Physics Side: Imagine calculating the cost of a complex construction project (instantons) in a 4D world.
• The Math Side: Imagine calculating the probability of a specific pattern of ripples on a pond (conformal blocks).
• The Discovery: The AGT conjecture proved that if you calculate the cost of the construction project, you get the exact same number as the ripple pattern. It's like realizing that the recipe for a cake is mathematically identical to the blueprint for a house.

2. The Challenge: Adding "Curves" and "Wiggles"

The authors wanted to see if this translation key still works when the world gets more complicated. They added two new ingredients:

• Ingredient A: The "Wiggle" (q-deformation): Imagine the paper isn't flat anymore; it's made of a stretchy, elastic material that snaps back in a specific way (related to a 5D universe). This changes the math from simple arithmetic to something more complex involving "q-numbers."
• Ingredient B: The "Loop" (Torus): Instead of a flat sheet, imagine the paper is rolled into a donut shape (a torus). This represents a universe with a hole in the middle, like a coffee mug handle.

The Problem: When you combine the "Wiggle" and the "Loop," the math becomes incredibly messy. It's like trying to translate a recipe while simultaneously stretching the dough and rolling it into a donut. No one had successfully written down the "translation key" for this specific combination before.

3. The Solution: The "Magic Integral"

The authors found a way to write down the recipe for this complex scenario using a tool called Dotsenko-Fateev integrals.

• The Analogy: Think of this integral as a giant, multi-layered smoothie blender. You put in various ingredients (parameters representing mass, energy, and geometry), and the blender churns them together to produce the final answer.
• The Breakthrough: They figured out exactly how to set the blender for the "Wiggly Donut" world. They wrote down a specific formula (Equation 16 in the paper) that acts as the master key.

4. The Proof: Two Different Recipes, One Taste

To prove their new key works, they tested it in two ways:

Test 1: The Generic Case (The Standard Cake)
They compared their new "blender recipe" against the known "construction cost" for a 5D universe with a circular arrangement of forces (a circular quiver).

• Result: The numbers matched perfectly! The recipe for the geometric ripples on the wiggly donut produced the exact same result as the construction cost of the 5D particle project. This confirms the AGT conjecture works even in this exotic 5D, donut-shaped world.

Test 2: The "Defect" Case (The Burnt Cookie)
In physics, sometimes you introduce a "defect"—a flaw or a special point in the system (like a burnt spot on a cookie). In the math world, this is called a "degenerate field."

• The Mystery: There is a famous, very complicated mathematical object called the Shiraishi function. It's known to describe these defects, but it's so complex that nobody knew how to derive it easily. It was like having a delicious, complex cake but no recipe, only the finished product.
• The Discovery: The authors took their "blender recipe" and tweaked it to account for the defect. When they did, the result was exactly the Shiraishi function.
• Why this matters: They didn't just match the numbers; they found a simple way to generate this complex function using their integral. It's like finally finding the simple list of ingredients that creates that mysterious, complex cake.

5. The "Correction Factor" (The Secret Sauce)

One interesting detail they found is that the two sides of the equation (the geometry side and the physics side) don't match exactly 1-to-1. There is a small "correction factor" (a multiplier) needed to make them equal.

• The Analogy: Imagine you are translating a book from English to French. The story is the same, but you need to add a tiny footnote or a specific phrase to make the rhythm sound right. The authors found this "secret sauce" (the function $\sigma$) and realized it might be related to invisible, infinite lines in the geometry of the universe (topological strings).

Summary: Why Should You Care?

This paper is a significant step forward in unifying the laws of the universe.

1. It expands the map: It proves that the deep connection between geometry and physics holds true even in higher dimensions and on curved surfaces (donuts).
2. It solves a puzzle: It provides a simple, direct way to calculate the Shiraishi function, which has been a headache for mathematicians for years.
3. It opens new doors: By understanding how to "translate" these complex systems, scientists might eventually solve problems in quantum computing, string theory, and the fundamental nature of space-time.

In short, the authors took a complex, tangled knot of math and physics, found a new way to untie it, and showed us that the two sides of the knot are indeed the same piece of string.

Technical Summary

1. Problem Statement

The paper addresses the extension of the AGT (Alday-Gaiotto-Tachikawa) conjecture to more complex geometric and algebraic settings. The original AGT conjecture relates the instanton partition functions of 4D $\mathcal{N}=2$ supersymmetric gauge theories to conformal blocks of 2D Liouville Conformal Field Theory (CFT).

The authors aim to unify two specific generalizations simultaneously:

1. $q$-deformation: Lifting the theory from 4D to 5D (replacing rational functions with trigonometric ones) and deforming the Virasoro algebra to a $q$-Virasoro algebra.
2. Higher Genus (Torus): Moving from the sphere ($g=0$) to a torus ($g=1$), which corresponds to gauge theories with circular quiver structures rather than linear quivers.

The specific goal is to establish the correspondence between:

• CFT Side: $q$-deformed conformal blocks on a torus (both generic and degenerate cases).
• Gauge Theory Side: Instanton partition functions of 5D $SU(N)$ gauge theories with circular quiver topology, including cases with surface defects.

2. Methodology

The authors employ the Dotsenko-Fateev (DF) free-field formalism, which represents conformal blocks as multiple contour integrals of screening operators. This approach is chosen for its ability to handle finite parameter values and its direct link to matrix models.

Key Methodological Steps:

• Integral Construction: They construct explicit multiple $q$-integrals (discretized $q$-contour integrals) for conformal blocks on the torus.
  • The standard two-point function $(1-x)^\alpha$ is generalized to a product involving theta functions $\theta_p(x)$ and $q$-shifts.
  • The integration measure is replaced by $q$-integrals ($\int dqz$).
• Series Expansion: To verify the correspondence without solving the complex integrals analytically, the authors expand the DF integrals into power series in the instanton counting parameters (and modular parameters).
• Comparison with Gauge Theory: They compare these series expansions against the Nekrasov partition functions for 5D circular quiver gauge theories, which are defined as sums over Young diagrams (partitions).
• Degenerate Case (Defects): For the degenerate case, they impose specific constraints on the parameters (null-vector conditions) to reduce the generic integral to a form representing a surface defect. This result is compared against the Shiraishi function, a known special function describing defects in 5D gauge theories.

3. Key Contributions

A. Construction of $q$-Deformed Torus Conformal Blocks

The authors propose a specific integral representation for the $m$-point $q$-deformed conformal block on a torus (Equation 16):
$$B^{(g=1)}_q = \int \dots \int \prod_{i \neq j} \prod_{k=0}^{\beta-1} \theta_p(q^k z_i/z_j) \prod_{i} z_i^a \prod_{k=0}^{\alpha_a-1} \theta_p(q^k z_i/x_a)$$
This formula successfully combines the elliptic deformation (via $\theta_p$) and the $q$-deformation (via $q$-shifts and $q$-integrals).

B. Verification of the 5D AGT Correspondence (Generic Case)

They explicitly verify the equivalence between the $q$-deformed torus conformal block and the instanton partition function of a 5D circular quiver gauge theory ($SU(2)^m$).

• Result: The series expansion of the conformal block matches the Nekrasov partition function up to a correction factor $\sigma(p, x)$.
• Significance: This factor $\sigma(p, x)$ is independent of the specific matter parameters ($a$) but depends on the number of integration variables ($N$). The authors suggest this factor arises from non-compact BPS states in the topological string geometry engineering the gauge theory.

C. Verification of the Shiraishi Function Correspondence (Degenerate Case)

By applying null-vector constraints to the integral representation, the authors derive a degenerate $q$-conformal block on the torus.

• Result: This degenerate integral matches the Shiraishi function (the partition function of a defect in the circular quiver theory) up to a parameter-independent prefactor $\rho(p)$.
• Significance: This provides a new integral representation for the Shiraishi function, which was previously defined only as a sum over partitions.

4. Key Results and Formulas

1. The Dictionary (Generic Case):
   The paper establishes the exact relation (Eq. 23):
   $$Z_{\text{inst}} = \sigma(p, x) \cdot B^{(g=1)}_q$$
   where $Z_{\text{inst}}$ is the 5D circular quiver partition function and $B^{(g=1)}_q$ is the $q$-deformed torus conformal block. The parameters are mapped via a specific dictionary involving $q, p, \beta, a, N$.

2. The Dictionary (Defect Case):
   The relation between the defect partition function (Shiraishi function) and the degenerate conformal block is given by (Eq. 51):
   $$\psi_{\text{Shiraishi}} = \rho(p) \cdot B^{(g=1)}_{q, \text{deg}}$$
   This confirms that the Shiraishi function satisfies the same structural properties as a degenerate conformal block in the free-field formalism.

3. Technical Checks:
   The authors performed explicit calculations of series coefficients up to level 4 (terms involving powers of instanton counting parameters up to total degree 4) for the case $m=2$ (two gauge groups in the circle). The coefficients matched perfectly between the integral representation and the Nekrasov sum.

5. Significance and Future Prospects

• Conceptual Clarification: The work provides a "dictionary" that translates complex gauge theory partition functions into CFT integral representations. This offers a potential pathway to re-derive the sophisticated difference equations satisfied by the Shiraishi function as simple null-vector conditions in the integral formalism.
• New Mathematical Tools: The paper introduces a new basis for expanding these integrals, which could lead to new series expansions for Shiraishi functions and deeper insights into their properties.
• Elliptic SL(2, Z) Identities: The authors suggest that their integral formulas could be used to construct elliptic $SL(2, \mathbb{Z})$ matrices for higher Chern-Simons levels ($K > 2$), extending current results that are limited to specific specializations.
• Foundation for Higher Genus: This work serves as a crucial stepping stone for investigating AGT relations for genus $g \geq 2$, a largely open field in theoretical physics.

In summary, the paper successfully extends the AGT correspondence to the intersection of $q$-deformation and torus topology, providing strong evidence for the universality of the Dotsenko-Fateev formalism in describing 5D gauge theories and their defects.