Wess–Zumino–Witten model

Not to be confused with Wess–Zumino model.

In theoretical physics and mathematics, the Wess–Zumino–Witten (WZW) model, also called the Wess–Zumino–Novikov–Witten model, is a simple model of conformal field theory whose solutions are realized by affine Kac–Moody algebras. It is named after Julius Wess, Bruno Zumino, Sergei Novikov and Edward Witten.

1 Action
2 Current algebra
3 References

Action

Let G denote a compact simply-connected Lie group and g its simple Lie algebra. Suppose that γ is a G-valued field on the complex plane. More precisely, we want γ to be defined on the Riemann sphere $S^2$ , which is the complex plane compactified by adding a point at infinity.

The WZW model is then a nonlinear sigma model defined by γ with the action given by

$S_k(\gamma)= - \, \frac {k}{8\pi} \int_{S^2} d^2x\, \mathcal{K} (\gamma^{-1} \partial^\mu \gamma \, , \, \gamma^{-1} \partial_\mu \gamma) %2B 2\pi k\, S^{\mathrm WZ}(\gamma).$

Here, $\partial_\mu = \partial / \partial x^\mu$ is the partial derivative and the usual summation convention over indices is used, with a Euclidean metric. Here, $\mathcal{K}$ is the Killing form on g, and thus the first term is the standard kinetic term of quantum field theory.

The term S^WZ is called the Wess–Zumino term and can be written as

$S^{\mathrm WZ}(\gamma) = - \, \frac{1}{48\pi^2} \int_{B^3} d^3y\, \epsilon^{ijk} \mathcal{K} \left( \gamma^{-1} \, \frac {\partial \gamma} {\partial y^i} \, , \, \left[ \gamma^{-1} \, \frac {\partial \gamma} {\partial y^j} \, , \, \gamma^{-1} \, \frac {\partial \gamma} {\partial y^k} \right] \right)$

where [,] is the commutator, $\epsilon^{ijk}$ is the completely anti-symmetric tensor, and the integration coordinates $y^i$ for i=1,2,3 range over the unit ball $B^3$ . In this integral, the field γ has been extended so that it is defined on the interior of the unit ball. This extension can always be done because the homotopy group $\pi_2(G)$ always vanishes for any compact, simply-connected Lie group, and we originally defined γ on the 2-sphere $S^2=\partial B^3$ .

Pullback

Note that if $e_a$ are the basis vectors for the Lie algebra, then $\mathcal{K} (e_a, [e_b, e_c])$ are the structure constants of the Lie algebra. Note also that the structure constants are completely anti-symmetric, and thus they define a 3-form on the group manifold of G. Thus, the integrand above is just the pullback of the harmonic 3-form to the ball $B^3$ . Denoting the harmonic 3-form by c and the pullback by $\gamma^{*}$ , one then has

$S^{\mathrm WZ}(\gamma) = \int_{B^3} \gamma^{*} c.$

This form leads directly to a topological analysis of the WZ term. Geometrically, this term describes the torsion of the respective manifold. The presence of this torsion compels teleparallelism of the manifold and trivialization of the torsionful curvature tensor; and hence arrest of the renormalization flow, an infrared fixed point of the renormalization group, a phenomenon termed geometrostasis.

Topological obstructions

The extension of the field to the interior of the ball is not unique; the need that the physics be independent of the extension imposes a quanitization condition on the coupling constant k. Consider two different extensions of γ to the interior of the ball. They are maps from flat 3-space into the Lie group G. Consider now glueing these two balls together at their boundary $S^2$ . The result of the gluing is a topological 3-sphere; each ball $B^3$ is a hemisphere of $S^3$ . The two different extensions of γ on each ball now becomes a map $S^3\rightarrow G$ . However, the homotopy group $\pi_3(G)=\mathbb{Z}$ for any compact, connected simple Lie group G. Thus we have

$S^{\mathrm WZ}(\gamma) = S^{\mathrm WZ}(\gamma')%2Bn$

where γ and γ' denote the two different extensions onto the ball, and n, an integer, is the winding number of the glued-together map. The physics that this model leads to will stay the same if

$\exp \left(i2\pi k S^{\mathrm WZ}(\gamma) \right)= \exp \left( i2\pi k S^{\mathrm WZ}(\gamma')\right).$

Thus, topological considerations lead one to conclude that coupling constant k must be an integer when G is a connected, compact, simple Lie group. For a semisimple or disconnected compact Lie group the level consists of an integer for each connected, simple component.

This topological obstruction can also be seen in the representation theory of the affine Lie algebra symmetry of the theory. When each level is a positive integer the affine Lie algebra has unitary highest weight representations with highest weights that are dominant integral. Such representations are easier to work with as they decompose into finite-dimensional subalgebras with respect to the subalgebras spanned by each simple root, the corresponding negative root and their commutator, which is a Cartan generator.

Often one is interested in a WZW model with a noncompact simple Lie group G, such as SL(2,R) which has been used by Juan Maldacena and Hirosi Ooguri to describe string theory on a three-dimensional anti de Sitter space, which is the universal cover of the group SL(2,R). In this case, as π₃(SL(2,R)) = 0, there is no topological obstruction and the level need not be integral. Correspondingly, the representation theory of such noncompact Lie groups is much richer than that of their compact counterparts.

Generalizations

Although in the above, the WZW model is defined on the Riemann sphere, it can be generalized so that the field $\gamma$ lives on a compact Riemann surface.

Current algebra

The current algebra of the WZW model is a Kac–Moody algebra.

References

Wess, J.; Zumino, B. (1971). "Consequences of anomalous Ward identities". Physics Letters B 37 (1): 95–97. Bibcode 1971PhLB...37...95W. doi:10.1016/0370-2693(71)90582-X.
Witten, E. (1983). "Global aspects of current algebra". Nuclear Physics B 223 (2): 422–432. Bibcode 1983NuPhB.223..422W. doi:10.1016/0550-3213(83)90063-9.
Witten, E. (1984). "Non-abelian bosonization in two dimensions". Communications in Mathematical Physics 92 (4): 455–472. Bibcode 1984CMaPh..92..455W. doi:10.1007/BF01215276.
Braaten, E., et al. (1985). "Torsion and Geometrostasis in Nonlinear Sigma Models". Nuclear Physics B 260: 630–688. Bibcode 1985NuPhB.260..630B. doi:10.1016/0550-3213(85)90053-7.

Quantum field theories

Standard	Chern–Simons model · Chiral model · Kondo model · Conformal field theory · Noncommutative quantum field theory · Non-linear sigma model · Quartic interaction · Quantum chromodynamics · Quantum electrodynamics · Quantum Yang–Mills theory · Schwinger model · Sine–Gordon · Standard Model · String theory · Toda field theory · Topological quantum field theory · Wess–Zumino model · Wess–Zumino–Witten model · Yang–Mills theory · Yang–Mills–Higgs model · Yukawa model · Thirring–Wess model

Four-fermion interactions	Thirring model · Gross–Neveu model · Nambu–Jona-Lasinio model