[논문 리뷰] Holomorphic Bundles and the Moduli Space of N=1 Heterotic Compactifications

Xenia de la Ossa, Eirik Eik Svanes|arXiv (Cornell University)|2014. 02. 07.

Black Holes and Theoretical Physics인용 수 12

한 줄 요약

이 논문은 $N=1$ 헤테로식 컴팩티피케이션의 1차 모듈리 공간을 유도하기 위해, 변형이 $\mathcal{Q}$라는 배럴 위의 헬로모르픽 구조에 의해 지배됨을 보여준다. $\mathcal{Q}$는 $T^*X$와 $E = \text{End}(V) \oplus \text{End}(TX) \oplus TX$를 포함하는 확장으로 구성되며, 이론적 이상성 보정 조건을 강제하는 확장 계수 $\mathcal{H}$를 포함한다. 핵심 결과는 물리적 모듈리가 $\text{End}(V)$와 $TX$에서 기인하는 반면, $\text{End}(TX)$ 성분은 물리적으로 비현실적이지만 일致성을 확보하기 위해 수학적으로 필수적이라는 것이다.

ABSTRACT

We describe the first order moduli space of heterotic string theory compactifications which preserve $N=1$ supersymmetry in four dimensions, that is, the infinitesimal parameter space of the Strominger system. We establish that if we promote a connection on $TX$ to a field, the moduli space corresponds to deformations of a holomorphic structure $\bar D$ on a bundle $\cal Q$. The bundle $\cal Q$ is constructed as an extension by the cotangent bundle $T^*X$ of the bundle $E= { m End}(V) \oplus { m End}(TX) \oplus TX$ with an extension class $\cal H$ which precisely enforces the anomaly cancelation condition. The deformations corresponding to the bundle $E$ are simultaneous deformations of the holomorphic structures on the poly-stable bundles $V$ and $TX$ together with those of the complex structure of $X$. We discuss the fact that the ``moduli'' corresponding to ${ m End}(TX)$ cannot be physical, but are however needed in our mathematical structure to be able to enforce the anomaly cancelation condition. In the Appendix we comment on the choice of connection on $TX$ which has caused some confusion in the community before. It has been shown by Ivanov and others that this connection should also satisfy the instanton equations, and we give another proof of this fact.

연구 동기 및 목표

• 4차원 $N=1$ 초대칭을 유지하는 $N=1$ 헤테로식 컴팩티피케이션의 무한소 모듈리 공간을 유도하는 것.
• 스트로미ン저 시스템에서 $TX$ 위의 접속의 역할을 명확히 하여 이전 문헌에서의 혼동을 해결하는 것.
• $\mathcal{Q}$라는 배럴을 $T^*X$와 $E$를 포함하는 확장으로 구성한 후, 그 위에 정의된 헬로모르픽 구조 $\bar{D}$의 변형으로 나타나는 모듈리 공간이 컴팩티피케이션 데이터의 무한소 변형을 매개함을 보여주는 것.
• 물리적으로 비현실적이지만, 이상성 보정 조건을 만족시키기 위해 필수적인 $\text{End}(TX)$ 성분이 변형 체계를 닫는 데 수학적으로 필수적임을 보여주는 것.

제안 방법

• $\mathcal{Q}$를 $T^*X$에 대한 $E = \text{End}(V) \oplus \text{End}(TX) \oplus TX$의 헬로모르픽 확장으로 구성하고, 확장 계수 $\mathcal{H}$를 사용한다.
• $\mathcal{Q}$ 위의 헬로모르픽 구조 $\bar{D}$의 변형과 모듈리 공간을 동치로 보고, 이는 무한소 컴팩티피케이션 데이터를 매개한다.
• 확장 계수 $\mathcal{H}$를 사용해 스트로미ン저 시스템에서 요구하는 이상성 보정 조건을 표현한다.
• $E$의 변형이 $V$, $TX$, 그리고 컴팩티피케이션 다양체 $X$의 복소 구조의 동시에 변형과 대응됨을 보여준다.
• $\text{End}(TX)$ 성분은 물리적으로 비현실적이지만, 변형 체계를 닫고 이상성 보정 조건을 유지하기 위해 수학적으로 필수적임을 입증한다.
• 기존에 아이바노프 등이 얻은 결과를 확인하는 새로운 증명을 통해 $TX$ 위의 접속이 인스턴턴트 방정식을 만족해야 함을 재확인한다.

실험 결과

연구 질문

• RQ1 홀로모르픽 배럴의 관점에서 $N=1$ 헤테로식 컴팩티피케이션의 1차 모듈리 공간은 어떻게 구성되어 있는가?
• RQ2 확장 계수 $\mathcal{H}$는 이상성 보정 조건을 어떻게 정확히 표현하는가?
• RQ3 물리적 모듈리와 대응되지 않는 $\text{End}(TX)$ 성분이 변형 공간에 포함되는 이유는 무엇인가?
• RQ4 $TX$ 위의 접속 선택이 스트로미ン저 시스템의 일관성에 어떻게 영향을 미치는가?
• RQ5 홀로모르픽 배럴 프레임워크를 사용해 $TX$ 접속이 인스턴턴트 방정식을 만족해야 한다는 조건을 재유도할 수 있는가?

주요 결과

• $N=1$ 헤테로식 컴팩티피케이션의 모듈리 공간은 $T^*X$에 대한 $E$의 확장으로 구성된 배럴 $\mathcal{Q}$ 위의 헬로모르픽 구조 $\bar{D}$의 변형 공간으로서 실현된다.
• 확장 계수 $\mathcal{H}$는 스트로미ン저 시스템에서 요구하는 이상성 보정 조건을 정확히 강제한다.
• $E = \text{End}(V) \oplus \text{End}(TX) \oplus TX$의 변형은 $V$, $TX$, 그리고 컴팩티피케이션 다양체 $X$의 복소 구조의 동시에 변형과 대응된다.
• $\text{End}(TX)$ 성분은 물리적으로 비현실적이지만, 변형 체계를 닫고 이상성 보정과의 일관성을 유지하기 위해 수학적으로 필수적이다.
• 논문은 $TX$ 위의 접속이 인스턴턴트 방정식을 만족해야 한다는 점을 새로운 방식으로 증명하여 아이바노프 및 다른 이들의 결과를 확인한다.
• 이 프레임워크는 오랫동안 혼동이 있었던 $TX$ 위의 접속 선택 문제를 명확히 하여, 스트로미ン저 시스템에서의 일관성 유지를 위해 그 선택이 필수적임을 보여준다.