Euler transformation for multiple $q$-hypergeometric series from wall-crossing formula of $K$-theoretic vortex partition function

This paper establishes that transformation formulas for multiple $q$-hypergeometric series, specifically the Kajihara and Hallnäs–Langmann–Noumi–Rosengren transformations, correspond to wall-crossing formulas of $K$-theoretic vortex partition functions in 3d $\mathcal{N}=2$ and $\mathcal{N}=4$ gauge theories, thereby providing a geometric interpretation of these Euler transformations via the wall-crossing behavior of handsaw quiver varieties.

The Gist

Imagine you are standing in a vast, foggy landscape called Mathematical Physics. In this world, there are two distinct groups of explorers:

1. The Physicists: They study tiny, invisible universes (quantum field theories) and try to count the number of stable "vortex" shapes that can form inside them.
2. The Mathematicians: They study complex number patterns called q-hypergeometric series. These are like incredibly intricate recipes for mixing numbers, where the result changes depending on how you stir the pot.

For a long time, these two groups thought they were speaking different languages. The Physicists had a rule called the "Wall-Crossing Formula," and the Mathematicians had a rule called the "Euler Transformation."

This paper, written by Yutaka Yoshida, is the Rosetta Stone that proves these two groups are actually describing the exact same phenomenon, just from different angles.

Here is the story of the paper, broken down into simple analogies.

1. The Two Sides of the Same Coin

Imagine a giant, magical mirror.

• On the left side of the mirror, you see a physicist looking at a 3D universe. They are counting "vortices" (like tiny tornadoes of energy). The number of vortices they count depends on a dial they can turn, called the FI parameter.
• On the right side of the mirror, you see a mathematician looking at a giant equation. They are trying to transform one version of the equation into another.

The paper shows that turning the physicist's dial (changing the environment) is exactly the same as performing the mathematician's transformation (changing the equation).

2. The "Handsaw" Garden

To understand why this happens, the author introduces a strange garden called the "Handsaw Quiver Variety."

• The Garden: Imagine a garden where plants grow in a very specific, geometric pattern. This pattern is shaped like a "handsaw" (a tool with a handle and a jagged blade).
• The Plants: The "vortices" the physicists are counting are actually just the different ways these plants can grow in the garden.
• The Two Views:
  • When the "FI dial" is turned positive, the garden is viewed from one angle. The plants look like a specific arrangement.
  • When the "FI dial" is turned negative, the garden is viewed from the opposite angle. The plants look different, but they are the same garden!

The "Wall-Crossing" is simply the moment you walk around the garden and realize that the view from the left is mathematically related to the view from the right. The paper proves that the formula for this "walk-around" is the same as the famous Kajihara Transformation (for 3D N=2 theories) and the Hallnäs-Langmann-Noumi-Rosengren formula (for 3D N=4 theories).

3. The "Recipe" Analogy

Think of the K-theoretic vortex partition function as a recipe for a cake.

• The Ingredients: The recipe lists ingredients like "U(N) gauge groups," "Chiral multiplets," and "FI parameters."
• The Baking Process: The physicist bakes the cake (calculates the partition function) by following a strict set of rules (supersymmetric localization).
• The Problem: If you change the oven temperature (the FI parameter), the cake looks different. Sometimes it's a tall, thin cake; other times, it's a short, wide one.
• The Magic Trick: The paper shows that there is a secret Euler Transformation. This is like a magic spell that says: "If you take the tall, thin cake and apply this specific mathematical spell, it turns into the short, wide cake, and they taste exactly the same!"

The author proves that the "spell" the mathematicians discovered (Euler transformation) is actually just the physical description of how the cake changes shape when you turn the oven dial.

4. Why Does This Matter?

You might ask, "So what? It's just math and physics."

Here is the big picture:

• Unification: It unifies two huge fields. It tells us that deep down, the laws of the universe (physics) and the rules of pure numbers (math) are woven from the same thread.
• Geometry: It gives a physical meaning to abstract math. Instead of just seeing a scary equation, we can now visualize it as a "vortex" spinning in a 3D universe or a plant growing in a "handsaw" garden.
• New Tools: By understanding this connection, physicists can use powerful mathematical tricks to solve hard physics problems, and mathematicians can use physical intuition to solve hard math problems.

Summary

Yutaka Yoshida's paper is a bridge. It connects the physical world of 3D quantum vortices with the abstract world of q-hypergeometric series.

• The Physicist's View: "When I turn this dial, my vortex count changes in a specific way."
• The Mathematician's View: "When I apply this transformation, my series changes in a specific way."
• The Paper's Conclusion: "You are both right. You are describing the same shape-shifting event. The 'Wall-Crossing' of the vortex is the 'Euler Transformation' of the series."

It's a beautiful example of how the universe speaks a single language, whether you are listening to it through the lens of a particle accelerator or a blackboard full of equations.

Technical Summary

1. Problem Statement

The paper addresses the relationship between two distinct areas of theoretical physics and mathematics:

1. Supersymmetric Gauge Theories: Specifically, the behavior of $K$-theoretic vortex partition functions in 3-dimensional $\mathcal{N}=2$ and $\mathcal{N}=4$ $U(N)$ gauge theories. These partition functions are generating functions for Witten indices of 1-dimensional supersymmetric quantum mechanics (SQM) associated with "handsaw" quiver varieties.
2. Special Functions: The transformation formulas (specifically Euler transformations) for multiple $q$-hypergeometric series, such as the Kajihara transformation and the Hallnäs-Langmann-Noumi-Rosengren (HLNR) formula.

The Core Problem: While it was known that Seiberg-like dualities in 3d gauge theories imply relations between partition functions, and that these relations correspond to "wall-crossing" phenomena (changes in the partition function as Fayet-Iliopoulos (FI) parameters cross zero), the precise mathematical identification of these wall-crossing formulas with specific transformations of $q$-hypergeometric series had not been fully established for multiple series. The author seeks to prove that the physical wall-crossing formulas derived from gauge theory localization exactly match these known mathematical transformation identities.

2. Methodology

The author employs supersymmetric localization and geometric representation theory to bridge the gap between physics and mathematics.

• Supersymmetric Localization: The partition functions of the 3d gauge theories on $S^1 \times \mathbb{R}^2$ are reduced to the Witten indices of 1d $\mathcal{N}=2$ or $\mathcal{N}=4$ SQM. These indices are computed as contour integrals (residue calculations) over the Coulomb branch of the 1d theory.
• JK Residue Formalism: The contour integrals are evaluated using the Jeffrey-Kirwan (JK) residue prescription. The sign of the 1d FI parameter ($\zeta$) determines the stability condition of the moduli space (the handsaw quiver variety), leading to two distinct sets of poles and thus two different expressions for the partition function: $Z^{(\zeta > 0)}$ and $Z^{(\zeta < 0)}$.
• Wall-Crossing Derivation: By analyzing the contour integral in the complex plane (specifically using a multi-contour integral representation), the author derives the relation between $Z^{(\zeta > 0)}$ and $Z^{(\zeta < 0)}$. This involves shifting the contour and summing residues at poles that cross the integration cycle as the FI parameter changes sign.
• Parameter Identification: The chemical potentials and FI parameters of the gauge theory are mapped to the variables ($x_i, y_i, a_i, b_i, c, z$) of the hypergeometric series.
• Geometric Interpretation: The partition functions are identified with equivariant indices (specifically the $\chi_t$-genus) of the handsaw quiver varieties. The wall-crossing is interpreted as a change in the stability condition of the quiver variety.

3. Key Contributions

A. Derivation of Wall-Crossing Formulas

The paper rigorously derives the wall-crossing formulas for the generating functions of vortex partition functions in two cases:

1. 3d $\mathcal{N}=2$ Theory: For a $U(N_1)$ gauge theory with $N_2$ fundamental and $N_0$ anti-fundamental chiral multiplets.
2. 3d $\mathcal{N}=4$ Theory: For a $U(N_1)$ gauge theory with $N_2$ hypermultiplets (where $N_0 = N_2$).

B. Identification with Mathematical Transformations

The primary contribution is the proof that these physical wall-crossing formulas are identical to known mathematical identities:

• Kajihara Transformation: For the 3d $\mathcal{N}=2$ case (specifically when $N_2 = N_0$ and the Chern-Simons level $\kappa=0$), the wall-crossing formula is shown to be exactly the Kajihara transformation for multiple $q$-hypergeometric series.
• HLNR Formula: For the 3d $\mathcal{N}=4$ case, the wall-crossing formula is shown to agree with the trigonometric limit of the transformation formula by Hallnäs, Langmann, Noumi, and Rosengren.

C. Geometric Interpretation

The paper provides a geometric interpretation of these Euler transformations. Since the vortex partition functions compute the equivariant $\chi_t$-genus of the handsaw quiver variety, the wall-crossing formula represents the change in the index when the stability condition of the quiver variety is altered. This gives a physical/geometric origin to the algebraic identities of $q$-hypergeometric series.

D. Dimensional Reduction

The author performs a zero-radius limit (dimensional reduction) from 3d to 2d:

• The 3d wall-crossing formulas reduce to the known wall-crossing formulas for 2d $\mathcal{N}=(2,2)$ and $\mathcal{N}=(2,2)^*$ gauge theories.
• In the specific case of $N_1=1, N_2=2$, the 2d limit recovers the classical Euler transformation of the Gauss hypergeometric series $_2F_1$.

4. Results

• Formula Equivalence: The paper establishes the equality:
  $$(z_+; q)_\infty^{\delta} Z^{(\zeta > 0)} = (z_-; q)_\infty^{\delta} Z^{(\zeta < 0)}$$
  where the prefactors and the structure of $Z$ match the coefficients of the Kajihara and HLNR transformations exactly under specific parameter mappings.
• Elliptic Analogue: The paper briefly discusses the 4d $\mathcal{N}=2$ case (elliptic genus). It notes that unlike the $q$-hypergeometric case, the elliptic genus does not exhibit non-trivial wall-crossing (the partition functions for $\zeta > 0$ and $\zeta < 0$ coincide up to a sign), implying the elliptic analogue of the Euler transformation is trivial or requires a different setup (e.g., anomalous 2d theories).
• Index vs. Partition Function: The author clarifies the relationship between the $K$-theoretic vortex partition function and the equivariant $\chi_t$-genus. They agree up to a trivial factor (a power of the mass parameter $t$), confirming that the wall-crossing phenomenon is a property of the geometry of the moduli space.

5. Significance

• Unification of Physics and Math: The work provides a concrete physical realization of abstract mathematical transformations. It demonstrates that the "wall-crossing" phenomenon in quantum field theory is not just a physical curiosity but a manifestation of deep symmetries in special functions.
• Generalization of Euler Transformation: It generalizes the classical Euler transformation of the Gauss hypergeometric series to the realm of multiple $q$-hypergeometric series, showing that these complex identities are natural consequences of Seiberg duality in supersymmetric gauge theories.
• Geometric Insight: By linking the transformation formulas to the $\chi_t$-genus of handsaw quiver varieties, the paper offers a new geometric perspective on why these transformations hold, potentially opening avenues for proving similar identities using algebraic geometry and quiver variety theory.
• Future Directions: The results suggest a framework for studying "level correspondences" of $K$-theoretic $I$-functions and generalizing these findings to linear quiver gauge theories (handsaw quivers of type $A_n$).

In summary, Yutaka Yoshida's paper successfully decodes the wall-crossing formulas of 3d supersymmetric gauge theories, revealing them to be the physical avatars of the Kajihara and HLNR transformations, thereby unifying the study of Seiberg duality, quiver varieties, and $q$-hypergeometric series.