[논문 리뷰] Locally conformal parallel $G_2$ and $Spin(7)$ manifolds

Stefan Ivanov, Maurizio Parton외 1명|ArXiv.org|2005. 09. 02.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 5

한 줄 요약

이 논문은 국소적으로 동형 평행 G₂ 및 스플린(7) 다양체를 각각 유한군 작용을 가진 컴팩트한 거의 켈러 또는 거의 평행 G₂ 다양체 위의 원환면 다발로 특성화한다. 핵심 결과는 이러한 구조들이 특정 동형 섬유 기하학을 가진 S¹ 위의 피브레이션으로부터 유도된다는 것이며, 국소적으로 평탄할 경우 다양체는 구면 공간 형상과 S¹의 곱으로 나타난다.

ABSTRACT

We characterize compact locally conformal parallel $G_2$ (respectively, $Spin(7)$) manifolds as fiber bundles over $S^1$ with compact nearly Kähler (respectively, compact nearly parallel $G_2$) fiber. A more specific characterization is provided when the local parallel structures are flat.

연구 동기 및 목표

• 국소적으로 동형 평행 G₂ 및 스플린(7) 구조를 지닌 컴팩트 리만 7- 및 8-다양체를 분류하는 것.
• S¹ 위의 피브레이션을 통해 이러한 다양체의 전반적인 기하학적 구조를 이해하는 것.
• 평탄한 국소적으로 동형 평행 구조의 분류를, S⁷에서 자유롭게 작용하는 스플린(7)의 유한부분군을 식별하는 것으로 환원하는 것.
• 코너 커버링과 군 몫을 통한 기하학적 실현을 제공하는 것.
• 이러한 구조의 존재성을 기존의 구면 공간 형상 및 거의 평행 G₂ 다양체의 분류와 연결하는 것.

제안 방법

• 국소적으로 동형 평행 구조를 특성화하기 위해 리우 형식 θ를 사용하며, dθ = 0 이고, G₂의 경우 dω = (3/4)θ ∧ ω를 만족하고, 스플린(7)의 경우 dφ = θ ∧ φ를 만족한다.
• 컴팩트한 거의 켈러 또는 거의 평행 G₂ 섬유를 가진 S¹ 위의 피브리드 범주에 대해 심플렉틱 기하학의 몫 구조 기법을 적용한다.
• 다양체의 유일한 쌍대피복을 섬유 N/Γ 위의 콘으로 구성하며, 순환 무한 피복군을 갖는다.
• 평탄한 국소적으로 동형 평행 G₂ 및 스플린(7) 구조가 R⁷ 및 R⁸ 위의 평탄한 메트릭의 동형 스케일링으로부터 유도된다는 사실을 활용한다.
• 스플린(7)의 옥타니온 구조를 활용하여, 허수 옥타니온에 대한 오른쪽 곱셈을 통한 S⁷에서 자유롭게 작용하는 스플린(7)의 유한부분군을 생성한다.
• J. 월프의 SO(8)의 유한부분군 분류를 적용하여, S⁷/Γ가 스플린(7) 구조와 호환되는 부드러운 구면 공간 형상이 되는 몫을 식별한다.

실험 결과

연구 질문

• RQ1 국소적으로 동형 평행 G₂ 구조를 지닌 컴팩트 다양체의 전반적인 위상적 구조는 무엇인가?
• RQ2 국소적으로 동형 평행 스플린(7) 구조는 섬유 위의 거의 평행 G₂ 구조와 어떻게 관련이 있는가?
• RQ3 8차원 컴팩트 다양체 위의 평탄한 국소적으로 동형 평행 스플린(7) 구조가 S⁷ × S¹의 몫으로부터 유도되는 조건은 무엇인가?
• RQ4 SO(8)의 어떤 유한부분군이 스플린(7)에 포함되어 있으며, S⁷에서 자유롭게 작용하여 부드러운 구면 공간 형상을 유도하는가?
• RQ5 모든 컴팩트한 국소적으로 동형 평행 평탄한 스플린(7) 다양체가 유한군 Γ ⊂ 스플린(7)에 대해 (S⁷/Γ) × S¹ 형태로 실현될 수 있는가?

주요 결과

• 국소적으로 동형 평행 G₂ 구조를 지닌 컴팩트 7-다양체는 N/Γ 위의 S¹ 위의 피브리드 범주일 필요가 있으며, 여기서 N는 컴팩트하고 단순연결된 거의 켈러 6-다양체이고, Γ는 자유롭게 작용하는 복소 등장변환의 유한군이다.
• 섬유 N/Γ 위의 콘은 다양체 M를 피복하며 순환 무한 피복군을 가지며, 콘 구조와의 기하학적 연결을 확립한다.
• 평탄한 국소적으로 동형 평행 G₂ 구조의 경우 다양체는 S⁶ 위의 자명한 원환면 다발이며, 표준적인 거의 켈러 6-구면이다.
• 국소적으로 동형 평행 스플린(7) 구조를 지닌 컴팩트 8-다양체는 N/Γ 위의 S¹ 위의 피브리드 범주일 필요가 있으며, 여기서 N는 컴팩트하고 단순연결된 거의 평행 G₂ 다양체이고, Γ는 자유롭게 작용하는 등장변환의 유한군이다.
• 평탄한 경우 다양체는 (S⁷/Γ) × S¹과 미분동형이며, 여기서 Γ는 S⁷에서 자유롭게 작용하는 스플린(7)의 유한부분군이다.
• 모든 이러한 평탄한 국소적으로 동형 평행 스플린(7) 구조는 J. 월프의 분류에 따라 SO(8)에 포함되고 S⁷에서 자유롭게 작용하는 스플린(7)의 유한부분군으로부터 유도된다.