[論文レビュー] Period Integrals and Tautological Systems

Bong H. Lian, Ruifang Song+1 more|arXiv (Cornell University)|May 16, 2011

Algebraic Geometry and Number Theory参考文献 13被引用数 4

ひとこと要約

本稿では、部分フラッグ多様体内のCalabi-Yau (CY) 超曲面および完全交差の周期積分を支配する正則で特徴的（regular holonomic）なDモジュール、すなわち同型系（tautological systems）を導入する。表現論とグローバルなPoincaré留数構成を活用することで、著者らはこれらの系を明示的に記述し、それがCY多様体のホッジ構造の変動を支配することを証明する。主な結果は、同型系の特徴的ランクが、変動する中間コホモロジーの次元と正確に一致することであり、これはグレイスバーグとフラッグ多様体における解層が周期層と一致することを確認する。

ABSTRACT

We study period integrals of CY hypersurfaces in a partial flag variety. We construct a holonomic system of differential equations which govern the period integrals. By means of representation theory, a set of generators of the system can be described explicitly. The results are also generalized to CY complete intersections. The construction of these new systems of differential equations have lead us to the notion of a tautological system.

研究の動機と目的

• 部分フラッグ多様体内のCY超曲面の周期積分を支配する正則で特徴的な微分方程式系を構成すること。
• 表現論を用いて再帰的空間へのGKZ超幾何系のアプローチを一般化すること。
• 再帰的空間における標準的Dモジュールの特徴的ランクと実際の周期層ランクの不一致を解消すること。
• 幾何的不変理論と表現論から生じるDモジュールの新クラスとして同型系を定義・研究すること。
• 同型系の解層がグレイスバーグとフラッグ多様体において周期層と一致することを確立し、ミラー対称性における予想を解消すること。

提案手法

• 部分フラッグ多様体上で、CY超曲面に沿った極を持つメラモーフィック形式を用いて、グローバルなPoincaré留数公式により周期積分を構成する。
• 再帰的群の表現論を用いて、ラインバンドルのコホモロジー群の基底をインデックス化し、微分作用素の明示的構成を可能にする。
• 整数点を含む多面体によってインデックス付けられた二項微分作用素と、群のリー代数からのベクトル場によって生成されるDモジュールとして同型系を定義する。
• 群の作用からの対称性制約と留数条件を組み合わせることで、周期積分を零化する微分方程式系を導出する。
• 同型系が正則で特徴的であることを証明し、それがCY族のホッジ構造の変動を支配することを示す。
• 同型系の特徴的ランクと、CY超曲面の変動する中間コホモロジーの次元との正確な一致を確立する。

実験結果

リサーチクエスチョン

• RQ1 部分フラッグ多様体内のCY超曲面の周期積分を支配する正則で特徴的なDモジュールを構成できるか？
• RQ2 同型系は、CY多様体の変動コホモロジーのホッジ理論的構造とどのように関係するか？
• RQ3 同型系の特徴的ランクは、グレイスバーグとフラッグ多様体における周期層の次元と等しいか？
• RQ4 同型系を用いて、再帰的空間における標準的Dモジュールの特徴的ランクと実際の周期ランクの不一致を解消できるか？
• RQ5 同型系の解層は、$\mathbb{P}^n$ 内のCY超曲面の周期層と等しいか？

主な発見

• 同型系 $\mathcal{M} = \tau(X, \varphi_{K_X^{-1}}, SL_n, 1)$ は、部分フラッグ多様体内のCY超曲面の周期積分を支配する正則で特徴的なDモジュールである。
• $X = G(d,n)$ の場合、$\mathcal{M}$ の特徴的ランクは $\dim H^{d(n-d)}(X - Y_f)$ に正確に一致し、変動する中間コホモロジーの次元と一致する。
• $X = \mathbb{P}^n$ の場合、$\mathcal{M}$ の解層は周期層と一致し、ミラー対称性からの予想を確認する。
• 同型系は、完全群の対称性と表現論的インデキシングを統合することで、標準的Dモジュールの特徴的ランクと実際の周期ランクの不一致を解消する。
• この構成はCY完全交差へ一般化可能であり、任意のフラッグ多様体へ拡張可能であり、一般にではなく、すべての超平面切断でランクの公式が成り立つ。
• 表現論からの特徴的ランクの上界（例えば埋め込み次数）は常に実際の周期層ランクよりも大きいが、同型系は正確な一致を達成する。