Pis’ma v ZhETF, vol. 117, iss. 8, pp. 632 - 633
© 2023
April 25
Gauge equivalence between 1 + 1 rational Calogero-Moser field theory
and higher rank Landau-Lifshitz equation
K.Atalikov+∗1), A.Zotov+∗×1)
+Steklov Mathematical Institute of Russian Academy of Sciences, 119991 Moscow, Russia
National Research Center “Kurchatov Institute”, 123182 Moscow, Russia
×National Research University Higher School of Economics, 119048 Moscow, Russia
Submitted 14 March 2023
Resubmitted 14 March 2023
Accepted 18
March 2023
DOI: 10.31857/S1234567823080128, EDN: wjlsjw
The 1 + 1 field generalization of the Calogero-Moser
transforms U-V pair for the field Calogero-Moser
model was proposed in [1, 2], see also [3]. The Hamilto-
model to the one for some Landau-Lifshitz type model:
nian is given by the following expression:
ULL(z) = G(z)U2dCM(z)G-1(z) + k∂xG(z)G-1(z). (2)
H2dCM = dxH2dCM(x),
For the N = 2 case explicit construction of the matrix
H2dCM(x) =
p2i (c - kqix) -
G(z) and the change of variables was derived in our pa-
i=1
per [4], and the Landau-Lifshitz model for GL2 rational
(
)2
R-matrix was derived in [5]. The goal of this article is
1
pi (c - kqix)
-
to define the gauge transformation in glN case, describe
Nc
i=1
the corresponding Landau-Lifshitz type model and find
k4q2ixx
k3
qixqjxx - qjxqixx
explicit change of variables using relation (2).
-
+
-
4 (c - kqix)
2
qi - qj
Recently the 1 + 1 field generalization of the so-
i=1
i=j
called rational top model was suggested in [6]. It is given
[
1
1
by Landau-Lifshitz type equation, i.e. the field variables
-
(c - kqix)2 (c - kqjx) +
2
(qi - qj)2
are arranged into N × N matrix S and(he Poisson
i=j
]
structure is linear: {Sij (x), Skl(y)} = N-1 Sil(x)δkj -
+ (c - kqix) (c - kqjx)2 - ck2 (qix - qjx)2 ,
(1)
)
Skj(x)δil δ(x - y). The construction of the Landau-
where x is the (space) field variable and k
∈ C
Lifshitz equation and its U-V pair is based on R-matrix
satisfying the associative Yang-Baxter equation [7, 8]:
is a constant parameter. The momenta pi and
coordinates qj are canonically conjugated fields:
Rℏ12Rη23 = Rη13Rℏ-η12 + Rη-ℏ23Rℏ13, Rxab = Rxab(za - zb).
Suppose rank(S) = 1, so that S2 = cS, c = tr(S). Then
{qi(x), pj(y)}
= δijδ(x - y). The model (1) is in-
tegrable in the sense that it has algebro-geometric
the Landau-Lifshitz equation reads:
solutions and equations of motion are represented in
the Zakharov-Shabat (or Lax or zero curvature) form:
tS = k-2c [S, ∂2xS]+2c [S, J(S)]-2k[S, E(∂xS)] , (3)
tU(z) - k∂xV (z) + [U(z), V (z)] = 0, where U-V pair
U2dCM(z), V2dCM(z) ∈ Mat(N, C) is a pair of matrix
(
)
2
2
valued functions of the fields pj (x), qj (x), j = 1, ..., N
where E(S) = tr2 r(0)12
S
,
S = 1N ⊗ S and J(S) =
and their derivatives. They also depend on the spectral
(
)
2
parameter z. Explicit expression for U-V pair can be
= tr2 m12(0)
S are defined through the coefficients
found in [1, 2]. It was argued in [3] that there exist
of R-matrix expansion in the classical limit Rℏ12(z) =
a gauge transformation G(z)
∈ Mat(N, C), which
= ℏ-11N ⊗ 1N + r12(z) + ℏ m12(z) + O(ℏ2) and r(0)12 is
the coefficient in the expansion r12(z) = z-1P12 + r(0)12 +
1)e-mail: kantemir.atalikov@yandex.ru; zotov@mi-ras.ru
+ O(z), where P12 is the permutation operator. Equa-
632
Письма в ЖЭТФ том 117 вып. 7 - 8
2023
Gauge equivalence between 1 +
1
rational Calogero-Moser...
633
tions (3) are Hamiltonian with the following Hamilto-
model coincides with the one (4) for the Landau-
nian function:
Lifshitz equation under the change of variables (5):
(
(
)
(
)
HLL[S(p(x), q(x))] = H2dCM[p(x), q(x)].
Nk2
HLL = dy cNtr S J(S)
-
tr ∂yS ∂yS
+
This work was supported by the Russian
2c
(
))
Science Foundation under grant
#21-41-09011,
+ kNtr ∂yS E(S)
, S = S(y).
(4)
https://rscf.ru/en/project/21-41-09011/.
This is an excerpt of the article “Gauge equiva-
In this paper we use the rational R-matrix calculated
lence between 1 + 1 rational Calogero-Moser field the-
in [9]. In the N = 2 case it reproduces the 11-vertex
ory and higher rank Landau-Lifshitz equation”. Full
R-matrix found by I. Cherednik [10]. For N > 2 all its
text of the paper is published in JETP Letters journal.
properties, different possible forms and explicit expres-
DOI: 10.1134/S0021364023600714
sions for the coefficients of expansions near z = 0 and
ℏ = 0 can be found in [11].
The statement is that by applying the gauge trans-
1. I. Krichever, Commun. Math. Phys. 229, 229 (2002);
formation with a certain matrix G(z) we obtain the de-
arXiv:hep-th/0108110.
sired relation (2). Calculations are performed similarly
2. A. A. Akhmetshin, I. M. Krichever, and Y. S. Volvovski,
to those in 0 + 1 mechanics [12]. As a result we obtain
Funct. Anal. Appl. 36(4), 253 (2002);
explicit change of variables expressed through elemen-
arXiv:hep-th/0203192.
tary symmetric functions σk:
3. A. Levin, M. Olshanetsky, and A. Zotov, Commun.
Math. Phys. 236, 93 (2003); arXiv:nlin/0110045.
̺(j)+1
(-1)
Sij =
×
4. K. Atalikov and A. Zotov, J. Geom. Phys. 164, 104161
N
(2021) 104161; arXiv:2010.14297 [hep-th].
5. A. Levin, M. Olshanetsky, and A. Zotov, Nucl. Phys. B
×
(qm)̺(i)(pm +mxαm)+αm̺(i)(qm)̺(i)-1
σ̺(j)(q),
(qm - ql)
887, 400 (2014); arXiv:1406.2995 [math-ph].
m=1
l=m
6. K. Atalikov and A. Zotov, JETP Lett. 115, 757 (2022);
α2j
arXiv:2204.12576 [math-ph].
pj = pj -
(5)
qj - ql
7. S. Fomin and A. N. Kirillov, Advances in geometry,
l=j
Progress in Mathematics book series, Springer, N.Y.
(here ̺(i) = i - 1 for i ≤ N - 1 and ̺(i) = N for i = N)
(1999), v. 172, p. 147.
with the properties
8. A. Polishchuk, Adv. Math.
168(1),
56
(2002);
arXiv:math/0008156 [math.AG].
Spec(S) = (0, ..., 0, c), rk(S) = 1, tr(S) = c, S2 = cS,
9. A. Levin, M. Olshanetsky, and A. Zotov, JHEP 07, 012
(6)
(2014); arXiv:1405.7523 [hep-th].
where α2i = kqix - c. It can be also verified that the
10. I. V. Cherednik, Theor. Math. Phys. 43(1), 356 (1980).
Poisson brackets for Sij (p, q, c) calculated through the
11. K. Atalikov and A. Zotov, arXiv:2303.02391 [math-ph].
canonical brackets for pi, qj indeed reproduce the lin-
12. G. Aminov, S. Arthamonov, A. Smirnov, and A. Zo-
ear Poisson structure, so that (5) is a Poisson map.
tov, J. Phys. A: Math. Theor. 47,
305207
(2014);
The Hamiltonian (1) of 1+1 field Calogero-Moser
arXiv:1402.3189. [hep-th].
Письма в ЖЭТФ том 117 вып. 7 - 8
2023