[논문 리뷰] Moduli of $G_2$ structures and the Strominger system in dimension 7

Andrew Clarke, Mario García-Fernández외 1명|arXiv (Cornell University)|2016. 07. 05.

Geometry and complex manifolds참고 문헌 29인용 수 4

한 줄 요약

이 논문은 4형식에 대한 비앙키 유형 항등식을 통해 휠곡도를 가진 $G_2$ 구조와 $G_2$-instanton을 결합함으로써 7차원의 스토름징어 시스템의 일반화를 제안한다. 타원형 연산자 이론을 이용하여 모듈리 공간의 유한차원성을 확립하고, 일반화된 기하학과의 연관성을 규명하며, 코homological 복합체를 통해 무한소 모듈리 공간의 새로운 특성화를 도출한다.

ABSTRACT

We consider $G_2$ structures with torsion coupled with $G_2$-instantons, on a compact $7$-dimensional manifold. The coupling is via an equation for $4$-forms which appears in supergravity and generalized geometry, known as the Bianchi identity. The resulting system of partial differential equations can be regarded as an analogue of the Strominger system in $7$-dimensions. We initiate the study of the moduli space of solutions and show that it is finite dimensional using elliptic operator theory. We also relate the associated geometric structures to generalized geometry.

연구 동기 및 목표

• 이론적 모델이 이르는 이소터로픽 초중력 이론에서 영감을 얻어, 컴act 7차원 다양체 위의 휠곡도를 가진 $G_2$ 구조의 모듈리 공간을 연구한다.
• 6차원에서 7차원으로의 스토름징어 시스템 확장을 위해 $G_2$ 구조와 $G_2$-instanton, 4형식에 대한 비앙키 항등식을 결합한다.
• 타원형 연산자 이론과 일반화된 기하학을 활용하여 해 공간의 유한차원성을 확립한다.
• 모듈리 공간을 코homological 불변량과 이소터로픽 끈 이론의 커플링 양자화와 연관시킨다.
• 같은 코homological 프레임워크를 통해 $G_2$-홀로노미 메트릭의 무한소 모듈리 공간이 $H^3(M,\mathbb{R})$와 동형임을 새롭게 증명한다.

제안 방법

• 타입 $W_3$의 코캘리브레이티드 $G_2$ 구조, $G_2$-instanton, 그리고 휠곡도 3형식 $H$에 대한 비앙키 항등식을 조합한 PDE 시스템을 수립한다.
• 메트릭, 접속, 딜라톤 필드를 포함하는 $E = TM \oplus \text{ad}P \oplus T^*M$ 위의 코르던 알베로이드 구조를 사용하여 시스템을 모델링한다.
• 타원형임이 입증된 미분 연산자 복합체 $\Omega^0(E) \xrightarrow{\hat{\mathbf{P}}} T_x\hat{\mathcal{P}} \xrightarrow{\hat{\mathbf{L}}} \Omega^7 \times \Omega^5 \times \Omega^3 \times \Omega^6(\text{ad}P)$ 를 도입한다.
• 타원형 정규성과 지수 이론을 적용하여 복합체의 첫 번째 코homology $H^1(\widehat{KS}_7)$ 가 유한차원임을 증명한다.
• 무한소 변형을 코르던 알베로이드 구조 변화와 연결하기 위해 $\delta: H^1(KS_7) \to H^3(M)$ 를 정의하는 플럭스 맵을 도입한다.
• 모듈리 공간과 물리적 플럭스 양자화를 연결하는 확장 수열 $0 \to H^2(M) \to H^1(\widehat{KS}_7) \to \ker\delta \to 0$ 을 유도한다.

실험 결과

연구 질문

• RQ1 7차원에서 $G_2$-instanton과 결합된 휠곡도를 가진 $G_2$ 구조의 모듈리 공간의 구조는 어떻게 되는가?
• RQ2 4형식 곡률에 대한 비앙키 항등식은 어떻게 6차원 스토름징어 시스템을 7차원으로 일반화하는가?
• RQ3 타원형 PDE 이론을 사용하여 이러한 해의 모듈리 공간이 유한차원임을 증명할 수 있는가?
• RQ4 해는 일반화된 기하학과 코르던 알베로이드 구조와 어떻게 관련이 있는가?
• RQ5 플럭스 맵 $\delta$ 는 플럭스 양자화를 만족하는 무한소 변형을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 타원형 복합체의 성립으로 인해 7차원 스토름징어 시스템의 해에 대한 모듈리 공간이 유한차원임이 입증되었다.
• 무한소 모듈리 공간 $H^1(\widehat{KS}_7)$ 는 확장 수열 $0 \to H^2(M) \to H^1(\widehat{KS}_7) \to \ker\delta \to 0$ 에 포함되며, 여기서 $\delta$ 는 $H^3(M)$ 으로 향하는 플럭스 맵이다.
• 복합체 $\Omega^0(E) \xrightarrow{\hat{\mathbf{P}}} T_x\hat{\mathcal{P}} \xrightarrow{\hat{\mathbf{L}}} \Omega^7 \times \Omega^5 \times \Omega^3 \times \Omega^6(\text{ad}P)$ 가 타원형임이 증명되었다.
• $H^1(\widehat{KS}_7)$ 는 이소터로픽 끈 이론의 커플링 양자화를 만족하는 물리적 변형을 매개한다.
• 동일한 코homological 프레임워크를 통해 $G_2$-홀로노미 메트릭의 무한소 모듈리 공간이 $H^3(M,\mathbb{R})$ 와 동형임을 새롭게 증명하였다.
• 해는 코르던 알베로이드의 자동사상군 작용에 대해 불변임이 입증되었으며, 이는 $\hat{\mathbf{P}}$ 의 상을 통해 대칭성이 제거된다.