[论文解读] Systems of Kowalevski type, discriminantly separable polynomials and quad-graphs

Vladimir Dragović, Katarina Kukić|arXiv (Cornell University)|Jun 28, 2011

Mathematical functions and polynomials参考文献 16被引用 5

一句话总结

本文通过判别式可分离多项式（即判别式可分解为一元多项式乘积的多项式）引入了一类新型的科瓦列夫斯卡娅型可积系统，使得系统可通过阿贝尔双 theta 函数显式求解。核心贡献是基于判别式分量的零点结构，对这类多项式进行了分类，将其与二次曲线线束及可积四边形图联系起来，并进一步揭示了其与一般位置下 Buchstaber-Novikov 两值群的联系。

ABSTRACT

We establish a new class of integrable {\it systems of Kowalevski type}, associated with discriminantly separable polynomials of degree two in each of three variables. Defining property of such polynomials, that all discriminants as polynomials of two variables are factorized as products of two polynomials of one variable each (denote one of the polynomial components as $P$), lead to an effective integration procedure. In the motivating example, the celebrated Kowalevski top, the discriminant separability is a property of the polynomial defining the Kowalevski fundamental equation. We construct several new examples of systems of Kowalevski type, and we perform their explicit integration in genus two theta-functions. One of the main tasks of the paper is to classify such discriminantly separable polynomials. Our classification is based on the study of structures of zeros of a polynomial component $P$ of a discriminant. From a geometric point of view, such a classification is related to the types of pencils of conics. We construct also discrete integrable systems on quad-graphs associated with discriminantly separable polynomials. We establish a relationship between our classification and the classification of integrable quad-graphs which has been suggested recently by Adler, Bobenko and Suris. As a fit back, we get a geometric interpretation of their results in terms of pencils of conics, and in the case of general position, when all four zeros of the polynomial $P$ are distinct, we get a connection with the Buchstaber-Novikov two-valued groups on $\mathbb {CP}^1$.

研究动机与目标

• 定义并研究一类基于判别式可分离多项式的新型科瓦列夫斯卡娅型可积系统。
• 通过分析判别式分量零点结构，对三元二次判别式可分离多项式进行分类。
• 建立此类多项式与二次曲线线束之间的几何对应关系。
• 将分类结果与 Adler-Bobenko-Suris 的可积四边形图分类框架相联系。
• 在多项式 P 有四个不同零点的情况下，探讨其与 ℂP¹ 上 Buchstaber-Novikov 两值群的联系。

提出的方法

• 利用多项式判别式可分解为两个一元多项式乘积的定义性质，记为 P。
• 通过分析多项式分量 P 的零点构型，对判别式可分离多项式进行分类。
• 利用阿贝尔双 theta 函数构造系统的显式解。
• 通过二次曲线线束建立几何解释，将代数结构与构型类型相联系。
• 从同一多项式框架出发，推导出四边形图上的离散可积系统。
• 通过几何与代数对应关系，将分类结果与 Adler-Bobenko-Suris 的可积四边形图框架相联系。

实验结果

研究问题

• RQ1 如何系统地利用判别式可分离多项式构造科瓦列夫斯卡娅型系统？
• RQ2 三元二次判别式可分离多项式的分类背后的几何结构是什么？
• RQ3 判别式分量 P 的零点构型如何决定其对应系统的可积性与结构？
• RQ4 判别式可分离多项式与 Adler-Bobenko-Suris 的可积四边形图分类之间存在何种关系？
• RQ5 当 P 有四个不同零点时，系统与 ℂP¹ 上的 Buchstaber-Novikov 两值群有何关联？

主要发现

• 本文建立了一类新型科瓦列夫斯卡娅型可积系统，其定义多项式为判别式可分离多项式，使得系统可通过阿贝尔双 theta 函数显式求解。
• 基于判别式分量 P 的零点几何构型，实现了对三元二次判别式可分离多项式的完整分类。
• 该分类对应于二次曲线线束的类型，为代数结构提供了几何解释。
• 从同一判别式可分离多项式出发，构造了四边形图上的离散可积系统，建立了连续与离散可积系统之间的联系。
• 在 P 有四个不同零点的一般位置情形下，该框架实现了与 ℂP¹ 上 Buchstaber-Novikov 两值群的联系。
• 经典科瓦列夫斯卡娅陀螺被证明是该方法的一个特例，其基本方程的判别式表现出可分性，验证了该方法与已知可积系统的自洽性。