Four-Dimensional N=2 and Seiberg-Witten Theory
A gauge theory can become strongly coupled while its leading low-energy interactions remain accessible to exact methods. Seiberg–Witten theory gives a concrete setting in which to learn how this happens. The starting point is an ordinary four-dimensional field theory with a specified action; the geometric description will encode physical couplings and particle mass bounds.
The central example is pure N=2 SU(2) Yang–Mills. In four dimensions, means eight real supercharges. Its gauge field, complex scalar and two Weyl fermions form one adjoint vector multiplet. “Pure” excludes additional matter hypermultiplets while retaining all those fields. The gauge group’s rank is one, although its adjoint has three components.
Enter from four-dimensional field theory
Section titled “Enter from four-dimensional field theory”The immediate preparation is N=2 vector multiplets and hypermultiplets. It constructs the interacting multiplets using N=1 superspace, which displays four of the theory’s eight supercharges. Before proceeding, be able to identify the adjoint scalar, eliminate the auxiliary fields and explain why the scalar kinetic normalization matters for a particle mass.
If those operations are unfamiliar, use the four-dimensional supersymmetry entrance to begin with Weyl spinors and supersymmetric actions. This route starts from basic relativistic QFT and gauge theory. The three-dimensional spinor conventions and curved-background construction are separate paths. Complex curves and their integration cycles will be introduced where the physical problem needs them.
Begin with the theory and a mass threshold
Section titled “Begin with the theory and a mass threshold”Start with What does the Seiberg–Witten solution solve?. The lesson writes the microscopic action and chooses a constant scalar background. Its covariant kinetic term gives a mass to two gauge-field components, while a neutral vector multiplet remains light. Following this calculation fixes which fields may be removed in a low-energy approximation.
Vacua and low-energy couplings
Section titled “Vacua and low-energy couplings”Next, find the classical Coulomb branch of SU(2). Solve the zero-potential condition before taking the gauge quotient. Its invariant coordinate labels the vacua once, while the classical kinetic metric shows where the Abelian description needs to be reconsidered.
Monopoles, dyons, and a physical BPS bound then constructs an actual finite-energy magnetic soliton. Complete the energy square, verify its smooth core and add electric charge. The calculation connects surface fluxes to the first paper’s charge units and separates the classical profile from the protected quantum mass formula.
Running couplings and the scale Lambda brings in quantum corrections. Count the one-loop coefficient, integrate the logarithm and identify the dynamically generated scale. Keep the charged threshold, the experiment’s energy and finite scale conventions distinct when judging the approximation.
Why a holomorphic prepotential controls the couplings derives the local scalar metric and photon action from one function. Test a positive patch and a nonlinear coordinate change, and identify the additional information needed beyond this two-derivative description.
Electric and magnetic descriptions
Section titled “Electric and magnetic descriptions”Electric–magnetic duality as a change of variables carries out the Maxwell dualization and the prepotential Legendre transform. Follow the periods and charges together, check a varying coupling, and distinguish the resulting local description from a global quantum equivalence.
What becomes massless at strong coupling? puts a light monopole into the local magnetic action. Calculate its mass and one-loop logarithm, then test why integrating it out fails when the experiment reaches its threshold.
Follow the fields around a singularity continues that logarithm around a closed path. Specify the rooted paths, derive the electric–magnetic mixing and check its order. Then distinguish a change of charge coordinates from continuing a central-charge function with its label held fixed.
Follow the physical question into geometry
Section titled “Follow the physical question into geometry”The broader route proceeds from scalar vacua to effective couplings, then to electric and magnetic descriptions and the complex curves that encode their relation. Each stage has a physical check: a gauge identification, a running coupling, a light charged state or a consistently normalized mass bound. Curve periods become useful because they calculate those quantities.
Riemann surfaces from square roots builds the needed complex geometry from two sheets. Glue their cuts, count the handle, integrate along both sheets and follow a cycle through a branch-point exchange. The calculation explains why a shrinking cycle still needs a specified differential before it can represent a vanishing physical period.
The curve and its differential specifies the physical cubic, scale and sheets. Derive the differential from its holomorphic variation, fix the whole-cycle normalization, and test an apparently allowed addition against the monopole limit.
Calculate the periods and effective coupling evaluates the two contour integrals, derives their differential equation and obtains both weak and monopole limits. Independent continuation checks keep numerical accuracy separate from asymptotic truncation.
BPS masses and the stability of particles uses these periods to locate a marginal decay threshold. Follow the same physical charge through a duality frame change, then compare the mass bound with the actual particle spectrum on either side of the wall.
Deformations, matter and microscopic checks
Section titled “Deformations, matter and microscopic checks”How an N=1 deformation produces confinement turns the massless monopole into a condensate. Derive the local mass scale and leading flux-tube tension, then test which approximation prevents extending that tension to the full deformed theory.
Add fundamental matter: masses, flavors, and decoupling follows a hypermultiplet from its mass matrix to the poles and degenerations of a quantum curve. Integrate out a heavy flavor at fixed low-energy scale, then distinguish the four-flavor conformal theory from N=4.
N=4, N=2-star, and the adjoint hypermultiplet mass builds the adjoint theory directly from its multiplets. Derive the charged and neutral masses, translate the curve’s normalization and check the distinct massless and heavy-mass limits with a period integral.
The second-paper reading guide carries those calculations into the original source. Translate its opening convention note, reconstruct the map between the two pure curves, and test the charge units by continuing a period around a singularity.
Recover a prepotential coefficient by instanton counting approaches the weak-coupling answer from the microscopic gauge theory. Evaluate the first localized contribution and match its normalization to the curve periods, keeping the rotational deformation and the coefficientwise limit explicit.
Keep the physical checks in view
Section titled “Keep the physical checks in view”Your first checkpoint is concrete: recover the charged-vector mass with the declared trace and scalar normalization, account for the eaten scalar modes, and identify the remaining physical fields. Then compare the experiment’s energy with the lightest omitted mass. Repeat the reasoning after changing the scalar normalization or moving the vacuum.
The lesson also separates two kinds of control. One concerns exact knowledge of a retained coupling function; the other concerns the suppression of omitted higher-derivative interactions. A useful effective theory needs both.
Keep the first lesson’s limit in view throughout: a central-charge bound determines a saturated mass only for a state that exists, and a local low-energy action must be reconsidered when another particle becomes light. These distinctions make the exact result more useful by specifying the questions it answers.
Use the learning-path browser to follow the preparation for this destination. Begin with the threshold calculation; it supplies the scale against which the later low-energy description must be tested.