[논문 리뷰] Resonant Hypergeometric Systems and Mirror Symmetry

Jan Stienstra|arXiv (Cornell University)|1997. 11. 03.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 32

한 줄 요약

이 논문은 잔여계수를 가진 게르프란트-카프라노프-체레브스키(GKZ) 초기함수계의 해를, 담금질된 Γ-급수를 통해 노르멀리티 원소의 링에 값이 있는 것으로 구성함으로써, 칼라비-양 다양체 위의 주기들을 명시적으로 계산할 수 있게 한다. 핵심 결과로는, 적응된 급수를 통해 상대 코hom로지 모듈과 자명한 D-모듈 간의 동형사상이 수립되며, 이는 토릭 미러 대칭에서 필수적인 B-모델 주기를 제공한다.

ABSTRACT

The Gamma-series of Gel'fand-Kapranov-Zelevinsky are adapted so that they give solutions for certain resonant systems of GKZ hypergeometric differential equations. For this some complex parameters in the Gamma-series are replaced by nilpotent elements from a ring $R_{A,T}$. The adapted Gamma-series is a function $Ψ$ with values in the finite dimensional vector space $R_{A,T}\otimes C$. Applications of these results in the context of toric Mirror Symmetry are described. Building on work of Batyrev we show that the relative cohomology module of a certain hypersurface in a torus is a GKZ hypergeometric $D$-module which over an appropriate domain is isomorphic to the trivial $D$-module $R_{A,T}\otimes O_T$, where $O_T$ is the sheaf of holomorphic functions on this domain. The isomorphism is explicitly given by adapted Gamma-series. As a result one finds the periods of a holomorphic differential form of degree $d$ on a $d$-dimensional Calabi-Yau manifold, needed for the B-model side input to Mirror Symmetry. Relating our work with that of Batyrev and Borisov we interpret the ring $\cR_{\sA,\gT}$ as the cohomology ring of a toric variety and a certain principal ideal in it as a subring of the Chow ring of a Calabi-Yau complete intersection. This interpretation takes place on the A-model side of Mirror Symmetry.

연구 동기 및 목표

• β ∈ ℤⁿ 이고 삼등분법이 다수의 최대 단체를 포함할 때 GKZ 초기함수계의 공진 문제를 해결하기 위해.
• 잔여계수의 경우에 대해 표준 급수의 정의 도메인을 노르멀리티 매개변수를 사용하여 잘 정의된 해를 구성하기 위해.
• 토릭 다양체와 칼라비-양 완전교차를 통해 해공간의 기하학적 해석을 제공하기 위해.
• 적응된 Γ-급수를 통해 A-모델 코hom로지 링과 B-모델 주기를 연결하기 위해.
• 적응된 Γ-급수를 사용하여 상대 코hom로지와 자명한 D-모듈 사이의 명시적 동형사상을 제공하기 위해.

제안 방법

• 복소 매개변수를 링 𝒮_{𝒜,𝒯} 에서의 노르멀리티 원소로 대체함으로써 표준 Γ-급수를 적응시켜, 잔여계수의 경우에도 해를 얻을 수 있도록 한다.
• 𝒮_{𝒜,𝒯} ⊗_ℤ ℂ 에 값을 갖는 함수 Ψ_{𝒯,β} 를 정의하여, β ∈ ℳ 인 경우에 GKZ 시스템을 해결한다.
• 정규 삼등분법과 지정된 보조 피라미드를 사용하여 적응된 Γ-급수의 수렴 도메인을 정의한다.
• 적응된 Γ-급수를 통해 상대 코호몰로지 모듈 Hⁿ(𝕋̃ rel 𝒁_{s−1}) 이 자명한 D-모듈 𝒮_{𝒜,𝒯} ⊗ 𝒪_𝒯 와 동형임을 증명한다.
• 링 𝒮_{𝒜,𝒯} 를 토릭 다양체의 코호몰로지 링으로 식별하고, 칼라비-양 완전교차의 초등 아이디얼을 그 초등 아이디얼의 부분환으로 식별한다.
• 단형성 표현과 채른 클래스 작용을 사용하여 D-모듈의 구조를 피카르 군과 선다발 작용과 연결한다.

실험 결과

연구 질문

• RQ1 표준 급수가 비특이성으로 인해 실패할 때, Γ-급수는 어떻게 잔여계수를 가진 GKZ 초기함수계를 해결하기 위해 적응시킬 수 있는가?
• RQ2 토릭 미러 대칭의 맥락에서 링 𝒮_{𝒜,𝒯} 의 기하학적 의미는 무엇인가?
• RQ3 어떻게 적응된 Γ-급수가 상대 코호몰로지와 자명한 D-모듈 사이의 표준 동형사상을 제공하는가?
• RQ4 토릭 다양체의 코호몰로지와 칼라비-양 완전교차의 초등 아이디얼 간의 관계는 무엇인가?
• RQ5 B-모델 측면의 단형성 표현은 A-모델 측면의 채른 클래스와 어떻게 대응하는가?

주요 결과

• 적응된 Γ-급수 Ψ_{𝒯,β} 는 표준 급수가 일치하는 잔여계수의 경우에도 GKZ 시스템의 잘 정의된 해를 제공한다.
• 적절한 도메인에서 상대 코호몰로지 모듈 Hⁿ(𝕋̃ rel 𝒁_{s−1}) 은 자명한 D-모듈 𝒮_{𝒜,𝒯} ⊗ 𝒪_𝒯 와 동형이다.
• 이 동형사상은 명시적으로 적응된 Γ-급수에 의해 주어지며, d차원 칼라비-양 다양체 위의 해석적 d-형식의 주기를 계산한다.
• 링 𝒮_{𝒜,𝒯} 는 코호몰로지 링 H*(ℙ_𝒯, ℤ) 로 식별되며, 그 안의 주어진 아이디얼은 칼라비-양 완전교차의 초등 아이디얼에 대응한다.
• B-모델 측면의 단형성 표현은 H*(ℙ_𝒯, ℤ) 에서 Pic(ℙ_𝒯) 의 작용과 동형이며, c₁(ℒ) 는 곱셈으로 exp(c₁(ℒ)) 를 작용시킨다.
• 이 구성은 A-모델 측면에서 부드러운 프로젝티브 토릭 다양체 안의 부드러운 완전교차 칼라비-양 다양체를 포함하는 모든 경우를 다룬다.