[논문 리뷰] Einstein Metrics on Rational Homology Spheres

Charles P. Boyer, Krzysztof Galicki|ArXiv.org|2003. 11. 20.

Geometry and complex manifolds참고 문헌 18인용 수 3

한 줄 요약

이 논문은 모든 3보다 큰 홀수 차원에서 무한히 많은 단순 연결 유리 동형 호모로지 구면에 대해 연속적인 가족의 사삭-아인슈타인 계량을 존재시킴으로써, 가중치가 부여된 다항식의 분지 덮개와 파노 오비폴드 위의 카플러-아인슈타인 계량을 사용한다. 주요 기여는 제2호모로지 군에서 임의의 토파스를 갖는 계량과 비자명한 모듈리 공간을 포함하여, 계량의 유효 매개변수 수가 차원에 따라 지수적으로 증가하는 계량을 구축하는 것이다.

ABSTRACT

We prove the existence of Sasakian-Einstein metrics on infinitely many rational homology spheres in all odd dimensions greater than 3. In dimension 5 we obain somewhat sharper results. There are examples where the number of effective parameters in the Einstein metric grows exponentially with dimension.

연구 동기 및 목표

• 비자명한 유리 동형 호모로지 구면, 특히 3보다 큰 홀수 차원에서 아인슈타인 계량의 존재를 확립하는 것.
• 기존의 동차 또는 3-사삭 사례를 초월하여 연속적인 모듈리 공간을 갖는 무한한 가족의 사삭-아인슈타인 계량을 확장하는 것.
• 제어된 제2호모로지 군의 토파스와 함께 단순 연결 유리 동형 호모로지 구면을 체계적으로 구축하는 방법을 제공하는 것.
• 이러한 계량의 모듈리 공간에서 유효 실수 매개변수의 수가 차원에 따라 지수적으로 증가할 수 있음을 보여주는 것.
• 가중치가 부여된 다항식의 분지 덮개에서 유도된 링크의 베텨 수와 호모로지 군을 분류하고 계산하는 것.

제안 방법

• f가 고립된 특이점을 가지며 정칙인 가중치가 부여된 다항식 F = z₀ᵏ + f(z₁,…,zₘ)의 링크로서 유리 동형 호모로지 구면을 구성한다.
• 정리 3을 적용하여 Hₘ₋₁(L_F, ℤ)의 순서를 kᵇₘ₋₂(L_f)로 계산한다. 여기서 bₘ₋₂는 f의 링크의 (m−2)번째 베텨 수이다.
• 정리 5에서 유도된 klt 조건과 파노 조건을 사용하여, X = L_F / S¹인 관련 오비폴드 위에서 카플러-아인슈타인 계량의 존재를 보장한다.
• 카플러-아인슈타인 계량의 존재를 사석-아인슈타인 계량으로 번역하기 위해 사석-아인슈타인 대응을 활용한다.
• 밀너와 올릭의 베텨 수 공식을 활용하여 bₘ₋₂(L_f)를 인덱스 부분집합의 합으로 계산함으로써 호모로지 순서를 명시적으로 계산할 수 있다.
• μ = h⁰(ℙ(𝐰), 𝒪(d)) − ∑ᵢ h⁰(ℙ(𝐰), 𝒪(wᵢ))를 통해 유효 복소 매개변수 수 μ를 계산하여 계량의 모듈리 공간 차원을 결정한다.

실험 결과

연구 질문

• RQ1 3보다 큰 홀수 차원에서 무한히 많은 단순 연결 유리 동형 호모로지 구면에 대해 사삭-아인슈타인 계량을 구축할 수 있는가?
• RQ2 가중치와 다항식의 차수에 어떤 조건이 있어야 가중치 다항식에 대응하는 파노 오비폴드 위에 카플러-아인슈타인 계량이 존재하는가?
• RQ3 사삭-아인슈타인 계량의 모듈리 공간에서 유효 실수 매개변수의 수는 다양체의 차원에 따라 어떻게 증가하는가?
• RQ4 이러한 유리 동형 호모로지 구면의 제2호모로지 군 H₂(M, ℤ)의 구조는 무엇이며, 임의의 토파스 순서를 실현할 수 있는가?
• RQ5 가중치가 부여된 사영 공간 내 칼라비-유다 하이퍼면의 분지 덮개는 사삭-아인슈타인 계량을 갖는 유리 동형 호모로지 구면을 유도할 수 있는가?

주요 결과

• 모든 정수 k > 2 중 3 또는 2와 서로소인 경우, |H₂(Mₖ⁵, ℤ)| = k² 이고 모듈리 공간에 두 개의 실수 매개변수가 존재하는 단순 연결 유리 동형 5차원 구면 Mₖ⁵에 대해 사삭-아인슈타인 계량이 존재한다.
• 7차원에서, z₀ᵏ + z₁⁴ + z₂⁴ + z₃⁴ = 0의 프ermat-칼라비-유다 하이퍼면의 분지 덮개는 |H₂| = k²¹ 이고 k > 12일 때 38개의 유효 실수 매개변수가 존재하는 유리 동형 호모로지 구면을 유도한다.
• 9차원에서 동일한 구성은 |H₂| = k²⁰⁴ 이고 k > 18일 때 202개의 유효 실수 매개변수가 존재하는 유리 동형 호모로지 구면을 유도한다.
• 기본 케이스 F = z₀ᵏ + z₁ˡ + ⋯ + zₘˡ = 0 이며 l = m+1, k = m일 때, 유효 실수 매개변수 수는 2(₂ₘCₘ₊₁ − m²)이며 m에 따라 지수적으로 증가한다.
• z₀³ + z₁⁴ + z₂⁴ + z₃⁴ = 0에 대응하는 링크 M₅³,₄는 |H₂| = 3⁶ = 729 이고 12개 매개변수의 사석-아인슈타인 계량 가족을 갖는 유리 동형 5차원 구면이다.
• klt 조건과 파노 조건은 ( (m−1)l² / ((m−1)l(l−m)+m ) < k < l/(l−m) ) 범위의 k에 대해 만족되며, 이는 계량의 존재를 보장한다.