[論文レビュー] 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方程式とオープンバーラソロ方程式の同値性を証明し、両方の系が同じ交差数の母関数を一意に定めることを確立している。証明は、 genus-zero 初期データによって指定されるオープンKdV方程式の唯一の解が、自動的にオープンバーラソ制約を満たすことを示すことにより、[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.

研究の動機と目的

• 境界付きリーマン面のモジュライ空間における交差数のオープンKdV方程式とオープンバーラソ方程式が同値であるという[PST14]の予想を解決すること。
• genus-zero 交差数によって初期化されたオープンKdV方程式の唯一の解が、オープンバーラソ制約を満たすことの確立。
• オープンバーラソ方程式が独立ではないこと、同じ初期条件下でオープンKdV系から導かれるという証明。
• Witten–Kontsevich理論の枠組みを境界付きのオープン系に拡張し、微分方程式を用いて交差数を完全に特徴づけること。

提案手法

• 境界付きモジュライ空間における交差数の母関数を記述する偏微分方程式として、オープンKdV方程式とオープンバーラソ方程式を形式化する。
• genus-zero 交差数に対応する初期条件を用いて、オープンKdV系の解を一意に特定する。
• バーラソ作用素 $ 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 $ を結論づける。
• 初期条件の下で $ t_* = 0 $ におけるバーラソ方程式を直接計算により検証し、$ n = 0,1,2 $ に対してすべてが消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 境界付きリーマン面のモジュライ空間におけるオープンKdV方程式とオープンバーラソ方程式は同値か？
• RQ2 genus-zero 交差数によって初期化されたオープンKdV方程式の唯一の解は、オープンバーラソ制約を満たすか？
• RQ3 ストリング方程式と初期データを用いて、オープンバーラソ方程式をオープンKdV系から導出可能か？
• RQ4 $ \frac{L_n \tau}{\tau} $ の $ \mathbb{C}[u, u^{-1}] $-値構造がバーラソ方程式の証明において果たす役割は何か？
• RQ5 オープンバーラソ作用素 $ L_n $ は母関数 $ F $ にどのように作用するか？また、$ L_n \exp(F) = 0 $ を保証する条件は何か？

主な発見

• 境界付きリーマン面のモジュライ空間において、オープンKdV方程式とオープンバーラソ方程式は同値である。
• genus-zero 交差数によって初期化されたオープンKdV方程式の唯一の解は、すべてのオープンバーラソ制約を満たす。
• $ n = -1, 0, 1, 2 $ に対するバーラソ方程式が $ t_* = 0 $ で検証され、帰納法によりすべての $ n \geq -1 $ に拡張される。
• 母関数 $ F $ に対してすべての $ n \geq -1 $ で $ L_n \exp(F) = 0 $ が成り立ち、オープンバーラソ予想が確認される。
• $ \frac{L_n \tau}{\tau} $ の微分多項式構造は $ t_* = 0 $ で消え、その $ x $-微分も消えるため、定数であり、結果としてゼロである。
• 証明はストリング方程式とKdV階層を用いて、問題を有限個の初期条件の検証に還元し、全系が確認されることを裏付ける。