Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 30, 2008

Wall Crossing

Many of the magical result in string theory and supersymmetric gauge theories have been motivated by consideration of the spectrum of BPS states in these theories. For 16 supercharges (𝒩=4\mathcal{N}=4), this spectrum varies continuously as one moves through the moduli space. This fact is at the heart of the S-duality conjectures. For 8 supercharges (𝒩=2\mathcal{N}=2 supersymmetry), the spectrum of BPS states jumps discontinuously, as one crosses “walls of marginal stability”. As a consequence, there is usually no manifest S-duality for 𝒩=2\mathcal{N}=2 theories.

Describing exactly how the spectrum of BPS states jumps is, however, a complicated business. and a lot of effort has gone into deriving “wall crossing formulæ.” Recently considerable progress was, apparently (I say “apparently” because the paper has not yet appeared on the arXivs), made by Kontsevich and Soibelman, who proposed a wall-crossing formula for 𝒩=2\mathcal{N}=2 Seiberg-Witten Theory. Gaiotto, Moore and Neitzke provide a beautiful physical explanation for Kontsevich and Soibelman’s result.

Consider a d=4d=4, 𝒩=2\mathcal{N}=2 supersymmetric gauge theory, with gauge group GG, of rank rr. The vector multiplet moduli space, v\mathcal{M}_v, is a complex manifold of dimension rr, parametrizing the vacuum expectation values of the scalars in the vector multiplet. At a generic point on v\mathcal{M}_v, the gauge group is broken to the maximal torus, U(1) r{U(1)}^r and there is a 2r2r-dimensional lattice, Γ\Gamma of allowed electric and magnetic charges. ,:ΓΓ \langle \cdot, \cdot\rangle: \Gamma\otimes \Gamma \to \mathbb{Z} is a nondegenerate skew-bilinear pairing. The lattice is fibered over v\mathcal{M}_v, degenerating over some divisor, DD, where some BPS particles become massless. Over vD{\mathcal{M}_v\setminus D}, Γ\Gamma\otimes \mathbb{C} is a flat symplectic vector bundle, with monodromies as one circles DD. There is a holomorphic section, Z(u)Z(u) of Γ *\Gamma^*\otimes \mathbb{C}, such that the central charge of a state of charge γΓ\gamma\in\Gamma is Z γ(u)=Z(u)γ Z_\gamma(u) = Z(u)\cdot \gamma

Z(u)Z(u) determines both the structure of the low energy effective Lagragian for the massless sector and the masses of the BPS states. Locally, we can choose a symplectic basis, (α i,β i)(\alpha^i, \beta_i), i=1,,ri=1,\dots,r, for Γ\Gamma. The special coordinates a i(u)=Z β i(u) a^i(u) = Z_{\beta_i}(u) are the electric central charges and one can define a holomorphic prepotential, (a i)\mathcal{F}(a^i), such that the magnetic central charges Z α i(u)=a i Z_{\alpha^i}(u) = \frac{\partial \mathcal{F}}{\partial a^i} The holomorphic gauge couplings τ ij(u)= 2a ia j \tau_{i j}(u) = \frac{\partial^2\mathcal{F}}{\partial a^i \partial a^j} and the Kähler potential on v\mathcal{M}_v is K=Im(a¯¯ ia i) K = - Im\left(\overline\overline{a}^i \frac{\partial \mathcal{F}}{a^i}\right)

The BPS bound on the masses of one-particle states of charge γγ\gamma\in \gamma, M γ|Z γ| M_\gamma \geq |Z_\gamma| is saturated by the BPS states. These states form a vector space, γ,BPS\mathcal{H}_{\gamma,\text{BPS}}. Understanding how γ,BPS\mathcal{H}_{\gamma,\text{BPS}} varies, as one varies u vu\in \mathcal{M}_v is the central object of study in this subject. It helps to define the helicity supertrace1, Ω(γ;u)=12Tr γ,BPS(1) 2J 3(2J 3) 2 \Omega(\gamma;u) = -\frac{1}{2} Tr_{\mathcal{H}_{\gamma,\text{BPS}}} {(-1)}^{2 J_3}(2 J_3)^2 The wall-crossing formula expresses how Ω(γ;u)\Omega(\gamma;u) changes as one crosses a wall of marginal stability. Such a wall arises whenever arg(Z γ 1(u))=arg(Z γ 2(u)) arg(Z_{\gamma_1}(u)) = arg(Z_{\gamma_2}(u)) for linearly independent γ 1,γ 2Γ\gamma_1,\gamma_2\in \Gamma.

Kontsevich and Soibelman define a Lie algebra, with generators e γe_\gamma, γΓ\gamma\in\Gamma, [e γ 1,e γ 2]=(1) γ 1,γ 2γ 1,γ 2e γ 1+γ 2 [e_{\gamma_1},e_{\gamma_2}] = {(-1)}^{\langle\gamma_1,\gamma_2\rangle}\langle\gamma_1,\gamma_2\rangle e_{\gamma_1+\gamma_2} Define the group element U γ=exp n=1 1n 2e nγ U_\gamma = exp \sum_{n=1}^\infty \tfrac{1}{n^2} e_{n\gamma} To each BPS particle, associate a ray in the complex plane, determined by its central charge, γ=Z γ(u)/ \ell_\gamma = Z_\gamma(u)/\mathbb{R}_- Near a wall of marginal stability form the product of all of the U γU_\gamma, corresponding to BPS particles whose central charges become aligned at the wall

(1)A= γ=nγ 1+mγ 2 m>0,n>0 U γ Ω(γ;u)A = \prod_{\substack{\gamma= n\gamma_1+m\gamma_2\\ m\gt 0,\, n\gt 0}}^\lefttorightarrow U_\gamma^{\Omega(\gamma;u)}

where the product is taken with a clockwise ordering of the rays, γ\ell_\gamma.

When we cross a wall of marginal stability, the ordering of the factors in (1) changes, and the Ω(γ;u)\Omega(\gamma;u) jump. The wall-crossing formula (for the jump in Ω(γ;u)\Omega(\gamma;u)) of Kontsevich and Soibelman is the statement that AA is unchanged.

What Gaiotto et al do is provide a physical explanation of (and computational check on ) (1).

Compactify on 3×S 1\mathbb{R}^3\times S^1, where the S 1S^1 has radius RR. As shown by Seiberg and Witten, the low energy theory is a d=3d=3, 𝒩=4\mathcal{N}=4 supersymmetric σ\sigma-model, with hyperkähler target space (,g)(\mathcal{M},g). \mathcal{M} is a T 2rT^{2r} fibration2 over v\mathcal{M}_v.

The hyperkähler metric, gg, receives instanton corrections due to BPS particles whose (Euclidean) worldlines wrap the S 1S^1. When a BPS particle disappears from the spectrum, so does the corresponding 1-instanton contribution to gg. It must be replaced by suitable multi-instanton contributions, such that the hyperkähler metric, gg, is smooth. The wall-crossing formula (1) turns out to be just what is needed to ensure the smoothness of gg.

1 Ω(γ;u)=+1\Omega(\gamma;u)=+1 for a hypermultiplet, and Ω(γ;u)=2\Omega(\gamma;u)=-2 for a “short” massive vector multiplet.

2 rr periodic scalars come from the Wilson lines

ϕ i= S 1A i \phi^i = \oint_{S^1} A^i

around the S 1S^1. rr additional periodic scalars come from dualizing the rr abelian gauge fields on 3\mathbb{R}^3.

Posted by distler at July 30, 2008 3:48 PM

TrackBack URL for this Entry:

0 Comments & 0 Trackbacks

Post a New Comment