| J. Phys. A: Math. Theor. 41 No 13 (4 April 2008) 1-9 |
| doi:10.1088/1751-8113/41/13/132001 |
| PII: S1751-8113(08)69572-4 |
On the ODE/IM correspondence for minimal models
Patrick Dorey1,2, Clare Dunning3, Ferdinando Gliozzi4 and Roberto Tateo4
1 Department of Mathematical Sciences, Durham University, Durham DH1 3LE, UK
2 Isaac Newton Institute, 20 Clarkson Road, Cambridge CB3 0EH, UK
3 IMSAS, University of Kent, Canterbury CT2 7NF, UK
4 Dip. di Fisica Teorica and INFN, Università di Torino, Via
P Giuria 1, 10125 Torino, Italy
E-mail: p.e.dorey@durham.ac.uk, t.c.dunning@kent.ac.uk, gliozzi@to.infn.it and tateo@to.infn.it
Received 4 January 2008
Published 14 March 2008
| Abstract. Within the framework of the ODE/IM correspondence, we show that the minimal conformal field theories with c < 1 emerge naturally from the monodromy properties of certain families of ordinary differential equations. PACS numbers: 02.30.Hq, 02.30.Ik, 11.25.Hf |
1. Introduction
This note is about a unifying programme, the ODE/IM correspondence, which links two-dimensional conformal field theories and integrable models to the spectral theory of ordinary differential equations. The first instance of this correspondence [1] was based on an identity between the transfer matrix eigenvalues of certain integrable models in their conformal limits [2, 3], and the spectral determinants [4, 5] of second-order ordinary differential equations. Since the initial results of [1] and then [6], the ODE/IM correspondence has been used in various branches of physics ranging from condensed matter [7] to PT-symmetric quantum mechanics [8], and from boundary conformal field theory [9] to the study of non-compact sigma models [10]. It has also been linked with the geometric Langlands correspondence [11]. A recent review containing many more references is [12].
Early examples of the correspondence concerned the ground states of the integrable lattice models, albeit with possibly twisted boundary conditions. In the conformal field theory setting this gave access to primary fields, but not to their descendants. However, in [13] Bazhanov, Lukyanov and Zamolodchikov conjectured that the descendant fields could be found through relatively-simple generalizations of the initial differential equation. The new equations were obtained by modifying the initial potential, which in general has a regular singularity at zero and an irregular singularity at infinity, by introducing a level-dependent number of additional regular singularities in the complex plane, subject to a zero-monodromy condition around these extra singularities, though not about the origin. In this short note we will show that the minimal c < 1 conformal field theories can equivalently be associated with ODEs governed by a trivial monodromy property in the whole complex plane, including the origin. A natural quantization condition on the coefficient of the regular (Fuchsian) singularity at the origin emerges, and since this coefficient is related to the Virasoro vacuum parameter p of [2, 3] this restricts the resulting conformal weights, so as to match precisely the Kac tables of the minimal models
.
2. The c < 1 minimal models
We begin with the basic observation of [1, 6], that the Schrödinger equation
is related to conformal field theory. The Stokes relations associated with (1) imply constraints on its eigenvalues E
{Ei}, given suitable boundary conditions, which coincide with the Bethe Ansatz equations (BAEs) for the twisted six-vertex model in its conformal (c = 1) limit (see, for example, [12]). The same BAEs emerge from the study of c ≤ 1 CFTs in the framework developed by Bazhanov, Lukyanov and Zamolodchikov in [2, 3]. In the notation used in [13], equation (1) encodes the primary field of a Virasoro module with central charge c, vacuum parameter p and highest weight Δ, where
In [14] it was observed that for 2M rational and suitable values of l, the solutions to (1) will all lie on a finite cover of the complex plane, and that this translates into a truncation of the fusion hierarchy [15] of the associated integrable model. This is of particular interest because, for such truncations, the central charges and field contents map to those of the minimal models with c < 1 (see, for example, the discussion in section 3 of [16]). However only the simplest case of 2M integer and l(l + 1) = 0 was discussed explicitly in [14], in part because the general monodromies of solutions are hard to unravel in the presentation (1). One of our aims in this note is to show that a much simpler treatment is possible, from which the Kac tables of minimal model primary fields emerge in a very natural fashion.
Working backwards, we first note that, for any two coprime integers
, the ground state of the minimal model
is found by setting
in (1). This corresponds to the central charge
and (lowest-possible) conformal weight
.
We now observe, as in section 6 of [17], that the l(l + 1)/x2 term in (1) can be eliminated, for this value of l, by the following transformation:
With a further rescaling
, (1) becomes
where
Note that the change of variable has replaced the singular generalized potential
, defined on a multi-sheeted Riemann surface, by a simple polynomial
. In particular, any solution to (5) is automatically single-valued around z = 0, and the truncation of the fusion hierarchy as explained in section 4 of [14] is made much more transparent.
To see which other primary states in the original model might have similarly-trivial monodromy, we keep l real with l + 1/2 > 0, but otherwise arbitrary, and again perform the change of variable (4). The result is now
where
The Fuchsian singularity in (7) at z = 0 means that the equation admits a pair of solutions which generally have the power series expansions
where
and
are the two roots of the indicial equation
A general solution to (7) can be expressed as
, and we shall demand that the transformed ODE should be such that, for arbitrary
, the monodromy of
around z = 0 is projectively trivial, which is to say that
This condition ensures that the eigenvalues obtained by imposing the simultaneous decay of solutions in a pair of asymptotic directions at infinity are independent of the path of analytic continuation between these two directions. We shall show that the condition imposes the following constraints on
:
As a consequence we shall see that, as
runs over its `allowed' values, the rational numbers
precisely reproduce the set of conformal weights of the primary states lying in the Kac table of the minimal model
. Figures 1 and 2 illustrate the story for the Ising and Yang–Lee cases.

Figure 1. The holes (open circles) in the infinite sequence of integers defined in (12) for the critical Ising model
. The holes are at 1, 2 and 5; the resulting conformal weights according to (13) are also shown, matching the primary field content of the Ising model. |

Figure 2. Holes for the Lee–Yang model
, at 1 and 3. Notation as in figure 1. |
To establish these claims we first note that the requirement that the general solution y(z) be projectively trivial means that χ1(z) and χ2(z) must have the same monodromy, which implies that the two roots of the indicial equation must differ by an integer
This in turn restricts
to be an integer or half integer, so that, naïvely, the allowed solutions are even or odd under a 2π rotation around z = 0. However it is well known that in such a circumstance, while χ1(z) keeps its power series expansion (9), χ2(z) generally acquires a logarithmic contribution:
Unless D = 0, this will spoil the projectively trivial monodromy of y(z). We now show that D = 0 if and only if
obeys the constraint (ii). In fact the logarithmic term is only absent when the recursion relations for dn's with D = 0 admit a solution. These relations are
with the initial conditions d0 = 1, dm<0 = 0.
Consider first the situation when
. Then, starting from the given initial conditions, the recursion relation (16) generates a solution of the form
where the only nonzero dn's are those for which the label n lies in the set
. Given that
, for these values of n the factor
on the lhs of (16) is never zero, and hence this procedure is well defined.
If instead
, then equation (16) taken at
yields the additional condition
which is inconsistent for generic
, and so the logarithmic term is required1Note1.
Given the characterization (12) of
, the set
of non-negative integers can be written as a disjoint union
where
is the set of `nonrepresentable' integers. If the coprime integers
and
are larger than 1 then
is non-empty; in fact
, a result which goes back to Sylvester [18].
To characterize
more precisely, we start with the fact that given two coprime integers
and
, any integer n can be written as
This is a classical result of number theory. An intuitive proof uses Euclid's algorithm for the greatest common divisor of two integers. Alternatively one can invoke the Euler totient function
2Note2 and the following theorem (see, for example, [19])
which implies that
for some integer h. This immediately yields the solution
. However, for any given n, this is not the only possibility. More precisely, we have
for some other pair of integers (s, t) if and only if
for some
. This is easily proved: rearrange (20) as
Since
must be a factor of s0 – s and so
for some k. Dividing (22) by
then shows that
, as required. Hence the possible representatives for each integer n constitute the line of points
. For n to be a positive integer,
, or
. If none of these points has both coordinates non-negative, then the corresponding n will be in
. To keep t non-negative while making s as large as possible, we shift t by a multiple of
so that
. If s is still negative, then n will be in
. The numbers we want are therefore represented by the points
Negating t, the allowed (trivial monodromy) values of
are therefore
Figure 3 illustrates the argument.

Figure 3. A graphical representation of the nonrepresentable integers for
. The elements of
correspond to the four unshaded points. Three of the lines
have also been shown; each such line contains exactly one point in the region
between the two dotted horizontal lines. |
Substituting back using (8) and (2), the allowed values for the conformal weights Δ precisely reproduce the Kac table for the minimal model
:
It is striking that the full Kac table should emerge from such a simple consideration of the monodromy properties of the transformed differential equation (7). Finally, note that everything is symmetric in
and
so the same result can be obtained by starting from
instead.
Another way to characterize
is through the generating function
It is straightforward to show that such a rational function is actually a polynomial, because all the zeros of the denominator are cancelled by zeros of the numerator; we would like to show that
To see this, first note that Taylor expanding
yields
In order to get rid of the unknown cn's, we combine the trivial identity
with the similar one for
to write
As a consequence the generating function of representable integers is
Therefore the difference
is the sought after formula (27).
Before concluding this section we would like to mention that there is another ODE that can be associated with the same series of minimal models. This is the so-called A(2)2 description, related to
12,
21 and
15 perturbations [20]. After a simple change of variable, the relevant third-order
12-related ODE can be cast into the form
Swapping
and
gives the
21-related ODE, while replacing
with
and
with
yields the
15 equation. In all cases, the indicial equation is
The zero relative monodromy condition among the three solutions to (33) requires
to be a (positive) integer, and to avoid logarithmic terms we should also simultaneously impose the following two conditions:
with s, t = 0, 1, 2, .... For
odd, it is easy to check that equations (35) lead to the same set of integers as the su(2)-related case discussed above, while only a subset is recovered for
even. For the
21-related case, the opposite situation occurs: for
even the full Kac table is recovered, while for
odd only a subset is found.
3. Further generalizations and conclusions
There are many possible generalizations of the above results. The existence of a simpler version, equation (7), of the basic ODE for minimal CFTs is not restricted to c < 1 Virasoro models, but generalizes to the higher su(2) coset CFTs of [21] and to the ABCD-related theories of [22]. The pseudo-differential equations listed in section 3 of [22] include the minimal models
at fractional level
with
, and u = 1, 2, ... (using the notation of appendix 18.B of [23]). We checked that after simple changes of variable, these equations reduce to equations similar in form to the originals, but for a change in the `potential', as follows:
It is striking that when both L and K are integers the CFT is unitary and W(K,L)(z) simplifies further to
Equation (38) motivates some simple comments and speculations. First we observe that the K
L invariance of (36) manifests itself in (38) as a shift in z. As a consequence of this symmetry, lateral quantization problems for the ground-state ODEs and the associated Stokes multipliers are, up to
, invariant under the exchange of L and K. However, this symmetry is explicitly broken in equations with extra Fuchsian singularities as in (7). A possible remedy is to treat the points z = 0 and
more democratically. For instance, in unitary models the symmetry is globally restored after the addition of a second singularity at
, ensuring that the set of ODEs for the primary fields in a given CFT is mapped into itself by the transformation. We suspect that a similar modification may also resolve the problem of the missing states in the A(2)2 example discussed at the end of section 2.
A further possibility is suggested by equation (38). Consider the following multi-parameter generalization of (38):
where the constants ei (i = 1, 2 ..., K + L – 1) are free parameters. To keep the discussion brief, we shall restrict attention to the ground-state equation for L + K = 3 and
= su(2). Then if e1 = 0 and
the corresponding ODE is related to the tricritical Ising model
, while for
the equation corresponds to
. Therefore this simple two-parameter model interpolates smoothly between equations associated with
and
. This phenomenon has a counterpart in the homogeneous sine-Gordon model corresponding to integrable perturbations of the
coset model. The thermodynamic Bethe ansatz (TBA) equations for this model [24, 25] have two independent scale parameters μ1 and μ2. If one of these parameters is set to zero, the TBA equations reduce to those for
[26], while for μ1 = μ2 the TBA equations map into a pair of identical equations for
[27]. This, and other simple considerations, suggest that ODEs with multi-parameter potentials of the form (39) may have an interesting interpretation in terms of conformal field theory. Much more work will be needed in order to give this observation a more solid grounding, but we feel that it will be an interesting direction for future exploration.
Acknowledgments
We are very grateful to Junji Suzuki and Edward Frenkel for useful conversations. We would also like to take this opportunity to acknowledge the great debt over many years that our whole subject owes to Aliocha Zamolodchikov, of whose untimely passing we heard while working on this paper. PED and TCD thank Torino University and the INFN for hospitality at the beginning of this project, and PED thanks the Isaac Newton Institute for hospitality at the end. This project was also partially supported by grants from the Nuffield Foundation, grant number NAL/32601, and from the Leverhulme Trust.
References
-symmetric quantum mechanics J. Phys. A: Math. Gen. 34 5679 (Preprint hep-th/0103051)
Notes
. This rescaling leads to a more general version of (16):
with
. Then for the particular choice
, one can see that
and
must have the same sign for
; hence, they cannot cancel identically.
denotes the number of coprimes with
in the set
.
Patrick Dorey et al 2008 J. Phys. A: Math. Theor. 41 132001
A K Kazansky and N M Kabachnik 2009 J. Phys. B: At. Mol. Opt. Phys. 42 121002
F. K. Liu et al 2009 ApJ 706 L133
Chris M Field et al 2008 J. Phys. A: Math. Theor. 41 332005
I. Shlimak et al 2008 EPL 82 47001
Stephen L Adler 2008 J. Phys. A: Math. Theor. 41 412002
C. M. Lisse et al. 2009 ApJ 701 2019
S S Sridharamurthy et al 2008 Smart Mater. Struct. 17 012001
J K Pachos et al 2009 New J. Phys. 11 083010
M Tsunekawa et al 2008 New J. Phys. 10 073005