Old and New Reductions of Dispersionless Toda Hierarchy
This paper is focused on geometric aspects of two particular types of finite-variable reductions in the dispersionless Toda hierarchy. The reductions are formulated in terms of ''Landau-Ginzburg potentials'' that play the role of reduced Lax functions. One of them is a generaliza...
Saved in:
| Published in: | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Date: | 2012 |
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Інститут математики НАН України
2012
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/149183 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Old and New Reductions of Dispersionless Toda Hierarchy / K. Takasaki // Symmetry, Integrability and Geometry: Methods and Applications. — 2012. — Т. 8. — Бібліогр.: 37 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860007178314711040 |
|---|---|
| author | Takasaki, K. |
| author_facet | Takasaki, K. |
| citation_txt | Old and New Reductions of Dispersionless Toda Hierarchy / K. Takasaki // Symmetry, Integrability and Geometry: Methods and Applications. — 2012. — Т. 8. — Бібліогр.: 37 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | This paper is focused on geometric aspects of two particular types of finite-variable reductions in the dispersionless Toda hierarchy. The reductions are formulated in terms of ''Landau-Ginzburg potentials'' that play the role of reduced Lax functions. One of them is a generalization of Dubrovin and Zhang's trigonometric polynomial. The other is a transcendental function, the logarithm of which resembles the waterbag models of the dispersionless KP hierarchy. They both satisfy a radial version of the Löwner equations. Consistency of these Löwner equations yields a radial version of the Gibbons-Tsarev equations. These equations are used to formulate hodograph solutions of the reduced hierarchy. Geometric aspects of the Gibbons-Tsarev equations are explained in the language of classical differential geometry (Darboux equations, Egorov metrics and Combescure transformations). Flat coordinates of the underlying Egorov metrics are presented.
|
| first_indexed | 2025-12-07T16:39:41Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 8 (2012), 102, 22 pages
Old and New Reductions
of Dispersionless Toda Hierarchy?
Kanehisa TAKASAKI
Graduate School of Human and Environmental Studies, Kyoto University,
Yoshida, Sakyo, Kyoto, 606-8501, Japan
E-mail: takasaki@math.h.kyoto-u.ac.jp
URL: http://www.math.h.kyoto-u.ac.jp/~takasaki/
Received June 06, 2012, in final form December 15, 2012; Published online December 19, 2012
http://dx.doi.org/10.3842/SIGMA.2012.102
Abstract. This paper is focused on geometric aspects of two particular types of finite-
variable reductions in the dispersionless Toda hierarchy. The reductions are formulated in
terms of “Landau–Ginzburg potentials” that play the role of reduced Lax functions. One
of them is a generalization of Dubrovin and Zhang’s trigonometric polynomial. The other
is a transcendental function, the logarithm of which resembles the waterbag models of the
dispersionless KP hierarchy. They both satisfy a radial version of the Löwner equations.
Consistency of these Löwner equations yields a radial version of the Gibbons–Tsarev equa-
tions. These equations are used to formulate hodograph solutions of the reduced hierarchy.
Geometric aspects of the Gibbons–Tsarev equations are explained in the language of classi-
cal differential geometry (Darboux equations, Egorov metrics and Combescure transforma-
tions). Flat coordinates of the underlying Egorov metrics are presented.
Key words: dispersionless Toda hierarchy; finite-variable reduction; waterbag model; Lan-
dau–Ginzburg potential; Löwner equations; Gibbons–Tsarev equations; hodograph solution;
Darboux equations; Egorov metric; Combescure transformation; Frobenius manifold; flat
coordinates
2010 Mathematics Subject Classification: 35Q99; 37K10; 53B50; 53D45
1 Introduction
The notion of finite-variable reductions in dispersionless integrable hierarchies [24] has rich ge-
ometric contents that range from the classical differential geometry of orthogonal curvilinear
coordinates [10] to the modern theory of Frobenius manifolds [12]. Moreover, the Löwner equa-
tions [25], first introduced to solve the Bieberbach conjecture in the univalent function theory,
also play a fundamental role in this issue. In this paper, we consider the dispersionless Toda
hierarchy [31]. Although a general scheme of finite-variable reductions in this case is already
established [6, 26, 33, 34], finding interesting examples is another issue. We here report two
examples, one being a generalization of an “old” example, and the other being a “new” one.
These examples turn out to fit well into the aforementioned geometric perspectives. We believe
that these examples have their own interesting features, part of which will be presented later on.
As in the case of other dispersionless integrable systems [24], a finite-variable reduction
of the dispersionless Toda hierarchy can be characterized by a globally defined reduced Lax
function λ(p). Borrowing the terminology of topological field theories [11], let us call this
reduced Lax function a “Landau–Ginzburg potential”1. The two examples addressed in this
paper have Landau–Ginzburg potentials of the following form:
?This paper is a contribution to the Special Issue “Geometrical Methods in Mathematical Physics”. The full
collection is available at http://www.emis.de/journals/SIGMA/GMMP2012.html
1This is somewhat problematical, because there is no guarantee that the reduced Lax function has an associated
topological field theory or a Frobenius manifold.
mailto:takasaki@math.h.kyoto-u.ac.jp
http://www.math.h.kyoto-u.ac.jp/~takasaki/
http://dx.doi.org/10.3842/SIGMA.2012.102
http://www.emis.de/journals/SIGMA/GMMP2012.html
2 K. Takasaki
Case I:
λ(p) = p−N
M∏
i=1
(p− bi)κi , where
M∑
i=1
κi −N > 0, κi 6= 0, N 6= 0. (1.1)
Case II:
λ(p) =
M∏
i=1
(p− bi)κi exp
(
N∑
k=1
ckp
−k
)
, where
M∑
i=1
κi > 0, κi 6= 0, N > 0. (1.2)
(1.1) is a generalization of the well known trigonometric Landau–Ginzburg potential studied
by Dubrovin and Zhang [16]. Dubrovin and Zhang’s Landau–Ginzburg potential corresponds
to the case where N > 0 and κ1 = · · · = κM = 1. This case contains, as particular examples,
the dispersionless limit of the 1D Toda and bigraded Toda hierarchies [5]. By allowing κi’s
and N to take negative values, we can include therein, for example, the dispersionless limit of
the Ablowitz–Ladik hierarchy [1] and its possible generalizations as well. Thus this apparently
“old” case itself deserves to be studied in detail.
(1.2) is presumably a new example that has never been studied in the literature. This Landau–
Ginzburg potential is not a rational function of p. In this respect, (1.2) is conceptually similar
to the so called “waterbag” models that, too, have irrational Landau–Ginzburg potentials. The
waterbag models were first presented in the celebrated work of Gibbons and Tsarev [21, 22]
on reductions of the Benney hierarchy, and have been further studied in the dispersionless KP
hierarchy from various points of view [2, 7, 8, 20, 28]. In the most general formulation presented
by Ferguson and Strachan [20], the Landau–Ginzburg potential is a sum of a polynomial and
logarithmic terms of the following form
λ(p) = pN +
N∑
k=2
ckp
N−2 +
M∑
i=1
κi log(p− bi). (1.3)
Analogy with the waterbag models becomes more manifest in the logarithmic form
log λ(p) =
M∑
i=1
κi log(p− bi) +
N∑
k=1
ckp
−k (1.4)
of (1.2), which takes almost the same form as (1.3) except that the (Laurent) polynomial part
of the latter is a polynomial in p−1.2 In this sense, one may think of (1.2) as a variation of the
waterbag models.
Let us mention that there are a few proposals of waterbag models for the dispersionless
Toda hierarchy. The earliest one is Yu’s model [37]3. Seemingly unaware of Yu’s work, Chang
proposed three types of waterbag models [9]. (1.1) is a slight generalization of Chang’s first
model (which amounts to the case where N = −1, and for which Chang considered a Frobenius
structure). Chang’s second and third models are actually a generalization of Yu’s model. The
logarithmic expression (1.4) of our second case resembles Chang’s second and third models. We,
however, feel that the exponentiated form (1.2) is more natural than the logarithmic expression.
2Another delicate difference is that the polynomial part of (1.3) is monic (namely, the coefficient of the highest
degree term is 1) and has no next-highest degree term. In contrast, the (Laurent) polynomial part of (1.4) is not
monic, and has no constant term.
3Actually, Yu considered a dispersionless limit of the discrete KP hierarchy. This hierarchy is a subsystem
of the dispersionless Toda hierarchy, and one can readily translate Yu’s waterbag model to the language of the
latter.
Old and New Reductions of Dispersionless Toda Hierarchy 3
This paper is organized as follows. Section 2 is devoted to the Lax formalism. We show, by
a direct method, that (1.1) and (1.2) give consistent reductions of the Lax equations of the dis-
persionless Toda hierarchy. The two-variable cases turn out to contain some well known (as well
as new) dispersionless integrable hierarchies. Section 3 is focused on the Löwner equations and
the associated Gibbons–Tsarev equations. The Löwner equations relevant to the dispersionless
Toda hierarchy are a “radial” version of the “chordal” Löwner equations in the aforementioned
work of Gibbons and Tsarev [21, 22]. We show that (1.1) and (1.2) satisfy the radial Löwner
equations, and use these equations to formulate the generalized hodograph method [35, 36] for
these reductions. Section 4 presents some geometric implications of the Gibbons–Tsarev equa-
tions in the language of Darboux equations, Egorov metrics and Combescure transformations.
We show that three particular Egorov metrics underlie the radial Gibbons–Tsarev equations.
Section 5 deals with flat coordinates of the Egorov metrics. Results in this section is somewhat
restrictive. We encounter difficulties in generalizing the dual pair of Frobenius structures of
Dubrovin and Zhang [16] to the more general Landau–Ginzburg potential (1.1). Moreover, we
can construct only a single Frobenius structure without a dual for the Landau–Ginzburg poten-
tial (1.2). The method and the result for the latter, however, exhibits remarkable similarities
with the work of Ferguson and Strachan [20].
2 Lax equations
2.1 Lax formalism of dispersionless Toda hierarchy
The Lax equations of the dispersionless Toda hierarchy [31] are formulated by two Lax func-
tions4 z(p), z̄(p) of a spatial variable s, a momentum variable p, and two sets of time variables
t = (t1, t2, . . .) and t̄ = (t̄1, t̄2, . . .).
5 p is a “classical limit” of the shift operator e∂/∂s that
satisfies the twisted canonical commutation relation[
e∂/∂s, s
]
= e∂/∂s.
In the classical (or “long-wave”) limit, this commutation relation turns into the Poisson com-
mutation relation
{p, s} = p.
This Poisson bracket can be extended to arbitrary functions of s and p as
{f, g} = p
(
∂f
∂p
∂g
∂s
− ∂f
∂s
∂g
∂p
)
.
In the most general formulation, the Lax functions z(p) and z̄(p) are understood to be
mutually independent formal Laurent series of p of the form
z(p) = p+ u1 + u2p
−1 + · · · , z̄(p) = ū0p
−1 + ū1 + ū2p+ · · · .
The coefficients un = un(s, t, t̄) and ūn = ūn(s, t, t̄) are dynamical variables. The leading
coefficient ū0 is assumed to take the exponential form
ū0 = eφ, φ = φ(s, t, t̄).
4z and z̄ amount to L and L̄−1 in our previous notations [31].
5Throughout this paper, the overline “ ¯ ” does not mean complex conjugation. For example, tn and t̄n are
independent variables.
4 K. Takasaki
Let us define the polynomials Bn(p) and B̄n(p) in p, p−1 as
Bn(p) = (z(p)n)≥0, B̄n(p) = (z̄(p)n)<0,
where ( )≥0 and ( )<0 are projection operators acting on the linear space of Laurent series as( ∞∑
n=−∞
anp
n
)
≥0
=
∑
n≥0
anp
n,
( ∞∑
n=−∞
anp
n
)
<0
=
∑
n<0
anp
n.
Time evolutions are generated by the Lax equations
∂z(p)
∂tn
= {Bn(p), z(p)}, ∂z(p)
∂t̄n
= {B̄n(p), z(p)},
∂z̄(p)
∂tn
= {Bn(p), z̄(p)}, ∂z̄(p)
∂t̄n
= {B̄n(p), z̄(p)}. (2.1)
It is convenient to introduce the complementary generators
Bc
n(p) = (z(p)n)<0, B̄c
n(p) = (z̄(p)n)≥0
as well. The Lax equations can be thereby rewritten as
∂z(p)
∂tn
= {z(p), Bc
n(p)}, ∂z(p)
∂t̄n
= {z(p), B̄c
n(p)},
∂z̄(p)
∂tn
= {z̄(p), Bc
n(p)}, ∂z̄(p)
∂t̄n
= {z̄(p), B̄c
n(p)}. (2.2)
2.2 Landau–Ginzburg potential as reduced Lax function
We now specialize the Lax equations to the case where the formal (or local) Lax functions z(p)
and z̄(p) are linked with the globally defined Landau–Ginzburg potential λ(p) as follows:
(I) For the Landau–Ginzburg potential (1.1),
z(p) = λ(p)1/M̃ as p→∞, z̄(p) = λ(p)1/N as p→ 0,
where M̃ =
M∑
i=1
κi −N . Recall that M̃ is assumed to be positive. N can be both positive
and negative.
(II) For the Landau–Ginzburg potential (1.2),
z(p) = λ(p)1/M̃ as p→∞, z̄(p) = (log λ(p))1/N as p→ 0,
where M̃ =
M∑
i=1
κi. Recall that M̃ and N is assumed to be positive.
The Lax equations (2.1) and its complementary form (2.2) thus reduce to the Lax equations
∂λ(p)
∂tn
= {Bn(p), λ(p)} = {λ(p), Bc
n(p)},
∂λ(p)
∂t̄n
= {B̄n(p), λ(p)} = {λ(p), B̄c
n(p)} (2.3)
for λ(p). We can confirm that this is a consistent reduction procedure in the following sense.
Old and New Reductions of Dispersionless Toda Hierarchy 5
Theorem 1. The Lax equations (2.3) are equivalent to a system of first order evolutionary
equations of the form
∂bi
∂tn
= Fin,
∂bi
∂t̄n
= F̄in
for the Landau–Ginzburg potential (1.1) and
∂bi
∂tn
= Fin,
∂ck
∂tn
= Gkn,
∂bi
∂t̄n
= F̄in,
∂ck
∂t̄n
= Ḡkn
for the Landau–Ginzburg potential (1.2), where Fin, F̄in, etc. are functions of b1, . . . , bM , c1,
. . . , cN and their first order derivatives with respect to s.
Proof. Since the two cases can be treated in the same way, let us consider the Case II only.
We can rewrite the Lax equations (2.3) in terms of log λ(p) as
∂ log λ(p)
∂tn
= {Bn(p), log λ(p)} = {log λ(p), Bc
n(p)},
∂ log λ(p)
∂t̄n
= {B̄n(p), log λ(p)} = {log λ(p), B̄c
n(p)}.
The left hand side are linear combinations of 1/(p− bi)’s and p−k’s:
∂ log λ(p)
∂tn
= −
M∑
i=1
∂bi
∂tn
κi
p− bi
+
N∑
k=1
∂ck
∂tn
p−k,
∂ log λ(p)
∂t̄n
= −
M∑
i=1
∂bi
∂t̄n
κi
p− bi
+
N∑
k=1
∂ck
∂t̄n
p−k.
Since Bn(p) and B̄n(p) are polynomials in p and p−1, the right hand sides are rational functions
of p. Actually, because of the two complementary expressions, they turn out to be linear
combinations of 1/(p− bi)’s and p−k’s. For example, {Bn(p), log λ(p)} can be expanded as
{Bn(p), log λ(p)} =
M∑
i=1
{Bn(p), κi log(p− bi)}+
N∑
k=1
{
Bn(p), ckp
−k}
=
M∑
i=1
p
(
−∂Bn(p)
∂p
∂bj
∂s
κi
p− bi
− ∂Bn(p)
∂s
κi
p− bi
)
+
N∑
k=1
p
(
∂Bn(p)
∂p
∂ck
∂s
p−k +
∂Bn(p)
∂s
kckp
−k−1
)
,
which has first order poles at p = bi, an N -th order pole at p = 0 and no poles in the finite part
of the Riemann sphere. On the other hand, since Bc
n(p) = O(p−1) as p → ∞, the complemen-
tary expression {log λ(p), Bc
n(p)} is also O(p−1). Consequently, the right hand side of the Lax
equation is a rational function of the form
{Bn(p), log λ(p)} = {log λ(p), Bc
n(p)} =
M∑
i=1
κiFin
p− bi
+
N∑
k=1
Gknp
−k,
where Fin’s and Gin’s are functions of bi’s, ck’s and their first order derivatives with respect
to s. Thus the Lax equations reduce to evolution equations as stated in the theorem. �
6 K. Takasaki
2.3 Examples: two-variable reductions
The simplest nontrivial cases are two-variable reductions. They contain the following old and
new examples of integrable hierarchies.
(i) Landau–Ginzburg potential (1.1) with N = 1, M = 2, κ1 = κ2 = 1:
λ(p) = p−1(p− b1)(p− b2) = p+ b+ cp−1.
This is the reduced Lax function of the dispersionless 1D Toda hierarchy. It is well known
that this hierarchy plays a fundamental role in a wide range of issues of mathematical
physics. In a literal sense, this Laurent polynomial is used for the Landau–Ginzburg (or
“mirror”) description of the topological sigma model of CP1 [17, 18]. The associated
Frobenius structure is also a significant example of Dubrovin’s duality [13, 29].
(ii) Landau–Ginzburg potential (1.1) with N = −1, M = 2, κ1 = 1, κ2 = −1:
λ(p) = p
p− b
p− c
. (2.4)
This is the reduced Lax function of the dispersionless Ablowitz–Ladik hierarchy. This
hierarchy and the dispersive version have found new applications in universality classes of
nonlinear waves [15] and local Gromov–Witten invariants of the resolved conifold [3, 4].
(iii) Landau–Ginzburg potential (1.2) with N = M = 1, κ1 = 1:
λ(p) = (p− b) exp
(
cp−1
)
.
This seems to give a new dispersionless integrable hierarchy.
As regards the third example, one can further impose the condition b = 0 and obtain a hier-
archy with the reduced Lax function
λ(p) = p exp
(
cp−1
)
.
This is an interesting case in itself, because the inverse function of λ(p) is Lambert’s W -function
that plays a role in the theory of Hurwitz numbers (see our previous paper [30] and references
cited therein). This “one-variable reduction” can be generalized to Landau–Ginzburg potentials
of the form
λ(p) = pM exp
(
N∑
k=1
ckp
−k
)
, (2.5)
where M is an arbitrary positive integer. They should be classified as “Case III”, though we
shall not pursue this case in this paper.
3 Löwner equations
3.1 General scheme of finite-variable reductions
According to the general scheme [6, 26, 33, 34], finite-variable reductions of the dispersionless
Toda hierarchy are characterized by the equations
∂z(p)
∂λn
=
αnp
p− γn
∂z(p)
∂p
,
∂z̄(p)
∂λn
=
αnp
p− γn
∂z̄(p)
∂p
(3.1)
Old and New Reductions of Dispersionless Toda Hierarchy 7
(referred to as “Löwner equations” in the following) for the reduced Lax functions
z(p) = z(p;λ1, . . . , λK), z̄(p) = z̄(p;λ1, . . . , λK). (3.2)
These equations are a variant of the radial Löwner equations that were first introduced by
Löwner [25].
The reduced Lax functions depend on the space-time variables through the reduced dynamical
variables λn = λn(s, t, t̄). The reduced dynamical variables, in turn, are required to satisfy the
“hydrodynamic system”
∂λn
∂tk
= Vkn
∂λn
∂s
,
∂λn
∂t̄k
= V̄kn
∂λn
∂s
. (3.3)
The “characteristic speeds” Vkn = Vkn(λ1, . . . , λK) and V̄kn = V̄kn(λ1, . . . , λK) are defined as
Vkn = γnB
′
k(γn), V̄kn = γnB̄
′
k(γn),
where the prime denotes the derivative, i.e., B′k(p) = ∂Bk(p)/∂p and B̄′k(p) = ∂B̄k(p)/∂p. Since
B1(p) = p+ u1, the characteristic speeds for the t1-flow coincides with γn:
V1n = γn.
Thus, once the reduced Lax functions are given as a solution of the Löwner equations, the
Lax equations are transformed to the hydrodynamic system (3.3) for the “Riemann invariants”
λ1, . . . , λK . A precise statement of this fact reads as follows [6, 26, 33, 34]:
Theorem 2. If z(p) and z̄(p) satisfy the Löwner equations (3.6) with respect to λn’s, and λn’s
satisfy the hydrodynamic system (3.3) with respect to the space-time variables, then z(p) and z̄(p)
satisfy the Lax equations (2.1) with respect to the space-time variables.
αn’s and γn’s in (3.1) are functions of (λ1, . . . , λK) to be determined in the reduction pro-
cedure. Note that they are not arbitrary functions. Consistency of (3.1) yield the differential
equations
∂γn
∂λm
=
αmγn
γm − γn
,
∂αn
∂λm
=
αmαn(γm + γn)
(γm − γn)2
, m 6= n, (3.4)
which are referred as “Gibbons–Tsarev equations” or, more precisely, “radial Gibbons–Tsarev
equations”. These equations are a radial version of the celebrated Gibbons–Tsarev equa-
tions [21, 22] (see the remarks below).
It is interesting that the product and quotient of αn, γn satisfy the following equations
∂
∂λm
(αnγn) =
2(αmγm)(αnγn)
(γm − γn)2
,
∂
∂λm
(
αn
γn
)
=
2γmγn
(γm − γn)2
αm
γm
αn
γn
.
The right hand side of these equations are symmetric with respect to m and n. This implies the
existence of potentials.
It is easy to identify these potentials. Expands both hand sides of (3.1) into Laurent series
at p = ∞ and pick out the p1 and p2 terms from the first equation and the p0 terms from the
second equation. One can thus find the relations
αn =
∂u1
∂λn
, αnγn =
∂u2
∂λn
,
αn
γn
=
∂φ
∂λn
, (3.5)
8 K. Takasaki
which show that u1, u2 and φ = log ū0 play the role of potentials. By the first expression of αn
in (3.5), one can rewrite (3.1) as
∂z(p)
∂λn
=
pz′(p)
p− γn
∂u1
∂λn
,
∂z̄(p)
∂λn
=
pz̄′(p)
p− γn
∂u1
∂λn
. (3.6)
It is these equations that can be obtained directly from the Lax equations under the finite-
variable ansatz (3.2).
The problem is now converted to solving (3.3). This problem can be treated by the generalized
hodograph method [35, 36].
Remark 1. The original form of the Gibbons–Tsarev equations [21, 22] read
∂γn
∂λm
=
αn
γm − γn
,
∂αn
∂λm
=
2αmαn
(γm − γn)2
. (3.7)
They are integrability conditions of the chordal Löwner equations
∂z(p)
∂λn
=
αn
p− γn
∂z(p)
∂p
for the Lax function
z(p) = p+ u2p
−1 + · · ·
of the Benney hierarchy or, more generally, of the dispersionless KP hierarchy [27]. Note that
the u1-term is absent here, and u2 plays the role of a potential for the coefficients αn
αn =
∂u2
∂λn
.
Remark 2. Ferapontov et al. [19] presented the radial Gibbons–Tsarev equations (3.4) (written
in a trigonometric form) in their work on finite-variable reductions of the Boyer–Finley equation.
The Boyer–Finley equation is the lowest 2D part of the dispersionless Toda hierarchy.
3.2 Hodograph solutions
The generalized hodograph method [35, 36] is based on the fact that the characteristic speeds
satisfy the equations
1
Vkm − Vkn
∂Vkn
∂λm
=
1
V̄km − V̄kn
∂V̄kn
∂λm
=
αmγn
(γm − γn)2
(3.8)
for k = 1, 2, . . .. Note that these equations include the special case
1
γm − γn
∂γn
∂λm
=
αmγn
(γm − γn)2
(3.9)
associated with V1n = γn. One can derive these equations directly from the definition of Bk(p)
and B̄k(p) [26] (see the remarks below) or by generating functions of these polynomials [6, 33].
Having these equations, one can readily apply the generalized hodograph method to the hydro-
dynamic system (3.3) as follows [26, 33, 34]:
Old and New Reductions of Dispersionless Toda Hierarchy 9
Theorem 3. If a set of functions Fn = Fn(λ1, . . . , λK) satisfy the equations
1
Fm − Fn
∂Fn
∂λm
=
αmγn
(γm − γn)2
(3.10)
and the non-degeneracy condition
det
(
∂Fn
∂λm
)
m,n=1,...,K
6= 0,
then a solution of the hydrodynamic system (3.3) can be obtained from the hodograph relations
s+
∑
k≥1
tkVkn +
∑
k≥1
t̄kV̄kn = Fn, n = 1, . . . ,K,
as a K-tuple of implicit functions λn = λn(s, t, t̄), n = 1, . . . ,K, in a neighborhood of (t, t̄) =
(0,0).
Remark 3. The characteristic speeds Vkn and V̄kn have the contour integral representation
Vkn = −γn
∮
z(p)n
(p− γn)2
dp
2πi
, V̄kn = −γn
∮
z̄(p)n
(p− γn)2
dp
2πi
,
where the contours encircle p =∞ and p = 0, respectively, leaving γn outside. One can use the
Löwner equations and the Gibbons–Tsarev equations to differentiate these contour integrals.
Thus, after some algebra, one can derive (3.8).
Remark 4. Solutions of (3.10), too, can be obtained as contour integrals. For example, arbitrary
linear combinations of Vkn and V̄kn, which are obvious solutions of (3.10), can be cast into
a contour integral of the form
Fn = γn
∮
F1(z(p))
(p− γn)2
dp
2πi
+ γn
∮
F2(z̄(p))
(p− γn)2
dp
2πi
,
where F1(p) and F2(p) are arbitrary (analytic) functions. If z(p) and z̄(p) are obtained from
a globally defined Landau–Ginzburg potential λ(p), one can unify the two integrals to a single
integral
Fn = γn
∮
C
F (λ(p))
(p− γn)2
dp
2πi
along a general cycle C in the domain of definition of F (λ(p)). This gives a more general solution
of (3.10) as Ferapontov et al. [19] pointed out in their formulation.
3.3 Löwner equations for Landau–Ginzburg potentials
If the Lax functions z(p) and z̄(p) are reduced to a single Landau–Ginzburg potential λ(p), the
Löwner equations (3.1) for the Lax functions, too, are reduced to the equations
∂λ(p)
∂λn
=
αnp
p− γn
∂λ(p)
∂p
(3.11)
for λ(p).
We show below that the Landau–Ginzburg potentials (1.1) and (1.2) do satisfy these equa-
tions. The relevant variables λn are the critical values of λ(p), i.e., the values of λ(p) at the
critical points γn’s,
λn = λ(γn), λ′(γn) = 0, n = 1, . . . ,K, (3.12)
10 K. Takasaki
where K = M in the case of (1.1) and K = M +N in the case of (1.2). We choose these λn’s as
new coordinates on the parameter space of λ(p), and treat λ(p) as a function λ(p;λ1, . . . , λK)
of p and λn’s.
Let us show a few technical remarks.
Lemma 1.
∂λ(p)
∂λm
∣∣∣∣
p=γn
= δmn. (3.13)
Proof. By the definition (3.12) of λn’s and the chain rule of differentiation,
δmn =
∂λn
∂λm
=
∂λ(p)
∂λm
∣∣∣∣
p=γn
+ λ′(γm) =
∂λ(p)
∂λm
∣∣∣∣
p=γn
. �
Lemma 2. If the Löwner equations (3.11) are satisfied, the coefficients αn are uniquely deter-
mined by the equations themselves as
αn =
1
γnλ′′(γn)
. (3.14)
Proof. Let p → γn in (3.11). By (3.13), the left hand side tends to 1. As regards the right
hand side,
lim
p→γn
αnp
p− γn
∂λ(p)
∂p
= αnγn lim
p→γn
λ′(p)
p− γn
= αnγnλ
′′(γn). �
Bearing these technical remarks in mind, let us examine the two cases separately.
Case I. It is convenient to consider the logarithmic derivative, rather than the derivative, of
the Landau–Ginzburg potential (1.1):
∂ log λ(p)
∂p
= −N
p
+
M∑
i=1
κi
p− bi
=
Q(p)
p
∏M
i=1(p− bi)
. (3.15)
The numerator Q(p) is a polynomial of the form
Q(p) = M̃pM + · · · .
We assume that Q(p) has M distinct zeroes γn, n = 1, . . . ,M ,
Q(p) = M̃
M∏
n=1
(p− γn), γm 6= γn for m 6= n.
From now on, λ(p) is understood to be a function of p and λn’s. The parameters bi’s, too,
become functions of λn’s. The derivative of log λ(p) with respect to λm can be expressed as
∂ log λ(p)
∂λm
= −
M∑
i=1
κi
p− bi
∂bi
∂λm
=
Qm(p)∏M
i=1(p− bi)
, (3.16)
where Qm(p) is a polynomial of degree less than M . (3.15) and (3.16) imply the equality
∂ log λ(p)
∂λm
=
Qm(p)p
Q(p)
∂ log λ(p)
∂p
.
Old and New Reductions of Dispersionless Toda Hierarchy 11
The problem is to find an explicit form of the pre-factor Qm(p)p/Q(p).
Since (3.13) implies that
∂ log λ(p)
∂λm
∣∣∣∣
p=γn
=
1
λ(p)
∂λ(p)
∂λm
∣∣∣∣
p=γn
=
δmn
λn
,
letting p→ γn in (3.16) yields that
Qm(γn) = 0 for n 6= m.
Therefore, by the Lagrange interpolation formula, Qm(p)/Q(p) can be expressed as
Qm(p)
Q(p)
=
M∑
n=1
Qm(γn)
Q′(γn)(p− γn)
=
Qm(γm)
Q′(γn)(p− γm)
.
Thus, defining αm as
αm = Qm(γm)/Q′(γm),
we obtain the Löwner equations
∂ log λ(p)
∂λm
=
αmp
p− γm
∂ log λ(p)
∂p
for log λ(p). Of course, they are equivalent to the Löwner equations (3.11) for λ(p). By the
second lemma above, αm turns out to have another expression (3.14).
Case II. The logarithmic derivatives of the Landau–Ginzburg potential (1.2) can be expresses
as
∂ log λ(p)
∂p
=
M∑
i=1
κi
p− bi
−
N∑
k=1
kckp
−k−1 =
Q(p)
pN+1
∏M
i=1(p− bi)
(3.17)
and
∂ log λ(p)
∂λm
= −
M∑
i=1
κi
p− bi
∂bi
∂λm
+
N∑
k=1
∂ck
∂λm
p−k =
Qm(p)
pN
∏M
i=1(p− bi)
,
where Q(p) is a polynomial of the form
Q(p) = M̃
M+N∏
n=1
(p− γn), γm 6= γn for m 6= n.
Qm(p) is a polynomial of degree less than M + N , and the roots γn of Q(p) are assumed to
be distinct. Starting from these data, one can derive the Löwner equations (3.11) in much the
same way as in the Case I.
We thus obtain the following result:
Theorem 4. λ(p) = λ(p;λ1, . . . , λK) satisfies the Löwner equations (3.11) with the coeffi-
cients αn defined by (3.14).
On the basis of this result, we can apply the foregoing scheme of finite-variable reductions to
the Landau–Ginzburg potentials (1.1) and (1.2).
12 K. Takasaki
4 Darboux equations
4.1 Basic notions in classical differential geometry
Given a diagonal metric ds2 =
K∑
n=1
(hndλn)2,6 one can define the rotation coefficients βmn,
m 6= n, as
βmn =
1
hm
∂hn
∂λm
.
hn’s are called “Lamé coefficients” in the theory of orthogonal curvilinear coordinate sys-
tems [10, 35]. The Riemann curvature of this metric vanishes if and only if the following
equations are satisfied
∂βmn
∂λk
= βmkβkn for k 6= m,n, (4.1)
∂βmn
∂λm
+
∂βmn
∂λn
+
K∑
k=1
βkmβkn = 0. (4.2)
The first part (4.1) of these equations are called “Darboux equations” in the literature. Thus the
Darboux equations are partial-flatness conditions, and have to be supplemented by the second
equations (4.2) to ensure flatness.
If the rotation coefficients are symmetric, i.e., βmn = βnm, the metric components satisfy
the conditions (Egorov conditions)
∂
∂λm
(
h2
n
)
=
∂
∂λn
(
h2
m
)
that ensure the existence of a potential φ (Egorov potential) such that
h2
n =
∂φ
∂λn
.
If the Darboux equations and the Egorov condition are satisfied, the flatness condition (4.2)
reduces to the equations
K∑
k=1
∂βmn
∂λk
= 0. (4.3)
A diagonal metric that satisfies the Darboux equations and the Egorov conditions is called an
“Egorov metric”. Thus an Egorov metric is associated with a symmetric (βmn = βnm) solution
of the coupled system of the Darboux equations and (4.3). This system is closely related to the
K-wave system [12, 14].
If one starts from a solution of the Darboux equations (4.1), the Lamé coefficients are reco-
vered as a solution of the equations
∂hn
∂λm
= hmβmn.
The Darboux equations are integrability conditions of these linear equations. These equations
leaves some arbitrariness in the Lamé coefficients. Two sets hn, h̃n of Lamé coefficients have
the same rotation coefficients if and only if their ratios wn = h̃n/hn satisfy the equations
1
wm − wn
∂wn
∂λm
=
∂ log hn
∂λm
. (4.4)
6We do not use Einstein’s convention in this paper.
Old and New Reductions of Dispersionless Toda Hierarchy 13
Any solution of these equations thus gives a transformation on the set of Lamé coefficients with
the same rotational coefficients. This transformation is called “Combescure transformation” in
the theory of orthogonal curvilinear coordinate systems [10, 35].
4.2 Implications of Gibbons–Tsarev equations
Let us consider the Gibbons–Tsarev equations (3.4) in the language of Darboux equations and
Egorov metrics. There are three metrics that are of particular interest:
K∑
n=1
(hndλn)2, hn =
√
αn/γn, (4.5)
K∑
n=1
(h̃ndλn)2, h̃n =
√
αnγn, (4.6)
K∑
n=1
(ĥnd log λn)2, ĥn =
√
αnλn/γn. (4.7)
(4.5) and (4.6) underlie the hodograph solutions of the hydrodynamic equations (3.3). (4.5)
and (4.7) are the metrics that we shall consider in the next section in the context of Frobenius
structures.
We show below that the rotation coefficients of these metrics are symmetric and satisfy the
Darboux equations (with respect to λn’s in the first and second cases and log λn’s in the third
case). Egorov potentials themselves can be readily identified as one can see from (3.5):
hn
2 =
∂φ
∂λn
, h̃n
2 =
∂u2
∂λn
, ĥn
2 =
∂φ
∂ log λn
.
The first two cases (4.5) and (4.6) are closely related.
Theorem 5. The Lamé coefficients of (4.5) and (4.6) have the same rotation coefficients
βmn = βnm =
√
αmαnγmγn
(γm − γn)2
. (4.8)
These rotation coefficients satisfy the Darboux equations (4.1).
Proof. Do straightforward calculations using the Gibbons–Tsarev equations (3.4). The rotation
coefficients of hn’s can be calculated as
1
hm
∂hn
∂λm
=
hn
hm
∂ log hn
∂λm
=
√
αnγm
αmγn
(
1
2αn
∂αn
∂λm
− 1
2γn
∂γn
∂λm
)
=
√
αnγm
αmγn
(
1
2αn
αmαn(γm + γn)
(γm − γn)2
− 1
2γn
αmγn
γm − γn
)
=
√
αmαnγmγn
(γm − γn)2
.
In much the same way, the rotation coefficients of h̃n’s can be calculated as
1
h̃n
∂h̃n
∂λm
=
h̃n
h̃m
∂ log h̃n
∂λm
=
√
αnγn
αmγm
(
1
2αn
∂αn
∂λm
+
1
2γn
∂γn
∂λm
)
=
√
αnγn
αmγm
(
1
2αn
αmαn(γm + γn)
(γm − γn)2
+
1
2γn
αmγn
γm − γn
)
=
√
αmαnγmγn
(γm − γn)2
.
Thus the rotation coefficients of hn’s and h̃n’s turn out to coincide. Differentiating them with
respect to λk and doing some algebra, one can derive the Darboux equations. �
14 K. Takasaki
Corollary 1. h̃n’s are a Combescure transformation of hn’s, and the ratios γn = h̃n/hn satis-
fy (4.4).
The right hand side of (4.4) can be calculated explicitly as
∂ log hn
∂λm
=
αmγn
(γm − γn)2
,
thus (4.4) coincides with (3.9). Since (3.9) is a special case of (3.8), the characteristic speeds Vkn
and V̄kn, too, generate Combescure transformations of hn. An analogous fact is known for the
dispersionless KP hierarchy [27] and universal Whitham hierarchy [23] as well (see the remark
below). Thus, as stressed by Tsarev [35], the notion of Combescure transformations lies in the
heart of integrability of hydrodynamic systems such as (3.3).
The third case (4.7) is of somewhat different nature. It is log λn’s rather than λn’s that are
used to formulate the Darboux equations.
Theorem 6. The rotation coefficients
β̂mn =
1
ĥm
∂ĥn
∂ log λm
, m 6= n,
of the Lamé coefficients of (4.7) are related to (4.8) as
β̂mn =
√
λmλnβmn,
and satisfy the Darboux equations
∂β̂mn
∂ log λk
+ β̂mkβ̂kn = 0 for k 6= m,n. (4.9)
Proof. Do straightforward calculations. Note, in particular, that the left hand side of (4.9)
and (4.1) are related as
∂β̂mn
∂ log λk
+ β̂mkβ̂kn =
√
λmλnλk
(
∂βmn
∂λk
+ βmkβkn
)
. �
Remark 5. If the rotation coefficients β̂mn are homogeneous functions of λk’s of degree zero,
the Darboux equations (4.9) and the Euler equations
N∑
k=1
∂β̂mn
∂ log λk
=
N∑
k=1
λk
∂β̂mn
∂λk
= 0
imply flatness of (4.7). This is indeed the case for the metrics ( , ) considered in the next
section.
Remark 6. In the chordal case (3.7), the two sets hn =
√
αn, h̃n =
√
αnγn of Lamé coefficients
amount to (4.5) and (4.6). They have the same rotation coefficients
βmn = βnm =
√
αmαn
(γm − γn)2
that satisfy the Darboux equations (4.1). Consequently, h̃n’s are a Combescure transformation
of hn’s, and the ratios h̃n/hn = γn satisfy the equations
1
γm − γn
∂γn
∂λm
=
∂ log hn
∂λm
=
αm
(γm − γn)2
.
The last equations are fundamental equations in the hodograph solutions of the Benney equa-
tions [21, 22], the dispersionless KP hierarchy [27] and the universal Whitham hierarchy [23, 32].
Old and New Reductions of Dispersionless Toda Hierarchy 15
5 Flat coordinates
5.1 Flat coordinates in Case I
Let us recall Dubrovin and Zhang’s construction [16] of two Frobenius structures on the param-
eter space of the Landau–Ginzburg potential
λ(p) = p−N
N∏
i=1
(p− bi). (5.1)
The Frobenius structures are realized by the following inner products (or metrics) 〈 , 〉, ( , ) and
cubic forms 〈 , , 〉, ( , , ) for vector fields on the parameter space of the Laurent polynomial:
〈∂, ∂′〉 =
M∑
n=1
res
p=γn
[
∂λ(p) · ∂′λ(p)
dλ(p)
(d log p)2
]
, (5.2)
〈∂, ∂′, ∂′′〉 =
M∑
n=1
res
p=γn
[
∂λ(p) · ∂′λ(p) · ∂′′λ(p)
dλ(p)
(d log p)2
]
, (5.3)
(∂, ∂′) =
M∑
n=1
res
p=γn
[
∂ log λ(p) · ∂′ log λ(p)
d log λ(p)
(d log p)2
]
, (5.4)
(∂, ∂′, ∂′′) =
M∑
n=1
res
p=γn
[
∂ log λ(p) · ∂′ log λ(p) · ∂′′ log λ(p)
d log λ(p)
(d log p)2
]
. (5.5)
The cubic forms are used to define two commutative and associative product structures ◦, ? of
vector fields
〈∂ ◦ ∂′, ∂′′〉 = 〈∂, ∂′ ◦ ∂′′〉 = 〈∂, ∂′, ∂′′〉, (∂ ? ∂′, ∂′′) = (∂, ∂′ ? ∂′′) = (∂, ∂′, ∂′′).
These two Frobenius structures are a prototype of Dubrovin’s duality [13, 29].
When ∂, ∂′, ∂′′ are derivatives in λn’s, one can use the Löwner equations (3.11) to evaluate
these inner products and cubic forms as follows〈
∂
∂λm
,
∂
∂λn
〉
= δmn
αn
γn
,
〈
∂
∂λk
,
∂
∂λm
,
∂
∂λn
〉
= δkmn
αn
γn
, (5.6)(
∂
∂λm
,
∂
∂λn
)
= δmn
αn
γnλn
,
(
∂
∂λk
,
∂
∂λm
,
∂
∂λn
)
= δkmn
αn
γnλn2
, (5.7)
where δkmn = δkmδmn (i.e., δkmn is equal to 1 if k = m = n and 0 otherwise). Thus (5.2)
and (5.4) correspond to the Egorov metrics (4.5) and (4.7) considered in the last section. Note
that (5.6) and (5.7) hold as far as the Löwner equations are satisfied. In particular, they are
valid for the general case of (1.1) as well.
As shown by Dubrovin and Zhang [16], the first metric (5.2) has a system of flat coordinates
q1, . . . , qM−1, q̄0, q̄1, . . . , q̄N defined by the residue formula
qn = res
p=∞
[
z(p)n
n
d log p
]
, q̄0 = φ, q̄n = res
p=0
[
z̄(p)n
n
d log p
]
.
The inner products of ∂/∂qn’s and ∂/∂q̄n’s are calculated explicitly as〈
∂
∂qm
,
∂
∂qn
〉
= M̃δm+n,M̃ ,
〈
∂
∂q̄m
,
∂
∂q̄n
〉
= Nδm+n,N ,
〈
∂
∂qm
,
∂
∂q̄n
〉
= 0.
Unfortunately, this construction of flat coordinates does not work for the more general
Landau–Ginzburg potential (1.1). Actually, it seems likely that the metric (5.2) is no longer
flat in other cases7. In this respect, it is very significant that Brini et al. [4] extended Dubrovin
7We thank one of the referees for pointing out this possibility.
16 K. Takasaki
and Zhang’s dual pair of Frobenius structures to the Lax function (2.4) of the dispersionless
Ablowitz–Ladik hierarchy.
On the other hand, the construction of the second Frobenius structure is valid for the general
case of (1.1) as well. This fact is shown by Chang [9] in the case where N = −1 and κi’s are
arbitrary. log bi’s are flat coordinates of the second metric (5.4). One can confirm, with slightest
modification of Chang’s calculations, that this is also the case for an arbitrary value of N as
the following result of calculations of the inner product shows(
∂
∂bi
,
∂
∂bj
)
= (1− δij)
κiκj
Nbibj
+ δij
(κi −N)κi
Nbi2
.
We omit details of these calculations, which are parallel to the proof of Lemma 3 below. Let us
note that flatness of (5.8) is also a consequence of homogeneity of the rotation coefficients (cf.
Remark 5).
Remark 7. Speaking more precisely, the definition of a Frobenius manifold requires some more
data, in particular, an Euler vector field E and associated scaling properties [12]. In the present
setting, the Landau–Ginzburg potential λ(p) has natural homogeneity, and one can use the
vector field
E =
M∑
n=1
λn
∂
∂λn
=
1
M̃
M∑
i=1
bi
∂
∂bi
as an Euler vector field. Furthermore, one can introduce the prepotential F as a function of the
flat coordinates tn and express the cubic form as(
∂
∂tl
,
∂
∂tm
,
∂
∂tn
)
=
∂3F
∂tl∂tm∂tn
.
In the following, we refer to the notion of Frobenius manifolds in a loose sense, and focus our
consideration on flatness of metrics.
5.2 Flat coordinates in Case II
We now turn to the Landau–Ginzburg potential (1.2). The goal is to present a set of flat
coordinates for the inner product
(∂, ∂′) =
M+N∑
n=1
res
p=γn
[
∂ log λ(p) · ∂′ log λ(p)
d log λ(p)
(d log p)2
]
. (5.8)
This inner product corresponds to the Egorov metric (4.7). Its flatness is ensured by homogeneity
of the rotation coefficients (cf. Remarks 5 and 10). The associated cubic form is defined by
(∂, ∂′, ∂′′) =
M+N∑
n=1
res
p=γn
[
∂ log λ(p) · ∂′ log λ(p) · ∂′′ log λ(p)
d log λ(p)
(d log p)2
]
,
though we shall not study its implications. Let us mention that the technical details and the
final result of the following consideration are remarkably similar to the case of Ferguson and
Strachan [20].
Let us start from the natural coordinates b1, . . . , bM , c1, . . . , cN of the parameter space. One
can calculate part of the inner product explicitly as follows.
Old and New Reductions of Dispersionless Toda Hierarchy 17
Lemma 3.(
∂
∂bi
,
∂
∂bj
)
= −δij
κi
bi2
,
(
∂
∂bi
,
∂
∂ck
)
= δkN
κi
NbicN
.
Proof. The derivative of log λ(p) with respect to p is a function as shown in (3.17). The
derivatives with respect to bi and ck take the simple form
∂ log λ(p)
∂bi
= − κi
p− bi
,
∂ log λ(p)
∂ck
= p−k.
Consequently, the inner products in question can be expressed as(
∂
∂bi
,
∂
∂bj
)
=
M+N∑
n=1
res
p=γn
[
κiκj
(p− bi)(p− bj)
(
∂ log λ(p)
∂p
)−1 dp
p2
]
,
(
∂
∂bi
,
∂
∂ck
)
=
M+N∑
n=1
res
p=γn
[
−κip
−k
p− bi
(
∂ log λ(p)
∂p
)−1 dp
p2
]
.
Since
(
∂ log λ(p)
∂p
)−1
=
pN+1
M∏
k=1
(p− bk)
Q(p)
, Q(p) = M̃
M+N∏
n=1
(p− γn),
the 1-forms in the residues are rational and have poles of the first order at p = γ1, . . . , γM+N .
Other possible poles are located at p = bi, bj , 0. The latter poles, however, can disappear because
of zeros of the numerator in this expression of (∂ log λ(p)/∂p)−1. For example, if i 6= j, the first
1-form is non-singular at p = bi, bj as well as at p = 0. Since the residue theorem says that the
sum of all residues is equal to 0, one can conclude that(
∂
∂bi
,
∂
∂bj
)
= 0 for i 6= j.
By the same reasoning, one can confirm that(
∂
∂bi
,
∂
∂ck
)
= 0 for k < N.
As regards the remaining cases, one can use the residue theorem to rewrite the inner products
as (
∂
∂bi
,
∂
∂bi
)
= − res
p=bi
[
κi
2
(p− bi)2
(
∂ log λ(p)
∂p
)−1 dp
p2
]
,
(
∂
∂bi
,
∂
∂cN
)
= − res
p=0
[
−κip
−N
p− bi
(
∂ log λ(p)
∂p
)−1 dp
p2
]
.
In view of the local expression(
∂ log λ(p)
∂p
)−1
=
p− bi
κi
+O((p− bi)2 as p→ bi
and (
∂ log λ(p)
∂p
)−1
= −p
N+1
NcN
+O
(
pN+2
)
as p→ 0,
one can readily calculate the residues and confirm the statement for the remaining cases. �
18 K. Takasaki
This lemma shows that log bi’s are part of flat coordinates. If one can further find a partial
change of coordinates (c1, . . . , cN )→ (q̄0, . . . , q̄N−1) that is independent of bi’s and flat in them-
selves, the new coordinate system log b1, . . . , log bM , q̄0, . . . , q̄N−1 are totally flat. We shall show
that
q̄0 = φ, q̄n = res
p=0
[
z̄(p)n
n
d log p
]
, n = 1, . . . , N − 1, (5.9)
give such coordinates.
To this end, we need to know some properties of q̄n’s (which are defined for n ≥ N as well
by the same residue formula). Let p̄(ζ) denote the inverse function of ζ = z̄(p). It has a Laurent
expansion of the form
p̄(ζ) = eφζ−1
(
1 + ū1ζ
−1 + · · ·
)
.
Therefore log p̄(ζ) is also well-defined as a series of the form
log p̄(ζ) = − log ζ + φ+ ū1ζ
−1 + · · · .
Lemma 4. q̄n’s coincide with the coefficients of the expansion of log p̄(ζ):
log p̄(ζ) = − log ζ + q̄0 + q̄1ζ
−1 + · · ·+ q̄nζ
−n + · · · . (5.10)
Proof. One can rewrite the definition (5.9) of q̄n’s as
q̄n = res
p=0
[
z̄(p)n
n
d log p
]
= res
ζ=∞
[
ζn
n
d log p̄(ζ)
]
= − res
ζ=∞
[
log p̄(ζ)d
(
ζn
n
)]
= − res
ζ=∞
[
log p̄(ζ)ζn−1dζ
]
.
This implies that log p̄(ζ) has a Laurent expansion as (5.10) shows. �
Lemma 5. For n = 1, . . . , N − 1, q̄n is a polynomial of cN−n, . . . , cN−1 and e−φ of the form
q̄n =
1
N
e(n−N)φcN−n + higher orders in cN−n+1, . . . , cN−1 (5.11)
and qN is a function of bi’s only
q̄N =
1
N
log
M∏
i=1
(−bi)κi . (5.12)
Proof. Since z̄(p) = (log λ(p))1/N and cN = eNφ, one can calculate its n-th power as a Laurent
series of the form
z̄(p)n =
(
eNφp−N + cN−1p
1−N + · · ·+ c1p
−1 + log
M∏
i=1
(−bi) +O(p)
)n/N
.
Extracting the p0 term yields (5.11) and (5.12). �
(5.11) implies that the map (c1, . . . , cN ) 7→ (q̄0, . . . , q̄N−1) is invertible. We now choose bi’s
and q̄0, . . . , q̄N−1 as a new coordinate system on the parameter space of λ(p), and consider λ(p)
to be a function of p and these coordinates.
Old and New Reductions of Dispersionless Toda Hierarchy 19
Lemma 6. The derivatives of log λ(p) with respect to q̄n’s can be expressed as
∂ log λ(p)
∂q̄n
=
(
−ζ−n +O
(
ζ−N−1
))∣∣
ζ=z̄(p)
d log λ(p)
d log p
(5.13)
in a neighborhood of p = 0.
Proof. We can use the so called “thermodynamic identity” [12]
∂ log λ(p)
∂q̄n
d log p = − ∂ log p̄(ζ)
∂q̄n
∣∣∣∣
ζ=z̄(p)
d log λ(p)
to rewrite the derivatives of log λ(p) with respect to q̄n’s as
∂ log λ(p)
∂q̄n
= − ∂ log p̄(ζ)
∂q̄n
∣∣∣∣
ζ=z̄(p)
d log λ(p)
d log p
.
Let us recall the expansion (5.10) of log p̄(ζ). In this expansion, the coefficients of ζ0, . . . , ζN−1
are q̄n’s themselves and, as (5.12) shows, the next leading coefficient qN is a function of bi’s
only. Consequently,
∂ log p̄(ζ)
∂q̄n
= ζ−n +O
(
ζ−N−1
)
. �
Remark 8. This is a place where the technical details slightly deviate from the case of Ferguson
and Strachan [20]. As in their case, the flat coordinates under construction are a mixture of the
two types of coordinates, bi’s and q̄n’s, presented in the Case I. There is, however, a delicate
difference in the derivation of the vital equalities (5.13). In their case, they could derive these
equalities in a rather straightforward manner. In our case, we need a small piece of extra
consideration on the special structure of qN as explained above.
Theorem 7. The inner product of the derivatives in bi’s and q̄n’s can be expressed as(
∂
∂bi
,
∂
∂bj
)
= −δij
κi
bi2
,
(
∂
∂q̄m
,
∂
∂q̄n
)
= Nδm+n,N ,
(
∂
∂bi
,
∂
∂q̄n
)
= −δn0
κi
bi
.
In particular, log bi’s and q̄n’s are flat coordinates.
Proof. Since the expression
∂ log λ(p)
∂bi
= − κi
p− bi
of derivatives with respect to bi’s persists to be true, the foregoing calculations of the inner
products of ∂/∂bi’s are also valid. To consider the inner products containing ∂/∂q̄n’s, we note
the equality
∂ log λ(p)
∂q̄n
=
N∑
k=1
∂ck
∂q̄n
p−k
as well. Thus the 1-forms in the expression(
∂
∂q̄m
,
∂
∂q̄n
)
=
M+N∑
n=1
res
p=γn
[
∂ log λ(p)
∂q̄m
∂ log λ(p)
∂q̄n
(
∂ log λ(p)
∂p
)−1 dp
p2
]
,
20 K. Takasaki(
∂
∂bi
,
∂
∂q̄n
)
=
M+N∑
n=1
res
p=γn
[
∂ log λ(p)
∂bi
∂ log λ(p)
∂q̄n
(
∂ log λ(p)
∂p
)−1 dp
p2
]
of the inner products are rational, and can have extra poles at p = 0 in addition to the first order
poles at p = qn’s. By the residue theorem, the sum over the residues at qn’s can be converted
to the residues at p = 0:(
∂
∂q̄m
,
∂
∂q̄n
)
= − res
p=0
[
∂ log λ(p)
∂q̄m
∂ log λ(p)
∂q̄n
(
∂ log λ(p)
∂p
)−1 dp
p2
]
,
(
∂
∂bi
,
∂
∂q̄n
)
= − res
p=0
[
− κi
p− bi
∂ log λ(p)
∂q̄n
(
∂ log λ(p)
∂p
)−1 dp
p2
]
.
To evaluate the residues of p = 0, let us recall (5.13). The residues in the last equalities can be
thereby evaluated as
res
p=0
[
∂ log λ(p)
∂q̄m
∂ log λ(p)
∂q̄n
(
∂ log λ(p)
∂p
)−1 dp
p2
]
= res
p=0
[(
−ζ−m +O
(
ζ−N−1
))(
−ζ−n +O
(
ζ−N−1
))∣∣
ζ=z̄(p)
d log λ(p)
]
= res
ζ=∞
[(
−ζ−m +O
(
ζ−N−1
))(
−ζ−n +O
(
ζ−N−1
))
NζN−1dζ
]
= −Nδm+n,N
and
res
p=0
[
∂ log λ(p)
∂bi
∂ log λ(p)
∂q̄n
(
∂ log λ(p)
∂p
)−1 dp
p2
]
= res
p=0
[(
− κi
p− bi
)(
−ζ−n +O
(
ζ−N−1
))∣∣
ζ=z̄(p)
d log p
]
= δn0
κi
bi
.
This completes the proof. �
Remark 9. As in the case of Ferguson and Strachan [20], we have been unable to find a dual
Frobenius structure. A naive idea will be to consider the same inner product (5.2) and the cubic
form (5.3) as used for Dubrovin and Zhang’s Landau–Ginzburg potential. This, however does
not work because the 1-forms in the definition of the inner product and the cubic form have
essential singularities at p = 0, and one cannot use the residue theorem.
Remark 10. Unlike the Landau–Ginzburg potential of Ferguson and Strachan [20], our Landau–
Ginzburg potential (1.2) has natural quasi-homogeneity. We can use the vector field
E =
M+N∑
n=1
λn
∂
∂λn
=
1
M̃
M∑
i=1
bi
∂
∂bi
+
1
M̃
N∑
k=1
kck
∂
∂ck
as an Euler vector field.
6 Conclusion
We have examined the two Landau–Ginzburg potentials (1.1) and (1.2) and the associated
reductions of the dispersionless Toda hierarchy. (1.1) is a generalization of Dubrovin and
Zhang’s Landau–Ginzburg potential [16], and contains distinct examples such as the dispersion-
less Ablowitz–Ladik hierarchy [4]. (1.2) is a transcendental function, and its logarithm resembles
Ferguson and Strachan’s generalized waterbag model [20] of the dispersionless KP hierarchy.
We have observed that these quite different Landau–Ginzburg potentials have very similar
features:
Old and New Reductions of Dispersionless Toda Hierarchy 21
• Consistency of the reduction can by confirmed by a direct method as shown in the proof
of Theorem 1.
• The radial Löwner equations can be derived in much the same way as shown in the proof of
Theorem 2. Once these equations are obtained, the generalized hodograph method works
automatically and in a unified way.
• They have natural homogeneity. This ensures flatness of the third Egorov metric (4.7),
hence of the inner products (5.4) and (5.8). Even the construction of flat coordinates of
these inner products are partially similar as shown in the proof of Theorem 7.
Meanwhile, we have encountered a rather complicated situation in the problem of flatness
of the first Egorov metric (4.5) (equivalently, the inner product (5.2)) in the cases other than
Dubrovin and Zhang’s Landau–Ginzburg potential (5.1). It is well known that non-flatness of
the Egorov metric implies non-locality of an underlying Hamiltonian structure [6]. Presumably,
this issue should be considered case-by-case. Of particular interest is the reduced Lax func-
tion (2.4) of the dispersionless Ablowitz–Ladik hierarchy, which is shown to have a dual pair of
Frobenius structures [4]. Extending their result to other specializations of (1.1) is an important
open problem.
Our second Landau–Ginzburg potential (1.2), too, raises many open problems. Questions
posed by Ferguson and Strachan [20] to the waterbag models of the dispersionless KP hierarchy
can be restated for our model. Moreover, the degenerate case (2.5) of this Landau–Ginzburg
potential will have its own special properties and applications.
Acknowledgements
We thank the referees for many valuable comments. This work is partly supported by JSPS
Grants-in-Aid for Scientific Research No. 21540218 and No. 22540186 from the Japan Society
for the Promotion of Science.
References
[1] Ablowitz M.J., Ladik J.F., Nonlinear differential-difference equations, J. Math. Phys. 16 (1975), 598–603.
[2] Bogdanov L.V., Konopelchenko B.G., Symmetry constraints for dispersionless integrable equations and
systems of hydrodynamic type, Phys. Lett. A 330 (2004), 448–459, nlin.SI/0312013.
[3] Brini A., The local Gromov–Witten theory of CP1 and integrable hierarchies, Comm. Math. Phys. 313
(2012), 571–605, arXiv:1002.0582.
[4] Brini A., Carlet G., Rossi P., Integrable hierarchies and the mirror model of local CP1, Phys. D 241 (2012),
2156–2167, arXiv:1105.4508.
[5] Carlet G., The extended bigraded Toda hierarchy, J. Phys. A: Math. Gen. 39 (2006), 9411–9435,
math-ph/0604024.
[6] Carlet G., Lorenzoni P., Raimondo A., The reductions of the dispersionless 2D Toda hierarchy and their
Hamiltonian structures, J. Phys. A: Math. Theor. 43 (2010), 045201, 13 pages, arXiv:0910.1210.
[7] Chang J.-H., On the waterbag model of dispersionless KP hierarchy, J. Phys. A: Math. Gen. 39 (2006),
11217–11230, nlin.SI/0603007.
[8] Chang J.-H., On the waterbag model of the dispersionless KP hierarchy. II, J. Phys. A: Math. Theor. 40
(2007), 12973–12985, nlin.SI/0702014.
[9] Chang J.-H., Remarks on the waterbag model of dispersionless Toda hierarchy, J. Nonlinear Math. Phys.
15 (2008), suppl. 3, 112–123, arXiv:0709.3859.
[10] Darboux G., Leçons sur les systèmes orthogonaux et les coordonnées curvilignes, Gauthier-Villars, Paris,
1910.
[11] Dijkgraaf R., Intersection theory, integrable hierarchies and topological field theory, in New Symmetry
Principles in Quantum Field Theory (Cargèse, 1991), NATO Adv. Sci. Inst. Ser. B Phys., Vol. 295, Plenum,
New York, 1992, 95–158, hep-th/9291993.
http://dx.doi.org/10.1063/1.522558
http://dx.doi.org/10.1016/j.physleta.2004.08.024
http://arxiv.org/abs/nlin.SI/0312013
http://dx.doi.org/10.1007/s00220-012-1517-9
http://arxiv.org/abs/1002.0582
http://dx.doi.org/10.1016/j.physd.2011.09.011
http://arxiv.org/abs/1105.4508
http://dx.doi.org/10.1088/0305-4470/39/30/003
http://arxiv.org/abs/math-ph/0604024
http://dx.doi.org/10.1088/1751-8113/43/4/045201
http://arxiv.org/abs/0910.1210
http://dx.doi.org/10.1088/0305-4470/39/36/007
http://arxiv.org/abs/nlin.SI/0603007
http://dx.doi.org/10.1088/1751-8113/40/43/009
http://arxiv.org/abs/nlin.SI/0702014
http://dx.doi.org/10.2991/jnmp.2008.15.s3.12
http://arxiv.org/abs/0709.3859
http://arxiv.org/abs/hep-th/9291993
22 K. Takasaki
[12] Dubrovin B.A., Geometry of 2D topological field theories, in Integrable Systems and Quantum Groups (Mon-
tecatini Terme, 1993), Lecture Notes in Math., Vol. 1620, Springer, Berlin, 1996, 120–348, hep-th/9407018.
[13] Dubrovin B.A., On almost duality for Frobenius manifolds, in Geometry, topology, and mathematical
physics, Amer. Math. Soc. Transl. Ser. 2, Vol. 212, Amer. Math. Soc., Providence, RI, 2004, 75–132,
math.DG/0307374.
[14] Dubrovin B.A., On the differential geometry of strongly integrable systems of hydrodynamics type, Funct.
Anal. Appl. 24 (1990), 280–285.
[15] Dubrovin B.A., On universality of critical behaviour in Hamiltonian PDEs, in Geometry, Topology, and
Mathematical Physics, Amer. Math. Soc. Transl. Ser. 2, Vol. 224, Amer. Math. Soc., Providence, RI, 2008,
59–109, arXiv:0804.3790.
[16] Dubrovin B.A., Zhang Y., Extended affine Weyl groups and Frobenius manifolds, Compositio Math. 111
(1998), 167–219, hep-th/9611200.
[17] Eguchi T., Hori K., Yang S.K., Topological σ models and large-N matrix integral, Internat. J. Modern
Phys. A 10 (1995), 4203–4224, hep-th/9503017.
[18] Eguchi T., Yang S.K., The topological CP1 model and the large-N matrix integral, Modern Phys. Lett. A 9
(1994), 2893–2902, hep-th/9407134.
[19] Ferapontov E.V., Korotkin D.A., Shramchenko V.A., Boyer–Finley equation and systems of hydrodynamic
type, Classical Quantum Gravity 19 (2002), L205–L210, gr-qc/0401118.
[20] Ferguson J.T., Strachan I.A.B., Logarithmic deformations of the rational superpotential/Landau–Ginzburg
construction of solutions of the WDVV equations, Comm. Math. Phys. 280 (2008), 1–25, math-ph/0605078.
[21] Gibbons J., Tsarev S.P., Conformal maps and reductions of the Benney equations, Phys. Lett. A 258 (1999),
263–271.
[22] Gibbons J., Tsarev S.P., Reductions of the Benney equations, Phys. Lett. A 211 (1996), 19–24.
[23] Guil F., Mañas M., Mart́ınez Alonso L., The Whitham hierarchies: reductions and hodograph solutions,
J. Phys. A: Math. Gen. 36 (2003), 4047–4062, nlin.SI/0209051.
[24] Krichever I.M., The τ -function of the universal Whitham hierarchy, matrix models and topological field
theories, Comm. Pure Appl. Math. 47 (1994), 437–475, hep-th/9205110.
[25] Löwner K., Untersuchungen über schlichte konforme Abbildungen des Einheitskreises. I, Math. Ann. 89
(1923), 103–121.
[26] Mañas M., S-functions, reductions and hodograph solutions of the rth dispersionless modified KP and Dym
hierarchies, J. Phys. A: Math. Gen. 37 (2004), 11191–11221, nlin.SI/0405028.
[27] Mañas M., Mart́ınez Alonso L., Medina E., Reductions and hodograph solutions of the dispersionless KP
hierarchy, J. Phys. A: Math. Gen. 35 (2002), 401–417.
[28] Pavlov M.V., Algebro-geometric approach in the theory of integrable hydrodynamic type systems, Comm.
Math. Phys. 272 (2007), 469–505, nlin.SI/0603054.
[29] Riley A., Strachan I.A.B., A note on the relationship between rational and trigonometric solutions of the
WDVV equations, J. Nonlinear Math. Phys. 14 (2007), 82–94, nlin.SI/0605005.
[30] Takasaki K., Generalized string equations for double Hurwitz numbers, J. Geom. Phys. 62 (2012), 1135–
1156, arXiv:1012.5554.
[31] Takasaki K., Takebe T., Integrable hierarchies and dispersionless limit, Rev. Math. Phys. 7 (1995), 743–808,
hep-th/9405096.
[32] Takasaki K., Takebe T., Löwner equations, Hirota equations and reductions of the universal Whitham
hierarchy, J. Phys. A: Math. Theor. 41 (2008), 475206, 27 pages, arXiv:0808.1444.
[33] Takasaki K., Takebe T., Radial Löwner equation and dispersionless mcKP hierarchy, nlin.SI/0601063.
[34] Takebe T., Teo L.-P., Zabrodin A., Löwner equations and dispersionless hierarchies, J. Phys. A: Math. Gen.
39 (2006), 11479–11501, math.CV/0605161.
[35] Tsarev S.P., Classical differential geometry and integrability of systems of hydrodynamic type, in Applica-
tions of Analytic and Geometric Methods to Nonlinear Differential Equations (Exeter, 1992), NATO Adv.
Sci. Inst. Ser. C Math. Phys. Sci., Vol. 413, Kluwer Acad. Publ., Dordrecht, 1993, 241–249, hep-th/9303092.
[36] Tsarev S.P., On Poisson bracket and one-dimensional systems of hydrodynamic type, Soviet Math. Dokl. 31
(1985), 488–491.
[37] Yu L., Waterbag reductions of the dispersionless discrete KP hierarchy, J. Phys. A: Math. Gen. 33 (2000),
8127–8138.
http://dx.doi.org/10.1007/BFb0094793
http://arxiv.org/abs/hep-th/9407018
http://arxiv.org/abs/math.DG/0307374
http://dx.doi.org/10.1007/BF01077332
http://dx.doi.org/10.1007/BF01077332
http://arxiv.org/abs/0804.3790
http://dx.doi.org/10.1023/A:1000258122329
http://arxiv.org/abs/hep-th/9611200
http://dx.doi.org/10.1142/S0217751X95001959
http://dx.doi.org/10.1142/S0217751X95001959
http://arxiv.org/abs/hep-th/9503017
http://dx.doi.org/10.1142/S0217732394002732
http://arxiv.org/abs/hep-th/9407134
http://dx.doi.org/10.1088/0264-9381/19/24/101
http://arxiv.org/abs/gr-qc/0401118
http://dx.doi.org/10.1007/s00220-008-0464-y
http://arxiv.org/abs/math-ph/0605078
http://dx.doi.org/10.1016/S0375-9601(99)00389-8
http://dx.doi.org/10.1016/0375-9601(95)00954-X
http://dx.doi.org/10.1088/0305-4470/36/14/309
http://arxiv.org/abs/nlin.SI/0209051
http://dx.doi.org/10.1002/cpa.3160470403
http://arxiv.org/abs/hep-th/9205110
http://dx.doi.org/10.1007/BF01448091
http://dx.doi.org/10.1088/0305-4470/37/46/007
http://arxiv.org/abs/nlin.SI/0405028
http://dx.doi.org/10.1088/0305-4470/35/2/316
http://dx.doi.org/10.1007/s00220-007-0235-1
http://dx.doi.org/10.1007/s00220-007-0235-1
http://arxiv.org/abs/nlin.SI/0603054
http://dx.doi.org/10.2991/jnmp.2007.14.1.7
http://arxiv.org/abs/nlin.SI/0605005
http://dx.doi.org/10.1016/j.geomphys.2011.12.005
http://arxiv.org/abs/1012.5554
http://dx.doi.org/10.1142/S0129055X9500030X
http://arxiv.org/abs/hep-th/9405096
http://dx.doi.org/10.1088/1751-8113/41/47/475206
http://arxiv.org/abs/0808.1444
http://arxiv.org/abs/nlin.SI/0601063
http://dx.doi.org/10.1088/0305-4470/39/37/010
http://arxiv.org/abs/math.CV/0605161
http://arxiv.org/abs/hep-th/9303092
http://dx.doi.org/10.1088/0305-4470/33/45/309
1 Introduction
2 Lax equations
2.1 Lax formalism of dispersionless Toda hierarchy
2.2 Landau-Ginzburg potential as reduced Lax function
2.3 Examples: two-variable reductions
3 Löwner equations
3.1 General scheme of finite-variable reductions
3.2 Hodograph solutions
3.3 Löwner equations for Landau-Ginzburg potentials
4 Darboux equations
4.1 Basic notions in classical differential geometry
4.2 Implications of Gibbons-Tsarev equations
5 Flat coordinates
5.1 Flat coordinates in Case I
5.2 Flat coordinates in Case II
6 Conclusion
References
|
| id | nasplib_isofts_kiev_ua-123456789-149183 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-07T16:39:41Z |
| publishDate | 2012 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Takasaki, K. 2019-02-19T18:21:19Z 2019-02-19T18:21:19Z 2012 Old and New Reductions of Dispersionless Toda Hierarchy / K. Takasaki // Symmetry, Integrability and Geometry: Methods and Applications. — 2012. — Т. 8. — Бібліогр.: 37 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 35Q99; 37K10; 53B50; 53D45 DOI: http://dx.doi.org/10.3842/SIGMA.2012.102 https://nasplib.isofts.kiev.ua/handle/123456789/149183 This paper is focused on geometric aspects of two particular types of finite-variable reductions in the dispersionless Toda hierarchy. The reductions are formulated in terms of ''Landau-Ginzburg potentials'' that play the role of reduced Lax functions. One of them is a generalization of Dubrovin and Zhang's trigonometric polynomial. The other is a transcendental function, the logarithm of which resembles the waterbag models of the dispersionless KP hierarchy. They both satisfy a radial version of the Löwner equations. Consistency of these Löwner equations yields a radial version of the Gibbons-Tsarev equations. These equations are used to formulate hodograph solutions of the reduced hierarchy. Geometric aspects of the Gibbons-Tsarev equations are explained in the language of classical differential geometry (Darboux equations, Egorov metrics and Combescure transformations). Flat coordinates of the underlying Egorov metrics are presented. This paper is a contribution to the Special Issue “Geometrical Methods in Mathematical Physics”. The full collection is available at http://www.emis.de/journals/SIGMA/GMMP2012.html.
 We thank the referees for many valuable comments. This work is partly supported by JSPS Grants-in-Aid for Scientific Research No. 21540218 and No. 22540186 from the Japan Society for the Promotion of Science. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Old and New Reductions of Dispersionless Toda Hierarchy Article published earlier |
| spellingShingle | Old and New Reductions of Dispersionless Toda Hierarchy Takasaki, K. |
| title | Old and New Reductions of Dispersionless Toda Hierarchy |
| title_full | Old and New Reductions of Dispersionless Toda Hierarchy |
| title_fullStr | Old and New Reductions of Dispersionless Toda Hierarchy |
| title_full_unstemmed | Old and New Reductions of Dispersionless Toda Hierarchy |
| title_short | Old and New Reductions of Dispersionless Toda Hierarchy |
| title_sort | old and new reductions of dispersionless toda hierarchy |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/149183 |
| work_keys_str_mv | AT takasakik oldandnewreductionsofdispersionlesstodahierarchy |