没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
我们解释了如何通过将两个仿射高丁模型组装为一个模型来获得新的经典可积场论。 我们证明了仿射高迪模型的结果取决于参数γ,使得极限γ→0对应于解耦极限。 还介绍了确保Lorentz不变性的简单条件。 该方法在σ模型中的首次应用导致了在[1]中宣布的动作,该动作将同一个Lie组上任意数量的N个主要手性模型场耦合在一起,每个场均具有Wess-Zumino项。 然后给出了各种可整合的σ模型的仿射Gaudin模型描述,这些模型可以用作组装结构中的基本构造块。 这尤其是在该方法的第二个应用程序中使用,该方法包括组装主手性模型的N-1个副本,每个副本具有Wess-Zumino项和主手性模型的一个均匀的Yang-Baxter变形。
资源推荐
资源详情
资源评论
JHEP06(2019)017
Published for SISSA by Springer
Received: March 19, 2019
Accepted: May 25, 2019
Published: June 6, 2019
Assembling integrable σ-models as affine Gaudin
models
F. Delduc,
a
S. Lacroix,
b,c
M. Magro
a
and B. Vicedo
d
a
Univ Lyon, Ens de Lyon, Univ Claude Bernard, CNRS, Laboratoire de Physique,
F-69342 Lyon, France
b
II. Institut f¨ur Theoretische Physik, Universit¨at Hamburg,
Luruper Chaussee 149, 22761 Hamburg, Germany
c
Zentrum f¨ur Mathematische Physik, Universit¨at Hamburg,
Bundesstrasse 55, 20146 Hamburg, Germany
d
Department of Mathematics, University of York,
York YO10 5DD, U.K.
E-mail: francois.delduc@ens-lyon.fr, sylvain.lacroix@desy.de,
marc.magro@ens-lyon.fr, benoit.vicedo@gmail.com
Abstract: We explain how to obtain new classical integrable field theories by assembling
two affine Gaudin models into a single one. We show that the resulting affine Gaudin model
depends on a parameter γ in such a way that the limit γ → 0 corresponds to the decoupling
limit. Simple conditions ensuring Lorentz invariance are also presented. A first application
of this method for σ-models leads to the action announced in [1] and which couples an
arbitrary number N of principal chiral model fields on the same Lie group, each with a
Wess-Zumino term. The affine Gaudin model descriptions of various integrable σ-models
that can be used as elementary building blocks in the assembling construction are then
given. This is in particular used in a second application of the method which consists in
assembling N − 1 copies of the principal chiral model each with a Wess-Zumino term and
one homogeneous Yang-Baxter deformation of the principal chiral model.
Keywords: Integrable Field Theories, Sigma Models
ArXiv ePrint: 1903.00368
Open Access,
c
The Authors.
Article funded by SCOAP
3
.
https://doi.org/10.1007/JHEP06(2019)017
JHEP06(2019)017
Contents
1 Introduction 1
2 Realisations of local affine Gaudin models 6
2.1 Phase space and realisations of local affine Gaudin models 6
2.2 Lax matrix, Hamiltonian and integrability 12
2.3 The landscape of realisations of local AGM 20
2.4 Space-time symmetries 27
3 New integrable σ-models 33
3.1 Fields on T
∗
G
0
and Takiff realisation of multiplicity 2 33
3.2 Warm-up: the principal chiral model with Wess-Zumino term as a realisation
of a one-site local AGM 37
3.3 Integrable coupled σ-models 41
4 Other realisations and deformations 54
4.1 Homogeneous Yang-Baxter realisation and deformations 54
4.2 Inhomogeneous Yang-Baxter realisation and deformations 56
4.3 Non-abelian T-dual realisation 61
4.4 The λ-realisation and λ-deformation 64
5 Conclusion 67
A High order poles of the quadratic Hamiltonian H(z) 69
A.1 Inverting the twist function 69
A.2 Extracting the generalised Segal-Sugawara integrals from Q(z) 70
B Interpolating rational functions 72
C Coupling and decoupling of realisations of local AGM 74
C.1 Coupling and decoupling the twist function and the Gaudin Lax matrix 74
C.2 Zeros of the coupled twist function 75
C.3 Decoupling of the Hamiltonians 77
C.4 Decoupling of the Lax pair 77
D Homogeneous Yang-Baxter deformation of the integrable coupled
σ-model 78
D.1 The undeformed model 78
D.2 Twist function, Gaudin Lax matrix and Hamiltonian 79
D.3 Lagrangian Lax pair of the model 79
D.4 Inverse Legendre transformation and action of the model 81
E Building blocks 84
– i –
JHEP06(2019)017
1 Introduction
Constructing classical field theories which are integrable is difficult. Indeed, the property
of integrability is established at the Lagrangian level if one is able to find a Lax connection
whose zero curvature equation is equivalent to the equations of motion derived from the
given action. This ensures, in particular, the existence of infinitely many integrals of motion
in the theory. Yet finding such a Lax connection is somewhat of an art. Furthermore, in
order to establish integrability at the Hamiltonian level one also needs to prove the existence
of an infinite number of integrals of motion in involution. This is guaranteed if the Poisson
bracket of the Lax matrix can be brought to a certain form. But doing so is also, in and
of itself, an arduous task.
Faced with the difficulty of finding new integrable field theories from scratch, one
approach to exploring the landscape of all possible Hamiltonian integrable field theories is
to build new ones from old ones. One way of doing so is by deforming. For a very broad
class of integrable field theories, the Poisson bracket of the Lax matrix is controlled by a
certain rational function ϕ(z) of the spectral parameter z, called the twist function. As
shown in [2, 3], this twist function can be used at the Hamiltonian level to deform the
theory in question, all the while preserving integrability. We may then perform an inverse
Legendre transform to construct the actions of the resulting deformed field theories, which
by construction will automatically be integrable.
It was recently shown by one of us in [4] that classical integrable field theories admitting
a twist function can be seen as realisations of classical Gaudin models associated with
untwisted affine Kac-Moody algebras. In fact, all of the examples considered in [4], which
includes many integrable σ-models and their deformations, essentially correspond to affine
Gaudin models with a single site. However, since the number of sites in an affine Gaudin
model can be arbitrary, this opens up another avenue for constructing new integrable field
theories from existing ones.
Indeed, the procedure detailed in the present article consists, roughly speaking, in
taking existing integrable field theories which admit an affine Gaudin model description
and ‘placing’ them at the individual sites of an N-site affine Gaudin model. This results
in a new integrable field theory which couples these individual theories together. In fact,
the strength of the coupling will be determined by the relative location of each site in
the complex plane. Finally, since affine Gaudin models are intrinsically formulated at
the Hamiltonian level, to complete the procedure one has to perform an inverse Legendre
transform in order to construct the action for this new model. In [1] we presented the
result of applying such a procedure to couple together N principal chiral fields on the same
Lie group, each with a Wess-Zumino term.
To motivate why building an N-site affine Gaudin model in this way corresponds to
coupling together the individual field theories, let us consider here the simpler situation
of a Gaudin model associated with a finite-dimensional complex semisimple Lie algebra
g [5]. Let u
i
for i = 1, . . . , N be a collection of N distinct complex numbers. Let I
a(i)
for
a = 1, . . . , dim g denote the copy of a basis of the Lie algebra g that we think of as being
formally ‘attached’ to the point u
i
, for i = 1, . . . , N. One may regard the basis elements
– 1 –
JHEP06(2019)017
I
a(i)
, i = 1, . . . , N of the N copies of g as the degrees of freedom of the model. They satisfy
the Kostant-Kirillov Poisson bracket
{I
a(i)
, I
b(j)
} = δ
ij
f
ab
c
I
c(i)
. (1.1)
Also let I
(i)
a
for a = 1, . . . , dim g be the dual basis of I
a(i)
with respect to κ(·, ·) defined as
the opposite of the Killing form on g. The quadratic Poisson commuting Hamiltonians of
the Gaudin model are then given by
H
i
=
N
X
k=1
k6=i
I
a(i)
I
(k)
a
u
i
− u
k
(1.2)
for i = 1, . . . , N , where the sum over the repeated Lie algebra index a = 1, . . . , dim g
is implicit. The basis elements I
a(i)
may be packaged together into g-valued observables
J
(i)
:
= I
a
⊗ I
a(i)
attached to each site u
i
for i = 1, . . . , N, and in terms of which the Lax
matrix takes the form
L(z) =
N
X
i=1
J
(i)
z −u
i
. (1.3)
We may then express the quadratic Gaudin Hamiltonians (1.2) as
H
i
=
1
2
res
u
i
κ(L(z), L(z))dz. (1.4)
A finite-dimensional integrable system is said to be a realisation of this Gaudin model
if there is a morphism from the algebra of observables of the Gaudin model to that of
the given integrable system. Moreover, the Hamiltonian of the integrable system should
coincide, in the simplest case, with the image of some linear combination of the Hamiltoni-
ans (1.2) under this morphism. Concretely, the existence of such a morphism means that
the integrable system should admit a Lax matrix of the same form as (1.3) and satisfying
the same Poisson bracket relations as (1.3) does. In particular, the g-valued observables
J
(i)
and J
(j)
should commute for i 6= j.
Suppose now that we break up the collection of N sites {u
i
}
N
i=1
into two subsets of
sizes N
1
and N
2
, respectively, which without loss of generality we take to be {u
i
}
N
1
i=1
and
{u
j+N
1
}
N
2
j=1
. Fixing a non-zero complex number γ 6= 0, we then choose to parametrise
these two subsets of points as u
i
= z
i
−
1
2
γ
−1
, i = 1, . . . , N
1
and u
j+N
1
= ˆz
j
+
1
2
γ
−1
,
j = 1, . . . , N
2
. For convenience we also use the notation
ˆ
I
a(j)
:
= I
a(j+N
1
)
and
ˆ
I
(j)
a
:
= I
(j+N
1
)
a
for j = 1, . . . , N
2
. The collection of Hamiltonians (1.2) then naturally split into two subsets
as well, namely
H
i
=
N
1
X
k=1
k6=i
I
a(i)
I
(k)
a
z
i
− z
k
+
N
2
X
j=1
I
a(i)
ˆ
I
(j)
a
z
i
− ˆz
j
− γ
−1
, (1.5a)
ˆ
H
j
:
= H
j+N
1
=
N
2
X
k=1
k6=j
ˆ
I
a(j)
ˆ
I
(k)
a
ˆz
j
− ˆz
k
+
N
1
X
i=1
ˆ
I
a(j)
I
(i)
a
ˆz
j
− z
i
+ γ
−1
, (1.5b)
– 2 –
JHEP06(2019)017
for every i = 1, . . . , N
1
and j = 1, . . . , N
2
. We now observe that the first sums in each of
the above expressions (1.5) is just the usual expression for the Gaudin Hamiltonians, as
in (1.2), but corresponding to one of the two subsets of points. Moreover, the second sums
on the right hand sides of (1.5) describe interaction terms between the degrees of freedom
attached to the first N
1
sites and those attached to the last N
2
sites. It is clear from (1.5)
that one can decouple these two sets of degrees of freedom by letting the ‘coupling’ γ go
to zero. This corresponds to moving apart the first N
1
sites from the last N
2
sites while
keeping all the relative positions within these two sets of sites fixed. In this way one can
view the Gaudin model with N = N
1
+ N
2
sites as the coupling of two separate Gaudin
models, one with N
1
sites and the other with N
2
sites. It is important to note that all
three Gaudin models are associated with the same Lie algebra g.
In fact, by reversing the logic of the previous paragraphs, we see that the coupling of
finite-dimensional integrable systems which are realisations of Gaudin models associated
with the same Lie algebra g is easy to perform at the level of the Lax matrix. Starting
with the individual Lax matrices for both models, namely
L
1
(z) =
N
1
X
i=1
J
(i)
1
z −z
i
and L
2
(z) =
N
2
X
i=1
J
(i)
2
z − ˆz
i
, (1.6)
where J
(i)
1
= I
a
⊗ I
a(i)
for i = 1, . . . , N
1
and J
(i)
2
= I
a
⊗
ˆ
I
a(i)
for i = 1, . . . , N
2
, the Lax
matrix of the coupled system in (1.3) is obtained simply by adding the Lax matrices (1.6)
together after suitably shifting their spectral parameters by some amount of the inverse
γ
−1
of the coupling parameter γ. Explicitly, we have
L(z) = L
1
z +
1
2
γ
−1
+ L
2
z −
1
2
γ
−1
. (1.7)
The Hamiltonian of the coupled system, which includes all the interaction terms as in (1.5),
is then constructed from this Lax matrix in the usual way as a linear combination of (1.4).
We now return to the field theory setting. Let
e
g be the untwisted affine Kac-Moody
algebra corresponding to g. It is useful to start by briefly recalling how classical integrable
field theories which admit a twist function can be viewed as Gaudin models associated with
e
g, referring the reader to [4] for the details.
The Gaudin model associated with the infinite dimensional Lie algebra
e
g is defined
in exactly the same way as in the finite-dimensional case recalled above, replacing g
everywhere by
e
g. The only subtlety is that, in doing so, the implicit finite sums over
a = 1, . . . , dim g are now replaced by infinite sums over an index ea labelling a basis of
e
g,
which one has to make sense of by working in a suitable completion of the algebra of ob-
servables. See [4] for a further discussion of this technical point which we shall not consider
any further here. In particular, the Lax matrix of the affine Gaudin model takes on the
exact same form as in (1.3) but where now the
e
g-valued observables
J
(i)
= I
ea
⊗ I
ea(i)
= d ⊗ k
(i)
+ k ⊗ d
(i)
+
X
n∈Z
I
a,−n
⊗ I
a(i)
n
– 3 –
剩余87页未读,继续阅读
资源评论
weixin_38629303
- 粉丝: 4
- 资源: 868
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 零基础之转录组分析,趋势分析差异分析热图
- html渲染器,粘贴html代码到这个渲染器即可渲染出对应的效果
- 计应4班-李长文-07-人工智能期末考试试卷B.doc
- 圣诞树html网页代码
- build(1).gradle
- 含微网的配电网优化调度yalmip 采用matlab编程,以IEEE33节点为算例,编写含sop和3个微网的配电网优化调度程序,采用yalmip+cplex 这段程序是一个微网系统的建模程序,用于对微
- MMC整流器(Matlab),技术文档 1.MMC工作在整流侧,子模块个数N=18,直流侧电压Udc=25.2kV,交流侧电压6.6kV 2.控制器采用双闭环控制,外环控制直流电压,采用PI调节器,电
- Cyclecharacter01234
- C# 通过串口实时获取温湿度
- 基于粒子群算法的配电网日前优化调度 采用IEEE33节点配电网搭建含风光,储能,柴油发电机和燃气轮机的经济调度模型 以运行成本和环境成本最小为目标,考虑储能以及潮流等约束,采用粒子群算法对模型进行求
- Smart Log Tool V1.7
- 两相交错并联LLC谐振变器,均流和不均流方式都有,联系前请注明是否均流 模型均可实现输出电压闭环控制 第二幅波形图模拟的效果为电容相差15%,均流效果良好 仿真模型的运行环境是matlab simul
- 云上探索实验室活动说明
- matlab三电平statcom无功检测双闭环svpwm调制两电平 三电平逆变器拓扑,pq无功电流检测模块,直流电压外环电流内环解耦控制,svpwm调制生成触发信号 附带Word讲解
- C# 获取网卡物理地址源码
- .archivetemp阅读天数.py
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功