[논문 리뷰] Toric Calabi-Yau Fourfolds, Duality Between N=1 Theories and Divisors that Contribute to the Superpotential

Volker Braun, Philip Candelas외 2명|ArXiv.org|2000. 01. 29.

Geometry and complex manifolds참고 문헌 21인용 수 9

한 줄 요약

이 논문은 토닉 캘라비-야우 4서피스 위의 F-이론 compactification과 캘라비-야우 3서피스 위의 헤테로티크 compactification 사이의 이중성에 대해 연구하며, 반사 다면체와 헤테로티크 데이터 사이의 대응을 수립한다. 다면체의 구조에서 헤테로티크 게이지 군과 벡터 번들의 데이터를 추출하는 방법을 제공하며, 초위상수의 기여는 산술 기하학적 종수 1을 가진 디바이저들만 기여함을 밝혀내며, SO(홀수), Sp(n), G₂, F₄와 같은 비단순 루트를 가진 군의 경우 χ(O_D) > 1이면 일부 디바이저들이 기여하지 않음을 강조한다.

ABSTRACT

We study issues related to F-theory on Calabi-Yau fourfolds and its duality to heterotic theory for Calabi-Yau threefolds. We discuss principally fourfolds that are described by reflexive polyhedra and show how to read off some of the data for the heterotic theory from the polyhedron. We give a procedure for constructing examples with given gauge groups and describe some of these examples in detail. Interesting features arise when the local pieces are fitted into a global manifold. An important issue is how to compute the superpotential explicitly. Witten has shown that the condition for a divisor to contribute to the superpotential is that it have arithmetic genus 1. Divisors associated with the short roots of non-simply laced gauge groups do not always satisfy this condition while the divisors associated to all other roots do. For such a `dissident' divisor we distinguish cases for which the arithmetic genus is greater than unity corresponding to an X that is not general in moduli (in the toric case this corresponds to the existence of non-toric parameters). In these cases the `dissident' divisor D does not remain an effective divisor for general complex structure. If however the arithmetic genus is less than or equal to 0, then the divisor is general in moduli and there is a genuine instability.

연구 동기 및 목표

• 반사 다면체를 사용하여 캘라비-야우 4서피스 위의 F-이론과 캘라비-야우 3서피스 위의 헤테로티크 compactification 간의 이중성을 수립한다.
• 토닉 데이터로부터 특정 게이지 군을 갖는 4서피스를 체계적으로 구성하는 절차를 개발한다.
• F-이론 compactification에서 초위상수에 기여하는 디바이저를 특정하는 것, 특히 비단순 루트를 가진 게이지 군의 경우에 중점을 둔다.
• 디바이저가 모듈리 공간에서 여전히 유효한지 결정하는 데 있어 산술 기하학적 종수와 헬름홀츠 오일러 지표 χ(O_D)의 역할을 명확히 한다.
• F-이론 초위상수와 헤테로티크 초위상수를 비교하고, 카일러 매개변수에 대한 의존성의 불일치를 분석한다.

제안 방법

• 캘라비-야우 4서피스를 기술하고 이중 헤테로티크 3서피스를 추출하기 위해 5차원 반사 다면체를 사용한다.
• KLRY 구성법을 통해 4서피스 X의 팬을 구축하고, 군 작용을 확장하여 전반적 기하학을 정의한다.
• X에서 Z로의 디바이저 투영을 통해 헤테로티크 3서피스 Z에서의 교차수를 계산하며, 교차 데이터를 유지하는 전이 이미지를 사용한다.
• 위튼의 기준을 적용한다: 디바이저가 초위상수에 기여하려면 산술 기하학적 종수가 1이어야 하며, 즉 χ(O_D) = 1 이다.
• χ(O_D) > 1인 경우(비일반 모듈리, 비토닉 매개변수)와 χ(O_D) ≤ 0인 경우(진정된 불안정성, 유효한 기여)를 구분한다.
• F-이론 초위상수(카일러 매개변수에 대한 삼차함수)와 헤테로티크 초위상수(곡선 부피에 대한 선형함수)를 비교하고, 무한소 타원 곡선 섬유 극한을 통해 불일치를 해결한다.

실험 결과

연구 질문

• RQ1 F-이론에서 캘라비-야우 4서피스를 기술하는 반사 다면체로부터, 캘라비-야우 3서피스 위의 헤테로티크 compactification 데이터를 어떻게 추출할 수 있는가?
• RQ2 F-이론 compactification에서 어떤 디바이저가 초위상수에 기여하는가에 대한 정확한 기준은 무엇인가?
• RQ3 비단순 루트를 가진 게이지 군(예: SO(홀수), Sp(n), G₂, F₄)의 경우, 짧은 루트와 관련된 디바이저들이 초위상수에 기여하지 않는 이유는 무엇인가?
• RQ4 헬름홀츠 오일러 지표 χ(O_D)는 디바이저가 일반적인 복소 구조 모듈리 공간에서 여전히 유효한지를 결정하는 데 어떻게 기여하는가?
• RQ5 F-이론 초위상수의 카일러 매개변수에 대한 삼차 의존성과 헤테로티크 이론의 선형 의존성 간의 불일치는 어떻게 조화시킬 수 있는가?

주요 결과

• 이중 헤테로티크 3서피스 Z는 4서피스 X의 이중 다면체를 투영하여 얻어지며, 이 투영은 ℙ¹ 위의 피브레이션에 해당한다.
• 산술 기하학적 종수가 1인(χ(O_D) = 1) 디바이저는 초위상수에 기여하기 위해 필수적이고 충분한 조건이며, 위튼의 기준에 따라 성립한다.
• 비단순 루트를 가진 게이지 군의 경우, 짧은 루트와 관련된 디바이저는 χ(O_D) > 1이면 기여하지 않으며, 이는 비일반 모듈리와 비토닉 매개변수를 의미한다.
• χ(O_D) ≤ 0이면 디바이저는 일반 모듈리에서 유효하게 유지되며 진정으로 초위상수에 기여하며, 물리적 불안정성을 시사한다.
• F-이론 초위상수는 카일러 매개변수에 대해 삼차함수이며, 헤테로티크 이론은 선형함수이다; 이 불일치는 무한소 타원 곡선 섬유 극한에서 해결된다.
• 명시적 예시는 비단순 루트를 가진 군의 경우 혼합된 구성—일부 디바이저는 기여하고 일부는 기여하지 않음—이 발생할 수 있음을 보여주며, 이는 전부 또는 전혀 기여하지 않는다는 기대와는 반대된다.