[論文レビュー] The Toda conjecture

Ezra Getzler|ArXiv.org|Aug 15, 2001

Algebraic Geometry and Number Theory参考文献 12被引用数 8

ひとこと要約

本稿は、双ハミルトニアン法を用いて、Gromov-Witten汎関数がToda階層のτ関数を生成することを示すことにより、CP¹におけるToda予想を証明する。Virasoro制約と関連づけることで、Toda予想とVirasoro予想の間の関係を確立する。主な結果は、Toda予想がVirasoro予想から導かれ、大位相空間の特定の部分多様体上でのToda方程式の既知の妥当性に依存することである。

ABSTRACT

We study the Toda conjecture of Eguchi and Yang for the Gromov-Witten invariants of CP^1,using the bihamiltonian method of the formal calculus of variations. We also study its relationship to the Virasoro conjecture for CP^1, recently proved by Givental (math.AG/0108100).

研究の動機と目的

• CP¹のGromov-Witten汎関数がToda階層のτ関数であるというToda予想を証明すること。
• CP¹におけるToda予想とVirasoro予想の等価性、特に下降不変量の再帰関係を通じての関係を確立すること。
• Toda格子階層の可換な流れが、CP¹の大位相空間上のハミルトニアン構造から自然に生じることを示すこと。
• Virasoro予想を用いて、Toda予想が部分多様体{ s_k = 0 for k > 1 }上で成立すれば、それが大域的に成立することを示すこと。
• 文献におけるuおよびvの場の誤った同定を是正し、Toda予想の修正形を明確にすること。

提案手法

• CP¹の大位相空間の幾何を解析するため、可積分系における双ハミルトニアン法を用いる。この空間は、穴の開いた多様体およびPoincaré双対作用素の下降項によってパラメータ化される。
• 演算子∇ = ε⁻¹( E^{1/2} - E^{-1/2} ) および [2] = E^{1/2} + E^{-1/2} を導入する。ここで E = e^{ε∂} である。これらを用いてToda方程式および再帰関係を表現する。
• u = ∇²F および v = ∇ ∂_Q F を定義し、Toda方程式 ∂_Q²F = q e^u および再帰関係 (v∇ + [2]∂_Q)⟨⟨τ_{k-1,Q}⟩⟩ = (k+1)∇⟨⟨τ_{k,Q}⟩⟩ が階層を特徴づけることを示す。
• uおよびvのジェット空間としての大位相空間を同定し、Todaの流れをこの設定におけるハミルトニアンベクトル場として解釈可能にする。
• 穴の開いた下降項に関連する流れ∂_{k,P} がハミルトニアン的であることを示し、Todaの流れと可換な新たな階層を生成することを示す。
• GiventalによるCP¹におけるVirasoro予想の証明およびOkounkov-Pandharipandeによる部分多様体{ s_k = 0 }_{k>1} での結果を用いて、Toda予想の完全な証明を導く。

実験結果

リサーチクエスチョン

• RQ1 CP¹のGromov-Witten汎関数はToda階層のτ関数を生成するか？
• RQ2 CP¹におけるToda予想とVirasoro制約は、下降不変量の再帰関係のレベルでどのように関係しているか？
• RQ3 Toda予想は、大位相空間の部分多様体への還元を介してVirasoro予想から導けるか？
• RQ4 Gromov-Witten汎関数の微分としての場uおよびvの正しい同定は何か？
• RQ5 Toda格子階層の流れは、大位相空間上の双ハミルトニアン構造に関してハミルトニアン的か？

主な発見

• Toda予想は、Gromov-Witten汎関数FがToda方程式 ∂_Q²F = q e^u および再帰関係 (v∇ + [2]∂_Q)⟨⟨τ_{k-1,Q}⟩⟩ = (k+1)∇⟨⟨τ_{k,Q}⟩⟩ を満たすことを示すことにより、CP¹で証明された。
• CP¹におけるVirasoro予想が成り立つ限り、再帰関係 (v∇ + [2]∂_Q)⟨⟨τ_{k-1,P}⟩⟩ = k∇⟨⟨τ_{k,P}⟩⟩ + 2∇⟨⟨τ_{k-1,Q}⟩⟩ が成立すれば、Toda予想が導かれる。
• 大位相空間上での流れ∂_{k,P} は双ハミルトニアン構造に関してハミルトニアン的であり、Todaの流れと可換な新たな階層を生成する。
• Toda予想は、Virasoro予想と、部分多様体{ s_k = 0 }_{k>1} におけるToda方程式の既知の妥当性に依存して導かれる。この部分多様体上での成立は、以前にOkounkovおよびPandharipandeによって確立されていた。
• 修正されたToda予想の形は、u = ∇²F および v = ∇ ∂_Q F と同定することにより、文献における誤った場の同定を是正する。
• パrameter εは、Gromov-Witten理論における発展の位相パラメータとしての役割と、Toda格子における格子間隔としての役割を併せ持ち、両理論を結ぶ。