[논문 리뷰] The theory of superstring with flux on non-Kahler manifolds and the complex Monge-Ampere equation

Jixiang Fu, Shing‐Tung Yau|arXiv (Cornell University)|2006. 04. 10.

Geometry and complex manifolds참고 문헌 11인용 수 11

한 줄 요약

이 논문은 비카일러다이만포르만포르만에서 비카일러다이만포르만을 해결하기 위해 비선형 복소 몽에-아프레 방정식에 대한 사전 추정을 수립함으로써, 헤테로티컬 슈퍼스트링 이론에서 플럭스 커팩티피케이션을 실현하는 부드러운 해의 존재를 증명한다. 주요 기여는 비카일러다이만포르만을 통해 칼라비-유오만 다양체를 연결하는 기하학적 구성으로, 일반화된 헤르미트-양밀스 시스템과 부피 형식 제약 조건을 통해 이 anomaly 보존 및 초대칭 조건을 만족하는 해를 제공한다.

ABSTRACT

The purpose of this paper is to solve a problem posed by Strominger in constructing smooth models of superstring theory with flux. These are given by non-Kahler manifolds with torsion.

연구 동기 및 목표

• 비카일러다이만포르만에서 플럭스를 가진 부드러운 초대칭 슈퍼스트링 커팩티피케이션을 구축하여, 스트링 이론에서 오랫동안 미해결된 문제를 해결한다.
• 부피 형식 제약 조건이 있는 비선형 복소 몽에-아프레 방정식을 풀어 스토름저링 시스템의 해 존재성을 확립한다.
• M. 레이드의 제안을 실현하여, $S^3 \times S^3$의 연결 합으로 디피오모르피크인 비카일러다이만포르만을 통해 서로 다른 위상수를 가진 칼라비-유오만 다양체를 연결하는 비카일러다이만포르만 기하학을 사용한다.
• 칼라비-유오만 기반 위에 피브레이션을 사용하여 고차원 복소 다양체로 스토름저링 시스템을 일반화한다. 이때 (1,1)-형식이 조화적일 것을 요구한다.
• 평행 스피너와 안정적인 벡터 번들의 존재를 지원하는 비카일러다이만포르만 다양체 위에 표준 헤르미트 메트릭 구조를 제공한다.

제안 방법

• 헤르미트-양밀스 조건, $\partial\bar{\partial}\omega = \frac{\alpha'}{4}(\text{tr}R\wedge R - \text{tr}F\wedge F)$를 통한 이상성 보존, 그리고 $d^*\omega$를 포함하는 딜라톤 조건을 포함하는 스토름저링 시스템을 연립 방정식으로 기술한다.
• 복소 부피 형식을 고정하고, 부피 형식 제약 조건 $d(\|\Omega\|_{\omega}^{2\frac{n-1}{n}}\omega^n) = 0$를 분석함으로써 시스템을 비선형 복소 몽에-아프레 방정식으로 축소한다.
• 곡률과 부피 형식 행동을 제어하기 위해 카일러 포텐셜 $u$에 대한 사전 추정(제로차, 제2차, 제3차 및 행렬식 추정)을 적용한다.
• 조화적 (1,1)-형식 $\omega_1, \omega_2$와 함수 $u$를 사용하여 메트릭 $\omega_u = e^u\omega_K + \frac{\sqrt{-1}}{2}\theta\wedge\bar{\theta}$를 정의함으로써, 칼라비-유오만 $n$-다양체 위의 $T^2$-피브레이션을 통해 명시적 해를 구성한다.
• 우렌벡-요아 정리를 사용하여 피브레이션 위의 끌어올린 번들의 헤르미트-양밀스 연결이 존재함을 보장하며, 이는 $F_H^{2,0} = F_H^{0,2} = 0$ 및 $F_H \wedge \omega^n = 0$ 조건을 만족한다.
• 구축된 메트릭과 번들이 차원 $n+1$에서 일반화된 스토름저링 시스템을 만족함을 확인하기 위해, $\text{tr}R_u\wedge R_u$가 곡률 항과 일치하고 부피 형식 조건이 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 비카일러다이만포르만에서 플럭스를 가진 부드러운 스토름저링 시스템 해를 구성할 수 있는가? 이 해는 이상성 보존 및 초대칭 조건을 모두 만족하는가?
• RQ2 부피 형식이 메트릭에 의존하고 고정되지 않을 경우, 스토름저링 시스템에서 유도된 복소 몽에-아프레 방정식은 어떻게 해결할 수 있는가?
• RQ3 칼라비-유오만 다양체의 기하학이 $S^3 \times S^3$의 연결 합으로 디피오모르피크인 비카일러다이만포르만으로 변형될 수 있는가? 이때 초대칭 및 플럭스 조건을 유지할 수 있는가?
• RQ4 조화적 (1,1)-형식은 고차원 비카일러다이만포르만 다양체를 구성하는 데 어떤 역할을 하는가? 이 다양체는 안정적인 벡터 번들과 헤르미트-양밀스 연결을 지원하는가?
• RQ5 차원 $n \geq 3$에서 일반화된 스토름저링 시스템에서 곡률 항 $\text{tr}R\wedge R$와 $\text{tr}F\wedge F$는 어떻게 상호작용하는가?

주요 결과

• 복소 3차원 다양체에서 스토름저링 시스템의 부드러운 해가 구성되었으며, 이는 스트링 커팩티피케이션에서 20년간 미해결이었던 문제를 해결한다.
• 부피 형식 제약 조건 $d(\|\Omega\|_{\omega}^{2\frac{n-1}{n}}\omega^n) = 0$이 핵심적으로 작용하는 비선형 복소 몽에-아프레 방정식에 대한 사전 추정을 통해 해가 도출되었다.
• 칼라비-유오만 $n$-다양체 위의 $T^2$-피브레이션에서 구축된 메트릭 $\omega_u$는 $\|\Omega\|_{\omega_u}^2 = e^{-nu}$를 만족하여 부피 조건이 충족됨을 보장한다.
• 곡률 항 $\text{tr}R_u\wedge R_u$는 기반 칼라비-유오만 메트릭과 피브레이션 기여로 분해되며, $\partial\bar{\partial}u$-항과 $\partial\bar{\partial}(e^{-u}\text{tr}\bar{\partial}B\wedge\partial B^*)$가 명시적으로 계산되었다.
• 시스템은 $\sqrt{-1}\partial\bar{\partial}u$와 조화형식을 포함하는 해를 갖는 방정식으로 축소되며, $\int_K \mu \frac{\omega_K^n}{n!} = 0$ 조건이 해의 존재를 위한 필요 조건이 된다.
• 칼라비-유오만 $n$-다양체 위의 $T^2$-피브레이션을 통해 $n+1$차원 다양체로 일반화되었으며, $\Omega = \Omega_K \wedge \theta$는 해석적 부피 형식을 정의한다.