[論文レビュー] Three questions in Gromov-Witten theory

Rahul Pandharipande|ArXiv.org|Feb 7, 2003

Geometric and Algebraic Topology参考文献 24被引用数 92

ひとこと要約

本稿は、Gromov-Witten理論における3つの中心的予想を提示する：曲線のモジュライ空間におけるタウトロジカルな環のゴレンシュタイン性、3次元多様体のGromov-Witten不変量におけるBPS状態の存在、およびすべての非特異な射影多様体に対するバーラソロ制約。これらの予想が、Gromov-Witten理論の背後にある深い代数的・幾何的構造を明らかにするとともに、特にバーラソロ制約は、明示的な作用素形式と行列モデル・頂点演算子代数との関連を通じて、Gromov-Witten理論と可積分系を結ぶ可能性を秘めている。

ABSTRACT

This article accompanies my ICM talk in August 2002. Three conjectural directions in Gromov-Witten theory are discussed: Gorenstein properties, BPS states, and Virasoro constraints. Each points to basic structures in the subject which are not yet understood.

研究の動機と目的

• Gromov-Witten理論における未解決の基礎的問題を特定・明示し、それらがより深い構造を明らかにすること。
• モジュライ空間のタウトロジカルな環とそのストラタが、ファーバーの予想を一般化した有限次元ゴレンシュタイン代数であると提唱すること。
• 3次元多様体のGromov-Witten理論におけるBPS状態の普遍的予想を提示し、すべての非特異な射影3次元多様体にわたるBPS不変量の概念を拡張すること。
• 既知の例（点、P^1、P^n など）を超えて、すべての非特異な射影多様体にわたるバーラソロ制約を、コホモロジー的データと量子コホモロジーを用いて拡張すること。
• 作用素形式と相対理論を通じて、これらの予想がGromov-Witten理論と可積分系、代数幾何学を結ぶ可能性を検討すること。

提案手法

• 忘れ去られた写像および接続写像に沿った押し出し操作による安定写像のモジュライ空間のタウトロジカルな環の形式的定式化。
• コンpact型、有理尾、固定安定曲線のストラタによるM_{g,n}へのフィルトレーションを定義し、ゴレンシュタイン性を調べる。
• 交差積、ホッジ分解、反標準線形系作用を用いて構成された、Gromov-Witten汎関数に作用する普遍的バーラソロ作用素代数の導入。
• 対称関数、量子カップ積、変形パrameterに関する微分を用いて、バーラソロ生成子L_kの明示的公式を導出。
• 仮想基本クラスを用いて、Xへの安定写像のモジュライ空間上の積分としてGromov-Witten不変量を定義。
• 特に1次元的標的に対して、相対Gromov-Witten理論にバーラソロ制約を拡張し、絶対理論の証明を支援すること。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間とそのストラタ（例：C_{g,n}）のタウトロジカルな環は、有限次元ゴレンシュタイン代数であるか？
• RQ2 すべての非特異な射影3次元多様体において、Gromov-Witten理論にBPS状態が存在するか？また、それらはGromov-Witten汎関数にどのように符号化されているか？
• RQ3 コホモロジー的データに基づき、すべての非特異な射影多様体Xに対して、バーラソロ制約L_k(Z^X) = 0が普遍的に成り立つか？
• RQ4 バーラソロ制約は相対Gromov-Witten理論に拡張可能か？また、絶対理論の証明において基礎的役割を果たすか？
• RQ5 バーラソロ代数と行列モデル／頂点演算子代数実現の観点から、Gromov-Witten理論と可積分系の間に深い接続が存在するか？

主な発見

• M_gのタウトロジカルな環はゴレンシュタイン的であり、次数g−2にソクルを有する。ファーバーによる低次元の場合の証明を拡張し、一般の予想はM_{g,n}のすべてのストラタに拡張される。
• タウトロジカルな環のゴレンシュタイン性は、M_{g,n} ⊃ M^c_{g,n} ⊃ M^{rt}_{g,n} ⊃ C_{g,n}のフィルトレーションのすべてのストラタに予想される。C_{g,n}では固定曲線C_gが必要となる。
• バーラソロ制約は、すべての非特異な射影多様体Xに対して普遍的に成り立つと予想され、交差積、ホッジ分解、反標準線形系の作用を含むL_kの明示的公式が提示されている。
• X = pointのとき、バーラソロ制約はウィッテンの予想に還元され、X = P^nのとき、ギヴェンタルによって証明されており、これらのケースで予想が正当化されている。
• バーラソロ制約は相対理論と整合的であり、曲線C_gについての証明がなされており、絶対的制約に及ぼす影響が示唆されている。
• 特に括弧[L_1, L_{-1}] = 2L_0の構造は、ホッジ数を用いたチャーン数の公式に依存しており、シンプレクティック幾何学を越えた代数的構造の必要性を示唆している。