[논문 리뷰] Moduli spaces of Ricci positive metrics in dimension five

McFeely Jackson Goodman|arXiv (Cornell University)|2020. 02. 02.

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

한 줄 요약

이 논문은 5차원 다중체 위의 Ricci 양성 메트릭의 모듈리 공간의 경로 성분을 구별하기 위해 스피노^c 딜라크 연산자의 η-불변량을 사용한다. 특정 조건을 만족하는 #ᵃℂℙ² #ᵇℙ̄ℂℙ² 위의 S¹-_bundle에서, 첫 번째 코hen 클래스가 원시적이고 w₂(TB⁴) ≡ d mod 2를 만족할 경우, 모듈리 공간은 무한히 많은 성분을 가지며, 이는 이 성질을 가진 무한히 많은 비디피어메트릭 5차원 다중체의 존재를 보여준다.

ABSTRACT

We use the $η$ invariants of spin$^c$ Dirac operators to distinguish connected components of moduli spaces of Riemannian metrics with positive Ricci curvature. We then find infinitely many non-diffeomorphic five dimensional manifolds for which these moduli spaces each have infinitely many components. The manifolds are total spaces of principal $S^1$ bundles over $\#^a\mathbb{C}P^2\#^b\overline{\mathbb{C}P^2}$ and the metrics are lifted from Ricci positive metrics on the bases. Along the way we classify 5-manifolds with fundamental group $\mathbb{Z}_2$ admitting free $S^1$ actions with simply connected quotients.

연구 동기 및 목표

• 5차원 다중체 위의 Ricci 양성 메트릭의 모듈리 공간의 연결 성분을 스펙트럴 불변량을 사용해 구별하는 것.
• 무한히 많은 비디피어메트릭 5차원 다중체를 구성하여, 그들의 Ricci 양성 메트릭 모듈리 공간이 무한히 많은 경로 성분을 가짐을 보이는 것.
• 자기 자신이 자유로운 S¹ 작용을 가지며 몫이 단순연결된 5차원 다중체를 분류하는 것.
• 이러한 5차원 다중체가 무한히 많은 서로 다른 자유 S¹ 작용을 가지며, 몫이 디피어메트릭인 조건을 설정하는 것.
• 기저 4차원 다중체 위의 Ricci 양성 메트릭이 전체 공간 위의 서로 다른 Ricci 양성 메트릭을 생성하도록 올리는 방법을 보여주는 것.

제안 방법

• 저자들은 Ricci 양성 메트릭의 공간에서 서로 다른 경로 성분을 탐지하기 위해 모듈리 공간 불변량으로서 스피노^c 딜라크 연산자의 η-불변량을 사용한다.
• 기저 4차원 다중체 #ᵃℂℙ² #ᵇℙ̄ℂℙ² (a + b ≥ 2)에서의 Ricci 양성 메트릭을 올려 5차원 다중체 위의 메트릭을 구성한다.
• 전체 공간은 기저 위의 주 S¹-_bundle이며, 첫 번째 코호몰로지 클래스는 2d이며, d는 원시적이고 w₂(TB⁴) ≡ d mod 2를 만족한다.
• 이러한 5차원 다중체의 분류는 |a − b| mod 4에 따라 달라지며, 각 기저마다 2, 3, 또는 4개의 디피어메트릭 유형을 가진다.
• 이 방법은 전체 공간의 범위 덮개가 #ᵃ⁺ᵇ⁻¹S³×S²와 디피어메트릭이며, 덱 변환군이 ℤ₂로 작용한다는 사실에 기반한다.
• 이 구성은 Kreck와 Stolz의 양성 스칼라 곡률 방법을 일반화하며, S¹ 작용에서 지오데식 궤도 조건을 제거함으로써 더 넓은 범위의 5차원 다중체에 적용 가능하게 한다.

실험 결과

연구 질문

• RQ1 스피노^c 딜라크 연산자의 η-불변량은 5차원 다중체 위의 Ricci 양성 메트릭의 모듈리 공간에서 서로 다른 경로 성분을 감지할 수 있는가?
• RQ2 π₁(M) = ℤ₂인 5차원 다중체 중에서 Ricci 양성 메트릭의 모듈리 공간이 무한히 많은 경로 성분을 가지는 경우는 언제인가?
• RQ3 첫 번째 코호몰로지 클래스와 스티펠-브리트니 클래스에 어떤 조건이 있어야 5차원 다중체가 무한히 많은 서로 다른 자유 S¹ 작용을 가지며, 몫이 단순연결된 상태가 되는가?
• RQ4 단순연결된 4차원 다중체의 코homology 링은 π₁ = ℤ₂인 S¹-_bundle의 디피어메트릭 유형을 어떻게 결정하는가?
• RQ5 4차원 다중체 위의 Ricci 양성 메트릭은 그 S¹-_bundle 위에서 무한히 많은 기하학적으로 다른 Ricci 양성 메트릭을 생성할 수 있는가?

주요 결과

• 기저가 #ᵃℂℙ² #ᵇℙ̄ℂℙ²이고 a + b ≥ 2이며, 첫 번째 코호몰로지 클래스가 2d(여기서 d는 원시적이고 w₂(TB⁴) ≡ d mod 2)인 주 S¹-_bundle인 5차원 다중체 M⁵의 Ricci 양성 메트릭 모듈리 공간은 무한히 많은 경로 성분을 가진다.
• 각 기저에 대해 |a − b| mod 4에 따라 2, 3, 또는 4개의 디피어메트릭 유형의 전체 공간 M⁵이 존재한다.
• 각 M⁵는 몰입이 디피어메트릭인 기저 4차원 다중체와 동일한 몫을 가지는 무한히 많은 서로 다른 자유 S¹ 작용을 가진다.
• M⁵의 범위 덮개는 #ᵃ⁺ᵇ⁻¹S³×S²와 디피어메트릭이며, M⁵는 비스핀이지만 단순연결된 범위 덮개를 가진다.
• η-불변량은 Ricci 양성 메트릭의 모듈리 공간의 성분을 구별하며, Kreck와 Stolz의 스칼라 곡률 불변량을 Ricci 곡률으로 확장한다.
• 이 구성은 이전 방법을 일반화하여 비지오데식 궤도를 허용함으로써, Ricci 양성 메트릭을 가진 더 넓은 범위의 5차원 다중체에 적용 가능성을 넓힌다.