[论文解读] 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

一句话总结

本文在光滑射影超曲面的上同调上构建了Batalin-Vilkovisky（BV）代数结构，将原始上同调实现为该代数的零阶上同调。它将Griffiths周期积分提升为余链映射，并通过Gröbner基方法提供了一种显式算法，利用$L_\infty$-同构计算Calabi-Yau超曲面族的周期矩阵，揭示了周期积分背后隐藏的同伦李代数结构。

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}$上反映Hodge滤子与上积极化结构。
• 将Griffiths周期积分$C_{[\gamma]}$提升为余链映射$\mathcal{C}_\gamma$，从$\mathcal{A}_X$到$\mathbb{C}$，增强其同伦结构。
• 应用增强的同伦结构研究Calabi-Yau超曲面的形式形变，并在族中计算周期矩阵。

提出的方法

• 构建一个BV代数$\mathbf{B\!V}_{\!X} = (\mathcal{A}_X, Q_X, K_X)$，使得$H^0_{K_X}(\mathcal{A}_X) \cong \mathbb{H}$，即原始上同调。
• 在$\mathcal{A}_X$上引入一个下降滤子，通过标准同构在$\mathbb{H}$上诱导出Hodge滤子。
• 在$\mathcal{A}_X$上定义一个双线性配对，实现在$\mathbb{H}$上的上积极化结构。
• 将周期积分$C_{[\gamma]}: \mathbb{H} \to \mathbb{C}$提升为余链映射$\mathcal{C}_\gamma: (\mathcal{A}_X, K_X) \to (\mathbb{C}, 0)$，编码更高阶同伦数据。
• 利用增强结构定义一个$L_\infty$-同构$\underline{\kappa}$，控制形式族中Calabi-Yau超曲面的周期矩阵形变。
• 开发一个基于Gröbner基的算法，从$X_G$的周期矩阵与$L_\infty$-同构$\underline{\kappa}$计算$X_{G_{\underline{T}}}$的周期矩阵。

实验结果

研究问题

• RQ1 如何在光滑射影超曲面上同调上实现BV代数与$L_\infty$-同伦结构？
• RQ2 Griffiths周期积分能否被提升为编码上同调复形中更高阶同伦数据的余链映射？
• RQ3 Hodge滤子与上积极化结构如何从BV代数的代数结构中自然涌现？
• RQ4 $L_\infty$-同构$\underline{\kappa}$在控制Calabi-Yau超曲面族中周期矩阵形变时起什么作用？
• RQ5 能否构建一个算法，利用Gröbner基技术计算形变后Calabi-Yau超曲面的周期矩阵？

主要发现

• 原始上同调$\mathbb{H}$通过标准同构自然同构于所构造的BV代数$\mathbf{B\!V}_{\!X}$的零阶上同调$H^0_{K_X}(\mathcal{A}_X)$。
• BV代数$\mathbf{B\!V}_{\!X}$携带一个下降滤子，在标准同构下诱导出$\mathbb{H}$上的Hodge滤子。
• $\mathcal{A}_X$上的双线性配对实现在$\mathbb{H}$上的上积极化结构，保持Hodge理论结构。
• 周期积分$C_{[\gamma]}$被提升为从$\mathcal{A}_X$到$\mathbb{C}$的余链映射$\mathcal{C}_\gamma$，编码更高阶同伦数据。
• 基于Gröbner基的显式算法，可从$X_G$的周期矩阵与$L_\infty$-同构$\underline{\kappa}$计算形变后Calabi-Yau超曲面$X_{G_{\underline{T}}}$的周期矩阵。
• $L_\infty$-同构$\underline{\kappa}$控制形式族中Calabi-Yau超曲面的周期矩阵形变，为周期计算提供了完整的同伦框架。