Seiberg–Witten theory explained

In theoretical physics, Seiberg–Witten theory is an

l{N} = 2 supersymmetric gauge theory with an exact low-energy effective action (for massless degrees of freedom), of which the kinetic part coincides with the Kähler potential of the moduli space of vacua. Before taking the low-energy effective action, the theory is known as l{N} = 2 supersymmetric Yang–Mills theory, as the field content is a single l{N} = 2 vector supermultiplet, analogous to the field content of Yang–Mills theory being a single vector gauge field (in particle theory language) or connection (in geometric language).

The theory was studied in detail by Nathan Seiberg and Edward Witten .

Seiberg–Witten curves

In general, effective Lagrangians of supersymmetric gauge theories are largely determined by their holomorphic (really, meromorphic) properties and their behavior near the singularities. In gauge theory with

l{N} = 2 extended supersymmetry, the moduli space of vacua is a special Kähler manifold and its Kähler potential is constrained by above conditions.

In the original approach,^{[1] [2]} by Seiberg and Witten, holomorphy and electric-magnetic duality constraints are strong enough to almost uniquely constrain the prepotential

l{F} (a holomorphic function which defines the theory), and therefore the metric of the moduli space of vacua, for theories with SU(2) gauge group. More generally, consider the example with gauge group SU(n). The classical potential is

where

\phi is a scalar field appearing in an expansion of superfields in the theory. The potential must vanish on the moduli space of vacua by definition, but the \phi need not. The vacuum expectation value of \phi can be gauge rotated into the Cartan subalgebra, making it a traceless diagonal complex matrix a .

Because the fields

\phi no longer have vanishing vacuum expectation value, other fields become massive due to the Higgs mechanism (spontaneous symmetry breaking). They are integrated out in order to find the effective l{N} = 2 U(1) gauge theory. Its two-derivative, four-fermions low-energy action is given by a Lagrangian which can be expressed in terms of a single holomorphic function l{F} on l{N} = 1 superspace as follows:

where

and

A is a chiral superfield on l{N} = 1 superspace which fits inside the l{N} = 2 chiral multiplet l{A} .

The first term is a perturbative loop calculation and the second is the instanton part where

k labels fixed instanton numbers. In theories whose gauge groups are products of unitary groups, l{F} can be computed exactly using localization^[3] and the limit shape techniques.^[4]

The Kähler potential is the kinetic part of the low energy action, and explicitly is written in terms of

l{F} as

From

l{F} we can get the mass of the BPS particles.

One way to interpret this is that these variables

a and its dual can be expressed as periods of a meromorphic differential on a Riemann surface called the Seiberg–Witten curve.

N = 2 supersymmetric Yang–Mills theory

Before the low energy, or infrared, limit is taken, the action can be given in terms of a Lagrangian over

l{N} = 2 superspace with field content \Psi , which is a single l{N} = 2 vector/chiral superfield in the adjoint representation of the gauge group, and a holomorphic function l{F} of \Psi called the prepotential. Then the Lagrangian is given by$$\backslash mathcal\_\; =\; \backslash mathrm\backslash mathrm\backslash left(\backslash frac\backslash int\; d^2\backslash theta\; d^2\; \backslash vartheta\; \backslash mathcal(\backslash Psi)\backslash right)$$where \theta, \vartheta are coordinates for the spinor directions of superspace.^[5] Once the low energy limit is taken, the l{N} = 2 superfield \Psi is typically labelled by l{A} instead.

The so called minimal theory is given by a specific choice of

l{F} ,$$\backslash mathcal(\backslash psi)\; =\; \backslash frac\backslash tau\; \backslash Psi^2,$$where \tau is the complex coupling constant.

The minimal theory can be written on Minkowski spacetime as$$\backslash mathcal\; =\; \backslash frac\backslash mathrm\backslash left(-\backslash fracF\_F^\; +\; g^2\; \backslash fracF\_*F^\; +\; (D\_\backslash mu\backslash phi)^\backslash dagger(D^\backslash mu\backslash phi)\; -\; \backslash frac[\backslash phi,\; \backslash phi^\backslash dagger]^2\; -\; i\backslash lambda\backslash sigma^\backslash mu\; D\_\backslash mu\; \backslash bar\; \backslash lambda\; -\; i\; \backslash bar\; \backslash psi\; \backslash bar\; \backslash sigma^\backslash mu\; D\_\backslash mu\; \backslash psi\; -\; i\; \backslash sqrt[\backslash lambda,\; \backslash psi]\backslash phi^\backslash dagger\; -\; i\backslash sqrt[\backslash bar\; \backslash lambda,\; \backslash bar\; \backslash psi]\; \backslash phi\backslash right)$$with

A _{\mu,} λ , \psi, \phi making up the l{N} = 2 chiral multiplet.

Geometry of the moduli space

For this section fix the gauge group as

SU(2) . A low-energy vacuum solution is an l{N} = 2 vector superfield l{A} solving the equations of motion of the low-energy Lagrangian, for which the scalar part \phi has vanishing potential, which as mentioned earlier holds if [\phi, \phi ^{\dagger]} = 0 (which exactly means \phi is a normal operator, and therefore diagonalizable). The scalar \phi transforms in the adjoint, that is, it can be identified as an element of ak{su}(2) _{C} \cong ak{sl}(2, C ) , the complexification of ak{su}(2) . Thus \phi is traceless and diagonalizable so can be gauge rotated to (is in the conjugacy class of) a matrix of the form (1)/(2) a\sigma _{3} (where \sigma _{3} is the third Pauli matrix) for a \in C . However, a and - a give conjugate matrices (corresponding to the fact the Weyl group of SU ( 2 ) is Z _{2} ) so both label the same vacuum. Thus the gauge invariant quantity labelling inequivalent vacua is u = a ^{2/2} = Tr \phi ^{2} . The (classical) moduli space of vacua is a one-dimensional complex manifold (Riemann surface) parametrized by u , although the Kähler metric is given in terms of a as$$ds^2\; =\; \backslash mathrm\backslash fracdad\backslash bar\; a\; =\; \backslash mathrmda\_Dd\backslash bar\; a\; =\; -\backslash frac(da\_D\; d\backslash bar\; a\; -\; da\; d\backslash bar\; a\_D)\; =:\; \backslash mathrm\backslash tau(a)dad\backslash bar\; a,$$

where

a _{D} = (\partial l{F)/() }. This is not invariant under an arbitrary change of coordinates, but due to symmetry in a and a _{D} , switching to local coordinate a _{D} gives a metric similar to the final form but with a different harmonic function replacing Im \tau(a) . The switching of the two coordinates can be interpreted as an instance of electric-magnetic duality .

Under a minimal assumption of assuming there are only three singularities in the moduli space at

u = -1 , +1 and inf ty , with prescribed monodromy data at each point derived from quantum field theoretic arguments, the moduli space l{M} was found to be H/\Gamma( 2 ) , where H is the hyperbolic half-plane and \Gamma( 2 ) < SL ( 2 , Z ) is the second principal congruence subgroup, the subgroup of matrices congruent to 1 mod 2, generated byThis space is a six-fold cover of the fundamental domain of the modular group and admits an explicit description as parametrizing a space of elliptic curves E _{u} given by the vanishing of$$y^2\; =\; (x\; -\; 1)(x\; +\; 1)(x\; -\; u),$$which are the Seiberg–Witten curves. The curve becomes singular precisely when u = -1 , +1 or inf ty .

Monopole condensation and confinement

The theory exhibits physical phenomena involving and linking magnetic monopoles, confinement, an attained mass gap and strong-weak duality, described in section 5.6 of . The study of these physical phenomena also motivated the theory of Seiberg–Witten invariants.

The low-energy action is described by the

l{N} = 2 chiral multiplet l{A} with gauge group U ( 1 ) , the residual unbroken gauge from the original SU ( 2 ) symmetry. This description is weakly coupled for large u , but strongly coupled for small u . However, at the strongly coupled point the theory admits a dual description which is weakly coupled. The dual theory has different field content, with two l{N} = 1 chiral superfields M, \tilde M , and gauge field the dual photon l{A} _{D} , with a potential that gives equations of motion which are Witten's monopole equations, also known as the Seiberg–Witten equations at the critical points u = \pm u _{0} where the monopoles become massless.

In the context of Seiberg–Witten invariants, one can view Donaldson invariants as coming from a twist of the original theory at

u = inf ty giving a topological field theory. On the other hand, Seiberg–Witten invariants come from twisting the dual theory at u = \pm u _{0} . In theory, such invariants should receive contributions from all finite u but in fact can be localized to the two critical points, and topological invariants can be read off from solution spaces to the monopole equations.^[6]

Relation to integrable systems

The special Kähler geometry on the moduli space of vacua in Seiberg–Witten theory can be identified with the geometry of the base of complex completely integrable system. The total phase of this complex completely integrable system can be identified with the moduli space of vacua of the 4d theory compactified on a circle. The relation between Seiberg–Witten theory and integrable systems has been reviewed by Eric D'Hoker and D. H. Phong.^[7] See Hitchin system.

Seiberg–Witten prepotential via instanton counting

Using supersymmetric localisation techniques, one can explicitly determine the instanton partition function of

l{N}=2 super Yang–Mills theory. The Seiberg–Witten prepotential can then be extracted using the localization approach^[8] of Nikita Nekrasov. It arises in the flat space limit \varepsilon _{1} , \varepsilon _{2} \to 0 , of the partition function of the theory subject to the so-called \Omega -background. The latter is a specific background of four dimensional l{N}=2 supergravity. It can be engineered, formally by lifting the super Yang–Mills theory to six dimensions, then compactifying on 2-torus, while twisting the four dimensional spacetime around the two non-contractible cycles. In addition, one twists fermions so as to produce covariantly constant spinors generating unbroken supersymmetries. The two parameters \varepsilon _{1} , \varepsilon _{2} of the \Omega -background correspond to the angles of the spacetime rotation.\phi \to a at x \to inf ty can be expressed as a sum over instanton number of the products and ratios of fermionic and bosonic determinants, producing the so-called Nekrasov partition function.In the limit where \varepsilon _{1} , \varepsilon _{2} approach 0, this sum is dominated by a unique saddle point. On the other hand, when \varepsilon _{1} , \varepsilon _{2} approach 0,holds.

See also

• Ginzburg–Landau theory
• Donaldson theory

References

• Book: Jost, Jürgen . Jürgen Jost. Riemannian Geometry and Geometric Analysis . 2002 . Springer-Verlag . 3-540-42627-2 . (See Section 7.2)
• Masters . Hunter-Jones . Nicholas R. . September 2012 . Seiberg–Witten Theory and Duality in N = 2 Supersymmetric Gauge Theories . Imperial College London.

Notes and References

1. hep-th/9407087. 10.1016/0550-3213(94)90124-4. Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory. 1994. Seiberg. Nathan. Witten. Edward. Nucl. Phys. B. 426. 1. 19–52. 1994NuPhB.426...19S. 14361074.
2. hep-th/9408099. 10.1016/0550-3213(94)90214-3. Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD. 1994. Seiberg. Nathan. Witten. Edward. Nucl. Phys. B. 431. 3. 484–550. 1994NuPhB.431..484S. 17584951.
3. hep-th/0206161. 10.4310/ATMP.2003.v7.n5.a4. Seiberg-Witten Prepotential from Instanton Counting. 2004. Nekrasov. Nikita. Advances in Theoretical and Mathematical Physics. 7. 5. 831–864. 2285041.
4. hep-th/0306238. 10.1007/0-8176-4467-9_15. Seiberg-Witten theory and random partitions. 2003. Nekrasov. Nikita. Okounkov. Andrei. Prog. Math.. Progress in Mathematics. 244. 525–596. 2003hep.th....6238N. 978-0-8176-4076-7. 14329429.
5. Seiberg . Nathan . Supersymmetry and non-perturbative beta functions . Physics Letters B . May 1988 . 206 . 1 . 75–80 . 10.1016/0370-2693(88)91265-8.
6. Witten . Edward . Monopoles and four-manifolds . Mathematical Research Letters . 1994 . 1 . 6 . 769–796 . 10.4310/MRL.1994.v1.n6.a13. hep-th/9411102 .
7. Book: D'Hoker. Eric. Phong. D. H.. Theoretical Physics at the End of the Twentieth Century . 1999-12-29. Lectures on Supersymmetric Yang-Mills Theory and Integrable Systems. 1–125 . 10.1007/978-1-4757-3671-7_1 . hep-th/9912271. 1999hep.th...12271D. 978-1-4419-2948-8 . 117202391.
8. hep-th/0206161. 10.4310/ATMP.2003.v7.n5.a4. Seiberg-Witten Prepotential from Instanton Counting. 2004. Nekrasov. Nikita. Advances in Theoretical and Mathematical Physics. 7. 5. 831–864. 2285041.