Arxiv:Hep-Th/9906036V2 7 Jun 2001
Total Page:16
File Type:pdf, Size:1020Kb
Sigma models as perturbed conformal field theories Paul Fendley Physics Department, University of Virginia, Charlottesville VA 22901 (October 4, 1999) We show that two-dimensional sigma models are related to certain perturbed conformal field theories. When the fields in the sigma model take values in a space G/H for a group G and a maximal subgroup H, we argue that the corresponding conformal field theory is the k →∞ limit of the coset model (G/H)k, and the perturbation is related to the currents of G. Non-perturbative instanton contributions to the sigma model free energy are perturbative when k is finite. We use this mapping to find the free energy for the “O(n)” (= O(n)/O(n–1)) sigma model at non-zero temperature. It n also results in a new approach to the CP model. Sigma models are used frequently in particle physics Usually one computes finite-temperature properties in an and condensed-matter physics to describe Goldstone ex- integrable model using the thermodynamic Bethe ansatz, citations and their interactions. When a field transform- but often it is not known how to categorize the solutions ing under some symmetry group G has an expectation of the Bethe ansatz equations, a necessary step for the value invariant under some subgroup H, the low-energy thermodynamics. There are a few cases where the com- modes of the field take values in the manifold G/H. The putation is possible: the “O(3)” model and its sausage G/H sigma model is the field theory describing these deformation [6,7], the “O(4)” model (equivalent to the low-energy modes. Even in two dimensions, where quan- SU(2) principal chiral model) [8] and the supersymmet- tum effects restore the original symmetry group G and ric CP n models [9]. All these models have an intriguing the low-energy excitations are massive, sigma models are similarity: they can all be expressed as limits of certain very useful. Two-dimensional sigma models have been perturbed conformal field theories [10,7–9]. The purpose the subject of a huge amount of study because they can of this paper is to explain the general principle behind be interesting toy models for gauge theories, because they these results, and to extend it further. often arise in experimentally-realizable condensed-matter We will make a general conjecture that these G/H systems, because this is the highest dimension in which sigma models are equivalent to the k → ∞ limit of a they are naively renormalizable, and because of the pow- particular perturbation of the coset conformal field the- erful theoretical methods applicable. ory (G/H)k. The utility of this result is threefold. First One of the great breakthroughs in two-dimensional of all, it uncovers a nice general structure of G/H sigma field theory was the realization that many known mod- models. Moreover, it makes it possible to use the power- els (and even more previously-unknown theories) could ful methods of perturbed rational conformal field theory be written as perturbed conformal field theories [1]. One on sigma models. Finally, a great deal is known about starts with the model at its critical point, which is de- integrable perturbed conformal field theory (much more scribed by a conformal field theory. In many conformal than in sigma models), and therefore these results can be arXiv:hep-th/9906036v2 7 Jun 2001 field theories, all the relevant operators are known. One applied to sigma models. For example, technical compli- can thus define a massive field theory by adding some cations had prevented the computation of the free energy relevant operator to the action. This defines the theory of the “O(n)” sigma models directly. We will show how to all orders in perturbation theory, even if the action of this construction enables this computation for any n. the conformal field theory is not known. Not any such One of the interesting consequences of this reformu- model is integrable (most are not) but if it is, one can lation is that non-perturbative instanton contributions apply a variety of techniques to find for example the ex- to the free energy are perturbative when k is finite [7]. act S matrix and the free energy. Literally dozens of For example, in the appropriate perturbation of the coset infinite hierarchies of models have been solved over the models (O(3)/O(2))k , there is a contribution to the free last decade, the most famous single model being the Ising energy at order k times any integer. When one takes field theory at T = Tc in a magnetic field [1]. k → ∞ to obtain the “O(3)” sigma model, this contribu- Sigma models have stood somewhat apart from this tion turns into the instanton contribution, which is not line of development. Some exact S matrices (for example, polynomial in the perturbing parameter. This remains in the “O(n)” model [2] and the principal chiral model true even when a theta term is present. For example, this [3]) have been known for quite some time. The energy in yields the result that the SU(N)/SO(N) sigma models a magnetic field at zero temperature in these models can are integrable when θ = π, and they flow to the SU(N)1 be computed [4,5], but further progress has been slow. conformal field theory [11]. 1 We study symmetric spaces G/H, where G and H are the resulting fields in the coset model form a real irre- a Lie groups, and H is a maximal subgroup of G. The ducible representation of Hl, which we denote as J , for G/H sigma model has action a =1 ..., (dim G − dim H). Obviously, the G/H sigma model cannot be equivalent 2 i µ j S = d z gij (X)∂µX (z, z)∂ X (z, z), (1) to a coset theory (G/H)k, because the latter is massless Z while the former is not. A massive field theory is defined where z andz ¯ are coordinates for two-dimensional space- by perturbing (G/H)k by a relevant operator. We can i time, and X and gij (X) are the coordinates and met- now state our conjecture precisely. ric for the manifold G/H. Symmetric spaces have non- vanishing curvature, so (1) defines an asymptotically-free Conjecture The sigma model for the symmetric space massive field theory. When G = H × H and H is a sim- G/H is equivalent to the k → ∞ limit of the (G/H)k ple Lie group diagonally embedded in G, the resulting coset conformal field theory perturbed by the operator sigma model is called the principal chiral model. An- other example is the “O(n)” model, where G = O(n) dim G−dim H O ≡ J a J a and H = O(n − 1). This space is an n − 1 dimensional σ (z) (z). (4) X sphere: O(n) is the rotational symmetry of the sphere, a=1 while O(n−1) is the subgroup leaving a given point fixed. Because the J a form a real irreducible representation of A coset conformal field theory utilizes the affine Kac- Hl, their dimension is independent of a. Moody algebra Gk defined by the operator product This perturbed coset has the general properties of a ABC C A B k f J (w) sigma model. In the ultraviolet limit, the perturbation of J (z)J (w)= 2 + + ..., (2) (z − w) z − w (G/H)k goes away, and its central charge when k → ∞ is dimG−dimH. In the ultraviolet limit of the sigma model, ABC where the f are the structure constants of the ordi- asymptotic freedom means that the manifold G/H be- nary Lie algebra for G and k is called the level; k is a pos- comes flat (e.g. in the O(n)/O(n–1) model, the radius itive integer for a compact Lie group. A conformal field of the sphere goes to infinity). The action (1) reduces theory with current algebra Gk is called a Wess-Zumino- to dimG−dimH free bosons, which also have the central Witten model, and is equivalent to the principal chiral charge dimG−dimH. Moreover, when J A is decomposed model for G plus an extra piece called the Wess-Zumino a into representations of Hl, the resulting field φH has di- term [12]. The central charge (coefficient of the confor- mension going to zero as k → ∞. Thus the field J a ˜ mal anomaly) of the Gk WZW model is k dimG/(k + h), has dimension 1 in this limit, so the perturbation O is ACD BCD ˜ ˜ σ where f f = hδAB/2. For G = SU(n), h = n, of dimension 2 and so is naively marginal. It is not ex- ˜ while for G = SO(n), h = n–2 (for n ≥ 4). The pri- actly marginal – this is the phenomenon of dimensional mary fields of the WZW model have scaling dimensions transmutation common to sigma models. ˜ xj = 2Cj/(k + h), where Cj is the quadratic Casimir For principal chiral models, the conjecture is already A A A defined by T T = Cj I, with the T the generators of known to be true [15], and is reminiscent of an earlier de- the Lie algebra of G in the jth representation and I the scription in terms of an infinite number of fermion flavors identity matrix. All the other scaling fields arise from the [10]. Since dimG − dimH = dim H here, the perturba- operator product of the J A(z) with the primary fields; it tion Oσ of the coset Hk × Hk/H2k is in the adjoint of follows from (2) that J has dimension 1 and all fields H2k.