[论文解读] Equivalence of the open KdV and the open Virasoro equations for the moduli space of Riemann surfaces with boundary

A. Buryak|arXiv (Cornell University)|Sep 12, 2014

Algebraic Geometry and Number Theory被引用 6

一句话总结

本文证明了具有边界的黎曼曲面模空间上，开 KdV 方程与开 Virasoro 方程的等价性，确立了两个系统唯一确定了相同的交数生成函数。证明的关键在于表明：由亏格零初值确定的开 KdV 方程的唯一解，自动满足开 Virasoro 约束，从而证实了[PST14]中的一个猜想。

ABSTRACT

In a recent paper R. Pandharipande, J. Solomon and R. Tessler initiated a study of the intersection theory on the moduli space of Riemann surfaces with boundary. The authors conjectured KdV and Virasoro type equations that completely determine all intersection numbers. In this paper we study these equations in detail. In particular, we prove that the KdV and the Virasoro type equations for the intersection numbers on the moduli space of Riemann surfaces with boundary are equivalent.

研究动机与目标

• 解决[PST14]中的猜想，即具有边界的黎曼曲面模空间上，交点数的开 KdV 方程与开 Virasoro 方程是等价的。
• 确立由亏格零交点数初始化的开 KdV 方程的唯一解，满足所有开 Virasoro 约束。
• 证明开 Virasoro 方程并非独立，而是在相同初值条件下，由开 KdV 系统所导出。
• 通过微分方程框架，将 Witten–Kontsevich 理论扩展至具有边界的开情形，从而完全刻画交点数。

提出的方法

• 将开 KdV 方程与开 Virasoro 方程形式化为控制具有边界的模空间上交点数生成函数的偏微分方程。
• 利用对应于亏格零交点数的初值，唯一确定开 KdV 系统的解。
• 对 Virasoro 算子 $ L_n $ 使用递归归纳法，将证明归约为验证 $ n = -1, 0, 1, 2 $ 时的方程。
• 使用字符串算子 $ S = \frac{\tau}{\tau} - \frac{\tau}{\tau} $ 分析 $ \frac{L_n \tau}{\tau} $ 在 $ \partial_{t_0} $ 与 $ \sum t_{i+1} \partial_{t_i} $ 作用下的行为。
• 分析 $ \frac{L_n \tau}{\tau} $ 的微分多项式结构，证明其属于 $ \mathbb{C}[u, u^{-1}] $，且在 $ t_* = 0 $ 处常数项为零，从而得出 $ L_n \exp(F) = 0 $。
• 通过直接计算 $ L_n \tau / \tau $ 在 $ t_* = 0 $ 处的值，验证 $ n = 0,1,2 $ 时的 Virasoro 方程，表明在初值条件下全部为零。

实验结果

研究问题

• RQ1 具有边界的黎曼曲面模空间上，开 KdV 方程与开 Virasoro 方程是否等价？
• RQ2 由亏格零交点数确定的开 KdV 方程的唯一解是否满足开 Virasoro 约束？
• RQ3 能否通过字符串方程与初值数据，从开 KdV 系统推导出开 Virasoro 方程？
• RQ4 $ \frac{L_n \tau}{\tau} $ 的 $ \mathbb{C}[u, u^{-1}] $-值结构在证明 Virasoro 方程中起什么作用？
• RQ5 开 Virasoro 算子 $ L_n $ 如何作用于生成函数 $ F $？在何种条件下可保证 $ L_n \exp(F) = 0 $？

主要发现

• 具有边界的黎曼曲面模空间上，开 KdV 方程与开 Virasoro 方程是等价的。
• 由亏格零交点数初始化的开 KdV 方程的唯一解，满足所有开 Virasoro 约束。
• 对 $ n = -1, 0, 1, 2 $ 的 Virasoro 方程在 $ t_* = 0 $ 处已验证，归纳法可将其推广至所有 $ n \geq -1 $。
• 生成函数 $ F $ 满足对所有 $ n \geq -1 $ 有 $ L_n \exp(F) = 0 $，从而证实了开 Virasoro 猜想。
• $ \frac{L_n \tau}{\tau} $ 的微分多项式结构在 $ t_* = 0 $ 处为零，且其 $ x $-导数也为零，表明其为常数，因而为零。
• 证明依赖于字符串方程与 KdV 层次结构，将问题简化为验证有限个初值条件，从而确认了整个系统。