[論文レビュー] Genus-Zero Mirror Principle For Two Marked Points

Luke Cherveny|arXiv (Cornell University)|Jan 1, 2010

Algebraic Geometry and Number Theory参考文献 14被引用数 5

ひとこと要約

本稿は、Lian-Liu-Yauの genus-zero ミラー原理を2つのマークドポイントの状況に拡張し、(u,v)-Euler データを導入することで、$$\mathbb{P}^n$$ 上の concavex バンドルから生じる障害 bundle がこのようなデータを誘導することを証明する。A モデル不変量（障害 bundle のエーラー類を通じて）と B モデルの線形類の間で明示的なミラー対称性を確立し、1点および2点の Gromov-Witten 不変量（降下子を含む）について、ハイパージェオメトリック型生成関数と整数性のチェックによって検証する。

ABSTRACT

We study a generalization of Lian-Liu-Yau's notion of Euler data in genus zero and show that certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli with markings induce data satisfying the generalization. In the case of one or two markings, this data is explicitly identified in terms of hypergeometric type classes, constituting a complete extension of Lian-Liu-Yau's mirror principle in genus zero to the case of two marked points and establishing a program for the general case. We give several applications involving the Euler class of obstruction bundles induced by a concavex bundle on $P^n$.

研究の動機と目的

• Lian-Liu-Yau の genus-zero ミラー原理を1つのマークドポイントから2つのマークドポイントに一般化するため、Euler データの変形を導入すること。
• $$\mathbb{P}^n$$ 上の concavex バンドルが誘導する A モデルのエーラー類に対応する、線形モデル上の明示的な線形類を同定すること。
• concavex バンドルに関連する障害 bundle からのエーラー データが (0,1)-Euler データの条件を満たし、ミラー変換の下で変換された線形データと一致することを証明すること。
• 拡張されたミラー原理を用いて1点および2点の Gromov-Witten 不変量（降下子を含む）を回復し、その整数性を検証すること。

提案手法

• Lian-Liu-Yau の元のエーラー データの変形として (u,v)-Euler データを導入し、(0,0) を基本ケースとする。
• 等変ホロモルフィック局在法と固定点解析を用いて、$$\mathbb{P}^n$$ 上の concavex バンドルから生じる障害 bundle が (u,v)-Euler データ、特に (0,1)-Euler データを誘導することを証明する。
• 等変重みにおける成長条件を用いて (0,1)-Euler データの一意性を示す補題を確立し、ミラー変換フレームワークにおいて中心的な役割を果たす。
• 逆写像をもつ (u,v)-Euler データ上の写像としてミラー変換を定義し、A モデルと B モデルのデータを比較可能にする。
• 回復補題 (6.1 および 6.2) を用いて、エーラー データの生成関数から Gromov-Witten 不変量を再構成する。
• 明示的な値を計算し、genus zero における整数性の予想と一致するかをチェックすることで、不変量の整数性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Lian-Liu-Yau の genus-zero ミラー原理は、Euler データの変形を用いて2つのマークドポイントの状況に拡張可能か？
• RQ2 2点の場合において、$$\mathbb{P}^n$$ 上の concavex バンドルが誘導する A モデルのエーラー類に対応する、線形モデル上の明示的な線形類は何か？
• RQ3 ミラー変換は (u,v)-Euler データにどのように作用するか？ また、2点設定において A モデルと B モデルのデータを等しくするのに使用可能か？
• RQ4 拡張されたミラー原理を用いて計算された Gromov-Witten 不変量は、genus zero における整数性の予想を満たすか？
• RQ5 エーラー データの生成関数は、1点および2点の不変量（降下子を含む、高次の挿入を含むものも含む）を回復するために使用可能か？

主な発見

• 本稿は定理 5.2 および定理 5.3 を証明し、2つのマークドポイントにおける1点および2点のミラー定理を確立し、A モデルのエーラー データと変換された B モデルの線形データの間の同等性を示している。
• $V = \mathcal{O}(n+1)$ に対して $$\mathbb{P}^n$$ 上で、結果は Zinger (2007) のものと一致し、既知の状況でのフレームワークの妥当性を検証している。
• 1点の Gromov-Witten 不変量 $K_d(H^3)$ が明示的に計算され、$\eta_d(H^3)$ は次数 10 まで整数予想と一致しており、たとえば $\eta_1(H^3) = 144$ および $\eta_5(H^3) = 375804276480$ などの値が得られている。
• 降下子を含む2点不変量 $K_d(H^2,H^2)$ および $K_d(H^2,\tau_1(H))$ が計算され、$\eta_d(H^2,H^2)$ は整数予想と一致しており、例として $\eta_3(H^2,H^2) = 28140966$ が得られている。
• 不変量の生成関数はハイパージェオメトリック型作用素を用いて表現され、初期の生成関数のネストされた微分を含む $HG[\mathcal{I}(\hat{Q}_3)](t+g(t))$ のような形を取る。
• 本手法は次数 10 までに不変量を成功裏に回復し、Calabi-Yau $n$-fold における genus zero での整数性のすべての計算済み $\eta_d$ 値が、予想と一致している。