[论文解读] Intersection theory on moduli of disks, open KdV and Virasoro

Rahul Pandharipande, Jake P. Solomon+1 more|arXiv (Cornell University)|Sep 8, 2014

Algebraic Geometry and Number Theory被引用 12

一句话总结

本文建立了稳定带标记圆盘模空间上 descend 积分的理论，证明其满足开放 KdV 层次和半- Virasoro 代数约束。通过边界条件上的几何递归与多截面技术，作者唯一确定了高亏格的开放 descend 不变量，为开放量子重力与拓扑递归提供了 Witten 猜想的完整开放类比。

ABSTRACT

We define a theory of descendent integration on the moduli spaces of stable pointed disks. The descendent integrals are proved to be coefficients of the $τ$-function of an open KdV heirarchy. A relation between the integrals and a representation of half the Virasoro algebra is also proved. The construction of the theory requires an in depth study of homotopy classes of multivalued boundary conditions. Geometric recursions based on the combined structure of the boundary conditions and the moduli space are used to compute the integrals. We also provide a detailed analysis of orientations. Our open KdV and Virasoro constraints uniquely specify a theory of higher genus open descendent integrals. As a result, we obtain an open analog (governing all genera) of Witten's conjectures concerning descendent integrals on the Deligne-Mumford space of stable curves.

研究动机与目标

• 在稳定带标记圆盘的模空间上定义 descend 积分的理论。
• 证明这些积分满足开放 KdV 层次和半- Virasoro 代数约束。
• 基于边界条件与模空间结构建立几何递归。
• 为所有亏格提供 Witten 猜想的完整开放类比。

提出的方法

• 使用多截面与相对欧拉类，在稳定带标记圆盘的模空间上构建 descend 积分理论。
• 基于光滑化与边界分层的几何递归用于计算积分。
• 利用遗忘映射与稳定图分解，在不同亏格之间关联积分。
• 分析多值边界条件的定向与同伦类。
• 通过几何论证证明字符串方程、稀释方程与 TRR（拓扑递归）方程。
• 使用二项式恒等式与生成函数验证 KdV 与 Virasoro 约束。

实验结果

研究问题

• RQ1 如何在稳定带标记圆盘的模空间上一致地定义 descend 积分？
• RQ2 哪些微分方程控制开放 descend 积分的生成函数？
• RQ3 开放 descend 积分如何与 Virasoro 代数及 KdV 层次相关联？
• RQ4 能否从边界分层与多截面理论构造几何递归？
• RQ5 是否存在所有亏格下 Witten 猜想的完整开放类比？

主要发现

• 开放 descend 积分被证明是开放 KdV 层次的 τ 函数的系数。
• 半 Virasoro 代数的表示作用于开放 descend 理论，唯一确定该理论。
• 通过遗忘映射与边界分层，几何地证明了字符串方程与稀释方程。
• 通过几何递归，在所有亏格中确立了拓扑递归关系（TRR）。
• 该理论满足开放 KdV 方程，且通过二项式恒等式得到显式验证。
• 开放 descend 积分由开放 KdV 与 Virasoro 约束唯一确定，提供了 Witten 猜想的完整开放类比。