arxiv:hep-th/ v2 24 Jan 2007

Transcription

1 Imperial-TP-AT-6-7 On sigma model RG flow, central charge action and Perelman s entropy arxiv:hep-th/ v2 24 Jan 2007 A.A. Tseytlin 1 Blackett Laboratory, Imperial College, London SW7 2AZ, U.K. Abstract Zamolodchikov s c-theorem type argument (and also string theory effective action constructions) imply that the RG flow in 2d sigma model should be a gradient one to all loop orders. However, the monotonicity of the flow of the target-space metric is not obvious since the metric on the space of metric-dilaton couplings is indefinite. To leading (one-loop) order when the RG flow is simply the Ricci flow the monotonicity was proved by Perelman (math.dg/ ) by constructing an entropy functional which is essentially the metric-dilaton action extremised with respect to the dilaton with a condition that the targetspace volume is fixed. We discuss how to generalize the Perelman s construction to all loop orders (i.e. all orders in α ). The resulting entropy is equal to minus the central charge at the fixed points, in agreement with the general claim of the c-theorem. 1 Also at Lebedev Institute, Moscow. tseytlin@imperial.ac.uk

2 1 Introduction 2d sigma models containing infinite number of couplings parametrized by target-space metric tensor G µν (x) have many interesting connections to various problems in physics and mathematics. In particular, they play an important role in string theory, describing string propagation in curved space. In order to define the quantum stress tensor of the sigma model, i.e. its renormalization on a curved 2d space, one is led to the introduction an extra scalar coupling function φ(x) or the dilaton. The corresponding metric and dilaton RG beta-functions β i are then proportional to string effective equations of motion (for reviews see, e.g., [1, 2]). Assuming that the c-theorem claim [3] should apply to the sigma model (with compact euclidean target space) one should the existence of a (local, covariant) functional of the metric such that (i) its gradient is proportional to β i (with certain diffeomorphism terms added), (ii) it decreases along the RG flow and (iii) it is equal to the central charge at fixed points. While the gradient property of the flow is relatively easy to establish, its monotonicity is much less obvious. In particular, the direct generalization of Zamoldchikov s proof of the c-theorem [4] leads to the central charge action which vanishes at any fixed point, instead of decreasing along the flow. One may expect that the statement of the c-theorem should apply provided one considers only the G µν metric flow (the flow of the dilaton plays, in a sense, a secondary role). However, the technical details of the Zamolodchikov-type construction [3, 4] of the central charge functional do not directly apply if one ignores the dependence on the dilaton. This suggests that one needs an alternative way of constructing the corresponding RG entropy. The idea of such construction was suggested by Perelman [5] (see also a review and generalizations in [6]) on the example of the Ricci flow which is the 1-loop approximation to the full sigma model RG flow. He, in turn, was inspired by the structure of the leading terms in the metric-dilaton effective action which first appeared in the string-theory context [7, 8]. Below we shall present a generalization of the Perelman s construction to all orders in sigma model loop expansion, i.e. suggest how to prove the c-theorem for the sigma model. We shall first review (in sect.2) the basic facts about the structure of sigma model beta-functions and the associated central charge action. In sect.3 we shall define a modification of such action which is equal to minus the Perelman s λ-entropy and interpret the latter as a Lagrange multiplier for the fixed volume condition. We shall argue that this entropy should grow along the metric RG flow and is equal to minus the central charge at the fixed points. 2

3 2 Review of sigma model results: Weyl anomaly coefficients and central charge action Let us start with a review of some known facts about renormalization of sigma model on curved 2d space. One reason to consider quantum sigma model on a curved space is to be able to define its stress tensor and its correlators which enter the standard proof of the c-theorem. Another is that to be able to define global quantities that may provide one with a c-function one needs to consider a 2-space of a topology of a sphere (to regularize, in particular, the IR divergences). The same problem also naturally arises in the context of the Polyakov s approach to critical string theory when one considers propagation of a string in D-dimensional curved target space with metric G µν [9, 7, 2]. The corresponding action I = 1 4πα d 2 z g g ab a x µ a x ν G µν (x) is classically invariant under Weyl rescalings of the 2d metric g ab, implying the decoupling of the conformal factor of this metric. Consistency of the critical string theory (where conformal factor of the 2d metric is not a dynamical field) then translates into the requirement of the cancellation of the Weyl anomaly. The renormalizability of the above sigma model on curved 2d background requires introduction of one extra hidden scalar (dilaton) coupling which has the same dimension as the metric term [7] I = 1 4πα d 2 z g [g ab a x µ b x ν G µν (x) + α R (2) φ(x) ], (2.1) where R (2) is the curvature of g ab. The two couplings run with renormalization scale according to the corresponding beta-functions 2 dϕ i dt = βi, ϕ i = (G µν, φ). (2.2) The operator form of the Weyl anomaly relation for the trace of the 2d stress tensor is then 2πα T a a = [ a x µ a x ν βg µν (x)] + α R (2) [ β φ (x)], (2.3) where the β i are the Weyl-anomaly coefficients that differ from β i by certain diffeomorfism terms [13, 22] β G µν = βg µν + µm ν + ν M µ, βφ = β φ + M µ µ φ, (2.4) M µ = α µ φ + W µ (G). (2.5) W µ is a specific covariant vector constructed out of curvature and its covariant derivatives only (it is determined from the matrix that governs mixing under renormalization of dimension 2 operators). 2 In our present notation (opposite to that of [1]) the RG evolution toward the IR corresponds to t = ln µ + (µ is a momentum renormalization scale). 3

4 In dimensional regularization with minimal subtraction one finds to 2-loop order [10, 11, 7, 12, 13] 3 β G µν = α R µν α 2 R µλρσ R λρσ ν + O(α 3 R 3 ) (2.6) β φ = γ(g)φ + ω(g) = c α 2 φ α 2 R λµνρ R λµνρ + O(α 3 R 3 ), (2.7) where in critical bosonic string c 0 = 1 (D 26) (D being the total number of coordinates x µ and 26 stands for the measure or ghost contribution [15]). Here ω is a 6 scalar function of the curvature and its covariant derivatives. γ(g) is a differential operator (scalar anomalous dimension) which in the minimal subtraction scheme has the following general form [11, 14, 13] Ω µνρ γ = Ω µν 2 (µ ν) + n=3 Ω µ 1...µ n n (µ1... µn), (2.8) Ω µν 2 = 1 2 α G µν + p 1 α 3 R µ αβγ Rναβγ +..., (2.9) 3 = q 1 α 4 D α R µν β γ Rαβγρ +..., Ω µνρλ 4 = s 1 α 4 R µαβν R ρ λ αβ (2.10) In the minimal subtraction scheme M µ gets a non-zero contribution only starting with 3 loops W µ = t 1 α 3 µ (R λνγρ R λνγρ ) (2.11) The 3-loop coefficients here are p 1 = 3, t 16 1 = 1 [16] and the 4-loop coefficients q 32 1, s 1,... were found in [17, 18]. In general, the Weyl anomaly coefficients β µν G and β φ satisfy D differential identities which can be derived from the condition of non-renormalisation of the trace of the energy-momentum tensor of the sigma model [23, 13] µ βφ (δ λ µ ρ φ + V λρ µ ) β G λρ = 0, (2.12) where the differential operator Vµ λρ depends only on G µν. To lowest order Vµ λρ β λρ G = 1 2 ν ( β µν G 1G 2 µνg λρ βg λρ ) + O(α 2 ). Eq. (2.12) implies that once the metric conformal invariance equation is imposed, β µν G = 0, then β φ =const, and thus β φ = 0 gives just one algebraic equation. The existence of the indentity (2.12) implying D conditions between 1 D(D + 1) functions β µν G and β φ would have a natural explanation if β G and β φ could be obtained by variation from a covariant action functional S(G, φ) [3, 15, 12] δs δϕ i = κ ij β j, βi ij δs = κ δϕ, (2.13) j 3 The 3-loop α 3 and 4-loop α 4 corrections to beta-functions were computed, respectively, in [24] and [17]. 4

5 where κ ij is a non-degenerate covariant operator. Indeed, the diffeomorphism invariance of S implies the identity δs µ 1 δs δg µν 2 δφ ν φ = 0 (2.14) which would then relate β G and β φ. Indeed, such action functional is easy to find to leading order in α Then S = follow from this action if κ in (2.13) is κ ij = d D x ] G e [c 2φ 0 α ( 1R + 4 µφ µ φ) + O(α 2 ). (2.15) β G µν = α (R µν + 2 µ ν φ) + O(α 2 ), (2.16) β φ = c 0 α ( φ + µ φ µ φ) + O(α 2 ) (2.17) ( 1 4Gµλ G νρ G µν G e 2φ 1 G λρ (D 2) 4 ) + O(α ), (2.18) 1 2 Gµν 1 2 Gλρ 2 κ ij = G e 2φ ( 1 4 (Gµλ G νρ 1 2 Gµν G λρ ) ) + O(α ). (2.19) The Lagrangian in (2.15) can be written as (up to a total derivative) β φ β φ 1 4 Gµν βg µν = c α (R φ 4 µ φ µ φ) + O(α 2 ). (2.20) This combination [13] may be interpreted as a generalized central charge function: it appears as the leading term in the expectation value of the trace of the stress tensor (2π < T a a >= β φ R (2) +...) and is equal to the central charge at the conformal point where β G = 0 (then β φ = β φ =const). Ref. [4] put forward an argument (based on the idea of the proof of the c-theorem in [3]) that the central charge action 4 S = d D x G e 2φ βφ (G, φ) = d D x G e 2φ (β φ 1 4 Gµν βµν G ) (2.21) should have its equations of motion equivalent to β G = 0, βφ = 0 to all orders in α (provided one chooses an appropriate scheme, i.e. modulo a local redefinition of G µν 4 In the second equality below we used the reparametrization invariance of the action and the fact that β i differ from β i by diffeomorphism terms. Note also that when acting on a diffeomorphisminvariant functional one has β i δ δϕ = β i δ i δϕ ; this relation will be used below. i 5

6 and φ). This was indeed confirmed by the explicit sigma model computations up to and including the 4-loop (α 4 ) order [16, 17, 18]. This action has a remarkable structure. In particular, it can be rewritten as S = 1 2 (βφ δ δφ + δ βg ) δg µν d D x G e 2φ. (2.22) Then assuming that G µν and φ depend on the renormalization point and using (2.2) one finds [4] S = 1 dv 2 dt, V d D x G e 2φ, (2.23) i.e. that the central charge action evaluated on the RG running couplings is simply the RG time derivative of the generalized volume. More generally, based on detailed study of renormalization of the sigma model ref.[19, 20] have constructed an action that reproduces the Weyl anomaly coefficients, i.e. satisfies (2.13), to any order in α in an arbitrary (covariant) renormalization scheme. This action hs the following structure S 1 = d D x G e 2φ (J βi i + ρ ij βi βj ), (2.24) where J φ = 1+..., J µν G = 1 4 Gµν +..., etc. are functions of ϕ i = (φ, G µν ) determined in terms of the renormalization group quantities. The matrix ρ ij is, in principle, arbitrary (eq.(2.13) is satisfied for any ρ ij ) but for a specific choice of it one can show [19] that (2.24) becomes (cf. (2.22)) S 1 = 1 2 (βφ δ δφ + δ βg ) δg µν where in the minimal subtraction scheme d D x G e 2φ J φ (G), (2.25) J φ = α 2 R µνλρ R µνλρ + O(α 3 ). (2.26) As was pointed out in sect. 6 of [1], if one further redefines the dilaton by 1 2 ln J φ the action (2.25) reduces to the simpler-looking action (2.21) or (2.22). 5 Thus, there should always exist a scheme in which the gradient of (2.21) reproduces β i to all α orders. 6 Refs. [19] and [18] found explicitly the renormalization scheme in which the action (2.24) of [19] reduces to the action (2.21) of [4] at orders α 3 and α 4 respectively. Let us note that the representation (2.23) is closely related to the interpretation of the action whose extrema are equivalent to the vanishing of the sigma model Weyl anomaly δ δϕ i. 5 One needs to note that under a coupling redefinition β i δ δϕ = β i i 6 A possible drawback of this general argument is that the corresponding scheme choice is somewhat implicit. In the dimensional regularization with minimal subtraction the two actions begin to differ starting with α 3 order, i.e. to relate them at 3- and higher loop orders one needs a certain field redefinition. 6

7 coefficients as the string low-energy effective action for the graviton and dilaton modes. The effective action can be reconstructed from the string S-matrix. Its relation to the sigma model is explained by the observation [7] that the generating functional for the string scattering amplitudes can be interpreted as a partition function Z = [dx]e ii on the 2-sphere with the string action being the sigma model with couplings which are the string space-time fields. The realization that a renormalisation of the sigma model corresponds to a subtraction of massless poles in the string scattering amplitudes and that a subtraction of the Mobius volume infinities can be done by differentiating over the logarithm of the 2d cutoff led to the expression for the tree-level closed string effective action S in terms of the RG time derivative of the renormalised sigma model partition function Z [21]: S = Z t = βi Z ϕ. (2.27) i dz Here we used the RG equation for Z: = Z dt t βi Z = 0. Finally, there exists ϕ i a scheme choice in which the renormalized value of Z is simply proportional to the generalized volume V in (2.23) [21, 1]. This explains the equivalence between the sigma model RG -motivated central charge action (2.21),(2.23) and the string partition function -motivated effective action (2.27). 3 Monotonicity of RG flow for G µν coupling The existence of the action (2.21),(2.25) whose derivative is proportional (2.13) to the Weyl-anomaly coefficients implies, in particular, that the RG flow of the metric G µν and the dilaton φ couplings of the sigma model (2.1) (with a specific choice (2.4),(2.5) of the diffeomorphism terms) is a gradient flow. This flow is not, however, monotonic. ds dt = Indeed, the central charge action (2.21) vanishes at the fixed points; also, κ ij βi βj does not have a definite sign since the metric κ ij in (2.13),(2.18) is not sign-definite. At the same time, one may expect (in view of the Zamolodchikov s theorem [3] for unitary 2d theories with finite number of couplings) 7 that if one restricts attention just to the RG flow of the metric G µν (and considers the case of compact euclidean signature space) there should exists an action functional S(G) whose gradient is proportional to β G and which decreases along the G µν flow toward the IR. A natural guess is that S(G) should be closely related to the functional S(G, φ), e.g., it could be found by solving for the dilaton, i.e. by extremising S(G, φ) in φ. The 7 The proof of the Zamolodchikov s theorem does not directly apply to the case of sigma models. If one tries to repeat the construction of [3] of the central charge function (whose gradient is the beta function) based on correlators of stress tensor [4] one needs to introduce the running dilaton coupling and then the metric on the space of couplings is indefinite (and also the value of the central charge function at the fixed point is zero). 7

8 secondary role of the dilaton coupling is suggested by the existence of the identity (2.12) that expresses its beta-function in terms of the metric beta-function. The idea of finding S(G) by eliminating φ from S(G, φ) does not, however, work directly. At the leading order in α the combination β φ in (2.20) has a remarkable property that its variation over φ with the measure factor in (2.21) is zero. The variation of (2.21) over φ gives simply δs δφ = 2 G e 2φ βφ = 0, (3.1) i.e. βφ = 0, and then the action S vanishes even before imposing β G = 0. The same property of β φ is true at least to order α 4 and should be true in general in an appropriate scheme. 8 To get a non-trivial functional S(G) Perelman [5] suggested to minimize S(G, φ) in φ while restricting φ to satisfy the unit volume condition: 9 V = d D x G e 2φ = 1. (3.2) Imposing this condition may be in a sense interpreted as extremizing S over the constant part of βφ or the central charge parameter c 0 in (2.20). Indeed, adding the constraint (3.2) to the action (2.21) with the Lagrange multiplier λ we get the following functional Ŝ = d D x G e 2φ βφ + λ ( d D x G e 2φ 1), (3.3) i.e. Ŝ = S(c 0 c 0 + λ) λ. Let us mention in passing another relation between actions with unit volume condition and without it. Starting with S(G, φ) one may formally split the dilaton into constant and non-constant parts as follows: φ(x) = φ 0 + φ(x), d D x G e 2 φ = 1, so that V d D x G e 2φ = e 2φ 0. Then S(G, φ) = e 2φ 0 S(G, φ) = V S(G, φ) and Ŝ in (3.3) in which the dilaton is constrained by the volume condition can be written as (cf. (2.23)) Ŝ(G, φ) = S(G, φ) d D x G e 2φ = βφ (G, φ) dd x = 1 d ln V. (3.4) G e 2φ 2 dt We shall not use this representation here. Extremising Ŝ with respect to φ we then get (assuming that (3.1) is true to all orders in α ) β φ + λ = 0, (3.5) 8 The relation (3.1) is valid, in particular, if there is a scheme in which the dependence of β φ on φ in (2.20) is not modified by α corrections to all orders; this is actually true to α 3 order but may seem to be in conflict with the α -dependence of the operator γ in (2.7),(2.8). But the corresponding terms can be further redefined away (or integrated by parts) at the level of the action. 9 For an earlier closely related suggestion in specific D = 2 case see [26]. 8

9 so that after solving for φ, i.e. imposing (3.5), we get Ŝ = β φ = λ. (3.6) Thus λ has an interpretation of minus the effective central charge. To leading order in α the action Ŝ (3.3) and eq.(3.5) can be written as follows (see (2.20)) Ŝ = λ + d D x ] G Φ [λ + c 0 α ( R) Φ + O(α 2 ), (3.7) [ ] ( 2 + 1R) + 4 O(α ) Φ = α 1 (c 0 + λ)φ, (3.8) where Φ e φ, d D x G Φ 2 = 1. (3.9) The existence of a solution of this equation with Φ e φ > 0 requires that c 0 + λ is the minimal eigenvalue of the operator R which always exists on a compact 4 space [5] (see also [26]). The corresponding eigenfunction will have no zeros and can be chosen positive which is what is required for the identification of it with e φ (or the inverse of the effective string coupling constant g s = e φ ). Thus extremizing Ŝ in φ translates (for c 0 = 0) into choosing λ as a minimal eigenvalue of the above Laplacian. To leading order in α when the RG flow defined by (2.17),(2.16) is simply the Ricci flow the Perelman s definition of the functional whose gradient is β G (i.e. β G with an appropriate diffeomorphism term) and which grows monotonically with the RG flow toward IR (t ) is simply the minimal eigenvalue λ of (3.8) (for c 0 = 0). Thus, in view of (3.6), S(G) Ŝ(G, φ(g)) = λ(g). (3.10) Let us extend this definition to all orders in α. First, the variation of S(G) over G µν is the same as the G µν variation of Ŝ(G, φ) or S(G, φ) with φ independent of G µν: the variation over φ vanishes as a consequence of (3.5). Then (2.13) implies that is δs δg µν proportional to β G µν. In addition, we may ignore the variation of G since its coefficient vanishes on the equation for φ. Then β G µν = κ µν,ρσ δs δg ρσ, κ µν,ρσ = 4G µρg νσ + G e 2φ O(α 2 ). (3.11) Thus S is a gradient function for the metric RG flow. To study the monotonicity property of S we note that d dt S = βg µν δs δg µν = β G µν δs δg µν = β G µν κ µν,ρσ β G ρσ. (3.12) 10 Let us note in passing that the conformal scalar operator in D dimensions is 2 + D 2 4(D 1) R so that R is conformal in the limit D. 9

10 Here κ µν,ρσ is the inverse of κ µν,ρσ in (3.11): on the equation of motion for φ one need not worry about the contribution of the variation of G term in the action and thus there is no extra term proportional to 1 2 G µνg ρσ (cf. (2.19)) κ µν,ρσ = 1 4 G e 2φ G µρ G νσ + O(α 2 ). (3.13) The positivity of κ µν,ρσ at leading order in α implies that S monotonically decreases toward the IR (t ) as required of an effective central charge [3], while λ grows like an entropy [5]. 11 The positivity of κ µν,ρσ is obvious in perturbation theory in α, i.e. in sigma model loop expansion. 12 It may be possible to prove it rigorously to all orders using the general properties of renormalization of the sigma model on a curved background as discussed in [19, 20]. Since the dependence on the dilaton of the beta-functions in (2.6),(2.7) is simple (linear) the same simplicity should apply to the effective action. Starting with the action in the special scheme (2.21) we shall assume that to all orders in α it can be put into the form similar to the leading-order action (3.7) (here we set c 0 = 0) where Ŝ = λ + d D x G Φ(λ α )Φ, Φ = e φ, (3.14) = 2 + U(G), (3.15) U = 1R α R µνλρ R µνλρ α 2 (R µνλρ R µναβ R λρ αβ 4R 3 κλµνr καµβ R λ α ν β) + O(α 3 ). (3.16) For R 3 terms we used the result of [25, 16]. We have assumed that there should exist a scheme choice in which all higher-derivative terms which may be present in the anomalous dimension operator γ in (2.7) can be integrated by parts in the action (2.21) so that remains a canonical second-derivative scalar Laplacian as it was at the leading order in α in (3.7). This is indeed what happens to order α 4 as was explicitly verified in [16, 17]. The potential function U(G) is a smooth generalization of the leading-order term 1R. Then for compact euclidean-signature space the operator is again positive and 4 its spectrum should be bounded from below. Then the eigen-function Φ corresponding to its lowest eigenvalue λ/α can again be chosen positive, i.e. there should exist a non-singular solution for φ. 13 Combined with the positivity of the metric in (3.13), λ will then provide the generalization of the Perelman s entropy to all orders in α, implying the irreversibility of the exact RG flow of the sigma model. 11 To leading order in α the relation between Perelman s entropy and the central charge was already pointed out in [6]. The same is true also in the presence of the B µν coupling [6]. Using the monotonicity of λ one is then able to prove the absence of periodic RG trajectories [5, 6]. 12 To become negative κ µν,ρσ should go through zero but that would require α R 1, invalidating perturbation theory expansion. 13 We are grateful to S. Cherkis for a clarifying discussion of this point. 10

11 As we have seen above in (3.6), λ has also a meaning of minus the effective central charge β φ, which, at the fixed point β G = 0, is equal to the usual central charge. This is in agreement with the general claim of the c-theorem. The construction of the sigma model c-function a la ref.[3] (i.e. in terms of 2-point functions of stress-tensor components) did lead [4] to β φ, but as we explained above following Perelman s idea, to show that the RG flow of G µν is monotonic one is also to solve for the dilaton and restrict its constant part by the volume condition (3.2). This then confirms the validity of the c-theorem for the G µν RG flow of the 2d sigma model (at least to order α 4 ). To make this proof of the c-theorem rigorous (i.e. to extend it beyond α 4 order) one is to justify our main assumption that the exact action (2.21) can be put into the form (3.14). This may be possible to achieve using the identities like (2.12) following from the renormalization properties of composite operators of the sigma model [19, 20]. 14 Acknowledgments We are grateful to G. Huisken and T. Oliynyk for the invitation to the Workshop on geometric and renormalization group flows at Max Planck Institute in Potsdam in November 2006 and for creating a stimulating atmosphere during the workshop. We thank S. Cherkis and S. Shatashvili for useful remarks and discussions. We also acknowledge the support of PPARC, EU-RTN network MRTN-CT and INTAS grants, and the RS Wolfson award. References [1] A. A. Tseytlin, Sigma model approach to string theory, Int. J. Mod. Phys. A 4, 1257 (1989). [2] C. G. Callan and L. Thorlacius, Sigma Models And String Theory, In Providence 1988, Proceedings, Particles, strings and supernovae, vol. 2, One may also try to support the naturalness of the form of (3.14) by the following heuristic string-theory argument. Since the λ-independent part of (3.3),(3.14) is essentially the tree-level string effective action for the metric and dilaton and since e φ = Φ 1 is the string coupling constant, the scaling of the action as Φ 2 = e 2φ is the direct consequence of the structure of the string perturbation theory (i.e. of the fact that the Euler number of the 2-sphere is 2). In general, the Lagrangian in (3.14) may contain also additional terms with derivatives of φ, i.e. depending on µ (ln Φ). However, such terms non-analytic in the string coupling would seem unnatural one could hope that replacing the string coupling by a function of coordinates should not change the structure of the dependence of the tree-level effective action on it. 11

12 [3] A. B. Zamolodchikov, Irreversibility Of The Flux Of The Renormalization Group In A 2-D Field Theory. JETP Lett. 43, 730 (1986) [Pisma Zh. Eksp. Teor. Fiz. 43, 565 (1986)]. Renormalization Group And Perturbation Theory Near Fixed Points In Two-Dimensional Field Theory. Sov. J. Nucl. Phys. 46, 1090 (1987) [Yad. Fiz. 46, 1819 (1987)]. [4] A. A. Tseytlin, Conditions Of Weyl Invariance Of Two-Dimensional Sigma Model From Equations Of Stationarity Of Central Charge Action. Phys. Lett. B 194, 63 (1987). [5] G. Perelman, The entropy formula for the Ricci flow and its geometric applications, math.dg/ [6] T. Oliynyk, V. Suneeta and E. Woolgar, A gradient flow for worldsheet nonlinear sigma models, Nucl. Phys. B 739, 441 (2006) [hep-th/ ]. Irreversibility of world-sheet renormalization group flow, Phys. Lett. B 610, 115 (2005) [hep-th/ ]. [7] E. S. Fradkin and A. A. Tseytlin, Effective Field Theory From Quantized Strings, Phys. Lett. B 158, 316 (1985). Quantum String Theory Effective Action, Nucl. Phys. B 261, 1 (1985). [8] C. G. Callan, E. J. Martinec, M. J. Perry and D. Friedan, Strings In Background Fields, Nucl. Phys. B 262, 593 (1985). C. G. Callan, I. R. Klebanov and M. J. Perry, String Theory Effective Actions, Nucl. Phys. B 278, 78 (1986). [9] C. Lovelace, Stability Of String Vacua. 1. A New Picture Of The Renormalization Group, Nucl. Phys. B 273, 413 (1986). Strings In Curved Space, Phys. Lett. B 135, 75 (1984). [10] G. Ecker and J. Honerkamp, Application of invariant renormalization to the nonlinear chiral invariant pion lagrangian in the one-loop approximation, Nucl. Phys. B 35, 481 (1971). J. Honerkamp, Chiral multiloops, Nucl. Phys. B 36, 130 (1972). [11] D. Friedan, Nonlinear Models In Two Epsilon Dimensions, Phys. Rev. Lett. 45, 1057 (1980). Nonlinear Models In Two + Epsilon Dimensions, Annals Phys. 163, 318 (1985). [12] A. A. Tseytlin, Vector Field Effective Action In The Open Superstring Theory, Nucl. Phys. B 276, 391 (1986) [Erratum-ibid. B 291, 876 (1987)]. Ambiguity In The Effective Action In String Theories. Phys. Lett. B 176, 92 (1986). [13] A. A. Tseytlin, Conformal Anomaly In Two-Dimensional Sigma Model On Curved Background And Strings. Phys. Lett. 178B, 34 (1986). Sigma Model 12

13 Weyl Invariance Conditions And String Equations Of Motion, Nucl. Phys. B 294, 383 (1987). [14] C. G. Callan and Z. Gan, Vertex Operators In Background Fields, Nucl. Phys. B 272, 647 (1986). [15] A. M. Polyakov, Directions In String Theory. Phys. Scripta T15, 191 (1987). Gauge Fields And Strings. Harwood (1987) 301 p. [16] I. Jack, D. R. T. Jones and D. A. Ross, On The Relationship Between String Low-Energy Effective Actions And O(α 3 ) Sigma Model Beta Functions, Nucl. Phys. B 307, 130 (1988). [17] I. Jack, D. R. T. Jones and N. Mohammedi, A four-loop calculation of the metric beta-function for the bosonic sigma-model and the string effective action. Nucl. Phys. B 322, 431 (1989). [18] I. Jack, D. R. T. Jones and N. Mohammedi, The four-loop string effective action from the bosonic sigma-model. Nucl. Phys. B 332, 333 (1990). [19] H. Osborn, String theory effective actions from bosonic sigma models. Nucl. Phys. B 308, 629 (1988). Renormalisation and composite operators in non-linear sigma models. Nucl. Phys. B 294, 595 (1987). [20] H. Osborn, General bosonic sigma models and string effective actions, Annals Phys. 200, 1 (1990). Weyl consistency conditions and a local renormalization group equation for general renormalizable field theories, Nucl. Phys. B 363, 486 (1991). [21] A. A. Tseytlin, Renormalization Of Mobius Infinities And Partition Function Representation For String Theory Effective Action. Phys. Lett. B 202, 81 (1988). Mobius Infinity Subtraction And Effective Action In Sigma Model Approach To Closed String Theory. Phys. Lett. B 208, 221 (1988). [22] G. M. Shore, A Local Renormalization Group Equation, Diffeomorphisms, And Conformal Invariance In Sigma Models. Nucl. Phys. B 286, 349 (1987). [23] G. Curci and G. Paffuti, Consistency Between The String Background Field Equation Of Motion And The Vanishing Of The Conformal Anomaly. Nucl. Phys. B 286, 399 (1987). [24] S. J. Graham, Three Loop Beta Function For The Bosonic Nonlinear Sigma Model, Phys. Lett. B 197, 543 (1987). A. P. Foakes and N. Mohammedi, An Explicit Three Loop Calculation For The Purely Metric Two-Dimensional Nonlinear Sigma Model. Nucl. Phys. B 306, 343 (1988). 13

14 [25] R. R. Metsaev and A. A. Tseytlin, Curvature Cubed Terms In String Theory Effective Actions. Phys. Lett. B 185, 52 (1987). [26] V. A. Fateev, E. Onofri and A. B. Zamolodchikov, The Sausage model (integrable deformations of O(3) sigma model), Nucl. Phys. B 406, 521 (1993). V. A. Fateev and E. Onofri, An eigenvalue problem related to the non-linear sigma-model: Analytical and numerical results, J. Phys. A 36, (2003) [math-ph/ ]. 14