[論文レビュー] Period Integrals and the Riemann-Hilbert Correspondence

An Huang, Bong H. Lian+1 more|arXiv (Cornell University)|Mar 11, 2013

Algebraic structures and combinatorial models参考文献 13被引用数 7

ひとこと要約

この論文は、複素多様体における群作用を伴う完全交差の周期積分を記述する正則ホロノミックDモジュールである同型系のホロノミックランクに関する予想された幾何学的公式を、一般に証明する。リーマン＝ヒルベルト対応およびフーリエ変換を用いて、有限軌道群作用を伴う任意の射影的多様体へランク公式を一般化し、正則的特異条件の下で周期積分に対する完全な解層対応を確立する。

ABSTRACT

A tautological system, introduced in [16][17], arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable Lie group action. A geometric formula for the holonomic rank of such a system was conjectured in [4], and was verified for the case of projective homogeneous space under an assumption. In this paper, we prove this conjecture in full generality. By means of the Riemann-Hilbert correspondence and Fourier transforms, we also generalize the rank formula to an arbitrary projective manifold with a group action.

研究の動機と目的

• 同型系のホロノミックランクに関する予想された幾何学的公式を、完全に一般化して証明すること。
• 射影同型空間から任意の群作用付き射影的多様体へのランク公式の一般化。
• 同型系の解層が、ある超平面切断の族の周期層と一致する条件を確立すること。
• リーマン＝ヒルベルト対応およびフーリエ変換を用いて、周期積分の文脈におけるDモジュールおよびその特異点を分析すること。
• 同型系が正則的特異であり、群作用が有限個の軌道を持つとき、すべての周期積分を同型系が捉えていることを検証すること。

提案手法

• 著者たちは、Dモジュールと perverse sheaf の間のリーマン＝ヒルベルト対応を用いて、ホロノミックDモジュールのトポロジカル不変量を介した研究を可能にする。
• 彼らは、$V^{ egmedspaceullet}$ 上のDモジュールを $V$ 上のDモジュールに変換するフーリエ変換を適用し、モノドロミー条件の下でホロノミック性を保存する。
• 同型系は、$J(\hat{X})$ が錐 $\hat{X}$ のイデアルのフーリエ変換であるとすると、$\tau = D_{V^{ egmedspaceullet}} / D_{V^{ egmedspaceullet}}(J(\hat{X}) + (Z(\xi) + \beta(\xi))_{\xi \in \hat{\mathfrak{g}}})$ として、循環的Dモジュールとして定義される。
• 証明は、$G$ が再帰的であるとき、$\hat{G}$ 上の特徴Dモジュール $\mathcal{L}_\beta$ が正則的特異であるという仮定に依存する。
• 著者たちは、ベクトルバンドルとその双対上のDモジュールの関係を保証するため、フーリエ変換の家族版を用い、基底変換と整合性を持つようにする。
• 彼らは、$X$ における $G$-軌道 $X_l$ に対応する双対多様体 $X_l^\vee$ の和集合に含まれることを示して、$\tau$ の特異点集合を分析する。

実験結果

リサーチクエスチョン

• RQ1 同型系 $\tau(G,X,\mathcal{L},\beta)$ が、超平面切断の族のすべての周期積分を捉えるのはどのような条件下か？
• RQ2 任意の群作用付き射影的多様体上での同型系のホロノミックランクに関する正確な幾何学的公式は何か？
• RQ3 リーマン＝ヒルベルト対応は、$\tau$ の解層を、Calabi-Yau または一般型の超平面切断の族の周期層とどのように関連付けるか？
• RQ4 中間原始コホモロジーが消える場合に、$\tau$ の解層が周期層と一致するのはどのような場合か？
• RQ5 フーリエ変換とモノドロミーDモジュールは、ベクトルバンドルとその双対上での同型系の文脈でどのように相互作用するか？

主な発見

• 任意の有限軌道群作用を伴う射影的多様体 $X$ に対して、同型系のホロノミックランクに関する予想された幾何学的公式が、完全に一般化された形で証明された。
• 系が正則的特異であり、中間原始コホモロジー $H^n(X)_{\text{prim}} = 0$ であるとき、同型系 $\tau$ の解層は周期層 $\Pi$ と一致する。
• $\tau$ の特異点集合は、$X$ における $G$-軌道 $X_l$ に対応する双対多様体 $\bigcup_l X_l^\vee$ の和集合に含まれる。
• モノドロミー条件の下で、フーリエ変換は正則ホロノミック性および正則的特異性を保存し、$V$ と $V^\vee$ 間でのDモジュールの性質の移行を可能にする。
• 基点を含まない反標準線形系を備えたコンパクト複素多様体 $X^\prime$ に対して、周期積分は $\beta_0(e) = 1$ かつ $\beta_0|_{\mathfrak{g}} = 0$ である $\tau(G,X,\mathcal{L},\beta_0)$ の解として得られる。
• フーリエ変換の家族版は基底変換と可換であり、異なる幾何的設定間での整合性を保証する。