Real-Mass, FI, and Compactification Flows

Duality webs are generated by deformations only when the deformation is followed through the full vacuum structure. A real mass changes parity-odd levels; an FI term can select a Higgs or Coulomb vacuum; and compactification on a circle creates a Kaluza–Klein monopole interaction that is absent in naive dimensional reduction. The controlled object is therefore a flow with a chosen vacuum and order of limits, not a deletion of heavy fields from two Lagrangians.

Required background. We use the chamber-dependent parity-anomaly and contact-term shifts and the general logic of deformations, compactification, and duality flows. Helpful background. The target level-zero and nonzero-level dictionaries are Aharony and Giveon–Kutasov dualities.

Real masses as level-changing deformations

Let a chiral fermion have charges $Q_I$ under dynamical or background Abelian fields and effective real mass

$$M_\rho=\rho(\sigma)+w(m),$$

where $\rho$ is a gauge weight and $w$ a flavor weight. Away from a wall $M_\rho=0$, integrating it out shifts

$$\Delta\kappa_{IJ} =\frac12Q_IQ_J\operatorname{sgn}(M_\rho).$$

This single matrix includes gauge levels, mixed gauge–flavor terms, flavor contacts, and gauge–$R$ contacts. A mixed term with a background scalar also shifts the effective FI parameter. The gravitational contact changes at the same threshold Closset et al. 2012, §§2–4. Thus every chamber of the vector scalar can have a different effective Chern–Simons matrix and D-term equation.

For one vectorlike $U(N)$ flavor pair $(Q,\widetilde Q)$ given the same large axial mass $M$, the two Dirac fermions are in conjugate representations but have the same quadratic index. In the fundamental-trace convention,

$$\Delta k=\frac12\operatorname{sgn}(M) +\frac12\operatorname{sgn}(M) =\operatorname{sgn}(M).$$

Giving opposite signs instead cancels the non-Abelian shift but can leave mixed and Abelian effects. “Remove one flavor” is therefore incomplete until its mass assignment is stated.

Follow the vacuum, not just the field list

Suppose the deformation scale is $M\gg E$. Before taking $M\to\infty$:

1. diagonalize all effective masses in a candidate Coulomb/Higgs background;
2. compute the induced Chern–Simons and FI data in that chamber;
3. solve the corrected F- and D-term equations;
4. expand around each supersymmetric vacuum, including possible block decomposition of the gauge group;
5. retain residual topological sectors and background/gravitational response;
6. identify which vacuum is paired with the desired vacuum on the other side.

Different eigenvalues of $\sigma$ can track different subsets of a large flavor mass. Consequently the magnetic gauge group may Higgs into blocks even when the electric description stays at $\sigma=0$. Some blocks are pure Chern–Simons theories and are equivalent to singlets or invertible sectors only after the appropriate level/rank duality. Discarding them prematurely is a common source of missing contact terms.

The FI equation makes the same point transparently. For Abelian matter,

$$\sum_iq_i|\phi_i|^2-\zeta +\frac{k_{\rm eff}}{2\pi}\sigma=0.$$

A large $\zeta$ may force a charged scalar to condense; a nonzero $k_{\rm eff}$ may instead fix $\sigma$. The resulting massive vector multiplet and vortices carry information that must map to particles or monopoles in the dual frame.

From Aharony to Giveon–Kutasov

Take the level-zero Aharony pair with $N_f+p$ flavors, $p>0$, and electric gauge group $U(N_c)_0$. Give $p$ electric flavor pairs a common large positive axial mass. The light electric theory is

$$U(N_c)_{p}\quad\text{with}\quad N_f\ \text{flavors}.$$

The expected Giveon–Kutasov partner has

$$U(N_f+p-N_c)_{-p}\quad\text{with}\quad N_f\ \text{flavors and }M,$$

because $N_f+|p|-N_c=N_f+p-N_c$. This rank equality is a useful check, but it is not the derivation. On the Aharony magnetic side, the axial masses have the opposite sign on dual quarks, the parity anomaly produces level $-p$, mesons with a heavy index are integrated out, and the selected supersymmetric vacuum removes or masses the Aharony monopole-singlet couplings. The remaining superpotential is $W=Mq\widetilde q$. Other magnetic vacua can contain additional topological blocks and correspond to other electric vacua.

Repeating with negative axial mass gives $k=-p$ and reverses all parity-odd responses. The target rank still involves $|k|$, but the magnetic level and background contacts remember the sign. This controlled flow is a strong relation between the two duality families Giveon and Kutasov 2009, §§2–3.

A contact-term check

For every heavy flavor pair, the electric gauge level changes by $+1$. The same pair also shifts the axial–axial contact by $+1$, since two fermions of axial charge $+1$ each contribute $1/2$. If their scalar $R$-charge is $r$, the axial–$R$ shift is $r-1$. These background terms survive even though the pair does not. A magnetic flow that reproduces only $\Delta k=1$ but not these contacts is not in the same counterterm convention.

FI flows, Higgsing, and mirror maps

An FI deformation couples to a topological symmetry. In an $\mathcal N=4$ mirror pair it maps to an ordinary real mass, so a Higgs vacuum on one side maps to a Coulomb chamber on the other. In $\mathcal N=2$ Aharony duality, the electric FI parameter maps to a real mass for the magnetic topological symmetry and changes which magnetic monopole coupling is relevant in a chosen vacuum.

For the parity-anomaly-free $U(1)_0$ model with two charge-one chirals and $\zeta>0$, the solution $|\phi_1|^2+|\phi_2|^2=\zeta$ Higgses $U(1)$ and supports one-component vortex embeddings of mass $2\pi|\zeta n|$. If the duality maps $U(1)_J$ to an ordinary flavor current, those vortices must map to particles whose real-mass central charge has the same normalization. This provides an independent check of both the BF coefficient and the sign of the mass–FI map.

Non-Abelian Higgsing must be described at the group level. A scalar expectation value can leave quotient factors or discrete gauge theories that are invisible in a Lie-algebra decomposition. Genuine lines and monopole lattices should be recomputed in the unbroken global group.

Why circle reduction is not naive truncation

Compactify a four-dimensional $\mathcal N=1$ gauge theory on $\mathbb R^{1,2}\times S^1_R$ with periodic fermions. The three-dimensional vector scalar includes the Wilson line around $S^1$. Besides ordinary BPS monopoles, there is an affine or Kaluza–Klein monopole whose action wraps the circle. In $SU(N)$ variables it generates a term of the form

$$W_{\rm KK}=\eta\,Y_{\rm aff}, \qquad \eta\sim e^{-8\pi^2/g_4^2+i\theta},$$

up to radius-dependent normalization. In a $U(N)$ presentation, $Y_{\rm aff}$ can be represented by an appropriate product of extremal monopoles; the precise expression depends on the global completion. This interaction explicitly breaks the axial symmetry in the way inherited from the four-dimensional anomaly Aharony, Razamat, Seiberg, and Willett 2013, §§2–3.

Therefore the finite-$R$ reduction of a four-dimensional dual pair is generally a three-dimensional pair with $\eta$-type monopole superpotentials. Simply sending $R\to0$ at fixed three-dimensional fields can erase the interaction while also losing the information that selects the correct vacuum and symmetry. The controlled route is:

1. compactify both theories at finite $R$ and include the KK monopoles;
2. match Wilson lines, monopole coordinates, and the inherited anomalous symmetry;
3. introduce real masses, often using extra flavors, and choose correlated Coulomb vacua;
4. take the large-mass and small-radius limits with specified scaling;
5. identify the surviving monopole singlets and contact terms.

This procedure yields Aharony-type dualities from four-dimensional Seiberg duality, but the result is similar to—not the literal dimensional reduction of—the original four-dimensional Lagrangians Aharony et al. 2013, §§4–5.

Partition functions and the order of limits

Localized observables make the same issue quantitative. Reducing a four-dimensional supersymmetric index to a three-dimensional partition function requires a hyperbolic limit of special functions. Divergent polynomial phases encode precisely the induced Chern–Simons and gravitational contacts. Dropping them because they are “only phases” can turn a correct integral identity into a falsely normalized duality.

The limits $R\to0$, $M\to\infty$, and the infrared limit $E\to0$ need not commute. A trustworthy statement names which dimensionless combinations, such as $MR$, are held fixed and which vacuum remains at finite field distance. A sector whose mass grows as $1/R$ decouples differently from one whose topological mass is $k e^2$.

Common pitfalls

Deleting heavy matter before computing its determinant. Its induced gauge, background, and gravitational terms remain in the low-energy theory.

Matching only one vacuum. A real-mass deformation can split the vacuum space. Duality requires a map of all relevant supersymmetric vacua, including residual topological sectors.

Setting the KK monopole coefficient to zero at the start. At finite radius it controls axial symmetry and the Coulomb branch. Remove it only through a specified scaling flow.

Exercises

1. Start with $U(N_c)_0$ and $N_f+3$ flavors. Give the last three pairs a common negative axial mass. Determine the light electric level and the candidate Giveon–Kutasov magnetic rank and level.

Solution

Each pair shifts the electric level by $-1$, so the light theory is $U(N_c)_{-3}$ with $N_f$ flavors. The magnetic rank is $N_f+3-N_c$ and the level is $+3$. Background and gravitational contacts must also be shifted before this is a complete dictionary.

2. Explain why $W_{\rm KK}=\eta Y_{\rm aff}$ forbids assigning an independent continuous axial charge to $Y_{\rm aff}$ at finite radius.

Solution

The four-dimensional anomaly fixes the transformation of the spurion $\eta$. Once the microscopic coupling is held fixed rather than transformed, the superpotential is invariant only under the nonanomalous subgroup. Treating $Y_{\rm aff}$ as charged under a new independent $U(1)_A$ would make $W_{\rm KK}$ noninvariant, so that symmetry emerges only after a flow in which the term genuinely disappears from the light theory.

References

• Aharony, O., Razamat, S. S., Seiberg, N., and Willett, B. (2013), “3d Dualities from 4d Dualities,” Journal of High Energy Physics 2013(07), 149. doi:10.1007/JHEP07(2013)149. Open PDF
• Closset, C., Dumitrescu, T. T., Festuccia, G., Komargodski, Z., and Seiberg, N. (2012), “Comments on Chern–Simons Contact Terms in Three Dimensions,” Journal of High Energy Physics 2012(09), 091. doi:10.1007/JHEP09(2012)091. Open PDF
• Giveon, A., and Kutasov, D. (2009), “Seiberg Duality in Chern–Simons Theory,” Nuclear Physics B 812, 1–11. doi:10.1016/j.nuclphysb.2008.09.045. Open PDF

Next steps

These protected flows supply controlled parents for the less-protected mirror, particle–vortex, and bosonization webs.