Extensions of integrable quantum field theories based on Lorentzian Kac-Moody algebras

该提案旨在研究洛伦兹卡茨-穆迪代数在可积量子场论中所扮演的角色。自20世纪30年代以来，有限维李代数一直是描述自然界基本定律和力的核心。当无限维的卡茨-穆迪代数在1960年被发现时，这个用来描述规范理论的工具集被扩大了。仿射代数，这是前者的子类，现在发挥着至关重要的作用，在理解和描述弦理论和共形场论1。双曲Kac-Moody代数和Lorentzian Kac-Moody代数只是最近才被解出2，并且已经确定它们表征了更现代版本的弦理论，即M-理论的对称性3。特别是，例外李代数的E10和En扩张起着中心作用。关于洛伦兹Kac-Moody代数的基本数学的理解是相当新颖的，并且部分仍然不完整。虽然有限维或仿射型的单李代数已经被很好地研究和完全分类，但洛伦兹Kac-Moody代数仍在研究中。该分类方案是基于对有限连通Dynkin图或等价于它们的根系或Cartan矩阵的研究。一种特殊类型的卡茨-穆迪代数，已被研究的一些细节，通常被称为“双曲”。它们的Dynkin图以这样一种方式连接，使得删除任何一个节点都会留下一组（可能是断开的）连接的Dynkin图，每个Dynkin图都是有限类型的，除了最多一个仿射类型。双曲Kac-Moody代数已被分类，具有不超过10个节点和一个Cartan矩阵是洛伦兹的，也就是说，非奇异的，并赋予正好一个负特征值。与此同时，作为理解上述内容的一部分，在一个空间和一个时间维度中的可积量子场论已经精确地使用有限维和无限维李代数的这些数学工具来发展。它们被用于形状因子自举方法6，该方法使人们能够在耦合常数的微扰理论中构建散射矩阵7 t9。随后在n粒子的形状因子方面的扩展允许在耦合中以非微扰的方式计算量子相关函数。已知在n粒子形状因子方面的扩展非常快速地收敛。到目前为止，还没有基于洛伦兹Kac-Moody代数的这类理论。本提案的目的是填补这一空白，并研究其性质。完成或部分完成这一点不仅会扩大可积量子场论的范围，丰富对它们的理解，而且还有望为正在进行的M理论研究提供新的启示。即使扩展的模型破坏了可积性，后者也将成立。在这个项目中使用的方法将部分来自标准量子力学，但特别是在可积量子场论的背景下开发的工具，即S-矩阵自举方法和形状因子方法。数学工具将是有限维李代数、无限维李代数（特别是Kac-Moody代数）和主要是Lorentzian Kac-Moody代数。我将与这些后者代数的基础上的经典模型的研究com-mence，并采用在经典可积系统的背景下发展的技术。鉴于我的背景，我已经熟悉量子场论的一般原理，但我必须熟悉它们的量子可积版本的一些更高级的技术，特别是与洛伦兹卡茨-穆迪代数有关的数学。

This proposal aims to investigate the role played by Lorentzian Kac-Moody algebras in integrable quantum field theories. Finite dimensional Lie algebras are central in the de-scription of the fundamental laws and forces of nature since the 1930s. This tool set to describe gauge theories was enlarged when infinite dimensional Kac-Moody algebras were discovered in the 1960. Affine algebras, which are subclasses of the former, play now a vi-tal role in the understanding and description of string theory and conformal field theory1 . Hyperbolic Kac-Moody algebras and Lorentzian Kac-Moody algebras have only been de-veloped fairly recently2 and it is established that they characterize the symmetries a more modern versions of string theory, that is M-theory3 . In particular, the E10 and En exten-sions of the exceptional Lie algebras play a central role45 . The understanding of the underlying mathematics regarding Lorentzian Kac-Moody algebras is fairly novel and in parts still incomplete. While simple Lie algebras of finite dimensional or affine type are well studied and fully classified, Lorentzian Kac-Moody algebras are still under investigation. The classification scheme is based on the study offinite connected Dynkin diagrams or equivalently their root systems or Cartan matrices. A particular type of Kac-Moody algebras that has been studied in some detail are usually referred as 'hyperbolic'. Their Dynkin diagrams are connected in such a way such that deletion of any one node leaves a (possibly disconnected) set of connected Dynkin diagrams each of which is of finite type except for at most one of affine type. The hyperbolic Kac-Moody algebras have been classified, possess no more than ten nodes and a Cartan matrix that is Lorentzian, that is, nonsingular and endowed with exactly one negative eigenvalue. In parallel and as part of the understanding of the above, integrable quantum field theories in one space and one time dimensions have been developed using precisely these mathematical tools of finite and infinite dimensional Lie algebras. They were employed in the form factor bootstrap approach6 that enables one to construct scattering matrices7 t9 all orders in perturbation theory in the coupling constants. A subsequent expansion in terms of n-particle form factors allows to compute quantum correlation functions in non-perturbative fashion in the coupling. The expansion in terms of n-particle form factors is known to converge very rapidly. So far no theories of this type have been developed based on Lorentzian Kac-Moody al-gebras. The aim of this proposal is to fill this gap and study their properties. A completion or even a partial completion of this will not only enlarge the set of integrable quantum field theories and enrich their understanding, but it is also expected to shed new light on the ongoing investigations in M-theory. The latter will also hold even if the extended models turn out to break the integrability. MethodologyThe methods to be used in this project will be in part those from standard quantum mechanics, but especially the tool developed in the context of integrable quantum field theories, that is the S-matrix bootstrap method and the form factor approach. The math-ematical tools will be finite dimensional Lie algebras, infinite dimensional Lie algebras (in particular Kac-Moody algebra) and mainly Lorentzian Kac-Moody algebras. I will com-mence with the study of classical models based on these latter algebras and employ also techniques developed in the context of classical integrable systems. Given my background, I am already familiar with the general principals of quantum field theory, but I will have to familiarize myself with some of the more advanced techniques of their quantum integrable versions and especially with the mathematics around Lorentzian Kac-Moody algebras.