[論文レビュー] Period integrals of local complete intersections and tautological systems

An Huang, Bong H. Lian+2 more|arXiv (Cornell University)|Jan 3, 2018

Algebraic Geometry and Number Theory参考文献 9被引用数 3

ひとこと要約

本稿は、ファノ多様体内の局所的完遂交差における周期積分のための同型系（Picard-Fuchs型微分系）を一般化し、完全交差からベクトルバンドルの零点へと、正則性とホロノミック性の基準を拡張する。Lie代数ホモロジーと perverse 奏の手法により解のランクの公式を確立し、対数同次多様体におけるチェーン積分を通じた解の幾何的実現を提供する。主な結果として、解のランクが補空間の相対ホモロジー群と関連することを示す。

ABSTRACT

Tautological systems developed in [6],[7] are Picard-Fuchs type systems to study period integrals of complete intersections in Fano varieties. We generalize tautological systems to local complete intersections, which are zero loci of global sections of vector bundles over Fano varieties. In particular, we obtain similar criterion as [6, 7] about holonomicity and regularity of the system. We also prove solution rank formulas and geometric realizations of solutions following the work of hypersurfaces [5, 4].

研究の動機と目的

• ファノ多様体内の完全交差に対して定義された同型系を、ファノ多様体上でのベクトルバンドルの全局的セクションの零点として定義される局所的完遂交差へと拡張すること。
• 従来の完全交差に関する結果と類似する、これらの一般化された同型系のホロノミック性および正則性の基準を確立すること。
• Lie代数ホモロジー、 perverse 奏、および既約同次ベクトルバンドルを用いて、同型系の解のランクの公式を導出すること。
• 同型系の解を、零点の補空間上のサイクルにおける有理形式の周期積分として、幾何的に実現すること。
• 解層が、完全交差を除いた環境多様体の相対ホモロジーと自然に同型であるという予想を提示し、それを裏付けること。

提案手法

• Calabi-Yau バンドル構成を用いてバンドル構造を主バンドルに持ち上げることで、局所的完遂交差への同型系の一般化を行う。
• 主バンドル上での付随公式を適用し、周期積分のための正則的最高形式および剰余写像を定義する。
• Lie代数ホモロジーと perverse 奏の記述を用いて、同型系の解のランクを計算する。
• 対数同次多様体におけるチェーン積分を導入し、正則的交差除法の補空間の相対ホモロジーを介して解層を記述する。
• 同次 $G$-多様体および $G$-不変作用の構造を用いて、解層とコホモロジー群との間の同型を導出する。
• 射影バンドル $\mathbb{P}(E^\vee)$ における零点の補空間のコホモロジーを解析することにより、解のランクの公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 同型系を完全交差から、ファノ多様体上でのベクトルバンドルのセクションの零点として定義される局所的完遂交差へとどのように拡張できるか？
• RQ2 局所的完遂交差に対する一般化された同型系のホロノミック性および正則性を保証する条件は何か？
• RQ3 解のランクは、ホモロジー群などの幾何的不変量を用いてどのように計算できるか？
• RQ4 解の幾何的実現は周期積分としてどのように記述され、零点の補空間上のサイクルにおける有理形式とどのように関係するか？
• RQ5 解層と、完全交差を除いた環境空間の相対ホモロジーとの間に自然な同型が存在するか？

主な発見

• 局所的完遂交差に対する一般化された同型系は、従来の完全交差に関する研究と同一の条件下でホロノミックかつ正則である。
• $\beta(\mathfrak{g}) = 0$ かつ $X$ が $G$-多様体であるとき、点 $b \in V^\vee$ における解のランクは $\dim H_{n+r-1}(X - Y_b)$ で与えられる。
• $\beta(\tilde{\mathfrak{g}}) = 0$ を満たす同次またはトーリック多様体内の完全交差に対して、解のランクは $H_{n+r-1}(\mathbb{P} - \tilde{Y}_b, (\mathbb{P} - \tilde{Y}_b) \cap (\cup D_i))$ と同型である。
• 解層が $H_n(X - (Y_1 \cup \cdots \cup Y_r))$ と同型であるという予想を提示し、解が相対ホモロジーと関連することを示唆する。
• 対数同次多様体において、$\tau_{VW}$ の解のランクは $H_n(X - Y_a, (X - Y_a) \cap (\cup D))$ と同型であり、同型は周期積分によって実現される。
• 本稿は、ハイパーサーフェスに関する先行研究を一般化する形で、対数同次多様体におけるチェーン積分を用いた解の幾何的実現を確立した。