[論文レビュー] Invariance of Quantum Rings under Ordinary Flops II: A quantum Leray--Hirsch theorem

Yaun-Pin Lee, Hui-Wen Lin+1 more|arXiv (Cornell University)|Nov 22, 2013

Algebraic structures and combinatorial models参考文献 8被引用数 5

ひとこと要約

本論文は、トーリックバンドルの全空間へのダブロヴィン接続の拡張を、ピカール–フックス系を用いて行う新しい量子レイラ―–ヒルシュ定理を導入することで、分割型の通常のフロップにおけるビッグ量子コhomology環の不変性を確立した。主な結果は、非自明なバーゲルホフ分解を伴う解析接続を用いた量子不変性の証明であり、非トーリックな局所幾何におけるクレパント変換予想の長年の未解決問題を解決した。

ABSTRACT

This is the second of a sequence of papers proving the quantum invariance for ordinary flops over an arbitrary smooth base. In this paper, we complete the proof of the invariance of the big quantum rings under ordinary flops of splitting type. To achieve that, several new ingredients are introduced. One is a quantum Leray--Hirsch theorem for the local model (a certain toric bundle) which extends the quantum D module of Dubrovin connection on the base by a Picard--Fuchs system of the toric fibers. Nonsplit flops as well as further applications of the quantum Leray--Hirsch theorem will be discussed in subsequent papers. In particular, a quantum splitting principle is developed in Part III which reduces the general ordinary flops to the split case solved here.

研究の動機と目的

• 通常のフロップの分割型におけるビッグ量子環の不変性を証明すること、これはクレパント変換予想の重要なケースである。
• トーリックバンドルの全空間への基底からの量子Dモジュールの持ち上げを可能にする量子レイラ―–ヒルシュ定理を構築すること。
• 例外的被覆がトーリック幾何に変形できない場合の、非自明なバーゲルホフ分解を伴う解析接続を確立すること。
• 後の研究における量子スプリットリング原理の基礎を築くこと、一般の通常のフロップをここに解決された分割型に還元すること。

提案手法

• トーリックファイバー上のピカール–フックス系を用いて、基底の量子Dモジュールを全空間に拡張する量子レイラ―–ヒルシュ定理を導入する。
• バーゲルホフ分解を用いて量子微分方程式（QDE）を正則化し、生成関数における不安定な級数を処理する。
• π^*-リフトとハイパージオメトリック変形を用いて、基底から全空間への量子Dモジュールの標準的リフトを構成する。
• ファイバーに沿ったπ^*-作用に沿ったℚ^*-局在化技術を用いて、スプリットバンドル設定における不変量を計算する。
• 小量子コホモロジーとビッグ量子コホモロジーを結ぶ一般化されたミラー変換を構成し、調和級数の非自明な正則化を行う。
• 調和畳み込みと正則化技術を用いて、不安定範囲における発散項を相殺し、補正項の多項式性を保証する。

実験結果

リサーチクエスチョン

• RQ1 局所幾何がトーリック構造に変形不能な場合、ビッグ量子コホモロジー環は通常のフロップに関して不変であるか？
• RQ2 非自明なバーゲルホフ分解が存在する状況下で、トーリックバンドルの全空間への基底の量子Dモジュールの標準的リフトはどのように達成されるか？
• RQ3 トーリックファイバーのピカール–フックス系が、量子レイラ―–ヒルシュ定理における量子Dモジュールの拡張に果たす役割は何か？
• RQ4 古典的ミラー写像が存在しない状況で、非自明なバーゲルホフ分解を伴う解析接続はどのように達成されるか？
• RQ5 分割型フロップに対して量子レイラ―–ヒルシュ定理を構築することで、量子スプリットリング原理を実現できるか？

主な発見

• 量子レイラ―–ヒルシュ定理により、ファイバー上のピカール–フックス系を用いて、基底の量子Dモジュールがトーリックバンドルの全空間へ正しく拡張された。
• 非自明なバーゲルホフ分解を伴う解析接続を用いた結果、通常の分割型フロップにおけるビッグ量子環の不変性が完全に確立された。
• 不安定な調和級数からの補正項は、差分 $\mathscr{F}P_2(z)I^{X/S} - P_2'(z)I^{X'/S}$ における調和畳み込みによって相殺され、多項式正則化が保証された。
• 小量子コホモロジーとビッグ量子コホモロジーを結ぶ一般化されたミラー変換が構成され、$\tau = t$ かつ $I = J$ のとき $H^0 \oplus H^2$ 上で古典的ミラー写像が回復された。
• 本証明により、例外的被覆がトーリック幾何に変形不能であり、かつ解析接続に非自明なバーゲルホフ分解が関与する $K$-同値における量子不変性の最初の知られた例が確認された。
• 本手法は、第III部における量子スプリットリング原理のフレームワークを提供し、一般の通常のフロップをここに解決された分割型に還元する。