[논문 리뷰] Hypergeometric functions and mirror symmetry in toric varieties

R. Paul Horja|ArXiv.org|1999. 12. 14.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 104

한 줄 요약

이 논문은 토릭 다양체 내의 칼라비-유우 완전교차의 코homology 위의 단일화 작용과 그 반사의 기하적 대응을 밝혀내며, 게르프란드-카프란옵-젤레브스키 초함수계와 미러 대칭 기계를 이용하여 $\mathbf{D}(W \times W)$ 내에 명시적인 커널을 구축한다. 이 커널들이 $M$의 복소 구조 모듈리 공간의 디스크리미넌트 위치의 성분을 둘러싼 단일화 작용을 재현함으로써, 토릭 설정에서 콘테비치의 자동군 식별 제안을 실현한다.

ABSTRACT

We study aspects related to Kontsevich's homological mirror symmetry conjecture in the case of Calabi-Yau complete intersections in toric varieties. In a 1996 lecture at Rutgers University, Kontsevich indicated how his proposal implies that the groups of automorphisms of the two types of categories involved in the homological mirror symmetry conjecture should also be identified. Our main results provide an explicit geometric construction of the correspondence between the automorphisms of the two types of categories.

연구 동기 및 목표

• 미러 대칭 하에서 푸카비 및 유도 범주 자동군이 동일시되어야 한다는 콘테비치의 제안을 실현하기 위해.
• 코homology 위의 단일화 작용을 재현하는 $\mathbf{D}(W \times W)$ 내 기하적 커널을 구축하기 위해.
• 토릭 칼라비-유우 완전교차의 1- 및 2-매개변수 케이스에서 심플렉틱적 단일화와 대수적 자동사상 간의 완전한 사전을 제공하기 위해.
• 미러 모듈리 공간의 계량 전이와 유도 범주 위의 푸리에-무카이 변환 작용 간의 대응을 수립하기 위해.

제안 방법

• 미러 칼라비-유우 다양체 $M$의 주기를 묘사하기 위해 게르프란드-카프란옵-젤레브스키(GKZ) 초함수계를 사용한다.
• GKZ 시스템의 해를 통한 초함수 함수 및 고리 적분 기계를 적용하여 코homology 위의 단일화 작용을 계산한다.
• 2차 다각형의 모서리에 대응하는 $\mathbf{D}(W \times W)$ 내의 명시적 복합체 $\mathcal{E}^\bullet(F)$를 구성한다. 이는 계량 전이에 대응한다.
• 유도 범주 $\mathbf{D}(W)$의 자동사상을 정의하기 위해 푸리에-무카이 변환 형식 $\Phi_{\mathcal{E}^\bullet}(\cdot) = \mathbf{R}p_{2*}(\mathcal{E}^\bullet \overset{\mathbf{L}}{\otimes} p_1^*(\cdot))$을 이용한다.
• 고리 적분 및 잔여 계산을 통한 초함수 급수 $\Psi(z)$의 해석적 계속을 통해 단일화 작용을 매칭한다.
• 역수 관계에 의해 연결된 $\Phi^\mathcal{C}_\lambda(z)$ 및 $\Psi(z)$ 급수는 $1 - e^{2\pi i \cdot}$ 요소를 포함하며, 이는 코homology 작용을 연결한다.

실험 결과

연구 질문

• RQ1 복소 구조 모듈리 공간의 디스크리미넌트 위치 성분을 둘러싼 고리에 의해 유도된 칼라비-유우 다양체 $M$의 코homology 위의 단일화 작용은 그 반사 $W$의 유도 범주 자동사상으로 어떻게 기하학적으로 실현될 수 있는가?
• RQ2 복소 구조 모듈리 공간의 고리와 $\mathbf{D}(W)$ 위의 푸리에-무카이 변환 간의 정확한 대응은 무엇인가?
• RQ3 토릭 설정에서 명시적 커널 구성으로 푸카비 및 유도 범주의 자동군을 식별할 수 있는가?
• RQ4 미러 모듈리 공간의 계량 전이와 $W$ 위의 코herent sheaf 유도 범주의 대수적 자동사상 간의 대응은 무엇인가?
• RQ5 초함수계는 심플렉틱적 자동사상과 대수적 자동사상 간의 미러 대칭 대응을 어떻게 코딩하는가?

주요 결과

• 미러 $W$ 위의 푸리에-무카이 변환자 $\Phi_{\mathcal{E}^\bullet(F)}$ 의 작용에 의해, 복소 구조 모듈리 공간의 디스크리미넌트 위치 성분을 둘러싼 고리에 의해 $H^*(M, \mathbb{C})$ 위에 유도된 단일화 작용이 기하학적으로 실현된다.
• 미러 $W$의 부드러운 계량에 대응하는 2차 다각형의 각 모서리 $F$에 대해, 커널 $\mathcal{E}^\bullet(F)$ 는 $H^*(W, \mathbb{C})$ 위의 자동사를 유도하며, 이는 $H^*(M, \mathbb{C})$ 위의 단일화 작용과 정확히 일치한다.
• 푸리에-무카이 변환의 코homology 작용은 $1 - e^{-2\pi i \cdot}$ 항의 곱을 포함하는 고리 적분 표현식을 통해 계산되며, 이는 초함수 해에 대한 단일화 공식과 일치한다.
• $\Psi(z)$ 급수는 $\Phi^\mathcal{C}_\lambda(z)$ 와 $1 - e^{2\pi i(d_j\mu - \mu_j')} / 2\pi i$ 요소를 포함하는 인자로 연결되며, $M$의 모든 주기를 코딩하고 해석적 계속을 통해 단일화 작용이 계산된다.
• 이 구성은 토릭 칼라비-유우 완전교차의 1-매개변수 케이스와 특정 2-매개변수 케이스에서 심플렉틱적 단일화와 대수적 자동사상 간의 완전한 사전을 제공한다.
• 결과적으로 이 논문은 1996년 콘테비치의 제안을 명시적인 커널 구성과 초함수계, 토릭 기하학을 통해 실현한다.