Exactly Marginal Operators and Duality in Four Dimensional N=1 Supersymmetric Gauge Theory
Robert G. Leigh, Matthew J. Strassler
TL;DR
Manifolds of fixed points generated by exactly marginal operators are widespread in four-dimensional N=1 SUSY gauge theories. The authors develop a holomorphy-based framework linking beta-functions to operator anomalous dimensions, enabling systematic identification of marginal directions and exploration of both weakly and strongly coupled fixed lines, including non-renormalizable cases. They present numerous explicit models (vector-like and chiral), show how fixed curves can interpolate between weak and strong coupling, and propose a mechanism connecting N=1 Seiberg duality to N=2 S-duality via fixed-point curves and meson mass deformations. The work suggests a unifying perspective on four-dimensional conformal dynamics and dualities, with implications for finite theories and beyond, while outlining several conjectures and directions for future research.
Abstract
We show that manifolds of fixed points, which are generated by exactly marginal operators, are common in N=1 supersymmetric gauge theory. We present a unified and simple prescription for identifying these operators, using tools similar to those employed in two-dimensional N=2 supersymmetry. In particular we rely on the work of Shifman and Vainshtein relating the $\bt$-function of the gauge coupling to the anomalous dimensions of the matter fields. Finite N=1 models, which have marginal operators at zero coupling, are easily identified using our approach. The method can also be employed to find manifolds of fixed points which do not include the free theory; these are seen in certain models with product gauge groups and in many non-renormalizable effective theories. For a number of our models, S-duality may have interesting implications. Using the fact that relevant perturbations often cause one manifold of fixed points to flow to another, we propose a specific mechanism through which the N=1 duality discovered by Seiberg could be associated with the duality of finite N=2 models.
