[논문 리뷰] Einstein Metrics on Spheres

Charles P. Boyer, Krzysztof Galicki외 1명|ArXiv.org|2003. 09. 24.

Geometry and complex manifolds참고 문헌 29인용 수 5

한 줄 요약

이 논문은 Brieskorn-Pham 특이점에서 유도된 Sasakian-Einstein 구조를 사용하여 기약된 다수의 비등형, 비균일인 아인슈타인 계량을 홀수차원 구면에 구성한다. 가중치를 부여한 프로젝티브 몫 위의 오비폴드 켈러-아인슈타인 계량에 연속성 방법을 적용함으로써, 표준 및 이국적 구면 모두에 대해 이중지수적 성격을 가진 이러한 계량의 존재를 증명한다. 이는 이국적 구면에서 아인슈타인 계량이 존재하는지에 대한 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

We prove the existence of an abundance of new Einstein metrics on odd dimensional spheres including exotic spheres, many of them depending on continuous parameters. The number of families as well as the number of parameter grows double exponentially with the dimension. Our method of proof uses Brieskorn-Pham singularities to realize spheres (and exotic spheres) as circle orbi-bundles over complex algebraic orbifolds, and lift a Kaehler-Einstein metric from the orbifold to a Sasakian-Einstein metric on the sphere.

연구 동기 및 목표

• 이국적 구면이 아인슈타인 계량을 갖는지 여부에 대한 열린 문제를 해결하기 위해.
• 홀수차원 구면에서 비균일 아인슈타인 계량의 풍부함을 보여주기 위해.
• 기존의 동차 아인슈타인 계량 결과를 비동차적이고 연속적인 가족으로 확장하기 위해.
• 모든 방향으로의 7차원 구면의 위상동형형태에 대해 아인슈타인 계량의 존재를 확립하기 위해.

제안 방법

• ℂ^m에서 ∑z_i^{a_i} = 0로 정의된 Brieskorn-Pham 특이점과 그들의 링크 L(a) ∈ S^{2m-1}을 사용한다.
• 가중치를 부여한 프로젝티브 몫 (Y(a)\{0})/ℂ* 위의 오비폴드 켈러-아인슈타인 계량에 연속성 방법을 적용한다.
• 켈러-아인슈타인 구조를 링크 L(a) 위의 사삭스키-아인슈타인 계량으로 올린다. 이는 (2m-3)차원의 다양체이다.
• 연속성 방법을 통해 켈러-아인슈타인 계량의 존재를 보장하기 위해 수열 a = (a_1,…,a_m)에 수치적 조건을 도입한다.
• 정의 다항식의 가중치를 부여한 동차 섭동을 사용하여 서로 다른 계량의 연속적 가족을 생성한다.
• 유클리드 수열과 소수 분포의 성질을 포함한 대수기하학 및 미분위상수학의 결과를 활용하여 이중지수적 성격의 가족을 구성한다.

실험 결과

연구 질문

• RQ1 이국적 구면은 아인슈타인 계량을 갖는가? 만약 그렇다면, 서로 다른 가족은 몇 개인가?
• RQ2 표준 및 동차 계량 외에도 홀수차원 구면에 비균일 아인슈타인 계량을 구성할 수 있는가?
• RQ3 구면에서 사삭스키-아인슈타인 계량의 모듈리 공간의 차원과 구조는 어떻게 되는가?
• RQ4 계량의 수와 분포는 차원이 증가함에 따라 어떻게 증가하는가?
• RQ5 이 구성 방법을 표준 및 이국적 구면에 동시에 적용할 수 있는가?

주요 결과

• S^5에서는 68개의 서로 다른 가족의 사삭스키-아인슈타인 계량을 구성하였으며, 그 중 하나는 실수 차원 10을 갖는다.
• S^7에서는 동치류가 28개인 모든 방향으로의 호모토피 7-구면이 서로 다른 가족의 사삭스키-아인슈타인 구조를 갖는다. 가족 수는 231에서 452 사이이다.
• 표준 7-구면은 예제 41에서 보여지듯이 82차원의 사삭스키-아인슈타인 계량 가족을 갖는다.
• 유클리드 수열을 사용함으로써, (2m-3)-구면에서 최소 (1/3)(1.264)^{2^{m-1}} - 0.5개의 서로 다른 가족의 사삭스키-아인슈타인 계량을 얻을 수 있다.
• 유클리드 수열을 기반으로 한 수열에 대해, 어떤 (2m-3)-구면에서는 최소 2((1.264)^{2^{m-1}} - 2.5)의 실수 차원을 갖는 가족이 존재한다.
• 이 구성은 표준 및 Kervaire (4m-3)-구면 모두에 대해 서로 다른 가족의 이중지수적 수를 제공한다. 특히 a_m이 적절한 간격 내의 소수로 선택될 경우에 특히 그렇다.