Classical and quantum integrable sigma models. Ricci flow, "nice duality" and perturbed rational conformal field theories
Vladimir Fateev

TL;DR
This paper explores classical and quantum integrable sigma models, demonstrating a 'nice' duality property where the dual theory exhibits a weak coupling region, using methods like perturbed CFT, S-matrix, and Bethe Ansatz.
Contribution
It introduces a duality property for integrable sigma models and formulates the dual theory for deformed CP(n-1), applying various analytical techniques to establish the duality.
Findings
The deformed CP(n-1) sigma model exhibits the 'nice' duality property.
The dual integrable field theory is explicitly formulated and analyzed.
Perturbed conformal field theory and Bethe Ansatz confirm the duality.
Abstract
We consider classical and quantum integrable sigma models and their relations with the solutions of renormalization group equations. We say that an integrable sigma model possesses the "nice" duality property if the dual quantum field theory has the weak coupling region. As an example, we consider the deformed sigma model with additional quantum degrees of freedom. We formulate the dual integrable field theory and use perturbed conformal field theory, perturbation theory, -matrix, Bethe Ansatz and renormalization group methods to show that this field theory has the "nice" duality property. We consider also an alternative approach to the analysis of sigma models on the deformed symmetric spaces, based on the perturbed rational conformal field theories.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Classical and quantum integrable sigma models.
Ricci flow, “nice duality” and perturbed rational conformal field theories
Vladimir Fateev
Abstract
We consider classical and quantum integrable sigma models and their relations with the solutions of renormalization group equations. We say that an integrable sigma model possesses the “nice” duality property if the dual quantum field theory has the weak coupling region. As an example, we consider the deformed sigma model with additional quantum degrees of freedom. We formulate the dual integrable field theory and use perturbed conformal field theory, perturbation theory, -matrix, Bethe Ansatz and renormalization group methods to show that this field theory has the “nice” duality property. We consider also an alternative approach to the analysis of sigma models on the deformed symmetric spaces, based on the perturbed rational conformal field theories.
*Université Montpellier 2, Laboratoire Charles Coulomb,
UMR 5221, F-34095, Montpellier, France*
Landau Institute for Theoretical Physics, 142432 Chernogolovka, Russia
Contents
- 1 Introduction
- 2 Conformal field theory and reflection amplitudes
- 3 Deformed models with fermion and dual QFT
- 4 Action of dual QFT admitting perturbative expansion, non-local integrals and scattering theory
- 5 Bethe Ansatz analysis
- 6 Sigma models, Ricci flow, integrability and observables
- 7 Conformal limit of metric, semiclassical reflection amplitudes and UV asymptotic of central charge
- 8 Integrable perturbation
- 9 Rational CFTs, their perturbations and sigma models
- 10 Concluding Remarks
- A Explicit expressions for the currents and densities of local integrals
- B Possible parametrization of SU
1 Introduction
Duality plays an important role in the analysis of statistical, quantum field and string theory systems. Usually it maps a weak coupling region of one theory to the strong coupling region of the other and makes it possible to use perturbative, semiclassical and renormalization group methods in different regions of the coupling constant. For example, the well known duality between Sine-Gordon and massive Thirring models [1],[2] together with integrability plays an important role for the justification of exact scattering matrix [3] in these theories. Another well known example of the duality in two dimensional integrable systems is the weak-strong coupling flow from affine Toda theories to the same theories with dual affine Lie algebra [4],[5],[6]. The phenomenon of electric-magnetic duality in four dimensional supersymmetric gauge theories conjectured in [7],[8] and developed for theories in [9] (and in many subsequent papers) opens the possibility for the non-perturbative analysis of the spectrum and phase structure in supersymmetric gauge field theories. The remarkable field/string duality [11],[10] leads to the unification of the ideas and methods for the analysis of these seemingly different quantum systems.
While known for many years the phenomenon of duality in quantum field theory still looks rather mysterious and needs to be further analyzed. Such analysis crucially simplifies for two-dimensional integrable relativistic systems. These theories besides the Lagrangian formulation possess also an unambiguous definition in terms of factorized scattering theory, which contains all information about off- shell data of quantum theory. These data allow the use of non-perturbative methods for the calculation of observables in integrable field theories. The comparison of the observables calculated from the scattering data and from the perturbative, semiclassical or renormalization group analysis based on the Lagrangian formulation makes it possible in some cases to justify the existence of two different (dual) Lagrangian representations of a quantum theory.
The two particle factorized scattering matrix is a rather rigid object. It is constrained by the global symmetries, factorization equation and unitarity and crossing symmetry relations. After solving of these equations the scattering matrix can contain one (or more) free parameter. At some value of this parameter the scattering matrix becomes the identity matrix and has a regular expansion around this point. In many cases this expansion can be associated with the perturbative expansion of some Lagrangian theory with parameter near some free point. Sometimes there is a second point where reduces to identity matrix and admits a regular expansion in . If this expansion can be associated with the perturbative expansion of another local Lagrangian at small coupling , then the two different Lagrangians describe the same theory, which has two different (dual) perturbative regimes.
A more interesting situation occurs when has a regular expansion in which agrees with perturbative expansion in of some field theory with local action , but at the point the -matrix tends to some “rational” scattering matrix corresponding to the -matrix of a non-linear sigma model on a symmetric space. Near the point it can be considered as a deformation of a symmetric scattering. In this case it is natural to search for the dual theory as sigma model with target space looking as a deformed symmetric space. The metric and other characteristics of sigma model on the manifold is subject to very rigid conditions, namely non-linear renormalization group (RG) equations [12]. If one has found the solution of RG equations which gives the observables in the sigma model theory, coinciding with those derived from the factorized - matrix theory one can conclude that field theory with the action is dual to a sigma model on the deformed symmetric space. The short distance behaviour of such theory can be studied by RG and conformal field theory (CFT) methods. The agreement of the CFT data, derived from the action (considered as a perturbed CFT) with the data derived from RG for sigma model gives an additional important test for the duality (”nice” duality).
The analysis of integrable quantum SMs on the deformed symmetric spaces and their dualities started in the papers [17],[18],[16]. Later in the papers [19],[20] the general classical SMs on the deformed groups and cosets manifolds have been constructed.. Unfortunately, not all these SMs, integrable classically, are integrable in quantum case. In particular it happens for the cosets having group in denominator (see for example [34]). In many cases this situation can be improved by introduction of additional quantum degrees of freedom, which are invisible in the classical limit.
We say that an integrable SM has the “nice” duality if the dual integrable QFT has the weak coupling region. This implies that we can study this theory by different methods (perturbation theory, RG and CFT analysis) in different regimes. Note that the SMs with the property of “nice” duality form a very small subspace in the space of all integrable quantum SMs on the deformed symmetric spaces and such SMs with additional quantum degrees freedom.
A simple (but rather non-trivial) example is provided by the SM. This model is integrable classically but non-integrable (for ) at the quantum level. After adding the massless fermion interacting with gauge field on (massless axion, linearly coupled with the density of topological charge ) this SM becomes integrable and its deformed version has the “nice” duality property. We study this theory in the main part of this paper. Here we say a few words about non-integrable SMs.
These models were intensively studied during 70-80s due to their’s similarity with four-dimensional gauge QFTs. Namely, the SMs and gauge theories are asymptotically free, possess instantons, and manifest the phenomenon of confinement.111For both theories have non-topological classical solutions, the role of which is not clear at the moment. It is natural that SMs served as baby-laboratory for the analysis of gauge theory, in particular, for analysis of instanton contributions [13] and lattice simulations [14].
The spectrum of the SMs in approach was studied in [15]. It was shown that besides the basic particles, which are the only particles in the integrable version of this model, one has also the particles which are their bound states, confined by Coulomb forces. The addition of fermion (axion) produce an essential restructure of the spectrum. Of course, the influence of the axion on the spectrum of gauge theory is a more interesting and much more complicated problem.
The spectrum of the deformed non-integrable SMs seems to be qualitatively the same as that of the undeformed models and can not be studied by perturbative methods. Due to the “nice” duality, in the integrable SMs with axion there is a weak coupling region. In this region the basic particles also form the bound state, which disappear from the spectrum outside the perturbative region. It is possible however that in a non-integrable QFT they survive in the strong coupling (SM) regime. We hope to return to this problem in a future publication.
This paper is organized as follows. In section 2 we describe the basic CFTs, which can be formulated in terms of bosonic fields, and their primary fields are the exponents of these fields. We calculate the reflection amplitudes in these CFTs which are important for the calculation of UV asymptotics in perturbed CFTs. These amplitudes serve also for identification of CFTs in different representations. In particular, for justification of dual SM representations.
In section 3 we explain the general properties of deformed SMs with fermion and write the action of perturbed CFTs, constructed in section 2. We conjecture that these QFTs provide a dual description of deformed SMs with fermion.
In section 4 we represent the action of dual QFT in the form suitable for the perturbation theory in parameter We provide non-local integrals of motion which form the Borel subalgebra of and generate symmetry of the scattering theory. We describe the spectrum and scattering theory of this QFT.
In section 5 we use the Bethe Ansatz approach to derive the exact relations between the parameters of action and scattering theory in this QFT. We calculate the observables, which can be compared with the observables calculated using the dual SM description of our QFT.
In section 6 we consider classical and quantum integrable SMs on the deformed symmetric spaces. We discuss Ricci flows in these SMs and the relation between the parameters of integrable SMs with the parameters of their scattering theory. We calculate the observables in integrable deformed SMs and show that in the scaling (one loop) approximation they coincide with the observables calculated in the Bethe Ansatz approach.
In section 7 we consider the conformal limit of the deformed SMs. For simplicity of equations we consider the case We calculate the reflection amplitudes associated with this conformal SM and show that they coincide with reflection amplitudes calculated in section 2 i.e. these CFTs are dual. We use these amplitudes to get the UV asymptotics of effective central charge in the deformed SMs on the circle of length
In section 8 we study the second integrable perturbation of CFTs described in section 2. We study the scattering theory of these QFTs and see that at small and large values of the coupling constant they can be studied by perturbation theory in and i.e. it has two different dual representation. In the strong coupling regime they can be described by the action with the SM part coinciding with the conformal limit of the deformed SMs and the potential part described by tachyon. After a simple analytical continuation in the coupling constant the SM part of the actions become singular. These action describe integrable classical models but after the quantization these QFTs are well defined only for discrete values of coupling constant.
In section 9 we discuss the rational CFTs, which are closely related with conformal SMs with singular actions and the discrete values of coupling constant. We show that these CFTs perturbed by proper fields describe non-integrable deformed SMs with topological parameter and integrable deformed with fermion (axion). We consider more general CFTs represented by the cosets and study their deformations by different fields in different regions of integers and (Coxeter number of ). We study their RG propertied and show that these QFTs provide an independent description of a large variety of SMs on the deformed symmetric spaces. Finally we give a simple inequality which provides a necessary condition for a sigma model to have “nice” duality.
2 Conformal field theory and reflection amplitudes
We consider CFT, which has the hidden and symmetries and can be described by fields
[TABLE]
We introduce the parameters satisfying the relation
[TABLE]
and denote as the parameter
[TABLE]
Let are vectors in dimensional space (the wights of fundamental representation of ) with the scalar products:
[TABLE]
and the vectors in dimensional space (the wights of fundamental representation of ). Then “screening charges” can be written in the form of pairs of fields where () is:
[TABLE]
We introduce and dimensional vectors and which are the halves of sum of the roots of and and the dilaton field
[TABLE]
Then the theory described by the action where is the action of a free field and
[TABLE]
with defines the CFT with central charge:
[TABLE]
As we see later, the CFT (6) describes the dual representation for coset CFT For it coincides with Sine-Liouville CFT (see for example [23])
The primary fields in this CFT (we do not consider here the free field ) are the exponential fields:
[TABLE]
with dimension
[TABLE]
In the space of the fields acts the Weyl group which is the product of groups and of the Lie algebras and Here we consider the group which acts as where is the reflection amplitude [42, 41].222Reflection amplitudes identify the CFTs which admit the free field representation. We normalize our fields by the condition:
[TABLE]
Then the reflection amplitude can be expressed through two point function:
[TABLE]
where vectors and are related by the usual conjugation: here are the simple roots of
The function in the CFT (6) can be calculated exactly using the integral relation [27],[28].
[TABLE]
where and has the form:
[TABLE]
where the last product runs over all positive roots. This function corresponds to the maximal reflection and can be represented in the form:
[TABLE]
where is entire function, which includes all products in the denominator of (10).
[TABLE]
The general reflection amplitudes are:
[TABLE]
These functions play the important role in the analysis of UV asymptotics in perturbed CFTs and in calculation of expectation values of the fields in these theories. In this paper we also use these functions in section 7 to conjecture the dual SM representation for CFT (6).
3 Deformed models with fermion and dual QFT
The models are two-dimensional asymptotically free sigma-models on complex dimensional Kähler space with an invariant metric. As all sigma models with Kähler metric they possess instantons which are the holomorphic functions of world -sheet coordinates . The Kähler metric can be written as and defines a two form i This form after proper normalization defines the density of topological charge and is closed (but not exact). It means that locally where is a one form. In the world sheet coordinates this form defines the gauge field which can interact with a complex fermion field We call the theory with action:
[TABLE]
where is the action of sigma model, as deformed models with fermion. After the deformation the symmetry of the metric is broken up to One more symmetry comes from the fermion interacting with so the full symmetry of theory is We note that the introduction of fermionic field interacting with sigma model cancels the contributions of the fields with a non-zero topological charge and long range interaction in the QFT (14).
To construct the integrable QFT which can be considered as perturbed CFT (6) we have two possibilities. To add the affine pair of fields, or to add the term where is the affine root of
To discuss the relation with sigma model (14) we consider the first possibility. Namely, we add the affine pair (which we denote as ). It is convenient to make the orthogonal transformation from the fields to fields in such way that pairs () (4) transform to
[TABLE]
and the affine pair is:
[TABLE]
The action of our QFT will now have a form:
[TABLE]
where can be written in the symmetric form (here and latter )333The action (15), (16) coincides with the action of Toda model [25] after a simple transformation of fields and exclusion of one of them.
[TABLE]
Besides the discreet symmetries related to permutations of the action (15) possesses the symmetry associated with the following transformations:
[TABLE]
In the next section we represent this action in the form suitable for perturbation theory in . In this form the -symmetry will be obvious.
4 Action of dual QFT admitting perturbative expansion, non-local
integrals and scattering theory
Let us consider the case which is slightly special. Here and the action has the form:
[TABLE]
where This theory belongs to two parameter family of integrable QFTs [16], with and
[TABLE]
Besides the local IM, this theory possesses non-local ones generated by chiral fields
[TABLE]
Non-local integrals of motion generated by currents form the quantum group symmetry () and it is not surprising that scattering matrix of this QFT can be expressed in terms of a direct product of two -matrices of Sine-Gordon model. If we denote the coupling constant in SG model as the scattering matrix of the theory (18) will be
[TABLE]
here is the relative rapidity of colliding particles and are -matrices of SG-models with and This fact shows that the deformed model with fermion possesses two-parameter family of deformation. In our case and -matrix of the QFT (17) will be the matrix
[TABLE]
-matrix coincides with -matrix of free fermion theory, but the full scattering matrix is not trivial. We will not discuss in this section the two-parametric deformations of action but to understand the structure of the particles and the perturbation theory for small it is convenient to start with the case In this case after application of Coleman-Mandelstam correspondence [1],[2] between fermions and bosons
[TABLE]
we can rewrite the action (after transformation ) as
[TABLE]
where
[TABLE]
The last term in is the usual contact counterterm which cancels the divergencies, coming from fermion loops. The particles in this QFT are fermions with charges It is easy to check that the perturbation theory in coincides with small expansion of -matrix of our theory.
In general case the QFT (15) possesses non-local IM generated by the currents
[TABLE]
where and In appendix we provide the examples of local integrals of motion.
The IM corresponding to currents generate (with \mathrm{q}=\exp\left(\frac{2\pi\mathrm{i}}{a^{2}}\right))\symmetry of the scattering theory of this QFT. The solution of Yang-Baxter equations with this symmetry was constructed by Cherednik [32]. To understand better the content of particles and spectrum of this theory, it is useful to use again the Coleman-Mandelstam correspondence [1],[2] between fermion and bosons (22). We introduce the fields
[TABLE]
and projectors Then the action (15) after application of Coleman-Mandelstam rules can be rewritten in the form:
[TABLE]
where:
[TABLE]
The last term in , which has a form of Toda potential ( is the affine root of ), is the usual contact counterterm which cancels the divergencies, coming from fermion loops. This QFT has a broken symmetry but possesses and symmetries. For small it has particles with mass and scalar particles which can be considered as bound states of Fermi particles with masses As we see later, for finite they disappear from spectrum.
The scattering theory of basic particles has symmetry. For the -matrix of these particles is also restricted by symmetry and has no backward scattering amplitudes of particles and antiparticles. It also should satisfy , and crossing symmetries:
[TABLE]
It is convenient to write these amplitudes in the form:
[TABLE]
where and The function satisfies the unitarity and crossing symmetry conditions:
[TABLE]
It is convenient to introduce parameter
[TABLE]
Then the solution to the equations (27) can be written as:
[TABLE]
We have a one parameter scattering theory. To connect it with QFT (25),(15) we should find a relation between parameter (or ) and the coupling constant . To solve this problem we need to perform the non-perturbative Bethe Ansatz (BA) analysis.
5 Bethe Ansatz analysis
To find the relations between the parameters of the action and the scattering parameters it is important to calculate the observables using both approaches. Our QFT possesses symmetry generated by the charges One can add to the Hamiltonian of our QFT the terms with different parameters (chemical potentials). The simplest way to calculate the ground state energy using the BA approach is to consider the configurations of the chemical potentials which lead to the condensation of particles which have the simple scattering amplitudes, namely, the pure phases. It is useful to consider the case when only one kind of particles is condensed. This configuration corresponds to and all other In the case for we can neglect in the action (24) all terms containing the mass parameter and there only particle will condense. It means that for calculation of density of ground state energy (GSE) we can put all with equal to zero. The action in this case coincides with the action of massless Thirring model:
[TABLE]
The GSE of massless Thirring model with coupling constant is well known and is given by
[TABLE]
We calculate now the same value from the BA approach. For one has the sea of particles which fill all possible states inside some “Fermi interval” The distribution of the particles within this interval is determined by their scattering amplitude The specific ground state energy has the form
[TABLE]
where the non-negative function satisfies the BA equation, inside the interval
[TABLE]
and the parameter is determined by the boundary condition
The kernel in this equation is related to scattering phase (28)
[TABLE]
The Fourier transform of this kernel has the form
[TABLE]
The main term of asymptotics of the function can be expressed explicitly through the kernel by the relation [17]
[TABLE]
Comparing the Eqs (29) and (34), we find that
[TABLE]
in agreement with perturbation theory. We see that at and -matrix (26) tends to the scattering matrix of model with fermion [33]. So it is natural to call our QFT as the dual theory to deformed model with fermion.
The term in Eq. (30) is the bulk vacuum energy of QFT (24). It can be expressed trough the kernel by the relation
[TABLE]
For small the bulk vacuum energy will be
[TABLE]
the first term where is the contribution of Toda term in Eq.(25). The second term comes from the renormalization of and from the contribution of the vacuum energies of free fermions and bosonic Toda particles with masses The second contribution can be easily calculated and is given by
[TABLE]
The exact relation between the physical mass and parameter can be calculated by the BA methods [38],[39] and has the form:
[TABLE]
It is easy to derive from Eqs.(37)-(39) the agreement with the perturbation theory and the sum rule:
[TABLE]
here We note that QFT (25) provides us by example of theory which has no UV divergences in perturbation theory in This nice property is general for QFTs possessing the “nice” duality with asymptotically free SMs.
For we, represent The second term oscillates around zero with period It is reasonable to define the bulk ground state energy as the meaning value over some interval much bigger then this period. With this definition we derive that bulk ground state energy of model with fermion is given by: what agrees with large expansion.
The integral BA equation can be studied using the generalized Winner-Hopf method [30]. We can go further in the UV () analysis of the function . In particular, the UV corrections to Eq.(34) have the form where the exponents are defined (with the factor i) by the zeroes of the kernel (33) in the upper half-plane. For integer the zeroes at i are cancelled by the denominator of the kernel (this phenomenon is related with the cancellation of instanton contribution by the fermion in Eq (14)). The zeroes at i we call the perturbative ones. For small the corresponding exponents appear after summation of logarithms in the perturbative series. As a result the UV expansion has the form
[TABLE]
All coefficients can be expressed trough the residues of the function where is the function analytical in the lower half plane which factorizes the kernel In particular, the first coefficient
[TABLE]
The function simplifies drastically in the scaling limit with fixed. This approximation is useful for the analysis of the UV behavior in dual (sigma-model) representation of our QFT. The function in this approximation (up to ) is
[TABLE]
here and the omitted terms are In the limit we derive the known result [48] for with fermion
[TABLE]
where
We note that UV behavior of function (40),(41) is not characteristic for asymptotically free sigma models. In these models GSE usually tends to infinity in the scaling limit. A different behavior, depending on the chose of parameters appears in the models which have several symmetries (see [16]). Here we show that similar phenomenon takes place in our QFT. The GSE (41) is related with associated with fermion in the action (14) or with field in the action (15).
As it was noted before the BA equations for the GSE in the fields is easy to study when the scattering amplitudes of condensed particles are pure phases. The corresponding situation is realized when we take and In this case the scattering amplitudes are given by
[TABLE]
The function is given by Eq.(28) and
[TABLE]
With these data we can write the system of BA integral equations for the calculation of function
[TABLE]
where the non-negative functions satisfy inside the interval the BA equations
[TABLE]
and the parameter is determined by the boundary condition
The kernels in this equation are
[TABLE]
The Fourier transforms of these kernels have the form
[TABLE]
The eqs.(42) are symmetric with respect to It means that we can reduce them to one equation with the kernel
[TABLE]
This kernel coincides exactly with the kernel which appears in the BA equations for the deformed sigma-model. It means that function is equal twice the function for deformed sigma-model and possesses all characteristic properties for asymptotically free sigma models. This function was studied in [22] and in the scaling limit together with the first correction is
[TABLE]
where The first term corresponds to the one loop sigma-model metric, whereas the next term appears in the two-loop approximation.
6 Sigma models, Ricci flow, integrability and observables
In this section we consider the relation between integrable QFTs, scattering theory data, classically integrable SMs and Ricci flow equations. Integrable QFTs possess factorized scattering theory and their -matrices satisfy Yang-Baxter (YB) equations. When these QFTs have the dual SM representation, the corresponding SMs should be also integrable at least classically. These SMs are called YB SMs [19],[20]. It is very natural that these objects are associated with names of Yang and Baxter. The scattering matrices in the QFTs, which have the dual SM representation are the deformations of -matrices of SMs on the symmetric spaces (sometimes with additional degrees of freedom which are necessary for quantum integrability). The YB SMs are also the models on the deformed symmetric spaces. One can expect a correspondence between the parameters of deformation in both theories. To find it, we compare the observables calculated from scattering theory data and from SMs.
To realize this problem, it is very important to find a relation between YB SMs and solutions of Ricci flow equations. In many cases this relation is rather non-trivial and includes the diffeomorphisms of metrics depending on the RG time (logarithm of the scale). In this section we discuss how sometimes this problem can be avoided. We note that in general case the -matrices, corresponding to deformed symmetric spaces, do not have the values of the deformation parameters where they are equal to identity matrice. In these cases the representation of QFT in terms of fields does not appear to be very useful, because there is no weak coupling region. However, even in these cases such representation can be used for construction of non-local integrals of motion, which help to reconstruct the -matrix.
To start with, we consider the case where we have the exact correspondence between QFT, factorized scattering theory (20), and SM [16]. All these objects depend on two parameters and describe a two-parameter deformation of principle chiral field. To write the action of this SM, it is useful to introduce the coordinates for
[TABLE]
Then action is
[TABLE]
where ,
[TABLE]
and parameter .
[TABLE]
The function which was denoted in [16] as is defined by the relation
[TABLE]
or
The metric (45) in the coordinates has the form
[TABLE]
With this action, we can calculate the observables [16], The metric (45) possesses two symmetries. We introduce the fields i.e. i To compare the GSE, which is defined as the minimum of the action of SM, with that derived in the previous section from BA, we consider the same configurations of fields (chemical potentials) and The field introduces the scale in our QFT. We put
[TABLE]
For the first configuration the minimum of the action corresponds to and we have
[TABLE]
For the second the minimum of the action corresponds to and
[TABLE]
It is useful to compare the metric (45) with integrable metric [19], which also depends on two parameters and and can be written for arbitrary Lie group This action can be written using the operator acting on the generators of Lie algebra as follows: it multiplies the generators corresponding to positive roots by i, to negative roots by i and annihilates Cartan subalgebra. Let is defined as and is the matrix of group in the adjoin representation. We denote
[TABLE]
For the case of , \mathcal{R=}\left(\begin{array}[c]{ccc}{\small 0}&{\small 1}&{\small 0}\\ {\small-1}&{\small 0}&{\small 0}\\ {\small 0}&{\small 0}&{\small 0}\end{array}\right), ,
[TABLE]
and the metric in the coordinates is
[TABLE]
The metrics (49) and (53) are rather different. However, if we take
[TABLE]
the observables calculated with these metrics coincide. For the first configuration the minimum of action (53) corresponds to and is
[TABLE]
For other configuration, the position of the minimum is less trivial
[TABLE]
For these values of and relations (54), the energies coincide with (51).
The metric (53),(54) does not satisfy the Ricci flow equations with coordinates independent on RG time but there is a transformation of coordinates depending on which leads to the solution of these equations. This transformation from the metric (53) to (49) was constructed in [24].
For arbitrary group we can calculate the observable with the action (52) and defined by (54) where in relation (48) defining we should take where is the dual Coxeter number. The factor is simply related with the kernel in the BA equations associated with the fundamental representation of For this kernel is444The scattering matrix of basic particles, i.e. particles with minimal mass in deformed principle chiral SM, is equal up to a simple CDD factor to the direct product of the well known symmetric -matricies in the fundamental (vector) representation of : with
[TABLE]
The GSE for the field coupled with generated by one of generators from Cartan subalgebra for is
[TABLE]
Comparing the kernels (55) and (33), we see that In the scaling limit we can solve the equation (48) by perturbation theory in In the first order we derive ()
[TABLE]
It means that at the first order in the GSE defined by (56) is
[TABLE]
in exact agreement with eq (40) derived in the BA approach.
We consider the function for (51) studied by the BA method in the previous section. Using relations (51,57) we obtain in the leading order in
[TABLE]
in exact agreement with (44) for .
It is useful to consider the metric (49), which is the exact solution of Ricci equations in the limit In our case we derive from (49,57) that
[TABLE]
This metric is the sausage metric and describes the deformed model. The energy describes the degrees of freedom related with SM. The parameter does not appear in this limit. This parameter is related with additional degrees of freedom which are necessary for the quantum integrability of QFT.
The main term of the metric (60) (sausage metric) can be derived by the reduction procedure for coset The deformed SM can be considered as SM on the coset space . In general the action of SM on the coset space [20] can be written as
[TABLE]
where is the coset element of the group from the numerator of coset, is the projector operator which annihilates the currents from denominator of coset and the numerical factor.
To simplify the expressions we consider here the case i.e. the deformed SM (the same consideration can be done for any using eq(61) and results of appendix B). The matrix can be taken as (see appendix B)
[TABLE]
the coset element
[TABLE]
In terms of these coordinates, we can calculate the metric and the field We note that our theory for possesses only symmetry so that the -field should appear. We introduce the notations
[TABLE]
Then we find that
[TABLE]
and the field
[TABLE]
The metric (74) and the field (75) satisfy Ricci flow equations for and To show this, we use the conjecture, which is to be proven in the next paper, namely that Ricci flow equations are satisfied if they are satisfied for abelian -dual SM. For -dual SM with respect parameters the field disappears and the metric simplifies:
[TABLE]
It is easy to check that Ricci flow equations
[TABLE]
are satisfied with dilaton field and
[TABLE]
To compare the observables calculated from the SM representation with that’s derived from scattering theory data by the BA method, we introduce the fields related with two symmetries of SM (74),(75). Namely i. The configuration considered by the BA method corresponds In field It is easy to find that the minimum of the SM action corresponds to The minimum of the action defines the ground state energy for the deformed SM and is given by
[TABLE]
For deformed SM we had from eq(59) that
[TABLE]
Comparing these equations it is natural to assume that and for the deformed SMs one obtains
[TABLE]
in exact agreement with the BA calculations (44). The parameter (35). It provides a relation between the parameters of QFTs (15),(25) and sigma models.
7 Conformal limit of metric, semiclassical reflection amplitudes and UV
asymptotic of central charge
In the previous section we conjectured a duality between the deformed SM with fermion and QFT described by the action (15),(24). Here we consider a duality between the CFT with action (6) and conformal limit of the metric of deformed SM. The free term in action corresponds to fermion. For simplification we restrict ourselves to the case The case , corresponding to the duality between the Sine-Liouville CFT and Witten’s black hole SM, was considered in [23].
To derive the conformal limit of the metric and the -field, we use the method of contraction [22]. We denote as the parameter
[TABLE]
In UV limit We introduce the parameter and make the rescaling of variables with As a result, the conformal limit of the metric can be written as ()
[TABLE]
and the field
[TABLE]
The action of SM with the metric (82) and the -field (83) can be written in terms of two complex scalar fields It describes CFT corresponding coset with This CFT can be used for construction of string theory moving on such coset manifold.
To identify our conformal SM with CFT (6), we show that the reflection amplitudes derived in the minisuperspace approach in our conformal SM coincide with the semiclassical limit of the reflection amplitudes (13). Here we consider our SM on a circle of length We have a scale and . In the UV scaling regime with defined in (81), our approximation is exact up to In this approximation we can use minisuperspace approach to calculate ground state energy , effective central charge and energies of exited states. Let Then the minisuperspace equation for the spectrum and eigenfunctions has the form [22]
[TABLE]
where is the curvature and 3-form is defined in terms of two form as
The operator in the l.h.s. of equation (84) can be written as where the operator depends only on It means that e are functions only on A solution of this equation with the metric and the -field for the deformed SM is accessible only numerically. Even for where , eq. (84) reduces to Lamé equation which can be solved analytically only in the limits of small and large values of the scaling variable . For the metric and reduce to those of and the spectrum is trivial. The corrections in can be derived by the standard perturbation theory. In particular,
[TABLE]
For the calculations are more involved. The starting point is the conformal limit of the action of SM. Here we consider the case where this action is given by (82), (83).
It is convenient to parametrize the spectrum of the eq (84) as The functions which are integrated with trivial measure, will be denoted as
The Weyl group of the Lie algebra of contains elements and acts to the parameters as rotations in this plane by and reflection . We denote . For calculation of the effective central charge, we can consider functions , independent of . To simplify the notations and equations, we consider here the isotopic symmetric sector where . It is convenient to make the substitution and , the we obtain from eq(84) that
[TABLE]
This equation can be soled by the Mellin transform method.
[TABLE]
where the contour includes the poles of on the real axe The equation (86) can be reduced to a functional equation to
[TABLE]
A solution to this equation can be found in a similar way as it was done in [47] for Toda equation. Namely, let be the weights of the fundamental representation. Then
[TABLE]
This function is Weyl invariant. The contributions to the asymptotics of the function give the poles at with If we take into account that the roots of are and denote we find that in the Weyl chamber the function has the asymptotics
[TABLE]
where
[TABLE]
We see that the function coincides with scaling, or semiclassical limit ( i.e. i is fixed) of quantum amplitude (12). It means that the conformal limit of our SM is dual to CFT (6).
Using the amplitudes (12) we can write the equations for quantization of This procedure is explained in details in [45]. In semiclassical limit they have the form
[TABLE]
where and is the highest weight of .
In the deep UV region we can expand this equation up to the first order in We have and Then we derive the semiclassical quantization of
[TABLE]
For we obtain that for one has
[TABLE]
It implies that for and for Between these values, is monotonically decreasing (due to theorem [29]) function of We note that It means that
[TABLE]
for and
The exited levels in the “isotopic symmetric” sector depend on quantum numbers and flow from where are the eigenvalues of Laplacian on for small to for large
8 Integrable perturbation
In this Section we briefly consider the second integrable perturbation of CFT (6). With this perturbation the action will have the following form
[TABLE]
where is affine root of .
We can use again the Coleman-Mandelstam correspondence between fermion and bosons (22). We introduce the fields
[TABLE]
and projectors Then the action (92) after application of Coleman-Mandelstam rules can be rewritten in the form suitable for perturbation theory for small
[TABLE]
where and can be derived from and in (25) by taking the sums from to and substitution
This QFT has a broken symmetry () but possesses and symmetries. For small it has particles with mass and scalar particles which can be considered as bound states of Fermi particles with masses For finite they disappear from the spectrum.
The scattering theory now is described by the eqs.26 where in - matrix the indices now take values In the Eqs.(26) we also take the parameters and The unitarizing factor now becomes
[TABLE]
The dependence of the parameters and can be derived from BA equations for GSE in external fields coupled with conserved charges Following the lines of Section 5, we find that
[TABLE]
At the limit the scattering matrix tends to the identity matrix and can be expanded in It is important to note that the function (94) at small is and amplitudes equal to at what is characteristic property for fermionic particles, for we get that this amplitude as it happens for bosonic particles. This phenomenon (fermion-boson duality) is easy to see in the case where we have only one charged particle and hence, -matrix is a pure phase. The action (93) is described by , which is:
[TABLE]
The scattering matrix for can be calculated and is given by
[TABLE]
For it can be expanded as a regular series in In this region our QFT can be described in terms of one complex scalar field by the action [18]
[TABLE]
We see that charged particles being fermions in the weak coupling region, become bosons in the strong coupling region.
The SM part of the action (97) coincides with the dual action for CFT (6) , or with the conformal limit of metric of deformed model. The potential part defines the tachyon. In general case (arbitrary ) bosonic QFTs dual to (93) for small have the classical limit. They define classical integrable models, which we call conventually “non-abelian affine Toda theories”.
The SM part of these QFTs is described by the conformal limit of the metric and the field of deformed model. Together with potential (tachyon) the dual action can be expressed in terms of complex fields
[TABLE]
where denotes the tachyon. Contrary to the scattering theory and observables, the functions and can depend on the choice of coordinates (see appendix B). We hope to return to this problem in a separate publication.
In the end of this section we make some important remark, not related to the duality. In the action which has a classical limit, we can take parameter purely imaginary: The classical theory will be integrable and well-defined. However, due to the singularities of the metric and the -field, the quantization of this theory will be more subtle. For example, the classical theory (97) after is known as complex Sine-Gorgon or Lund-Regge [36] model. In quantum case we can perform in -matrix (96) the transformations and denote
[TABLE]
These amplitudes are in exact agreement with perturbation theory in However, the amplitude possesses the pole in the physical strip, corresponding to a bound state of two particles This particle has charge equal twice the charge of For general values of the -matrix bootstrap is not closed and the charge of particles is not limited. This contradiction disappears only for special values of namely when
[TABLE]
It means that we have a well-defined QFT only for special values of (quantization of coupling constant). The similar phenomenon has place for all values of The analysis of scattering theory shows that theory is well-defined only for with positive integer .555The similar phenomenon appears in the non-unitarian imaginary Toda QFT which is described by the Lagrangian (25) with purely imaginary . In this QFT the scattering bootstrap is closed only for where is integer and . For these values of the coupling constant the imaginary Toda theory, after the quantum group restriction, becomes a unitary QFT. The condition
[TABLE]
will be considered in the next section.
9 Rational CFTs, their perturbations and sigma models
In this Section we discuss some important points (in particular, another integrable deformations of SMs) which were not considered in the main body of this paper.
In section 6 we discussed the SMs and Ricci flows related with massive QFTs. However there are massless Ricci flows associated with SMs with singular metrics which for special values of the parameter describe the flows from CFTs with continuous spectrum in the UV regime to rational unitarian CFTs in IR regime (See [46],[23],[22]). For deformed the SM representation dual to CFT (6) is described by the action (98) with and The Ricci flow with singular metric relates CFT (98) with and rational CFT with (100).
The central charge of CFT (6) with is (7)
[TABLE]
here we ignore for the moment coming from free field This field will appear later.
The central charge (101) corresponds to the coset These minimal models are characterized by strongly degenerate representations of algebras which commute with all screening charges with densities (4) and can be represented by free fields dimensional vector dimensional and field The primary fields in can be represented as
[TABLE]
where is the highest weight vector of and is integer with the condition
[TABLE]
The dimensions of these fields
[TABLE]
In particular, the receiving field of Ricci flow is the descendent field with dimension
For many applications it is useful to use the level-rank duality [21] which relates and minimal models. The minimal models are well known. They possess symmetry associated with the Lie algebra and central charge It is easy to see that The space of primary fields is specified by two highest weight vectors of : and which satisfy the conditions: and and have the dimensions
[TABLE]
where , In particular the receiving field of Ricci flow is the descendent field with dimension
All currents of algebra (which we call for fixed as ) can be represented by free fields and commute with screenings generated by fields The fields can be represented as
[TABLE]
It means that we have two different representations for the same CFT . We call as “vertical” algebra and as “horizontal” algebra of CFT . The existence of two different representations for the same CFT and as a result two different integral representations for the correlation functions will be studied in a separate publication. Here we give the simplest and known example of horizontal algebra.
Such example is provided by algebra , which for integer is the symmetry algebra of CFT with central charge These models possess the symmetry generated by or parafermions [44] with spin All parafermions and all symmetry algebra can be derived from which has a representation by two fields [43]
[TABLE]
The fields commute with screening charges generated by which for are
[TABLE]
Hence all fields appearing in OPE commute with screenings and form Explicitly we have:
[TABLE]
where and the local current generating algebra up to numerical factor is
[TABLE]
More complicated field generating is given in appendix A.
The CFTs and describe the critical points of RG flows. It is interesting to consider the integrable and non-integrable QFTs corresponding to perturbed CFTs, in particular, the perturbation considered at the end of section 8 (the tachyon ) with given by (100). In this case we derive the integrable QFTs corresponding to perturbation operator with dimension The scattering theory for these QFTs was constructed in [37].
More interesting are the perturbations corresponding to deformed sigma models and the same models with fermion. First we consider the model which is non-integrable for but for has all characteristic properties of sigma model without fermion. We introduce the perturbing operators and , where fields and , associated with the vector representations of , have left and right dimensions and the theory with action
[TABLE]
For and the theory is integrable [31],[35] for and . In the limit it coincides with or sigma model with parameter coupled with topological charge as i. It was shown that for the theory is massive and for massless. The effective central charge of the theory living on the finite space circle of length flows from (in UV) to [math] (in IR) for and from to for The crucial role in this behavior is played by the instanton contributions. Similar contributions appear for The effective central charge has two types of contributions. The perturbative contributions and “instanton” ones. The first come in the perturbed CFT from the correlation functions
[TABLE]
and the second from the correlation functions
[TABLE]
These correlation functions do not vanish because in CFTs the fields and have charge and . As a result the effective central charge can be expanded as
[TABLE]
where and mass parameter All coefficients can be derived by integration of correlation functions (109,110). These series are very similar to those for For example, the first instanton contribution (up to the factor which can be calculated exactly) is proportional in agreement with renormalization group for QFT. It is natural to expect that for the QFT (108) will be massive and for it will be massless.
To derive the integrable QFT describing in the limit , model with fermion, we take into account the field which was completely irrelevant in the action (6). The field will play a role of fluctuating topological parameter We introduce the free massless field and modify the fields as
[TABLE]
The fields have the right and left dimensions The QFT with action
[TABLE]
is integrable. Its scattering theory can be derived by the quantum group restriction from the -matrix described in section 4. With this scattering theory we can write the TBA equations for effective central charge. The massless field cancels all “instanton” contributions, and the series for simplify
[TABLE]
The physical mass is related with coupling constant as follows
[TABLE]
Using this relation and properties of the coefficients it is possible to calculate the scaling limit fixed of the effective central charge
[TABLE]
In the limit This result coincides with RG equation for model with fermion.
We note that for constant the QFTs (111) and (108) coincide. If we consider the action of model with fermion
[TABLE]
and use the relations i and then after the integration by parts with identity where is the density of topological charge we derive
[TABLE]
We see that field plays the role of axion [26]. For constant this action coincides with the action of model with topological term. It has very rich dynamics, but does not define the integrable QFT .
Studying the deformed SMs on the groups and on the symmetric spaces it is useful to consider the extended set of perturbed rational CFTs. Here we consider the well known rational coset CFTs where is the simply laced Lie algebra, perturbed by integrable field associated with the adjoint representation of and conformal dimension The central charge of is
[TABLE]
where and are rank and Coxeter number of
The action of integrable perturbed CFT is
[TABLE]
For these QFTs are massive, the particles for finite are the kinks666The scattering matrix of the basic kinks is derived from that for deformed principle chiral field (see footnote 3) equal to where , , by the quantum group restriction with respect to symmetry ., and exact relations between the masses of these particles and coupling constant are known [38] .
Here we consider the relations between QFTs (115) and SMs in different regions of integers and . The simplest region corresponds to . In the limit our QFT can be written as
[TABLE]
i.e. Wess-Zumino-Witten model at level perturbed by currents. For finite QFT (115) describes the deformation of this SM. The scaling function for the effective central charge on a circle of length was calculated in [38] and is given by
[TABLE]
in agreement with conformal perturbation theory and RG.
Another region depends on two parameters It is similar to the two-parameter deformations () of principal chiral field (section 6). The QFT (115) in this region describes the integrable deformations of the principal chiral field considered as perturbed CFT. It is convenient to introduce parameters and . The scaling function for the effective central charge in this region was calculated for and conjectured for all in [16]. The result can be expressed through function where
[TABLE]
Namely,
[TABLE]
This function has the asymptotics
[TABLE]
for The first two terms in this expansion were calculated exactly in [38]. The result coincides with (118) up to .
In the limit corresponding to the principal chiral field we get
[TABLE]
in agreement with RG for principal chiral field.777The UV asymptotics (119) in the region (small deformations) is universal and for perturbed CFT (115) and SM (52) it is the same. On the other hand, for these theories the UV asymptotics in the region are different (see [17],[16] and compare eqs. (91) and (112)). This difference is related with the fact that the quantum group restriction cancels the contribution of zero modes, which provide the main term in the asymptotics of non-restricted SMs.
It is interesting also to consider the perturbed CFTs in the region fixed. We consider here (). The central charge (114) will be now and for and The perturbation field now will be associated with the fundamental (vector) representation of
For and and in general case we use as the perturbation field with dimension Here is a topological parameter. This QFT will have the “instanton” and perturbative contributions and in the limit it will coincide with SM with the topological parameter. This QFT is Kähler SM and possesses the instantons. It is natural to assume that it will be massive for and massless for and if we make topological parameter to be fluctuating field (axion), the corresponding QFT will be integrable.
For and the CFT perturbed by was studied by Fendley [40]. For general field has the dimension In the limit this QFT describes integrable sigma models.
10 Concluding Remarks
In this section we provide some notes which can useful for studying dual representations of deformed SMs on symmetric spaces.
In this paper we did not considered the massless RG flows which have the same UV asymptotics as the deformed principle chiral SMs and IR asymptotics corresponding to rational CFTs. These Ricci flows are related with SMs with singular metrics and will be studied in a separate publication. In the previous section we have shown that integrable perturbed rational coset models (115) with and describe the massive deformed principle chiral SMs. The massless RG flows in perturbed coset models with are described by the action (115) with . The effective central charge for these flows is defined by eq. (117) where one should make the substitution where is defined by the relation
[TABLE]
It has the following UV and IR asymptotics:
[TABLE]
for and
[TABLE]
for , i.e. these RG flows relate CFTs and
In the Introduction we noted that SMs with nice duality form a very small subspace in the space of integrable SMs on the deformed symmetric spaces. Here we give a simple example of the integrable QFT, which possesses a duality, but not nice duality. This example is provided by supersymmetric Sine-Gordon model. Its QFT representation fits the two-parameter family of integrable theories (18) where one of the parameters is fixed as . Similarly, its SM representation (45) is described by the two-parameter family with This theory tends to supersymmetric (or ) in the limit but it does not have the weak coupling region. However, as it was noted in section 6, even in this case the QFT representation (18) is useful because it helps to reconstruct the -matrix. As can be seen from equations given in (19), the currents have the spin and generate supersymmetry. The currents generate symmetry with that fixes -matrix (20).
All known “nice” dual theories do not have the UV divergences in the perturbation theory. In particular, the bulk vacuum energy is UV finite (see (38)). This implies the following equality
[TABLE]
where and are the masses of bosonic and Majorana fermionic particles in the weak coupling region . This condition ensures the vanishing of the one-loop UV divergence in the bulk vacuum energy
[TABLE]
The theory is integrable. This implies the existence of an integrable purely bosonic QFT which is obtained by setting all fermions to zero in the weak coupling region. The simplest examples of such QFT are provided by affine Toda theories, for which the l.h.s. of (120) is known. In the strong coupling (SM) region we expect that some bosonic particles disappear from the spectrum, whereas the stable bosonic particles and Majorana fermions have the same mass and form the multiplet of the group in the numerator of the coset. The dimension of such multiplet equals where is the number of stable bosons. The UV central charge of such QFT is given by These equalities together with (120) put rather rigid restrictions on the “nice” dual theories with affine Toda bosonic part in the weak coupling region.888If we assume that the unstable particles in the weak coupling region are the bound states of fermionic particles and stable particles have the same mass as all fermionic particles (see [22]) we derive for affine Toda QFTs with the affine Lie algebras of rank (or number of bosonic particles) the following results. Namely, . The cases were considered in [22] and in this paper. It is easy to see that for the theories considered in this paper and in [22] they are satisfied.
\mathit{4.}\Here we consider conditions for the existence of an infinite family of integrable QFTs with “nice” duality without assumptions about purely bosonic part and UV convergence in perturbation theory. It means that such QFTs can be described by weak coupling theories in one regime and by slightly deformed SMs on the symmetric spaces in the dual regime. Of course, when we know scattering theory of these QFTs for all values of coupling parameters, the necessary condition can be easily formulated. There should be a point in the space of parameters where the scattering matrix is the identity. If we consider the asymptotically free SMs on the coset spaces with one group in the numerator, the scattering matrix should have the symmetry of this group (or in the case of the principle chiral field) and the particles with minimal mass should belong to some representation of Yangian of (or for principal chiral field) with dimension . Let for real and for complex For QFTs with “nice” duality the particles in the weak coupling region are described by a set of almost free fields in the action. A part of these particles disappears from the spectrum during the evolution from weak to strong coupled QFT. In any case, even if we assume that all particles survive in the strong coupling regime and were described by fermionic fields in the weak coupling regime, we get a rather rough inequality
[TABLE]
This inequality excludes all principle chiral field QFTs, besides and all reasonable coset SMs besides considered in [22], considered in this paper and which will be considered elsewhere.
Acknowledgements
The author is very grateful to Alexey Litvinov for useful discussions and Sergei Alexandrov for kind help in preparation of this manuscript for publication.
Appendix A Explicit expressions for the currents and densities of local
integrals
In this Appendix we provide the expressions for the current for CFT (6) with and the local integrals of motion for QFTs (15) with . We choose the two dimensional vectors (the weights of fundamental representation of ), and one dimensional (the weights of the fundamental representation of ) in the form:
[TABLE]
Then the current has the form
[TABLE]
where The current can be derived from (121) by substitution
The local integral of motion for QFT (15) with is
[TABLE]
here
Appendix B Possible parametrization of SU
In this Appendix we describe the possible parametrization of matrix The generators of can be numerated as with and where are the real diagonal matrices Let then
[TABLE]
The matrix can be written as
[TABLE]
The multipliers in this product can be easily calculated, for example, for and
[TABLE]
where and It is easy to generalize this expression to any multiplier We denote then can be written as
[TABLE]
We note that order of multipliers in this product can be taken arbitrary. It leads to different parametrizations of
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Coleman S., The Quantum Sine-Gordon Equation as the Massive Thirring Model, Phys.Rev. D 11 (1975) 2088-2097
- 2[2] Mandelstam S., Soliton Operators for the Quantized Sine-Gordon Equation, Phys.Rev. D 11 (1975) 3026-3030
- 3[3] Zamolodchikov A., Comm. Math. Phys. 55 (1977) 183-195
- 4[4] Arinstein A., Fateev V. and Zamolodchikov A, Quantum S Matrix of the (1+1)-Dimensional Toda Chain, Phys. Lett. B 89 (1979) 389-395
- 5[5] Braden H., Corrigan E., Dorey P., Sasaki R., Affine Toda Field Theory and Exact S Matrices, Nucl .Phys.B 338 (1990) 689-746
- 6[6] Delius G., Grisaru M., Zanon N., Exact S matrices for nonsimply laced affine Toda theories, Nucl. Phys. B 382 (1992) 365-406, hep/th 9201067
- 7[7] Montonen C., Olive D., Magnetic Monopoles as Gauge Particles, Phys. Lett. B 125 (1977) 117-124
- 8[8] Goddard P., Nuyts J., Olive D., Gauge Theories and Magnetic charge, Nucl. Phys. B 125 (1977) 1-28
