[論文レビュー] Logarithmic Frobenius manifolds, hypergeometric systems and quantum D-modules

Thomas Reichelt, Christian Sevenheck|arXiv (Cornell University)|Oct 11, 2010

Algebraic Geometry and Number Theory参考文献 37被引用数 6

ひとこと要約

本稿は、弱Fanoトーリック多様体の鏡対称性を、フィルター付き $π$-加群の同値性として確立する。ミラーLandau-GinzburgモデルのGau{̀}-Manin系が超幾何的 $π$-加群と同一視され、Birkhoff問題の解法を用いて対応するロジスティック的Frobenius多様体を構成する。また、複素化されたK{"a}hlerモジュライ空間上に純粋かつ極化された非可換Hodge構造の存在を示し、大半径極限点における対数的退化を伴うグローバルなFrobenius構造への拡張を実現する。

ABSTRACT

We describe mirror symmetry for weak toric Fano manifolds as an equivalence of D-modules equipped with certain filtrations. We discuss in particular the logarithmic degeneration behavior at the large radius limit point, and express the mirror correspondence as an isomorphism of Frobenius manifolds with logarithmic poles. The main tool is an identification of the Gauss-Manin system of the mirror Landau-Ginzburg model with a hypergeometric D-module, and a detailed study of a natural filtration defined on this differential system. We obtain a solution of the Birkhoff problem for lattices defined by this filtration and show the existence of a primitive form, which yields the construction of Frobenius structures with logarithmic poles associated to the mirror Laurent polynomial. As a final application, we show the existence of a pure polarized non-commutative Hodge structure on a Zariski open subset of the complexified Kaehler moduli space of the variety.

研究の動機と目的

• 弱Fanoトーリック多様体の鏡対称性を、フィルター付き $π$-加群の同値性として確立すること。
• 大半径極限点におけるFrobenius構造の対数的退化挙動を分析すること。
• ミラーのローレンツ多項式から、原始形式を用いて極をもつ対数的Frobenius多様体を構成すること。
• 複素化されたK{"a}hlerモジュライ空間のZariski開部分集合上に、純粋かつ極化された非可換Hodge構造の存在を証明すること。
• ミラーLandau-GinzburgモデルのGau{̀}-Manin系を、超幾何的 $π$-加群と同一視し、その格子に対するBirkhoff問題を解くこと。

提案手法

• 著者らは、微分系に自然なフィルトレーションを導入し、その詳細な解析を通じて、ミラーLandau-GinzburgモデルのGau{̀}-Manin系を超幾何的 $π$-加群と同一視する。
• Deligneの $I^{p,q}$-分解を含むホッジ理論的データを用いて、このフィルトレーションによって定義される格子に対するBirkhoff問題を解く。
• Birkhoff問題の解法を用いて原始形式を構成し、これにより対数的極をもつFrobenius構造が得られる。
• この構成をK{"a}hlerモジュライ空間全体に拡張し、大半径極限点における対数的特異点をもつグローバルFrobenius多様体を得る。
• 得られた $π$-加群構造がTERP構造の変動を背後に持つことが示され、既知の整数的極化twistor構造に関する結果と比較することで、それが純粋かつ極化されていることが証明される。
• 境界除集合 $Z = \bigcup_{a=1}^{r}\{q_a = 0\}$ に沿った調和バンドルの正規性を、Higgs作用素の特性多項式の係数がコンパクト化に正則に拡張されることを示すことによって確立する。

実験結果

リサーチクエスチョン

• RQ1 弱Fanoトーリック多様体の鏡対称性は、どのようにフィルター付き $π$-加群の同値性として定式化できるか？
• RQ2 大半径極限点におけるFrobenius構造の対数的退化は、果たしてどのような役割を果たすか？
• RQ3 ミラーのローレンツ多項式に対して原始形式を構成することで、対数的極をもつFrobenius多様体を得られるか？
• RQ4 K{"a}hlerモジュライ空間上の量子 $π$-加群は、純粋かつ極化された非可換Hodge構造を背後に持つか？
• RQ5 ミラーLandau-GinzburgモデルのGau{̀}-Manin系は、どのように超幾何的 $π$-加群と関係するか？

主な発見

• ミラーLandau-GinzburgモデルのGau{̀}-Manin系は、超幾何的 $π$-加群と同型であり、フィルター構造を通じて量子 $π$-加群とBrieskorn格子とを同一視できる。
• Deligneの $I^{p,q}$-分解を含むホッジ理論的データを用いて、このフィルトレーションによって定義される格子に対するBirkhoff問題の解法が構成される。
• 原始形式が構成され、これによりミラーK{"a}hlerモジュライ空間上に、対数的極をもつwell-definedなFrobenius多様体が得られる。
• 得られた $π$-加群構造は、TERP構造の変動を背後に持つが、既知の整数的極化twistor構造に関する結果と比較することで、それが純粋かつ極化されていることが確認される。
• 量子 $π$-加群に付随する調和バンドルは、境界除集合 $Z = \bigcup_{a=1}^{r}\{q_a = 0\}$ に沿って正規である。これは、Higgs作用素の成分の特性多項式の係数がコンパクト化に正則に拡張されることによって示される。
• 本構成により、A面における量子 $π$-加群とB面における対数的Frobenius多様体との間のグローバルな鏡対応が、複素化されたK{"a}hlerモジュライ空間のZariski開部分集合上で確立される。