[논문 리뷰] Period integrals of smooth projective hypersurfaces and homotopy Lie algebras

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

Advanced Topics in Algebra인용 수 3

한 줄 요약

이 논문은 매끄럽고 사영적인 초곡면의 코homology에 Batalin-Vilkovisky (BV) 대수 구조를 구성하여, 이 대수의 0차 코homology로 원시 코homology를 실현한다. 이와 동시에 Griffiths 주기 적분을 코체인 사상으로 올리고, Gröbner 기저를 이용한 명시적 알고리즘을 제시하여 Calabi-Yau 초곡면 가중치의 주기 행렬을 $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.

연구 동기 및 목표

• 매끄럽고 사영적인 초곡면의 특이 코homology에 숨겨진 BV 대수와 $L_\infty$-호모토피 구조를 밝혀내는 것.
• 원시 코hom로 $\mathbb{H} = H^{n-1}_{\text{prim}}(X_G, \mathbb{C})$ 를 BV 대수 $\mathbf{B\!V}_{\!X}$ 의 0차 코homology로 실현하는 것.
• BV 대수에 Hodge 필터링과 코homology의 쿠프 곱 극화를 반영하는 필터링과 쌍선형 쌍대를 부여하는 것.
• Griffiths 주기 적분 $C_{[\gamma]}$ 를 $\mathcal{A}_X$ 에서 $\mathbb{C}$ 로 향하는 코체인 사상 $\mathcal{C}_\gamma$ 로 올리는 것으로, 그 호모토피적 구조를 강화하는 것.
• 강화된 호모토피 구조를 활용해 Calabi-Yau 초곡면의 형식적 변형을 연구하고, 가중치에서 주기 행렬을 계산하는 것.

제안 방법

• 원시 코homology $\mathbb{H}$ 와 동형인 $H^0_{K_X}(\mathcal{A}_X) \cong \mathbb{H}$ 를 만족하는 BV 대수 $\mathbf{B\!V}_{\!X} = (\mathcal{A}_X, Q_X, K_X)$ 를 구성하는 것.
• 코어니컬 동형에 의해 $\mathbb{H}$ 에서 Hodge 필터링을 유도하는 $\mathcal{A}_X$ 에 대한 감소 필터링을 도입하는 것.
• $\mathbb{H}$ 에서 쿠프 곱 극화를 실현하는 $\mathcal{A}_X$ 상의 이항형 쌍대를 정의하는 것.
• 주기 적분 $C_{[\gamma]}: \mathbb{H} \to \mathbb{C}$ 를 $(\mathcal{A}_X, K_X)$ 에서 $(\mathbb{C}, 0)$ 으로 향하는 코체인 사상 $\mathcal{C}_\gamma$ 로 올리는 것으로, 고차 호모토피 데이터를 포함하는 것.
• 강화된 구조를 이용해 형식적 Calabi-Yau 초곡면 가중치에서 주기 행렬의 변형을 다스리는 $L_\infty$-사상 $\underline{\kappa}$ 를 정의하는 것.
• Gröbner 기저에 기반한 알고리즘을 개발하여, $X_G$ 의 주기 행렬과 $L_\infty$-사상 $\underline{\kappa}$ 를 이용해 변형된 Calabi-Yau 초곡면 $X_{G_{\underline{T}}}$ 의 주기 행렬을 계산하는 것.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 초곡면의 코homology에 BV 대수와 $L_\infty$-호모토피 구조를 어떻게 실현할 수 있는가?
• RQ2 Griffiths 주기 적분은 고차 호모토피 데이터를 코homology 복합체에 포함하는 코체인 사상으로 어떻게 올릴 수 있는가?
• RQ3 Hodge 필터링과 쿠프 곱 극화는 BV 대수의 대수적 구조에서 어떻게 유도되는가?
• RQ4 형식적 Calabi-Yau 초곡면 가중치에서 주기 행렬의 변형을 다스리는 데 $L_\infty$-사상 $\underline{\kappa}$ 는 어떤 역할을 하는가?
• RQ5 Gröbner 기저 기법을 이용해 변형된 Calabi-Yau 초곡면의 주기 행렬을 계산할 수 있는 알고리즘을 어떻게 구성할 수 있는가?

주요 결과

• 원시 코homology $\mathbb{H}$ 는 구성된 BV 대수 $\mathbf{B\!V}_{\!X}$ 의 0차 코homology $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öb너 기저에 기반한 명시적 알고리즘이 $X_G$ 의 주기 행렬과 $L_\infty$-사상 $\underline{\kappa}$ 를 이용해 변형된 Calabi-Yau 초곡면 $X_{G_{\underline{T}}}$ 의 주기 행렬을 계산한다.
• $L_\infty$-사상 $\underline{\kappa}$ 는 형식적 Calabi-Yau 초곡면 가중치에서 주기 행렬의 변형을 다스리며, 주기 계산에 대한 완전한 호모토피적 프레임워크를 제공한다.