Product-Group and Quiver Gauge Dynamics

In a product-group theory, one multiplet can be charged under several gauge nodes. That simple fact couples their anomaly conditions, holomorphic scales, center symmetries, and strong-coupling limits. Sequential confinement or duality is reliable only when a declared hierarchy makes one node strong while its neighbors are weakly gauged flavor symmetries; the resulting composites must then be re-entered into the neighboring theory card.

Required background. Quantum-modified moduli and s-confinement supplies the exact single-node constraints, and holomorphic decoupling and scale matching fixes threshold powers. Helpful background. Chiral-theory anomaly constraints provides the node-by-node consistency workflow.

A two-node bifundamental theory

Consider four-dimensional $\mathcal N=1$ theory with

$$G=SU(N)_1\times SU(N)_2, \qquad N\geq3,$$

and a vectorlike bifundamental pair

$$X:({\bf N},\overline{\bf N}), \qquad \widetilde X:(\overline{\bf N},{\bf N}), \qquad W_{\mathrm{tree}}=0.$$

The cubic anomaly of each node cancels. Each node sees $N$ flavors, since the other node’s index supplies $N$ copies, and therefore

$$b_1=b_2=3N-N=2N, \qquad \Lambda_a^{2N}=\mu^{2N}e^{2\pi i\tau_a(\mu)}.$$

There are two independent theta angles and hence two complex holomorphic scales. Treating “the strong scale” as a single number already discards physical information.

The diagonal center element $(z,z)\in\mathbb Z_N\times\mathbb Z_N$ acts trivially on $X$ and $\widetilde X$. For the simply connected product gauge group it generates a diagonal electric $\mathbb Z_N^{(1)}$ one-form symmetry. Quotienting the gauge group by that diagonal center instead changes the genuine line lattice and introduces discrete-theta choices; it is a different theory even though the local fields are unchanged.

A baryon symmetry may be normalized as $B(X)=1$, $B(\widetilde X)=-1$. Its order-$N$ subgroup overlaps a gauge-center transformation, so its faithful action is $U(1)_B/\mathbb Z_N$. Choosing the $X\leftrightarrow\widetilde X$-symmetric representative with no baryon mixing gives $R_0(X)=R_0(\widetilde X)=0$: for either node, $N+N(R_0-1)=0$. The general anomaly-free basis is $R_t=R_0+tB$; all downstream R-anomaly entries use $t=0$. These finite quotients and the diagonal one-form symmetry must be carried through any claimed infrared description.

Sequential strong dynamics

Assume

$$\lvert\Lambda_1\rvert\gg\lvert\Lambda_2\rvert.$$

Near the scale $\Lambda_1$, node 2 is weak and may be treated as a weakly gauged subgroup of the $N_f=N_c=N$ flavor symmetry of node 1. Node 1 then has the exact composite coordinates

$$M=\widetilde X X, \qquad B_1=\det X, \qquad \widetilde B_1=\det\widetilde X,$$

obeying

$$\boxed{\det M-B_1\widetilde B_1=\Lambda_1^{2N}.}$$

$M$ transforms by conjugation under $SU(N)_2$ and decomposes into an adjoint plus a singlet; the two baryons are node-2 singlets. A dimension-one holomorphic coordinate may be written as $\Phi=M/\Lambda_1$, but this notation does not assert canonical normalization: its Kähler metric is noncalculable near the quantum region. The exact $N_f=N_c$ constraint and its mass-deformation checks are established in Seiberg 1994, pp. 6857–6863.

Rebuilding the neighboring theory card now gives

$$\begin{array}{c|c|c|c} \text{field}&SU(N)_2&B&R\\ \hline \Phi=M/\Lambda_1&\mathbf{Adj}\oplus\mathbf1&0&0\\ B_1&\mathbf1&N&0\\ \widetilde B_1&\mathbf1&-N&0 \end{array}$$

where $B$ is written in the ultraviolet normalization $B(X)=1$. The adjoint is a real representation, so the node-2 cubic anomaly vanishes. Its one-loop coefficient and mixed gauge–$R$ anomaly are

$$b_{2,\mathrm{IR}}=3N-T(\mathbf{Adj})=2N, \qquad \mathcal A[SU(N)_2^2U(1)_R] =N+N(0-1)=0.$$

The equality $b_{2,\mathrm{IR}}=b_{2,\mathrm{UV}}$ is a nontrivial bookkeeping check, not a claim that the elementary and composite Kähler metrics agree. Because the surviving node-2 matter is adjoint or neutral, its center acts trivially on all local infrared fields. The original diagonal $\mathbb Z_N^{(1)}$ therefore becomes the center one-form symmetry of the remaining node. Likewise, the baryons have covering-space charges $\pm N$, precisely as required by the ultraviolet $U(1)_B/\mathbb Z_N$ quotient.

Sequential-confinement theory-card flow

The figure summarizes what changes at $\Lambda_1$ and what must be recomputed. Inspect especially the center-symmetry line: confinement of node 1 does not erase the ultraviolet diagonal one-form symmetry; it changes how that symmetry is represented.

Sequential confinement for $\lvert\Lambda_1\rvert\gg\lvert\Lambda_2\rvert$. Node 1 is replaced by $M$, $B_1$, and $\widetilde B_1$ subject to $\det M-B_1\widetilde B_1=\Lambda_1^{2N}$; node 2 then sees an adjoint-plus-singlet and retains $b_2=2N$ and the inherited $\mathbb Z_N^{(1)}$. The diagram is schematic and not to scale. Its crossed-out inset marks a failure of the sequential approximation when the two strong scales are comparable, not a claim that the full theory is inconsistent.

The same content is available without the image:

Stage	Active variables under node 2	Exact relation or check	One-form symmetry	Domain of control
Ultraviolet	$X$ and $\widetilde X$: $N$ flavor pairs	$b_1=b_2=2N$	Diagonal $\mathbb Z_N^{(1)}$	Microscopic theory card
At $\mu\sim\Lambda_1$	$M=\widetilde XX$, $B_1$, $\widetilde B_1$	$\det M-B_1\widetilde B_1=\Lambda_1^{2N}$	Same diagonal symmetry	$\lvert\Lambda_1\rvert\gg\lvert\Lambda_2\rvert$
Below $\Lambda_1$	$M/\Lambda_1:\mathbf{Adj}\oplus\mathbf1$; baryons are singlets	$b_{2,\mathrm{IR}}=2N$ and $SU(N)_2^2R=0$	Center of the remaining node	Composite Kähler metric not fixed
Large common mass	Two pure-SYM nodes	$\Lambda_{a,\mathrm{pure}}^{3N}=m^N\Lambda_a^{2N}$	Exact diagonal subgroup; separate centers only in the decoupled EFT	$\lvert m\rvert\gg\lvert\Lambda_{1,2}\rvert$

Structured data for the sequential-confinement figure (JSON)

The branches are physically distinct. A physical vacuum must satisfy the node-2 $D$ terms. For an adjoint expectation value this requires a normal representative, $[M,M^\dagger]=0$, which can be diagonalized by a unitary gauge transformation. A generic such representative with distinct eigenvalues breaks $SU(N)_2$ to its maximal torus. Merely being diagonalizable by the complexified group is not enough to establish this physical Higgs pattern. At $M\propto\mathbf1$, node 2 remains unbroken. At baryonic points the constraint can be satisfied with rank-deficient $M$ and nonzero $B_1\widetilde B_1$. A formula derived on one stabilizer stratum cannot be extended through an enhanced-symmetry locus without adding the degrees of freedom that become light there.

Why two independent constraints are generally wrong

If one instead starts with $\lvert\Lambda_2\rvert\gg\lvert\Lambda_1\rvert$, the same reasoning gives a node-2 quantum constraint in an oppositely ordered description. The two descriptions concern the same microscopic fields and overlapping composites. When $\Lambda_1$ and $\Lambda_2$ are comparable, it is not valid to impose two single-node constraints as if the nodes had independent flavor fields. Holomorphic quantities may depend on the dimensionless ratio $\Lambda_1^{2N}/\Lambda_2^{2N}$, and additional singular loci can occur when the hierarchy is removed.

The correct statement is limited but useful: each sequential description is exact in its holomorphic variables within a regime where the neighboring gauge coupling is parametrically weak at the first strong scale. Continuing between the two regimes requires anomaly matching, branch tracking, and control of every singularity; it is not guaranteed by writing both limiting answers on the same line. For linear $SU(N)$ mooses, Chang and Georgi 2003, §§ 3–8, arXiv PDF derive local quantum-modified splitting relations. For $SU(2)^r$ ring mooses, Hailu 2003, §§ 6–7, arXiv PDF finds a Coulomb phase and singular loci depending on all node scales. These are concrete demonstrations of combined-scale dynamics, but the $SU(2)$ ring result is an analogue, not an exact solution of the present $N\geq3$ model. Successive node dualization in theories with additional matter is tested by Poppitz, Shadmi, and Trivedi 1996, §§ 2–4, arXiv PDF; that paper supports the method, not every claim about this minimal bifundamental ring.

A clean mass-threshold check

Add the gauge-invariant deformation

$$W_m=m\,\operatorname{Tr}(\widetilde X X).$$

For $\lvert m\rvert\gg\lvert\Lambda_1\rvert,\lvert\Lambda_2\rvert$, all $N$ flavor pairs are integrated out from both nodes. Each node becomes pure $SU(N)$ SYM. Since $b_{\mathrm{high}}=2N$ and $b_{\mathrm{low}}=3N$, holomorphic matching gives independently

$$\boxed{ \Lambda_{a,\mathrm{pure}}^{3N} =m^N\Lambda_a^{2N}, \qquad a=1,2.}$$

The exponent $N$ counts massive flavor pairs at that node. In the large-mass decoupling theory, each pure node has $N$ gaugino-condensate phases, giving $N^2$ holomorphic vacua before identifications from an alternative global-form choice. At any finite microscopic mass, the bifundamental pair breaks the two separate center one-form symmetries to the exact diagonal subgroup. The separate pure-node centers are therefore emergent symmetries of the decoupled low-energy theory, not additional exact ultraviolet symmetries.

The same threshold can be approached from the confined variables when, for example, $\Lambda_1$ is crossed first. Then $m\operatorname{Tr}M$ lifts composite directions and the quantum constraint selects isolated branches. Matching the final pure-node scales must reproduce the boxed formula, but intermediate masses depend on the normalization of $M$ and its Kähler potential. Using the elementary mass $m$ in the holomorphic relation is robust; declaring a canonically normalized composite mass without the Kähler metric is not.

What a node duality must update

The preceding example is a worked confinement step. The following is a bookkeeping checklist for a general duality step, not a claim that the minimal two-node model above has been dualized. Dualizing an $SU(N_i)$ node with $F_i$ effective flavors replaces it by $SU(F_i-N_i)$, adds mesons made from every length-two path through that node, and adds superpotential couplings between those mesons and magnetic bifundamentals. Four updates are compulsory:

1. Recompute the cubic and mixed anomalies of the neighboring gauge nodes.
2. Recompute each neighboring beta-function coefficient using the new charged fields.
3. Match holomorphic scales with the duality normalization scale and every massive threshold.
4. Recompute the faithful ordinary symmetry and genuine line operators; local anomaly matching alone does not fix global form.

Different dualization orders can give different ultraviolet quivers that are proposed to share an infrared limit. Agreement of anomalies, moduli spaces, deformations, and scale relations is strong duality evidence, but it does not make either ultraviolet Lagrangian a weakly coupled description everywhere. Explicit product-group examples and their renormalization-flow qualifications are analyzed in Poppitz, Shadmi, and Trivedi 1996, pp. 125–169.

Common pitfalls

Counting a bifundamental once. For the $SU(N)_1$ beta function, its $SU(N)_2$ index gives $N$ copies, and conversely. Missing this multiplicity changes both $b_a$ and anomaly coefficients.

Forgetting the diagonal one-form symmetry. Matter breaks the two center symmetries down to the subgroup acting trivially on every bifundamental. Quotienting by that subgroup changes the theory’s line operators.

Sequentially confining without a hierarchy. The first node may be treated as an isolated strong sector only if every neighboring gauge coupling is weak at that scale. Comparable scales require a simultaneous analysis or a dual description with its own stated regime.

Exercises

1. Center and beta functions

For the two-node theory, derive $b_1=b_2=2N$ and find the subgroup of $\mathbb Z_N\times\mathbb Z_N$ left unbroken by the matter.

Solution

Each node sees $N$ fundamentals and $N$ antifundamentals, whose total Dynkin index is $N$, hence $b_a=3N-N=2N$. A center element $(z_1,z_2)$ acts on $X$ as $z_1z_2^{-1}$ and on $\widetilde X$ inversely. Both are invariant precisely when $z_1=z_2$, leaving the diagonal $\mathbb Z_N^{(1)}$ for the simply connected product.

2. Match the massive theory

Derive the pure-node scale relation after adding $m\operatorname{Tr}(\widetilde X X)$, and explain why it holds for both nodes even when $\Lambda_1\neq\Lambda_2$.

Solution

At either node, integrating out $N$ flavor pairs changes $b$ from $2N$ to $3N$. Holomorphic matching at the common mass threshold gives $\Lambda_{a,\mathrm{pure}}^{3N}=m^{3N-2N}\Lambda_a^{2N}=m^N\Lambda_a^{2N}$. The two complex scales remain independent; the shared mass does not identify their couplings or theta angles.

3. Rebuild the neighboring theory card

After node 1 confines, derive the $SU(N)_2$ representations and baryon charges of $M$, $B_1$, and $\widetilde B_1$. Then compute $b_{2,\mathrm{IR}}$, the mixed gauge–$R$ anomaly, and the surviving one-form symmetry.

Solution

$M$ transforms by conjugation and hence is $\mathbf{Adj}\oplus\mathbf1$; the two determinants are node-2 singlets with covering-space baryon charges $\pm N$. Therefore

$$b_{2,\mathrm{IR}}=3N-T(\mathbf{Adj})=2N, \qquad \mathcal A[SU(N)_2^2R]=N+N(0-1)=0.$$

Adjoint and singlet matter cannot screen node-2 center charge. The ultraviolet diagonal $\mathbb Z_N^{(1)}$ is consequently represented below $\Lambda_1$ as the center one-form symmetry of the remaining node.

4. Diagnose the comparable-scale failure

Why can the two hierarchy-limit quantum constraints not simply be imposed simultaneously when $\Lambda_1\sim\Lambda_2$? Give one concrete datum that a simultaneous description must retain.

Solution

The two nodes do not possess independent flavor fields: both limiting constraints are built from the same $X$ and $\widetilde X$. Imposing them independently therefore duplicates shared composite coordinates and can assign incompatible relations to the same microscopic operators. A simultaneous description must retain at least the complex ratio $\Lambda_1^{2N}/\Lambda_2^{2N}$, together with the common branch coordinates and any singular loci where additional states become light. The hierarchy limits constrain such a description but do not determine it by themselves.

References

• Chang, Spencer, and Howard Georgi. “Quantum Modified Mooses.” Nuclear Physics B 672 (2003): 101–122. DOI; arXiv.
• Hailu, Girma. “$\mathcal N=1$ Supersymmetric $SU(2)^r$ Moose Theories.” Physical Review D 67 (2003): 085023. DOI; arXiv.
• Poppitz, Erich, Yael Shadmi, and Sandip P. Trivedi. “Duality and Exact Results in Product Group Theories.” Nuclear Physics B 480 (1996): 125–169. DOI; arXiv.
• Seiberg, Nathan. “Exact Results on the Space of Vacua of Four-Dimensional SUSY Gauge Theories.” Physical Review D 49 (1994): 6857–6863. DOI; arXiv.