[论文解读] Involutive distributions of operator-valued evolutionary vector fields

Arthemy V. Kiselev, J.W. van de Leur|arXiv (Cornell University)|Mar 28, 2007

Mathematical Dynamics and Fractals参考文献 59被引用 7

一句话总结

本文引入了弗罗贝尼乌斯算子——在全导数下的线性矩阵微分算子，其在进化向量场的李代数中的像在对易子下封闭，从而在喷射空间上形成对合分布。主要贡献在于通过米乌类型变换统一地几何与代数地分类此类算子，推广了递归与哈密顿算子，并在商域/核上建立了李代数结构，同时显式构造了与半单李代数相关的二维Toda链的结构常数。

ABSTRACT

Let F be a smooth real manifold with a linear connection in the tangent bundle. How can we extend the coefficients of the connection to bi-differential operators that incorporate the original structure at zero order? Take a constant mapping of F to a point. Suppose that the point belongs to another manifold M^n. Consider a fibre bundle over M^n with fibres F. Denote the projection of the total space to M^n by π. Construct the space of infinite jets $J^\infty(π)$ of sections for this bundle. The $C^\infty(J^\infty(π))$-module of π-vertical evolutionary fields on the jet space is the analogue of the $C^\infty(F)$-module of vector fields on F, which now `feels' the presence of the base M^n. We define and classify the matrix linear differential operators whose images in the module of evolutionary fields are closed w.r.t. commutation. We define the compatibility for such operators with collective commutation closure. We prove that, under reparameterizations in their domain, the bi-differential structural constants, which describe the commutation of the fields in the sum of their images, obey an analogue of the transformation rule for Christoffel symbols. We show that the new structure is the connection in the pair of Lie algebras (the domain and the sum of images of the operators) related by homomorphisms (points in the linear space spanned by the operators). The application of this theory to geometry of PDE solves a long-standing problem. We give a complete description of symmetry algebras for 2D Toda chains associated with semi-simple Lie algebras: we obtain all symmetry generators and calculate all commutation relations. As a by-product, we expose a geometric scheme for derivation of bi-Hamiltonian KdV-type hierarchies related to root systems.

研究动机与目标

• 定义一种坐标无关、几何化的全导数线性微分算子概念，其像在喷射空间上进化向量场的李代数中对对易子封闭。
• 通过允许定义域与像之间独立的规范变换，推广经典递归与哈密顿算子，打破可积系统中常见的标准关联。
• 在由此类算子诱导的商空间 dom(A)/ker(A) 上构造李代数结构，并在算子空间上赋予满足雅可比恒等式的括号。
• 通过米乌替换下的向量与余向量变换律对弗罗贝尼乌斯算子进行分类，区分出两类主要类型。
• 通过显式计算算子与结构常数，完整描述与秩为 r 的半单李代数相关的二维Toda链的高阶对称性。

提出的方法

• 本文定义弗罗贝尼乌斯算子 A，使得 [im A, im A] ⊆ im A，确保在无限喷射丛 J^∞(π) 上形成对合分布。
• 在 Ω = dom A / ker A 上引入李括号 [ , ]_A，从进化向量场的对易子结构中提升该结构。
• 通过米乌替换下定义域的变换律对算子进行分类，其中定义域的规范自由度与像的变换独立。
• 在具有共同定义域的 r 元组算子上定义双线性括号 [A_i, A_j] = ∑_k A_k ∘ c_ij^k，其中 c_ij^k 为满足雅可比恒等式的双微分算子。
• 对于二维Toda系统，作者显式计算了算子 A_i 与结构常数 c_ij^k，通过平坦仿射联络上的测地流证明其完全可积性。
• 本文在李代数上构造形式微分复形 (Ω, [ , ]_A)，以关联喷射空间上的李代数丛与李代数同态 A: Ω → g。

实验结果

研究问题

• RQ1 如何定义一种坐标无关、几何化的全导数线性微分算子概念，使其像在喷射空间上进化向量场的李代数中对对易子封闭？
• RQ2 当算子 A 的像为对合时，商空间 dom(A)/ker(A) 的代数与几何结构为何？
• RQ3 算子 A 的定义域变换律与像之间有何关系？其是否可独立存在，从而推广已知的递归与哈密顿算子？
• RQ4 米乌替换在弗罗贝尼乌斯算子分类中起何作用？其与定义域中规范自由度有何关联？
• RQ5 对于如二维Toda链等可积系统，能否显式计算算子括号 [A_i, A_j] 的结构常数？其编码了何种几何结构？

主要发现

• 本文构造了首个已知的、在可积系统中明确定义的弗罗贝尼乌斯递归算子 R_0 = Â_0 ∘ ω，通过符号计算显式验证。
• 对于与秩为 r 的半单李代数相关的二维Toda链，作者提供了高阶对称性的完整描述，推广并补全了先前工作的结果。
• 算子括号的结构常数 c_ij^k 被显式计算，并表明其编码了三元组 Ω → g 上平坦非卡坦仿射联络的对称双微分克里斯托费尔符号。
• 当 Ω 由向量场构成时，括号 [A_i, A_j] 为反对称；当 Ω 由余向量场构成时，括号为对称，反映了对偶变换律。
• 本文证明了当对合性条件成立时，无限喷射丛上的李代数丛无法直接从有限维基流形上提升，必须依赖于 (Ω, [ , ]_A) 上的形式微分复形。
• 通过算子 ω = A_1^{-1} 及其通过进化导子的作用计算索科洛夫括号，确认了雅可比恒等式，符号验证在 15,000 行输出后残差为零。