[論文レビュー] Period integrals of smooth projective hypersurfaces and homotopy Lie algebras

Jae-Suk Park, Jeehoon Park|arXiv (Cornell University)|Oct 24, 2013

Advanced Topics in Algebra被引用数 3

ひとこと要約

本稿は、滑らかな射影的超曲面のコホロジーにバタリン＝ヴィルコヴィチ（BV）代数構造を構成し、原始的コホロジーをこの代数の零次コホロジーとして実現する。グリフィス周期積分をコチェーン写像へと上げ上げ、Gröbner基底を用いた明示的アルゴリズムを提供し、$L_\infty$-準同型を介してカゼミ・ヤウ超曲面族の周期行列を計算する。これにより、周期積分の背後にある隠れたホモトピー李代数構造が明らかになる。

ABSTRACT

The goal of this paper is to reveal hidden structures on the singular cohomology and the Griffiths period integral of a smooth projective hypersurface in terms of BV(Batalin-Vilkovisky) algebras and homotopy Lie theory (so called, $L_\infty$-homotopy theory). Let $X_G$ be a smooth projective hypersurface in the complex projective space $\mathbf{P}^n$ defined by a homogeneous polynomial $G(\underline x)$ of degree $d \geq 1$. Let $\mathbb{H}=H^{n-1}_{\operatorname{prim}}(X_G, \mathbb{C})$ be the middle dimensional primitive cohomology of $X_G$. We explicitly construct a BV algebra $\mathbf{B\!\!V}_{\! \!X}=(\mathcal{A}_X,Q_X, K_X)$ such that its $0$-th cohomology $H^0_{K_X}(\mathcal{A}_X)$ is canonically isomorphic to $\mathbb{H}$. We also equip $\mathbf{B\!\!V}_{\! \!X}$ with a decreasing filtration and a bilinear pairing which realize the Hodge filtration and the cup product polarization on $\mathbb{H}$ under the canonical isomorphism. Moreover, we lift $C_{[\gamma]}:\mathbb{H} o \mathbb{C}$ to a cochain map $\mathcal{C}_\gamma:(\mathcal{A}_X, K_X) o (\mathbb{C},0)$, where $C_{[\gamma]}$ is the Griffiths period integral given by $\omega \mapsto \int_\gamma \omega$ for $[\gamma]\in H_{n-1}(X_G,\mathbb{Z})$. We use this enhanced homotopy structure on $\mathbb{H}$ to study an extended formal deformation of $X_G$ and the correlation of its period integrals. If $X_G$ is in a formal family of Calabi-Yau hypersurfaces $X_{G_{\underline T}}$, we provide an explicit formula and algorithm (based on a Grobner basis) to compute the period matrix of $X_{G_{\underline T}}$ in terms of the period matrix of $X_G$ and an $L_\infty$-morphism $\underline \kappa$ which enhances $C_{[\gamma]}$ and governs deformations of period matrices.

研究の動機と目的

• 滑らかな射影的超曲面の特異コホロジーに隠れたBV代数および$L_\infty$-ホモトピー構造を解明すること。
• 原始的コホロジー$\mathbb{H} = H^{n-1}_{\text{prim}}(X_G, \mathbb{C})$をBV代数$\mathbf{B\!V}_{\!X}$の零次コホロジーとして実現すること。
• BV代数に、$\mathbb{H}$上のホッジフィルトレーションおよびカップ積極化を反映するフィルトレーションとペアリングを備えること。
• グリフィス周期積分$C_{[\gamma]}$を、コチェーン写像$\mathcal{C}_\gamma$として$(\mathcal{A}_X, K_X)$から$(\mathbb{C}, 0)$へと上げ上げ、そのホモトピー的構造を強化すること。
• 強化されたホモトピー構造を用いて、カゼミ・ヤウ超曲面の形式的変形を研究し、族における周期行列を計算すること。

提案手法

• $H^0_{K_X}(\mathcal{A}_X) \cong \mathbb{H}$を満たすBV代数$\mathbf{B\!V}_{\!X} = (\mathcal{A}_X, Q_X, K_X)$を構成すること。
• $\mathcal{A}_X$に減少フィルトレーションを導入し、標準的同型の下で$\mathbb{H}$上のホッジフィルトレーションを誘導すること。
• $\mathcal{A}_X$上の双線形ペアリングを定義し、$\mathbb{H}$上のカップ積極化を実現すること。
• 周期積分$C_{[\gamma]}: \mathbb{H} \to \mathbb{C}$を、$(\mathcal{A}_X, K_X)$から$(\mathbb{C}, 0)$へのコチェーン写像$\mathcal{C}_\gamma$へと上げ上げ、高次ホモトピー情報を符号化すること。
• 強化された構造を用いて、カゼミ・ヤウ超曲面族における周期行列の変形を支配する$L_\infty$-準同型$\underline{\kappa}$を定義すること。
• Gröbner基底に基づくアルゴリズムを開発し、$X_G$の周期行列と$L_\infty$-準同型$\underline{\kappa}$から、$X_{G_{\underline{T}}}$の周期行列を計算すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影的超曲面のコホロジーにBV代数および$L_\infty$-ホモトピー構造をどのように実現できるか。
• RQ2 グリフィス周期積分は、コホロジー複体内の高次ホモトピー的データを符号化するコチェーン写像へと上げ上げ可能か。
• RQ3 ホッジフィルトレーションおよびカップ積極化は、BV代数の代数的構造からどのように生じるか。
• RQ4 $L_\infty$-準同型$\underline{\kappa}$は、カゼミ・ヤウ超曲面族における周期行列の変形を支配する役割を果たすか。
• RQ5 Gröbner基底技術を用いて、変形されたカゼミ・ヤウ超曲面の周期行列を計算するアルゴリズムを構築可能か。

主な発見

• 原始的コホロジー$\mathbb{H}$は、構成されたBV代数$\mathbf{B\!V}_{\!X}$の零次コホロジー$H^0_{K_X}(\mathcal{A}_X)$と自然同型である。
• BV代数$\mathbf{B\!V}_{\!X}$は、標準的同型の下で$\mathbb{H}$上のホッジフィルトレーションを誘導する減少フィルトレーションを備えている。
• $\mathcal{A}_X$上の双線形ペアリングは、$\mathbb{H}$上のカップ積極化を実現し、ホッジ理論的構造を保存する。
• 周期積分$C_{[\gamma]}$は、$\mathcal{A}_X$から$\mathbb{C}$へのコチェーン写像$\mathcal{C}_\gamma$へと上げ上げられ、高次ホモトピー情報を符号化している。
• Gröbner基底に基づく明示的アルゴリズムにより、変形されたカゼミ・ヤウ超曲面$X_{G_{\underline{T}}}$の周期行列が、$X_G$の周期行列と$L_\infty$-準同型$\underline{\kappa}$から計算可能である。
• $L_\infty$-準同型$\underline{\kappa}$は、カゼミ・ヤウ超曲面族における周期行列の変形を支配し、周期計算の完全なホモトピー的フレームワークを提供する。