[論文レビュー] Intersection numbers on Deligne-Mumford moduli spaces and quantum Airy curve

Jian Zhou|arXiv (Cornell University)|Jun 26, 2012

Algebraic Geometry and Number Theory参考文献 6被引用数 26

ひとこと要約

この論文は、GukovとSułkowskiの予想のアイリーカーブの場合を、Eynard-Orantinトポロジカル再帰を用いて構成された分配関数 $ Z $ が、量子曲線方程式 $ \hat{A}(u,v)Z = 0 $ を満たすことを示すことによって証明している。ここで $ \hat{A} $ は、古典的アイリーカーブ $ \frac{1}{2}v^2 - u = 0 $ の量子化である。証明は、Deligne-Mumfordモジュライ空間 $ \overline{\mathcal{M}}_{g,n} $ 上の交点数に関する Dijkgraaf-Verlinde-Verlinde の Virasoro 制約に帰着され、量子曲線と $ \overline{\mathcal{M}}_{g,n} $ 上の交点理論との直接的な関係を確立する。

ABSTRACT

We establish the Airy curve case of a conjecture of Gukov and Sułkowski by reducing to Dijkgraaf-Verlinde-Verlinde Virasoro constraints satisfied by the intersection numbers on moduli spaces of algebraic curves.

研究の動機と目的

• トポロジカル再帰によって構成された代数的曲線上の分配関数が量子曲線方程式を満たすという Gukov-Sułkowski の量子曲線予想のアイリーカーブの場合を確立する。
• アイリーカーブにおける Eynard-Orantin トポロジカル再帰と、Deligne-Mumford モジュライ空間 $ \overline{\mathcal{M}}_{g,n} $ 上の交点数、特に高次の Weil-Petersson 体積との間のギャップを埋める。
• Eynard-Orantin 再帰と Baker-Akhiezer 関数を用いて定義された分配関数 $ Z $ が、量子微分作用素 $ \hat{A} = \frac{1}{2}\hat{v}^2 - \hat{u} $ を満たすことを示す。ここで $ \hat{u} = u\cdot $、$ \hat{v} = \hbar \partial_u $ である。
• アイリーカーブにおける Eynard-Orantin 再帰と、$ \overline{\mathcal{M}}_{g,n} $ 上の交点数に関する Dijkgraaf-Verlinde-Verlinde (DVV) 再帰の直接的な同等性を提供する。
• 交点数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ を符号化する $ n $-点多項式関数のための、新たな単純な再帰関係を導出する。この関係はアイリーカーブ構造と関連する。

提案手法

• パラメトライゼーション $ u(p) = \frac{1}{2}p^2 $、$ v(p) = p $ を用いて、$ \frac{1}{2}v^2 - u = 0 $ で定義されるアイリーカーブに Eynard-Orantin トポロジカル再帰を適用し、微分形式 $ W_{g,n} $ を生成する。
• 分配関数 $ Z = \exp\left( \sum_{n=0}^\infty \hbar^{n-1} S_n \right) $ を定義する。ここで $ S_n $ は $ W_{g,k} $ の積分であり、$ S_0 = \int^p v(p) du(p) $、$ S_1 = -\frac{1}{2}\log \frac{du}{dp} $、高次の $ S_n $ は反復積分で与えられる。
• 量子曲線方程式 $ \hat{A}Z = 0 $ を、$ \overline{\mathcal{M}}_{g,n} $ 上の交点数に関する Dijkgraaf-Verlinde-Verlinde (DVV) 再帰関係に還元する。アイリーカーブにおける DVV と Eynard-Orantin 再帰の既知の同等性を活用する。
• $ \omega_{g,n} $ を、交点数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ の母関数とし、二重階乗 $ (2a_i+1)!! $ を含む係数を持つ。$ w $-変数を用いた $ \omega_{g,n} $ の単純な再帰関係を導出する。
• $ \omega_{g,n} $ の逆微分 $ \Omega_{g,n} $ を定義し、$ (2a_i-1)!! $ を含む係数を持つ。$ \partial_{w_0} \Omega_{g,n+1} $ の再帰関係を、微分作用素 $ \partial_x \partial_y $、$ \partial_{w_0} $、および線形作用素 $ \mathcal{D}_{u,v} $ を用いて導出する。
• 導出された $ \Omega_{g,n} $ の再帰関係を用いて、$ S_n $ 項が量子曲線方程式 $ \hat{A}Z = 0 $ を満たすことを確認する。微分作用素と級数展開の比較により、証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 Eynard-Orantin 再帰を用いてアイリーカーブ上で構成された分配関数 $ Z $ は、$ \hat{A} $ が $ A(u,v) = \frac{1}{2}v^2 - u $ の量子化である場合、量子曲線方程式 $ \hat{A}Z = 0 $ を満たすか？
• RQ2 アイリーカーブにおける Eynard-Orantin 再帰は、$ \overline{\mathcal{M}}_{g,n} $ 上の交点数に関する Dijkgraaf-Verlinde-Verlinde (DVV) 再帰と直接的に関連づけられるか？
• RQ3 交点数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ を符号化する $ n $-点多項式関数 $ \omega_{g,n} $ のための、単純な閉形式の再帰関係は存在するか？
• RQ4 $ \omega_{g,n} $ の逆微分 $ \Omega_{g,n} $ を用いて、$ Z $ の量子曲線方程式を示す微分再帰関係を導出できるか？
• RQ5 分配関数 $ Z $ がアイリーカーブ上での Eynard-Orantin 再帰と Baker-Akhiezer 関数によって定義される場合、量子曲線方程式 $ \hat{A}Z = 0 $ は成り立つか？

主な発見

• この論文は、アイリーカーブ上での Eynard-Orantin 再帰によって定義された分配関数 $ Z $ が、量子曲線方程式 $ \hat{A}Z = 0 $ を満たすことを証明し、Gukov-Sułkowski 予想のアイリーカーブの場合を確認した。
• 交点数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ を符号化する $ n $-点多項式関数 $ \omega_{g,n} $ について、$ w $-変数を用いた新たな再帰関係が導出された。この再帰関係は、$ w_0 $、$ \omega_{g-1,n+2} $、および低 genus 項の積を含む、単純な形をしている。
• $ \Omega_{g,n} $ は、$ w_0^{5/2} \partial_{w_0} $、$ \partial_x \partial_y $、および線形作用素 $ \mathcal{D}_{u,v} $ を含む再帰関係を満たし、これにより量子曲線方程式が導出可能である。
• 量子曲線方程式 $ \hat{A}Z = 0 $ は、$ \Omega_{g,n} $ の再帰関係に同等な微分的恒等式が $ S_n $ 項に満たされることを示すことにより、$ \pm $ の符号や作用素の恒等式を丁寧に取り扱った結果、検証された。
• Eynard-Orantin 再帰と DVV 再帰の結果を統合することで、アイリーカーブと $ \overline{\mathcal{M}}_{g,n} $ 上の交点数との直接的な関係が確立された。アイリーファンクション $ Ai(x) $ は、この量子曲線の解として現れる。