[논문 리뷰] Towards the Mirror Symmetry for Calabi-Yau Complete intersections in Gorenstein Toric Fano Varieties

Lev Borisov|ArXiv.org|1993. 10. 02.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 99

한 줄 요약

이 논문은 Gorenstein 토릭 팬로 곱의 Calabi-Yau 완전교차에서의 Batyrev의 극대 이중성(duality)을 일반화한 반사 격자 다면체에 대한 조합적 이중성을 제안한다. 반사 다면체의 정점에 대한 네프-분할을 도입하고, 조각별 선형 함수를 통해 이중 다면체를 구성함으로써, 이중 토릭 다양체에 있는 Calabi-Yau 완전교차의 가닥들 사이의 미러 대칭 대응을 수립한다. 이는 이 더 넓은 클래스의 Calabi-Yau 다양체에 대해 미러 대칭을 체계적으로 실현하는 데 기여한다.

ABSTRACT

We propose a combinatorical duality for lattice polyhedra which conjecturally gives rise to the pairs of mirror symmetric families of Calabi-Yau complete intersections in toric Fano varieties with Gorenstein singularities. Our construction is a generalization of the polar duality proposed by Batyrev for the case of hypersurfaces.

연구 동기 및 목표

• Batyrev의 초면체에 대한 극대 이중성을 Gorenstein 토릭 팬로 곱에서의 완전교차로 확장하기.
• 초면체의 경우를 넘어서, 체계적인 방법으로 Calabi-Yau 완전교차의 거울 대칭 가닥을 구성하기.
• 반사 다면체의 네프-분할에 대한 조합적 치환을 정의하여, 이로부터 거울 대칭을 유도하기.
• 조각별 선형 함수와 정점 분할을 통해 반사 다면체와 그 이중체 사이의 이중성을 수립하기.
• 이러한 이중성이 이중 토릭 팬로 곱에서 Calabi-Yau 완전교차의 거울 쌍을 유도할 수 있다는 추측을 제기하기.

제안 방법

• 0이 내부에 포함된 Mℝ 안의 반사 다면체 Δ를 정의하고, 그 이중 Δ*를 Nℝ 안의 {y ∈ Nℝ | ⟨x,y⟩ ≥ -1 for all x ∈ Δ}로 정의한다.
• Δ의 정점들을 상호배타적인 부분집합 E₁,…,Er로 나누는 네프-분할을 도입하며, 각 eⱼ ∈ Eᵢ 이면 φᵢ(eⱼ)=1, 그렇지 않으면 0이 되는 정수 계수의 Σ[Δ]-조각별 선형 함수 φ₁,…,φᵣ가 존재하도록 한다.
• 각 i=1,…,r에 대해 r개의 볼록 다면체 Δᵢ = Conv({0} ∪ Eᵢ)와 r개의 이중 다면체 ∇ᵢ = {y ∈ Nℝ | ⟨x,y⟩ ≥ -φᵢ(x)}를 구성한다.
• ∇ = Conv(∇₁ ∪ ⋯ ∪ ∇ᵣ)로 정의하고, ∇가 반사적이며 ∇* = Δ₁ + ⋯ + Δᵣ임을 보인다.
• 이중의 이중 구성이 원래의 구성으로 복귀함을 증명하여, 반사 다면체와 네프-분할을 갖는 집합 위에 치환을 수립한다.
• 이러한 이중성이 PΔ*와 P∇*의 토릭 팬로 곱에서 Calabi-Yau 완전교차의 거울 대칭을 유도할 수 있다는 추측을 제기한다.

실험 결과

연구 질문

• RQ1 Batyrev의 Calabi-Yau 초면체에 대한 극대 이중성은 Gorenstein 토릭 팬로 곱에서의 완전교차로 일반화될 수 있는가?
• RQ2 어떤 반사 다면체의 조합적 구조가 완전교차에 대한 거울 대칭을 유도하는가?
• RQ3 반사 다각형의 정점에 대한 네프-분할은 어떻게 이중 Calabi-Yau 완전교차의 가닥을 정의하는 데 사용될 수 있는가?
• RQ4 두 이중 토릭 팬로 곱 다양체의 다각형 데이터 사이에 자연스러운 이중성이 존재하는가, 이는 그들의 Calabi-Yau 완전교차에 대한 거울 대칭을 유도하는가?
• RQ5 조각별 선형 함수를 통한 이중 다면체 구성은 반사 다면체와 네프-분할을 갖는 집합 위에서 자기 역전 치환(self-inverse involution)을 유도하는가?

주요 결과

• 이중의 이중 구성은 원래의 반사 다면체와 그 네프-분할을 복귀시키며, 반사 다면체와 네프-분할을 갖는 집합 위에 치환을 수립한다.
• 구성은 Δ* = ∇₁ + ⋯ + ∇ᵣ 및 ∇* = Δ₁ + ⋯ + Δᵣ를 만족하여 두 다각형 가닥 간의 대칭적 이중성을 보여준다.
• 이중 다면체 ∇는 반사적이며, 이는 거울 구성이 Gorenstein 토릭 팬로 곱 다양체의 클래스 안에 유지됨을 보장한다.
• 이중 다면체 ∇ᵢ의 정점은 정확히 ∇의 정점이며, 이중 분할 E′₁,…,E′ᵣ는 ∇의 네프-분할을 이룬다. 이는 이중성의 순환 고리를 완성한다.
• 이중성은 PΔ*와 P∇*의 Calabi-Yau 완전교차의 가닥 사이의 거울 대칭 대응을 유도하며, 추측과 일치한다.
• 이중성은 함수 φᵢ와 그 이중 ψᵢ를 통해 실현되며, ψᵢ(y) = -minₓ∈Δᵢ⟨x,y⟩로 정의되어 이중 구성 간의 호환성을 보장한다.