Exact-Observable Identities as Duality Tests

An identity between localized observables is useful duality evidence only after both sides represent the same background experiment. Parameters, global sectors, contact terms, decoupled factors, and defect labels must be translated before comparison. A mathematically independent integral identity can then test a protected sector very strongly, but it does not by itself establish equality of unprotected correlation functions.

Required background. Use the hierarchy of duality checks and failure modes and the complete sphere matrix-model specification.

Helpful background. Holomorphic-block factorization explains identities that hold only after summing vacuum blocks or applying Stokes transformations.

What two exact formulas must share

Suppose theories $A$ and $B$ are proposed to be dual. A comparison has the form

$$Z_A(\mathcal B_A;\lambda_A) =e^{S_{\mathrm{local}}(\mathcal B_B;\lambda_B)} Z_B(\mathcal B_B;\lambda_B), \qquad \lambda_B=f(\lambda_A).$$

The local factor may encode background Chern–Simons terms, anomaly prefactors, or an agreed supersymmetric Casimir normalization. It is not disposable unless its allowed quantization and physical fractional part are understood.

A valid comparison matches:

• spacetime, spin structure, preserved supercharge, and background bundles;
• global gauge and flavor groups, including discrete quotients;
• masses, FI terms, marginal couplings, theta angles, and fugacities;
• topological sectors and line or surface-defect labels;
• contour, residue chamber, and analytic-continuation path;
• decoupled free fields, Abelian factors, and local counterterms.

Only after this translation should one ask whether the remaining identity is analytic, series-by-series, or merely numerical.

Seiberg duality as an elliptic-integral identity

Four-dimensional $N=1$ $SU(N_c)$ SQCD with $N_f>N_c+1$ has a magnetic description Seiberg 1995, §§2–3 with

$$\widetilde N_c=N_f-N_c, \qquad R(Q)=R(\widetilde Q)=r=1-\frac{N_c}{N_f}.$$

Introduce elliptic-Gamma arguments $s_i,t_i$ for the two flavor groups and baryon fugacity, normalized so that

$$\prod_{i=1}^{N_f}s_i t_i =(pq)^{\widetilde N_c}.$$

This balancing condition is the gauge-anomaly-free R-charge condition. With $\prod_{a=1}^{N_c}z_a=1$, the electric index is

$$\mathcal I_E(s,t) =\kappa_{N_c} \oint \prod_{a=1}^{N_c-1}\frac{dz_a}{2\pi i z_a} \frac{ \displaystyle\prod_{a=1}^{N_c}\prod_{i=1}^{N_f} \Gamma_e(s_i z_a;p,q)\Gamma_e(t_i z_a^{-1};p,q)} {\displaystyle\prod_{a\ne b}\Gamma_e(z_a/z_b;p,q)},$$

where

$$\kappa_{N_c} =\frac{(p;p)_\infty^{N_c-1}(q;q)_\infty^{N_c-1}}{N_c!}.$$

Set $S=\prod_i s_i$ and $T=\prod_i t_i$. The elliptic hypergeometric transformation is

$$\mathcal I_E(s,t) =\prod_{i,j=1}^{N_f}\Gamma_e(s_i t_j;p,q)\, \mathcal I_M \left(S^{1/\widetilde N_c}s^{-1}, T^{1/\widetilde N_c}t^{-1}\right).$$

The prefactor is the contribution of the mesons $M^i{}_j=Q^i\widetilde Q_j$. The transformed arguments implement the conjugate flavor representations and baryon map of the magnetic quarks; the roots in $S^{1/\widetilde N_c}$ and $T^{1/\widetilde N_c}$ encode a choice of baryon-fugacity branch that cancels from gauge-invariant operators. The magnetic superpotential $W=Mq\widetilde q$ has R-charge two.

In the initial convergence domain, the unit-circle contours separate increasing and decreasing pole sequences. The identity is a nontrivial theorem about elliptic hypergeometric integrals Rains 2010, Theorem 4.1. Analytic continuation extends it provided every crossed pole is treated consistently. Dolan and Osborn 2009, §§4–5 identified this transformation with the protected operator map of Seiberg duality.

What this test establishes

The two matrix integrals are derived from different ultraviolet gauge theories. Their equality simultaneously checks:

• the magnetic rank $N_f-N_c$;
• meson multiplicities and charges;
• the nonanomalous R-symmetry and flavor representations;
• baryon-charge matching;
• infinitely many protected-state coefficients.

Because the integral transformation can be proved independently of the physical duality proposal, it is much stronger than matching a few series terms. Yet it remains an index identity. Long multiplets cancel, generic OPE coefficients are absent, and some global-form data may require refinements by background one-form sectors.

Defects and refined tests

A supersymmetric defect inserts an operator or modifies boundary conditions in the localized integral. A duality claim must then map both its support and label:

$$Z_A[D_A] \stackrel{?}{=} e^{S_{\mathrm{local}}} Z_B[D_B].$$

Wilson, vortex, and ‘t Hooft defects can act as multiplication or difference operators on the same block or index. Verifying the intertwining relation

$$\mathcal U\,\widehat D_A =\widehat D_B\,\mathcal U$$

tests the operator map more strongly than the vacuum partition function alone. Fusion and linked-defect observables add further independent constraints, provided their framing and contact terms are matched.

Independence and evidence ceiling

Comparison	Strongest immediate conclusion
A few numerical values	Consistency at sampled parameters and stated precision
Series agreement to finite order	Matching protected coefficients through that order
Analytic identity from the same assumed duality	Internal consistency, with limited independence
Independent special-function theorem	Exact equality of the defined protected observables
Identity with mapped defect algebra and global sectors	Strong protected-sector and extended-operator evidence

None of these steps alone proves equality of all unprotected observables. Conversely, a mismatch is not immediately a disproof: first test counterterm phases, fugacity maps, missing sectors, decoupled factors, and contour chambers. A mismatch that survives those checks is genuine evidence against the proposed dictionary or its stated domain.

A comparison protocol

1. Freeze both complete theory specifications and the duality map.
2. Derive both localized expressions independently in one normalization.
3. Separate allowed local factors and preserve their fractional anomaly data.
4. Establish a common convergence domain before analytic continuation.
5. Check free, weak-coupling, or low-order coefficients.
6. Prove the identity or provide precision-controlled numerical evidence.
7. Repeat with backgrounds or defects that test distinct parts of the map.
8. State exactly which protected sector was compared and which claims remain open.

Exercises

Explain the meson factor in the Seiberg-duality index identity.

Solution

The electric meson $M^i{}_j=Q^i\widetilde Q_j$ has elliptic-Gamma argument $s_i t_j$. In the magnetic theory it is an elementary gauge singlet, so its index is the product over all $N_f^2$ components, $\prod_{i,j}\Gamma_e(s_i t_j;p,q)$. Removing this factor would erase the meson operators and spoil both flavor and R-charge matching.

References

• Dolan, F. A., and H. Osborn. “Applications of the Superconformal Index for Protected Operators and $q$-Hypergeometric Identities to $N=1$ Dual Theories.” Nuclear Physics B 818 (2009): 137–178. DOI; Open PDF.
• Rains, E. M. “Transformations of Elliptic Hypergeometric Integrals.” Annals of Mathematics 171 (2010): 169–243. DOI; Open PDF.
• Seiberg, N. “Electric–Magnetic Duality in Supersymmetric Non-Abelian Gauge Theories.” Nuclear Physics B 435 (1995): 129–146. DOI; Open PDF.