[論文レビュー] Hypergeometric Hodge modules

Thomas Reichelt, Christian Sevenheck|arXiv (Cornell University)|Mar 3, 2015

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

ひとこと要約

本稿は、GKZ超幾何的Dモジュール上のホッジフィルトレーションが、シフトを除いて順序フィルトレーションに一致することを確立し、トーリック多様体内の弱ファノ完備交差における鏡映性理論における主要な技術的ギャップを解消した。その結果、このような多様体の還元量子Dモジュールが純粋で極化された非可換ホッジ構造の変動をなすという長年の予想が証明された。

ABSTRACT

We consider mixed Hodge module structures on GKZ-hypergeometric differential systems. We show that the Hodge filtration on these D-modules is given by the order filtration, up to suitable shift. As an application, we prove a conjecture on the existence of non-commutative Hodge structures on the reduced quantum D-module of a nef complete intersection inside a toric variety.

研究の動機と目的

• 混合ホッジモジュールを下支えとするGKZ超幾何的Dモジュール上のホッジフィルトレーションを明示的に計算すること。
• 量子Dモジュールを含む先行の鏡映性構成における欠落しているホッジ理論的記述を解消すること。
• トーリック多様体内のネフな完備交差の還元量子Dモジュールが非可換ホッジ構造を担うという予想を証明すること。
• 次元削減およびフーリエ＝ラプラース変換を用いた不規則ホッジ不変量の計算の基盤を提供すること。

提案手法

• フーリエ＝ラプラース変換を用いて、GKZ系をトーリック多様体上のねじれ構造層の直接像に関連付ける。
• V-フィルトレーションを用いてホッジフィルトレーションを分析し、Weyl代数上の順序フィルトレーションとの整合性を検証する。
• ラドン変換および積分変換を用いて、トーラス埋め込み上のねじれ構造層の直接像を計算する。
• 局所的チャートで直接像のコホモロジーを計算するために、コーサル複体を用いた準同型を構成する。
• 半群環の構造および局所コホモロジーを用いて、フィルトレートDモジュール構造を記述する。
• 双対性および近くのサイクル関手の厳密性を活用し、フィルトレート構造を非可換ホッジ理論に結びつける。

実験結果

リサーチクエスチョン

• RQ1 GKZ超幾何的Dモジュール上のホッジフィルトレーションは、Weyl代数上の順序フィルトレーションとどのように関係するか？
• RQ2 トーリック多様体内のネフな完備交差の量子Dモジュール上のホッジ構造は、明示的に記述可能か？
• RQ3 フーリエ＝ラプラース変換は、GKZ系をねじれ構造層の直接像として実現する際に果たす役割は何か？
• RQ4 不規則特異点を有する量子Dモジュールの文脈で、非可換ホッジ構造はどのように生じるか？
• RQ5 コンフラuent古典超幾何系における不規則ホッジフィルトレーションの明示的形は何か？

主な発見

• GKZ系におけるホッジフィルトレーションは、パラメーターベクトルβによるシフトを除いて、Weyl代数上の順序フィルトレーションに同型である。
• 主な結果（定理5.35）は、GKZ系におけるホッジフィルトレーションが順序フィルトレーションによって誘導されることを確立し、これらの系におけるホッジ理論の主要な技術的問題を解消した。
• トーリック多様体内のネフな完備交差の還元量子Dモジュールは、純粋で極化された非可換ホッジ構造の変動をなす。これは[RS17]の予想6.15を確認した。
• この結果により、次元削減およびフーリエ＝ラプラース変換を用いて、古典超幾何系の不規則ホッジ不変量を明示的に計算できるようになった。
• 量子Dモジュール上のフィルトレートDモジュール構造が、近くのサイクル関手を介して厳密かつ非可換ホッジ構造と整合することを示した。
• 鏡写し写像の下で、量子DモジュールとフィルトレートDモジュールとの同型が、$ C_z imes ext{K} ext{M}^ullet$-モジュールのレベルで確立され、鏡映性におけるホッジ理論的同値性を確認した。