[논문 리뷰] Constructing compact manifolds with exceptional holonomy

Dominic Joyce|ArXiv.org|2002. 03. 15.

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

한 줄 요약

이 논문은 각각 $G_2$와 $Σ\text{pin}(7)$의 예외적 호로노미를 가진 컴팩트 7- 및 8-다양체에 대한 종합적인 서베이를 제시한다. 주로 $T^n/\Gamma$와 칼라비-야우 오비폴드의 해소를 통해 이루어지며, 핵심 기여는 명시적으로 계산된 베텨리 수를 가진 새로운 예제를 체계적으로 생성한 것이다. 이는 $b^4$가 최대 11,662에 이르는 컴팩트 $Σ\text{pin}(7)$-다양체를 포함하여, 이러한 다양체의 풍부하고 다양한 '지리학적' 특성을 보여준다.

ABSTRACT

The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. Riemannian manifolds with these holonomy groups are Ricci-flat. This is a survey paper on constructions for compact 7- and 8-manifolds with holonomy G2 and Spin(7). The simplest such constructions work by using techniques from complex geometry and Calabi-Yau analysis to resolve the singularities of a torus orbifold T^7/G or T^8/G, for G a finite group preserving a flat G2 or Spin(7)-structure on T^7 or T^8. There are also more complicated constructions which begin with a Calabi-Yau manifold or orbifold. All the material in this paper is covered in much more detail in the author's book, "Compact manifolds with special holonomy", Oxford University Press, 2000.

연구 동기 및 목표

• 지정된 호로노미 $G_2$와 $Σ\text{pin}(7)$를 가진 컴팩트 7- 및 8-다양체에 대한 기존 구성 방법을 통합적으로 서베이하는 것.
• 이전에는 비콤팩트 형태로만 알려져 있던, 이러한 호로노미 군을 가진 컴팩트 예제를 구성하는 장기적인 문제를 해결하는 것.
• 컴팩트 7-다양체에서 $G_2$-메트릭의 모듈리 공간이 $\pi_1(M)$가 유한할 경우 차원 $b^3(M)$을 가지며 매끄럽다는 것을 보여주는 것.
• 칼라비-야우 4-오비폴드를 통한 해소와 군 작용을 통해 컴팩트 $Σ\text{pin}(7)$-다양체를 구성할 수 있음을 보여주는 것.
• 다양한 베텨리 수를 가진 다양한 예제를 구성함으로써 컴팩트 $Σ\text{pin}(7)$-다양체의 '지리학'을 탐구하는 것, 특히 $b^4 = 11,662$를 포함한 것.

제안 방법

• G_2-다양체의 구성은 $T^7/\Gamma$의 특이점을 캐리판트 해소를 통해 해소함으로써 토크션 없는 $G_2$-구조를 생성하는 방식이다.
• Σ\text{pin}(7)$-다양체의 경우, 자유로운 반다형적 호로노모피즘 $\beta$를 가진 칼라비-야우 4-오비폴드 $Y$를 사용하고, $X = Y/\langle\beta\rangle$의 몫을 형성함으로써 토크션 없는 $Σ\text{pin}(7)$-구조를 얻는다.
• 핵심 기술적 도구는 해소된 다양체 위에서 닫혀 있고 코코일드인 4-형식 $\Omega$의 존재로, $d\Omega = d^*\Omega = 0$를 만족하여 토크션 없는 $Σ\text{pin}(7)$-구조를 정의한다.
• 호로노미 군은 $\mathbb{R}^8$ 위에서 군 $G$의 작용에 의해 결정되며, 부분군의 포함 여부에 따라 $\mathop{\rm Hol}(g) = \mathbb{Z}_2 \ltimes \mathop{\rm SU}(4)$ 또는 $\mathop{\rm Spin}(7)$가 된다.
• 해소된 다양체에서 $\Omega = \frac{1}{2}\omega \wedge \omega + \mathop{\rm Re}(\theta)$라는 사실을 활용하며, 여기서 $\omega$는 켈러 형식이고 $\theta$는 해석적 부피 형식이다.
• 최종 메트릭은 해소된 성분들을 접합하고, 몫 및 해소 과정에서 호로노미 군이 유지되는지 확인함으로써 얻어진다.

실험 결과

연구 질문

• RQ1 토러스 오비폴드 $T^7/\Gamma$의 해소를 통해 $G_2$-호로노미를 가진 컴팩트 7-다양체를 구성할 수 있는가?
• RQ2 컴팩트 $Σ\text{pin}(7)$-다양체의 호로노미가 정확히 $Σ\text{pin}(7)$가 되기 위한 조건은 무엇인가? (적절한 부분군이 아닌 경우)
• RQ3 다양한 구성 방법에 따라 컴팩트 $Σ\text{pin}(7)$-다양체의 베텨리 수는 어떻게 변하는가? 가능한 값의 범위는 무엇인가?
• RQ4 칼라비-야우 4-오비폴드를 사용하여 제어 가능한 위상수학적 성질을 가진 컴팩트 $Σ\text{pin}(7)$-다양체를 구성할 수 있는가?
• RQ5 현재 알려진 컴팩트 $Σ\text{pin}(7)$-다양체의 집합은 넓고 다양한가, 아니면 특별한 예외적인 경우에 국한되어 있는가?

주요 결과

• 논문은 $b^4 = 11,662$를 포함하여 14개의 서로 다른 베텔리 수 조합을 실현하는 컴팩트 8-다양체를 $Σ\text{pin}(7)$-호로노미로 구성하였으며, 이는 토러스 오비폴드 해소로부터 얻는 것보다 훨씬 높은 수준이다.
• 칼라비-야우 4-오비폴드에서 유도된 $Σ\text{pin}(7)$-다양체의 중간 베텔리 수 $b^4$는 최대 11,662에 이르며, 이는 이전에 알려진 바보다 훨씬 더 넓은 '지리학적' 범위를 나타낸다.
• G_2-다양체의 경우, $\pi_1(M)$가 유한할 경우, $G_2$-메트릭의 모듈리 공간은 차원 $b^3(M)$을 가지며 매끄럽다.
• 결과 메트릭의 호로노미 군은 부분군 $\mathbb{Z}_2 \ltimes \mathop{\rm SU}(4)$의 포함 여부에 따라 결정되며, 다른 포함 방식은 서로 다른 호로노미 군을 초래한다.
• 다른 호로노미 부분군을 가진 성분들을 조합할 경우 총 호로노미가 $\mathop{\rm Spin}(7)$가 될 수 있으며, 이는 예외적 호로노미를 달성하는 메커니즘을 보여준다.
• 칼라비-야우 4-오비폴드를 통한 구성은 $b^2 = 0$, $b^3 = 0$, $b^4 = 910$, $1294$, $2446$, $4750$을 가진 $Σ\text{pin}(7)$-다양체를 생성하여, 다양한 위상적 유형을 보여준다.