[논문 리뷰] A class of locally conformally flat 4-manifolds

Selman Akbulut, Mustafa Kalafat|arXiv (Cornell University)|2008. 07. 05.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 3

한 줄 요약

이 논문은 경계를 가진 하이퍼볼릭 3-다양체 $M^3$ 의 $S^1 \times M^3$ 에 대한 등각 컴actsification을 통해, 비단순연결이며 국소적으로 등각 평탄한 (LCF) 4-다양체—즉, 패널드 웹 4-다양체—의 무한한 가닥을 구성한다. 이러한 다양체는 유계가 아닌 베텨리 수, 음의 오일러 특성, 엄격하게 음의 스칼라 곡률을 가지며, 아인슈타인 메트릭을 갖지 않으며, 비단순연결 설정에서 바흐-평탄하지만 아인슈타인은 아닌 4-다양체의 새로운 예를 제공한다.

ABSTRACT

We construct infinite families of non-simply connected locally conformally flat (LCF) 4-manifolds realizing rich topological types. These manifolds have strictly negative scalar curvature and the underlying topological 4-manifolds do not admit any Einstein metrics. Such 4-manifolds are of particular interest as examples of Bach-flat but non-Einstein spaces in the non-simply connected case. Besides that the underlying smooth manifolds are examples of spaces that admit open book decomposition in dimension 4.

연구 동기 및 목표

• 풍부하고 다양한 위상형질을 가진 비단순연결이며 국소적으로 등각 평탄한 4-다양체의 새로운 예를 구성하기.
• 이러한 4-다양체가 유계가 아닌 베텔리 수 ($b_1, b_2 \to \infty$)와 음의 오일러 특성 ($\chi \to -\infty$)을 가질 수 있음을 보여주기.
• 이 다양체가 엄격하게 음의 스칼라 곡률을 가지며 어떤 아인슈타인 메트릭도 갖지 않음을 보여주기.
• 패널드 웹 군과 프레임드 리ン크를 통한 하드들바이드 다이어그램을 이용한 구체적인 기하학적 및 위상수학적 구성 제공하기.
• 관련 켈리니안 군의 극한 집합의 하우스도르프 차원을 통해 등각 유형(음의 스칼라 곡률)을 규명하기.

제안 방법

• 경계를 가진 하이퍼볼릭 3-다양체 $M^3$ 에 대해 $S^1 \times M^3$ 의 등각 컴actsification을 사용하며, [Br]의 정리 1.2를 활용하여 닫힌 LCF 4-다양체를 구성한다.
• 패널드 웹 군—마스킷가 구성한 켈리니안 군—을 하이퍼볼릭 3-다양체 $M^3$ 의 균일화 군으로 사용한다.
• Schoen-Yau–Nayatani 정리 (정리 6.3) 를 적용하여 켈리니안 군의 극한 집합 $\Lambda$ 의 하우스도르프 차원 $\dim(\Lambda)$ 에 기반해 스칼라 곡률의 부호를 결정한다.
• 스칼라 곡률의 부호는 $\text{sign}(\text{scalar curvature}) = \text{sign}(1 - \dim(\Lambda))$ 라는 관계를 통해 $\dim(\Lambda) > 1$ 이면 음의 스칼라 곡률임을 보여준다.
• 해당 4-다양체의 매끄러운 위상구조를 기술하기 위해 명시적인 하드들바이드 다이어그램과 프레임드 리ン크 다이어그램을 구성한다.
• 비하드들바이드이자 두껍게 처리되지 않은 토러스가 아닌 하이퍼볼릭 3-다양체에 대해 $D(M) \geq 1$ 이고, $d(M,g) > 1$ 이면 $1 - \dim(\Lambda) < 0$ 이므로 음의 스칼라 곡률을 유도한다.

실험 결과

연구 질문

• RQ1 유계가 아닌 베텔리 수를 가진 비단순연결이며 국소적으로 등각 평탄한 4-다양체의 무한한 가닥을 구성할 수 있는가?
• RQ2 이러한 4-다양체는 아인슈타인 메트릭을 갖는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ3 이러한 LCF 4-다양체의 자연스러운 메트릭의 등각 클래스에서 스칼라 곡률의 부호는 무엇에 의해 결정되는가?
• RQ4 켈리니안 군의 극한 집합의 하우스도르프 차원은 결과로 얻어진 4-다양체의 스칼라 곡률과 어떻게 관련되는가?
• RQ5 이 4-다양체의 위상은 하드들바이드 분해나 프레임드 리ン크 다이어그램을 통해 명시적으로 묘사될 수 있는가?

주요 결과

• 논문은 $b_1, b_2 \to \infty$ 이고 $\chi \to -\infty$ 인 닫힌 비단순연결이며 국소적으로 등각 평탄한 4-다양체의 무한한 가닥을 구성한다.
• 스칼라 곡률이 음수임을 확인하였으며, 이는 $\dim(\Lambda) > 1$ 인 조건을 사용한 Schoen-Yau–Nayatani 정리를 통해 입증된다.
• $b_2 \neq 0$ 인 다양체의 경우, 해당 위상적 4-다양체는 비음수 스칼라 곡률을 갖는 국소적으로 등각 평탄한 메트릭을 갖지 못한다.
• 4-다양체는 어떤 아인슈타인 메트릭도 갖지 않으며, 오일러 특성을 계산하고 아인슈타인 4-다양체가 특정 위상적 제약 조건을 만족해야 한다는 사실을 이용해 이를 보였다.
• 스칼라 곡률의 부호는 $1 - \dim(\Lambda)$ 에 의해 결정되며, 구성된 다양체에서 $\dim(\Lambda) > 1$ 이므로 스칼라 곡률은 엄격하게 음수이다.
• 이 4-다양체의 매끄러운 위상은 명시적인 프레임드 리ン크 다이어그램과 하드들바이드 다이어그램을 통해 묘사되며, 향후 연구를 위한 시각적 및 계산 도구를 제공한다.