[논문 리뷰] The exceptional holonomy groups and calibrated geometry

Dominic Joyce|ArXiv.org|2004. 06. 01.

Geometric Analysis and Curvature Flows참고 문헌 27인용 수 12

한 줄 요약

이 논문은 $G_2$ 및 $Σ𝕁⁷$ 특수 호로노미 군에 대한 종합적인 서베이를 제공하며, 기하적 구조와 캘리브레이티드 부분다양체—특히 아소시에이티브 3-다양체, 코아소시에이티브 4-다양체, 케일리 4-다양체—에 중점을 두고 있다. 논문은 코아소시에이티브 4-다양체의 변형 이론이 $φ$의 폐쇄 조건으로 인해 차단되지 않음을 입증하며, 아소시에이티브 및 케일리 부분다양체는 타원형 변형 연산자에 의해 지배되며, 인덱스 이론적 차단 요소가 존재한다.

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 exceptional holonomy, in two parts. Part I introduces the exceptional holonomy groups, and explains 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. Part II discusses the calibrated submanifolds of G2 and Spin(7)-manifolds: associative 3-folds and coassociative 4-folds for G2, and Cayley 4-folds for Spin(7). We explain the general theory, following Harvey and Lawson, and the known examples. Finally we describe the deformation theory of compact calibrated submanifolds, following McLean.

연구 동기 및 목표

• 7차 및 8차 기하학에서 특수 호로노미를 가진 리만 다양체 이론을 체계화하고 서베이하는 것.
• 오비폴드 및 해소 기법을 통한 컴act화를 중심으로 저자의 자체 연구를 강조하여 컴팩트 $G_2$- 및 $Σ𝕁⁷$-다양체의 구성 방법을 설명하는 것.
• $G_2$- 및 $Σ𝕁⁷$-다양체 내에서 아소시에이티브, 코아소시에이티브, 케일리 부분다양체를 분석하여 기하학적 정의와 위상적 불변량을 포함한다.
• 이러한 캘리브레이티드 부분다양체의 변형 이론을 개발하고 명확히 하여, 폐쇄된 캘리브레이션 형식이 모듈리 공간의 차단 없음을 보장하는 데서의 역할을 설명하는 것.
• 하버트-로우슨과 맥레인의 기본 결과를 통합하고, $G_2$ 기하학의 맥락으로 확장하여 모듈리 공간과 가족 변형에의 응용을 제시하는 것.

제안 방법

• 베르제의 리만 호로노미 군 분류를 활용하여 $G_2$ 및 $Σ𝕁⁷$가 유일한 예외적 케이스임을 규명하며, 평행 미분 형식의 존재에 의해 호로노미가 결정됨을 보임.
• 호로노미 원리 적용: 텐서가 평행일 조건은 그가 호로노미 군에 의해 고정되어 있을 때이며, 이를 통해 기하학적 불변량과 호로노미 표현을 연결함.
• 조이스의 방법을 이용해 $G_2$ 특이점을 가진 오비폴드의 해소를 통해 $G_2$-다양체를 구성함으로써 컴팩트 리치-평탄한 다양체를 생성함.
• 캘리브레이션 형식이 부분다양체에서 0이 되는 조건을 통해 캘리브레이티드 부분다양체를 정의함: 아소시에이티브 3-다양체는 $φ|_N = 0$을 만족하며, 코아소시에이티브 4-다양체는 $G_2$ 기하학에서 $φ|_N = 0$을 만족함.
• 타원형 연산자를 사용한 변형 이론 분석: 코아소시에이티브 4-다양체의 경우, $φ$가 폐쇄되어 있음으로써 과다정의 시스템이 타당한 타원형 PDE로 축소되어, 차단되지 않은 변형이 가능함.
• 아티야-식이 인덱스 정리를 적용하여 변형 연산자 $D_N$의 인덱스를 통해 아소시에이티브 및 케일리 부분다양체의 모듈리 공간의 가상 차원을 계산함.

실험 결과

연구 질문

• RQ1 컴팩트 $G_2$- 및 $Σ𝕁⁷$-호로노미 다양체가 존재하기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 캘리브레이티드 부분다양체—아소시에이티브, 코아소시에이티브, 케일리—는 $G_2$- 및 $Σ𝕁⁷$-다양체 내에서 최소 부분다양체로 어떻게 나타나는가?
• RQ3 왜 코아소시에이티브 4-다양체의 변형 이론에서 캘리브레이션 형식 $φ$의 폐쇄가 필수적인가?
• RQ4 비폐쇄된 $φ$를 가진 1-매개변수 가중 $G_2$-다양체 가중에서 컴팩트 코아소시에이티브 4-다양체는 어떤 조건에서 변형될 수 있는가?
• RQ5 변형 연산자 $D_N$의 인덱스가 아소시에이티브 및 케일리 부분다양체의 모듈리 공간의 차원과 매끄러움을 어떻게 결정하는가?

주요 결과

• 코아소시에이티브 4-다양체의 변형 이론은 $φ$가 폐쇄되어 있음으로써 독립적인 방정식의 수가 4개에서 3개로 감소하여, 시스템이 타당한 타원형으로 되며, 결과적으로 차단되지 않게 된다.
• 코아소시에이티브 4-다양체의 모듈리 공간은 제1 베티 수 $b^1(N)$과 같은 차원을 가지며, 이는 정리 6.1에 의해 입증된다.
• 1-매개변수 가중 $G_2$-다양체에서 컴팩트 코아소시에이티브 4-다양체 $N_0$가 가중 $N_t$로 연장될 수 있는 조건은 $[φ_t|_{N_0}] = 0$ 이어야 하며, 이는 정리 6.2에 의해 기술되어 있다.
• 아소시에이티브 3-다양체 및 케일리 4-다양체의 변형 이론은 1차 타원형 연산자 $D_N$에 의해 지배되며, 장애 공간은 $D_N$의 코어널과 동형이다.
• 아소시에이티브 3-다양체의 모듈리 공간의 가상 차원은 $D_N$의 반자기수직성으로 인해 0이다. 반면 케일리 4-다양체의 경우 $\tau(N) - \frac{1}{2}\chi(N) - \frac{1}{2}[N]\cdot[N]$ 으로 주어진다.
• 일반적인 상황에서 장애 공간 $\mathop{\rm Coker} D_N$는 0이 되며, 이는 $D_N$의 인덱스와 같은 차원의 매끄러운 모듈리 공간을 유도한다. 이는 다른 기하학적 변형 이론의 기대와 일치한다.