[論文レビュー] Quantum D-modules for toric nef complete intersections

Étienne Mann, Thierry Mignon|arXiv (Cornell University)|Dec 7, 2011

Algebraic Geometry and Number Theory参考文献 28被引用数 4

ひとこと要約

本稿では、鏡映性から導かれるGKZ系の商として、トーリックネフ完遂交差の量子Dモジュールの環境部を構成する。トーリック多様体上のねじれた量子Dモジュールが循環的であることを証明し、完遂交差Zの環境量子Dモジュールを定義する微分方程式系を明示的に提示する。

ABSTRACT

On a smooth projective variety with k ample line bundles, we denote by Z the complete intersection subvariety defined by generic sections. We define the twisted quantum D-module which is a vector bundle with a flat connection, a flat pairing and a natural integrable structure. An appropriate quotient of it is isomorphic to the ambient part of the quantum D-module of Z. When the variety is toric, these quantum D-modules are cyclic. The twisted quantum D-module can be presented via mirror symmetry by the GKZ system associated to the total space of the dual of the direct sum of these line bundles. A question is to know what is the system of equations that define the ambiant part of the quantum D-module of Z. We construct this system as a quotient ideal of the GKZ system. We also state and prove the non-equivariant twisted Gromov-Witten axioms in the appendix.

研究の動機と目的

• k個のアーマンラインバンドルを備えた滑らかで射影的な多様体上でのねじれた量子Dモジュールを定義すること。
• 完遂交差Zの量子Dモジュールの環境部を、ねじれた量子Dモジュールの商として特定すること。
• トーリック設定におけるZの環境量子Dモジュールを定義する微分方程式系を構成すること。
• トーリック状況における量子Dモジュールの循環性を確立すること。
• 鏡映性に基づいたGKZ系を通じて、環境量子Dモジュールの鏡対称的表現を提供すること。

提案手法

• k個のアーマンラインバンドルの直和の双対の全空間を用いてGKZ系を定義する。
• 鏡映性を適用して、ねじれた量子DモジュールとGKZ系を関連付ける。
• Zの環境量子DモジュールをGKZ系の商イデアルとして構成する。
• 平坦接続と平坦ペアリングを用いて、量子Dモジュール構造を定義する。
• 量子Dモジュールの可積分構造を活用して一貫性を保証する。
• 付録で非不変ねじれたグロモフ＝ウィトテン公理を厳密に記述・証明し、フレームワークの整合性を支援する。

実験結果

リサーチクエスチョン

• RQ1 トーリックネフ完遂交差Zの量子Dモジュールの環境部を代数的にどのように記述できるか？
• RQ2 トーリック設定におけるZの環境量子Dモジュールを定義する微分方程式系は何か？
• RQ3 トーリック多様体上のねじれた量子Dモジュールは、鏡映性を通じてGKZ系とどのように関係するか？
• RQ4 トーリックネフ完遂交差の量子Dモジュールは循環的か？
• RQ5 直和の双対ラインバンドルは、量子Dモジュールの構成において果たす役割は何か？

主な発見

• Zの量子Dモジュールの環境部は、ねじれた量子Dモジュールの商と同型である。
• トーリック多様体上のねじれた量子Dモジュールは循環的である。
• Zの環境量子Dモジュールは、アーマンラインバンドルの直和の双対に関連するGKZ系の商イデアルとして提示される。
• Zの環境量子Dモジュールを定義する方程式系は、GKZ系の商として明示的に構成される。
• 非不変ねじれたグロモフ＝ウィトテン公理は、付録で厳密に記述・証明されており、フレームワークの整合性を裏付けている。