[论文解读] Simple Lie algebras and topological ODEs

Marco Bertola, Boris Dubrovin+1 more|arXiv (Cornell University)|Aug 15, 2015

Algebraic Geometry and Number Theory参考文献 30被引用 3

一句话总结

本文引入了一类具有多项式系数的线性常微分方程系统——称为拓扑ODE——与任意单李代数 𝔤 相关联，其在无穷远处的正则解构成一个维度等于 𝔤 的秩的向量空间。作者构造了广义Airy正则化作为该解空间的一组基，将已知的 𝔰𝔩₂ 情况下Airy函数的关联关系推广至所有单李代数，并应用它们计算了代数曲线模空间的Witten–Kontsevich与Fan–Jarvis–Ruan不变量。

ABSTRACT

For a simple Lie algebra $\mathfrak g$ we define a system of linear ODEs with polynomial coefficients, which we call the topological equation of $\mathfrak g$-type. The dimension of the space of solutions regular at infinity is equal to the rank of the Lie algebra. For the simplest example $\mathfrak g=sl_2(\mathbb C)$ the regular solution can be expressed via products of Airy functions and their derivatives; this matrix valued function was used in our previous work for computing logarithmic derivatives of the Witten - Kontsevich tau-function. For an arbitrary simple Lie algebra we construct a basis in the space of regular solutions to the topological equation called generalized Airy resolvents. We also outline applications of the generalized Airy resolvents to computing the Witten and Fan - Jarvis - Ruan invariants of the Deligne - Mumford moduli spaces of stable algebraic curves.

研究动机与目标

• 为任意单李代数 𝔤 定义一类具有多项式系数的线性常微分方程系统，称为拓扑ODE。
• 刻画在无穷远处正则的解空间，证明其维度等于 𝔤 的秩。
• 利用李代数的结构及其Weyl生成元，构造该解空间的一组解——广义Airy正则化。
• 将广义Airy正则化应用于计算稳定曲线模空间中的交点数。
• 通过统一框架将已知的Airy函数与 𝔰𝔩₂ 情况的关联关系推广至任意单李代数。

提出的方法

• 在李代数 𝔤 中定义循环元 Λ = I₊ + λE₋ᵣₕₑₜₐ，其中 I₊ 是一个主幂零元，E₋ᵣₕₑₜₐ 是最低根向量。
• 将拓扑ODE表述为 M′ = [M, Λ]，其中 M 是 λ 的 𝔤-值函数。
• 研究解在无穷远处的渐近行为，重点关注增长至多为多项式程度的解——称为正则解。
• 利用根系与Cartan–Killing形式，构造广义Airy正则化作为正则解空间的一组基。
• 对经典与例外李代数，使用Laplace–Borel变换与围道积分表示（Pearcey型积分）表达解。
• 推导解分量的Laplace–Borel变换所满足的微分方程，从而在例外情形（如 E₆）中导出超几何型常微分方程。

实验结果

研究问题

• RQ1 对于给定的单李代数 𝔤，拓扑ODE的解空间具有怎样的结构？
• RQ2 如何显式构造任意单李代数在无穷远处正则解（广义Airy正则化）的一组基？
• RQ3 广义Airy正则化在多大程度上可用于计算稳定曲线模空间中的交点数？
• RQ4 拓扑ODE如何将已知的 𝔰𝔩₂ 情况下Airy函数的关联关系推广至高秩李代数？
• RQ5 循环元 Λ = I₊ + λE₋ᵣₕₑₜₐ 在编码解的代数与渐近结构方面起什么作用？

主要发现

• 𝔤 型拓扑ODE的正则解空间的维度等于 𝔤 的秩。
• 对于 𝔰𝔩₂(ℂ)，正则解可表示为Airy函数及其导数的乘积，与已知用于计算Witten–Kontsevich tau函数导数的构造一致。
• 广义Airy正则化被构造为任意单李代数的拓扑ODE解空间的一组基。
• 对于经典李代数（Aₙ, Bₙ, Cₙ, Dₙ），解通过包含 x^{4n-2} 或 x^{4n+2} 的指数项的Pearcey型积分表示。
• 对于 E₆，解分量满足一组涉及超几何函数 ₀F₁ 的二阶常微分方程，其显式解可用Bessel型函数表示。
• 通过在积分表示上应用鞍点法，可推导广义Airy正则化的渐近展开，从而实现交点数的计算。