[論文レビュー] Real and integral structures in quantum cohomology I: toric orbifolds

Hiroshi Iritani|ArXiv.org|Dec 13, 2007

Algebraic Geometry and Number Theory参考文献 45被引用数 33

ひとこと要約

本稿はミラー対称性を用いて、ねじれ特異点を持つトーリックオルビフォールドの量子コホモロジーに自然な積分構造を確立し、Aモデルにおける積分局所系統がK群と特徴的クラスによって決定されることを示している。また、オルビフォールド量子コホモロジーにおける実構造が、大半径極限近傍で純粋かつ極化された$tt^*$-幾何を生じることを証明し、積分構造を用いてラウエンのクレパント解体予想における量子パラメータが1の原始根に特異化することを説明している。

ABSTRACT

We study real and integral structures in the space of solutions to the quantum differential equations. First we show that, under mild conditions, any real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large radius limit. Secondly, we use mirror symmetry to calculate the "most natural" integral structure in quantum cohomology of toric orbifolds. We show that the integral structure pulled back from the singularity B-model is described only in terms of topological data in the A-model; K-group and a characteristic class. Using integral structures, we give a natural explanation why the quantum parameter should specialize to a root of unity in Ruan's crepant resolution conjecture.

研究の動機と目的

• ミラー対称性を用いて、トーリックオルビフォールドの量子コホモロジーにおける自然な積分構造を同定すること。
• オルビフォールド量子コホモロジーにおける実構造が、大半径極限近傍で純粋かつ極化された$tt^*$-幾何を誘導することを示すこと。
• 積分構造を用いて、ラウエンのクレパント解体予想における量子パラメータが1の原始根に特異化する理由を説明すること。
• Aモデルにおける積分構造が、トポロジカルデータ（K群と特徴的クラス）によって完全に決定されることを示すこと。

提案手法

• 量子微分方程式の解の空間をモデル化するため、半無限のホッジ構造の変動（$\frac{\infty}{2}$ VHS）を用いる。
• ミラー対称性を適用して、Bモデルの特異性理論（積分局所系統$H^n(X^\vee,\mathbb{Z})$を伴う）をAモデルの量子コホモロジーと関連付ける。
• ミラー写像を通じてBモデルの積分構造を引き戻すことにより、Aモデルにおける積分構造を構成する。
• 振動積分と$H$関数を用いて周期を計算し、共形極限における積分構造の妥当性を検証する。
• W^{1,2}-ソボレフ空間におけるビrkホフ分解を用いて、解の漸近的挙動を解析し、ミラー写像の収束を保証する。
• セコッティ＝バーファ構造と$tt^*$-幾何の枠組みを用いて、量子コホモロジーの純粋性と極化性を確立する。

実験結果

リサーチクエスチョン

• RQ1 トーリックオルビフォールドの量子コホモロジーにおける自然な積分構造とは何か？ そして、トポロジカル不変量とどのように関係しているか？
• RQ2 オルビフォールド量子コホモロジーにおける実構造は、どのように大半径極限近傍で純粋かつ極化された$tt^*$-幾何を生じさせるか？
• RQ3 ラウエンのクレパント解体予想において、なぜ量子パラメータが1の原始根に特異化するのか？ これは積分幾何を用いて説明可能か？
• RQ4 Aモデルにおける積分局所系統は、K群や特徴的クラスといったAモデルのデータのみを用いて記述可能か？
• RQ5 AモデルとBモデルのVHS間のミラー対称性同型が、積分構造をどのように保存するか？

主な発見

• トーリックオルビフォールドのK群と特徴的クラスが、Aモデルにおける量子コホモロジーの積分構造を完全に決定する。
• 任意のオルビフォールド量子コホモロジーにおける実構造は、大半径極限近傍で、半無限ホッジ理論の公理を満たす純粋かつ極化された$tt^*$-幾何を誘導する。
• ミラー対称性を介してBモデルから引き戻された積分構造は、Aモデルのトポロジカルデータ（K理論と特徴的クラス）に完全に符号化されている。
• ラウエンのクレパント解体予想において、量子パラメータが1の原始根に特異化するのは、積分構造がモノドロミーを有限に強制するためであり、これは1の原始根においてのみ成立する。
• 振動積分の計算により、Aモデルにおける積分周期がK群と特徴的クラスによって生成されることを確認し、提案された積分構造の妥当性を検証した。
• W^{1,2}-ソボレフ空間におけるビrkホフ分解により、ミラー写像の収束と共形極限における積分構造の存在が保証された。