Semi-Simple Supersymmetric Gauge Theories

• Semi-simple supersymmetric gauge theories are quantum field theories defined by a direct product of simple Lie groups with supersymmetry-imposed matter constraints.
• They exhibit rich renormalization group fixed-point behavior and novel phase diagrams influenced by discrete theta angles and dualities.
• These theories are systematically classified through one-loop beta functions, moduli space geometry, and nonabelian mirror symmetry, providing insights into UV completeness and IR dynamics.

Semi-simple supersymmetric gauge theories describe quantum field theories with gauge symmetry given by a direct product of simple Lie groups, and matter content or dynamics constrained by supersymmetry. These theories feature in both two and four dimensions and display a broad array of structural phenomena, including intricate vacuum structure, rich fixed-point behavior under RG flows, the role of discrete theta angles and weight lattices, and interplay with dualities and the geometry of moduli spaces. The classification, phase structure, and IR limits of such theories have been systematically studied for classical and exceptional gauge groups.

1. Definitions, Structure, and Gauge Groups

A semi-simple supersymmetric gauge theory is defined by a gauge symmetry group $G$ of the form

$G = G_1 \times G_2 \times \cdots \times G_n$

with each $G_a$ a simple non-Abelian Lie group, such as $SU(N)$, $SO(N)$, $Sp(2N)$, $E_6$, $E_7$, $E_8$, $F_4$, or $G = G_1 \times G_2 \times \cdots \times G_n$0. Theories may be considered for both simply-connected groups or their quotients by center subgroups $G = G_1 \times G_2 \times \cdots \times G_n$1. Theories can be constructed in diverse spacetime dimensions and with varying degrees of supersymmetry: $G = G_1 \times G_2 \times \cdots \times G_n$2 in two dimensions, $G = G_1 \times G_2 \times \cdots \times G_n$3 or $G = G_1 \times G_2 \times \cdots \times G_n$4 in four dimensions, etc.

For 4d $G = G_1 \times G_2 \times \cdots \times G_n$5 theories, matter is added in the form of (half-)hypermultiplets in combinations of representations $G = G_1 \times G_2 \times \cdots \times G_n$6, $G = G_1 \times G_2 \times \cdots \times G_n$7, subject to strict UV-completeness conditions derived from one-loop $G = G_1 \times G_2 \times \cdots \times G_n$8-function constraints. In 2d $G = G_1 \times G_2 \times \cdots \times G_n$9 theories, attention often focuses on pure gauge theories or those with representations matching the constraints for anomaly cancellation and supersymmetry.

Discrete theta angles in 2d are classified by group cohomology $G_a$0, which depends on the fundamental group and center structure of $G_a$1 and directly impacts the vacuum structure and supersymmetry breaking patterns (Gu et al., 2020, 1808.04070).

2. Fixed Point Structure and Phase Diagrams

Semi-simple supersymmetric gauge theories exhibit a rich variety of RG fixed points and phase diagrams. In four dimensions with $G_a$2 supersymmetry, the exact NSVZ $G_a$3-function governs the RG flow for each gauge coupling $G_a$4: $G_a$5 where $G_a$6 is the adjoint Dynkin index and $G_a$7 the anomalous dimension of chiral multiplet $G_a$8.

Superconformal fixed points require all $G_a$9 and vanishing $SU(N)$0-functions for all Yukawa couplings: $SU(N)$1 In models such as $SU(N)$2 with bifundamental Yukawa couplings, one finds up to seven isolated types of fixed points (Gaussian, partially or fully interacting Banks–Zaks, and various gauge–Yukawa points) (Bond et al., 4 Nov 2025). Their properties, stability, and IR/UV behavior depend on one-loop coefficients, field multiplicities, and two-loop gauge–gauge interactions.

Distinct RG "phases" are classified by field-content-dependent ratios (e.g., $SU(N)$3) and governed by the signs of the $SU(N)$4-function coefficients. Fully interacting gauge–Yukawa fixed points, conformal windows, and UV-complete (asymptotically safe) regimes are accessible for specific field content. In certain regions, RG flows can even interpolate between different conformal manifolds via fixed-point mergers (Leigh–Strassler phenomena).

The following table summarizes fixed point types identified for two-factor product groups with a single Yukawa coupling:

Fixed Point Label	Structure	Existence/Role
FP$SU(N)$5	Gaussian (trivial)	Always present
FP$SU(N)$6, FP$SU(N)$7	Banks–Zaks × G or G × BZ	IR FP if gauge factor is free
FP$SU(N)$8	Banks–Zaks × Banks–Zaks	IR FP if both factors are free
FP$SU(N)$9, FP$SO(N)$0	Gauge–Yukawa × G / G × GY	UV/IR depending on parameters
FP$SO(N)$1	Fully interacting GY × GY	Both gauge factors mixed by Yukawa

3. Vacuum Structure, Discrete Theta Angles, and IR Limits

In two dimensions, the IR structure of pure $SO(N)$2 gauge theories with semi-simple groups or their center quotients is governed by effective twisted superpotentials: $SO(N)$3 where $SO(N)$4 are discrete theta angle parameters. The equations for supersymmetric vacua reduce to

$SO(N)$5

Remarkably, there exists a solution—and hence a supersymmetric vacuum—for precisely one value of the discrete theta angle per theory. All other values enforce SUSY breaking in the IR.

At this special point, the IR theory is always free, with as many massless twisted chiral multiplets as the rank of $SO(N)$6. The table below summarizes the connection between group, discrete theta angle, and IR content:

Gauge Group	Theta Angle Structure	IR Free Twisted Chirals
$SO(N)$7	none	$SO(N)$8
$SO(N)$9	$Sp(2N)$0	$Sp(2N)$1 (for one value)
$Sp(2N)$2	$Sp(2N)$3	$Sp(2N)$4
$Sp(2N)$5	$Sp(2N)$6 or $Sp(2N)$7	$Sp(2N)$8
$Sp(2N)$9	$E_6$0	$E_6$1
$E_6$2	$E_6$3	$E_6$4
$E_6$5	none	$E_6$6
$E_6$7	$E_6$8	$E_6$9 (for one value)
$E_7$0	none	$E_7$1
$E_7$2	$E_7$3	$E_7$4 (for one value)

The physical structure of discrete theta angles is mathematically encoded as

$E_7$5

indicating their direct connection to weight and root lattice quotients and the topology of the gauge group (Gu et al., 2020).

4. Nonabelian Mirror Symmetry and Lattice Structure

Nonabelian mirrors for pure $E_7$6 gauge theories are constructed as Weyl-orbifolds of Landau–Ginzburg models with fields:

• $E_7$7 (Cartan)
• $E_7$8 (nonzero roots)
• $E_7$9 (periodic, fundamental-weight directions)

In the presence of discrete theta angles (i.e., quotienting $E_8$0 by a center $E_8$1), mirror superpotentials involve these parameters linearly, and the periodicity structure of $E_8$2 and $E_8$3 is modified: $E_8$4 This results in a lattice structure for theta angles and t-parameters reflecting the group cohomology and central extensions.

The relation between the centers of universal covering groups, discrete theta angles, and mirror parameter periodicity is expressed via the exact sequence: $E_8$5 providing a uniform description of both original and mirror theory parameter spaces (Gu et al., 2020, 1808.04070).

For exceptional gauge groups (such as $E_8$6, $E_8$7, $E_8$8, $E_8$9, $F_4$0), the explicit structure of the mirror superpotentials and quantum cohomology relations can be specified in a fundamental-weight basis to ensure $F_4$1-periodicity of theta angles. The analysis finds that for simply-connected, semisimple $F_4$2, the pure gauge theory flows in the IR to a free theory of $F_4$3 twisted chiral multiplets (with $F_4$4), extending the result known for $F_4$5, $F_4$6, and $F_4$7 groups (1808.04070).

5. Symmetries in Low-Energy Theories: Weyl and $F_4$8 Actions

The effective actions of $F_4$9 theories universally exhibit invariance under the Weyl group. However, for general semi-simple gauge groups of rank $G = G_1 \times G_2 \times \cdots \times G_n$00, there exists an additional discrete $G = G_1 \times G_2 \times \cdots \times G_n$01 symmetry: simultaneous permutation of electric and magnetic charges (dyons and monopoles) associated with each simple root. In fundamental-weight basis, the action of $G = G_1 \times G_2 \times \cdots \times G_n$02 permutes basis indices across electric $G = G_1 \times G_2 \times \cdots \times G_n$03 and magnetic $G = G_1 \times G_2 \times \cdots \times G_n$04 central charges.

For the holomorphic prepotential $G = G_1 \times G_2 \times \cdots \times G_n$05, this symmetry implies that $G = G_1 \times G_2 \times \cdots \times G_n$06 depends only on the elementary symmetric polynomials in the $G = G_1 \times G_2 \times \cdots \times G_n$07, and thus greatly restricts the moduli space structure. Weyl-vector alignment due to $G = G_1 \times G_2 \times \cdots \times G_n$08 symmetry leads to highly degenerate BPS spectra and uniquely fixes the scalar VEV for which all monopoles become massless, aligning $G = G_1 \times G_2 \times \cdots \times G_n$09 with the Weyl vector $G = G_1 \times G_2 \times \cdots \times G_n$10.

This suggests that the full solution space, moduli structure, and BPS spectrum for $G = G_1 \times G_2 \times \cdots \times G_n$11 semi-simple theories are governed primarily by the group’s rank and dual Coxeter number, rather than its detailed Cartan matrix. The $G = G_1 \times G_2 \times \cdots \times G_n$12 invariance thus provides a unifying principle for the classification of vacua and identification of massless loci for monopoles and dyons (Kuchiev, 2011).

6. Classification and UV Completeness in 4d $G = G_1 \times G_2 \times \cdots \times G_n$13 Theories

The exhaustive classification of 4d $G = G_1 \times G_2 \times \cdots \times G_n$14 semi-simple gauge theories and their matter content was accomplished via the requirement that all one-loop $G = G_1 \times G_2 \times \cdots \times G_n$15-functions are non-negative (no Landau pole) and, for superconformal fixed points, vanish exactly: $G = G_1 \times G_2 \times \cdots \times G_n$16 Permissible gauge-group/matter building blocks include classical ($G = G_1 \times G_2 \times \cdots \times G_n$17, $G = G_1 \times G_2 \times \cdots \times G_n$18, $G = G_1 \times G_2 \times \cdots \times G_n$19) and exceptional groups, with matter in specific representations constrained by the group’s dual Coxeter numbers and Dynkin indices. All UV-complete or superconformal semi-simple models are classified, with their associated Seiberg–Witten solutions and curves either known (for A- and D-type quivers, most classical groups, and many exceptional cases) or partially constructed (for E-type or exceptional quivers).

This classification links to the IR structure, the moduli space geometry, and the existence of exactly marginal couplings throughout the semi-simple landscape (Bhardwaj et al., 2013).

7. Special Phenomena and Extensions

Several phenomena are unique or greatly enhanced in the semi-simple case:

• Novel fixed-point behavior arises due to mixed gauge–gauge two-loop terms, including the possibility of "residual interactions" and the phenomenon of asymptotic safety for certain parameter choices (Bond et al., 4 Nov 2025).
• The existence of conformal manifolds via fixed point mergers as the number of flavors or other field content is tuned across critical values.
• In two dimensions, decomposition into disjoint unions indexed by one-form symmetry sectors occurs for theories with nontrivial centers, ensuring that exactly one discrete theta angle reproduces the free twisted chiral spectrum of the parent group (Gu et al., 2020).
• The full structure of quantum cohomology (Coulomb ring relations), excluded loci, and their group-theoretic interpretation have been established via Landau–Ginzburg mirror constructions for all simply-connected and exceptional groups (1808.04070).

A plausible implication is that semi-simple product group theories serve as the fundamental building blocks of all supersymmetric gauge theories with rich fixed point, modular, and symmetry structure, both in mathematics and physics. The analysis of discrete symmetries and lattice structures also offers insight into the topological and geometric quantization conditions of supersymmetric vacua.

---

For explicit formulas, curve constructions, and classification tables, see the cited works (Gu et al., 2020, Bond et al., 4 Nov 2025, 1808.04070, Bhardwaj et al., 2013, Kuchiev, 2011).