[논문 리뷰] Rational Homology 5-Spheres with Positive Ricci Curvature

Charles P. Boyer, Krzysztof Galicki|ArXiv.org|2002. 03. 06.

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

한 줄 요약

이 논문은 각 정수 $k > 1$에 대해 단순연결된 유리호모로지 5차원 구면 $M^5_k$의 무한한 가족을 구성하며, $H_2(M^5_k, \mathbb{Z})$의 순서가 $k^2$인 바탕으로, 가중된 동차다항식과 접촉 리만기하학을 이용하여 양의 리치 곡률을 가진 사삭스키 메트릭을 갖는다. 핵심 결과는 $H_2$에서 임의의 토파스를 갖는 스피너 유리호모로지 5차원 구면에서 이러한 메트릭의 존재를 보여주며, 5차원에서 양의 리치 곡률 메트릭의 분류에 오랫동안 존재하던 빈자리(공백)를 메운다.

ABSTRACT

We prove that for every integer k>1 there is a simply connected rational homology 5-sphere $\scriptstyle{M^5_k}$ with spin such that $\scriptstyle{H_2(M^5_k,\bbz)}$ has order $\scriptstyle{k^2},$ and $\scriptstyle{M^5_k}$ admits a Riemannian metric of positive Ricci curvature. Moreover, if the prime number decomposition of $\scriptstyle{k}$ has the form $\scriptstyle{k=p_1... p_r}$ for distinct primes $\scriptstyle{p_i}$ then $\scriptstyle{M^5_k}$ is uniquely determined.

연구 동기 및 목표

• 단순연결된 유리호모로지 5차원 구면에서 $H_2$에 비자명한 토파스를 갖는 양의 리치 곡률 메트릭의 알려진 예가 부족한 문제를 다루기 위해.
• 기존의 $S^5$, $S^2 \times S^3$, $SU(3)/SO(3)$를 초월하여 임의의 $H_2$-토파스를 갖는 무한한 수의 다양체에서의 양의 리치 곡률 메트릭 존재를 확장하기 위해.
• 스파인 유리호모로지 5차원 구면에서 이러한 메트릭을 체계적으로 구성하는 데 사삭스키 기하학이 사용될 수 있음을 보여주기 위해.
• 가중된 동차다항식의 링크를 통해 $H_2(M^5_k, \mathbb{Z})$에서 가능한 모든 순서의 $H_2$-토파스를 실현하기 위해.

제안 방법

• $\mathbb{C}^4$에서의 가중된 동차다항식 $f$의 링크 $L_f$로 다양체 $M^5_k$를 구성하며, $\mathbf{w} = (1, \frac{p+1}{4}, \frac{p-1}{2})$의 가중치와 $p$의 차수를 갖는다. 여기서 $p \equiv 3 \pmod{4}$는 소수이다.
• 이러한 다항식의 링크 $L_f$가 $k = p$일 때 $H_2(L_f, \mathbb{Z})$의 순서가 $k^2$인 유리호모로지 5차원 구면임을 이용한다.
• 사삭스키 기하학 이론을 적용하여 $L_f$의 유도된 접촉 구조가 사삭스키-아인슈타인 메트릭을 갖는다는 것을 보여, 따라서 양의 리치 곡률을 가짐을 증명한다.
• $L_f$의 V-_bundle 기하학의 기저 오비폴드 $\mathcal{Z}_f$가 Fano임을 보여, $|\mathbf{w}| > 0$임을 증명함으로써 기본 첫 번째 코이엔 클래스의 양의성을 유도한다.
• 가중 투영곡선의 종수 공식을 사용하여 $p \equiv 3 \pmod{4}$일 때 $f_3$에 의해 정의된 곡선 $C_\mathbf{w}$가 종수 1임을 확인함으로써 $H_2$-순서가 올바름을 검증한다.
• 스마일의 단순연결 5차원 다양체 분류를 이용하여, $k = p_1 \cdots p_r$일 때, 결과로 얻어진 $M^5_k$가 $M^5_{p_i}$들의 연결합과 유일하게 미분동형임을 보인다.

실험 결과

연구 질문

• RQ1 $H_2$에 비자명한 토파스를 갖는 유리호모로지 5차원 구면에서 양의 리치 곡률 메트릭을 구성할 수 있는가?
• RQ2 임의의 $H_2$-토파스를 갖는 단순연결 유리호모로지 5차원 구면의 무한한 가족이 존재하며, 이러한 메트릭을 갖는가?
• RQ3 사삭스키 기하학을 사용하여 유리호모로지 5차원 구면에서 가능한 모든 순서의 $H_2$-토파스를 체계적으로 실현할 수 있는가?
• RQ4 $k > 1$일 때, 결과로 얻어진 다양체 $M^5_k$는 미분동형에 대해 유일하게 결정되는가?
• RQ5 가중 투영 공간에서의 고차 곡선은 이 구성에서 더 일반적인 $H_2$-구조를 실현할 수 있는가?

주요 결과

• 모든 정수 $k > 1$에 대해, $H_2(M^5_k, \mathbb{Z})$의 순서가 $k^2$이고 $i(M^5_k) = 0$인 단순연결 유리호모로지 5차원 구면 $M^5_k$가 존재하며, 양의 리치 곡률을 갖는 사삭스키 메트릭을 갖는다.
• $k = p_1 \cdots p_r$일 때, $p_i$가 서로 다른 소수이면 다양체 $M^5_k$는 미분동형에 대해 유일하게 결정된다.
• 소수 차수 $p \equiv 3 \pmod{4}$인 가중된 동차다항식의 링크를 사용하여, $H_2$-토파스의 가능한 모든 순서를 실현한다. 이는 종수 1의 곡선을 갖는다.
• 이러한 다항식의 링크 $L_f$는 $H_2(L_f, \mathbb{Z})$의 순서가 $k^2$이며, 기저 오비폴드 $\mathcal{Z}_f$가 Fano이므로, 기인한 사삭스키 구조는 양의 리치 곡률을 갖는다.
• $k > 1$일 때, $M^5_k$ 위에는 무한히 많은 변형류의 사삭스키 구조가 존재하며, 각각 양의 리치 곡률 메트릭을 갖는다.
• 이 방법은 오직 스피너 유리호모로지 5차원 구면(즉, $i(M) = 0$인 경우)에만 적용되며, $j \neq 0$인 $X_j$와 같은 비스피너 다양체에는 확장되지 않는다.