[논문 리뷰] On the moduli space of nonnegatively curved metrics on Milnor spheres

Anand Dessai|arXiv (Cornell University)|2017. 12. 23.

Geometric Analysis and Curvature Flows참고 문헌 16인용 수 7

한 줄 요약

이 논문은 임의의 밀너 구면(일반선형 $S^3$-_bundle over $S^4$로 얻어지는 호모토피 7-구면) 위의 비음성 곡률 계량의 모듈리 공간이 무한히 많은 경로 연결성분을 가짐을 증명한다. 고브-지러의 동차도수일치 다각체 위에서의 비음성 곡률 계량 구축 기법과 그로모프-로우슨의 상대 지표 논증을 응용하여, 고정된 밀너 구면 위에서 무한히 많은 이러한 계량들이 모듈리 공간 내에서 서로 다른 연결성분을 나타냄을 보인다. 동일한 결과는 양성 Ricci 곡률 계량의 모듈리 공간에도 적용된다.

ABSTRACT

Let $M$ be a Milnor sphere or, more generally, the total space of a linear $S^3$-bundle over $S^4$ with $H^4(M;\mathbb{Q})=0$. We show that the moduli space of metrics of nonnegative sectional curvature on $M$ has infinitely many path components. The same holds true for the moduli space of metrics of positive Ricci curvature on $M$.

연구 동기 및 목표

• 밀너 구면 위의 비음성 곡률 계량 모듈리 공간의 구조에 관해 고브와 지러가 제기한 질문을 해결하기 위해.
• 밀너 구면 위의 비음성 섹션 곡률 계량의 모듈리 공간이 무한히 많은 경로 연결성분을 가짐을 입증하기 위해.
• 이 결과를 양성 Ricci 곡률 계량의 모듈리 공간으로 확장하기 위해.
• 일반선형 $S^3$-bundle over $S^4$의 전체공간으로 결과를 일반화하기 위해, 여기서 $H^4(M;\mathbb{Q}) = 0$임.

제안 방법

• 주 $SO(4)$-bundle over $S^4$ 위에서 고브-지러의 동차도수일치 구조를 이용하여 밀너 구면 위의 비음성 곡률 계량을 구성하기 위해.
• 밀너 구면의 미분형식을 파arameter화하기 위해 $\boldsymbol{\mu}$-invariant 분류를 사용하기 위해.
• 그로모프와 로우슨의 아이디어를 응용하여 상대 지표 불변량을 이용해 비음성 곡률 계량의 모듈리 공간 내 경로 연결성분을 구별하기 위해.
• Ricci 흐름이 양성 Ricci 곡률 모듈리 공간 내 연결성분의 구별성을 유지함을 보여주기 위해.
• 오일러 및 폰트랴긴 클래스를 이용한 이러한 번들의 분류를 활용하여 $S^3$-bundle over $S^4$에 대해 $H^4(M;\mathbb{Q}) = 0$인 경우로 주장 확장하기 위해.
• 모든 $k \equiv l \mod 112n$에 대해 구성된 계량의 가중치가 서로 미분형식은 같지만 모듈리 공간 내 연결성분은 서로 다름을 확인하기 위해.

실험 결과

연구 질문

• RQ1 밀너 구면 위의 비음성 곡률 계량의 모듈리 공간은 무한히 많은 경로 연결성분을 가질까?
• RQ2 그로모프-로우슨의 상대 지표 기법은 이국적 7-구면 위의 비음성 곡률 계량 모듈리 공간 내 연결성분을 구별할 수 있을까?
• RQ3 동일한 결과는 밀너 구면 위의 양성 Ricci 곡률 계량의 모듈리 공간에도 적용될까?
• RQ4 이 결과는 $H^4(M;\mathbb{Q}) = 0$인 $S^3$-bundle over $S^4$의 전체공간으로 확장될 수 있을까?
• RQ5 고정된 밀너 구면 위에서 서로 미분형식이 다른 계량이 무한히 많고, 이들이 비음성 곡률 모듈리 공간 내에서 서로 다른 연결성분을 나타낼까?

주요 결과

• 모든 밀너 구면 위의 비음성 곡률 계량의 모듈리 공간은 무한히 많은 경로 연결성분을 가짐.
• 모든 밀너 구면 위의 양성 Ricci 곡률 계량의 모듈리 공간 역시 무한히 많은 경로 연결성분을 가짐.
• 이 결과는 $H^4(M;\mathbb{Q}) = 0$인 모든 일반선형 $S^3$-bundle over $S^4$의 전체공간으로 확장되며, 이는 모든 밀너 구면을 포함함.
• 고정된 밀너 구면 $M_l$에 대해, $k \in l + 112n\cdot\mathbb{N}$인 경우에 구성된 계량 $g_k$는 ${\cal M}_{sec\geq 0}(M)$ 내에서 상호 다른 경로 연결성분에 속함.
• 이 계량들의 Ricci 흐름 진화는 ${\cal M}_{Ric>0}(M)$ 내에서도 상호 다른 연결성분을 유도함.
• 증명은 Kreck-Stolz 불변량과 같은 더 고급 불변량을 피하고 상대 지표 불변량을 이용해 연결성분을 구별함.