[論文レビュー] Witten's conjecture, Virasoro conjecture, and invariance of tautological equations

Y.-P. Lee|ArXiv.org|Nov 7, 2003

Algebraic Geometry and Number Theory参考文献 22被引用数 19

ひとこと要約

この論文は、ループ群作用におけるタウロジカル方程式の不変性を用いて、高次スピン曲線に関するウィッテンの予想および1次および2次種数におけるコンformal semisimple Frobenius多様体のVirasoro予想を証明する。主な結果は、rスピン理論およびGromov–Witten理論のτ関数が、低種数において期待されるVirasoro制約およびタウロジカル関係を満たすことを確認する。

ABSTRACT

The main goal of this paper is to prove the following two conjectures for genus up to two: 1. Witten's conjecture on the relations between higher spin curves and Gelfand--Dickey hierarchy. 2. Virasoro conjecture for target manifolds with conformal semisimple Frobenius manifolds. The main technique used in the proof is the invariance of tautological equations under loop group action.

研究の動機と目的

• 種数g ≤ 2におけるrスピン交差数とGelfand–Dickey階層の関係を示すウィッテンの1991年予想を証明すること。
• 種数g ≤ 2におけるコンformal semisimple Frobenius構造を備えたターゲット多様体に対してVirasoro予想を検証すること。
• 安定曲線のモジュライ空間におけるタウロジカル関係がループ群作用に関して不変であることを確立し、これにより予想の証明を可能にすること。
• Gromov–Witten理論におけるタウロジカル関係の理解を拡張し、それらが高種数量子不変量の検証における役割を果たすことを明らかにすること。
• 幾何学的および代数的技法を用いて、低種数におけるGromov–Witten理論におけるVirasoro制約とタウロジカル方程式の整合性を確認すること。

提案手法

• タウロジカル方程式がループ群作用に関して不変であるという事実を、主な結果を証明する中心的な技術として用いる。
• 種数0および種数1のトポロジカル再帰関係（TRR）およびWDVV方程式を適用し、高種数不変量における項を簡略化・相殺する。
• ムーディの関係を用いて種数2の不変量を低種数成分で表現し、種数0および1の計算に還元可能であることを示す。
• Virasoro代数の構造とストリング方程式を用いてτ関数の形を制約し、予想と整合することを保証する。
• ゲツラーの式およびベリヌイ＝ポリヤコフ＝ザモロドチコフ（BP）方程式がR不変性に関してどのように振る舞うかを分析し、それらがループ群変換に関して不変であることを示す。
• 種数1および2の不変量を明示的に計算し、項をタイプごとにグループ化し、対称/反対称性およびTRRを用いて相殺を示す。

実験結果

リサーチクエスチョン

• RQ1 rスピン理論のτ関数は、種数1および2においてGelfand–Dickey階層の関係を満たすか？
• RQ2 コンformal semisimple Frobenius多様体に対して、種数1および2におけるVirasoro予想は成立するか？
• RQ3 安定曲線のモジュライ空間におけるタウロジカル関係は、ループ群作用に関して不変か？
• RQ4 種数2のGromov–Witten不変量は、トポロジカル再帰関係を用いて種数0および1の不変量に還元可能か？
• RQ5 ゲツラーの式およびBPの種数2方程式はループ群作用に関して不変であり、証明における役割は何か？

主な発見

• この論文は、種数g = 1およびg = 2におけるrスピン曲線とGelfand–Dickey階層の関係に関するウィッテンの予想を証明する。
• コンformal semisimple Frobenius多様体に対して、種数1および2におけるVirasoro予想が確認され、種数0での先行結果を拡張する。
• 安定曲線のモジュライ空間におけるタウロジカル方程式はループ群作用に関して不変であり、証明の中心的な技術的道具である。
• ムーディの関係およびTRRを用いて種数2の不変量が種数0および1の成分に還元され、複雑な項の相殺が可能になる。
• 種数1および2の不変量における項の相殺は、対称/反対称ペアリングおよびWDVVとTRRの利用によって達成される。
• ゲツラーの式およびBPの種数2方程式がR作用に関して不変であることが示され、予想される制約と整合していることが確認された。