[논문 리뷰] On formality of Kahler orbifolds and Sasakian manifolds

Indranil Biswas, Marisa Fernández외 2명|arXiv (Cornell University)|2014. 02. 27.

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

한 줄 요약

이 논문은 컴act Kähler 오비폴드가 형식적임을 증명하며, 이는 Sasakian 다양체에 대한 핵심적인 위상수학적 결과로 이어진다. 단순연결된 Sasakian 다양체에서 모든 고차 Massey 곱이 0이 됨을 입증하여, 이들이 Sasakian 구조를 차단함을 보이며, 비영인 삼중 Massey 곱을 통해 n > 2인 차원 2n+1의 단순연결된 비형식적인 정규 Sasakian 다양체의 첫 번째 예를 구성한다.

ABSTRACT

We prove that compact Kahler orbifolds are formal, and derive applications of it to the topology of compact Sasakian manifolds. In particular, answering questions raised by Boyer and Galicki, we prove that all higher Massey products on any simply connected Sasakian manifold vanish. Hence, higher Massey products do obstruct Sasakian structures. Using this we produce a method of constructing simply connected K-contact non-Sasakian manifolds. On the other hand, for every n>2 we exhibit the first examples of simply connected compact regular Sasakian manifolds of dimension 2n+1 which are non-formal. They are non-formal because they have a non-zero triple Massey product. We also prove that arithmetic lattices in some simple Lie groups cannot be the fundamental group of a compact Sasakian manifold.

연구 동기 및 목표

• 컴act Kähler 오비폴드의 형식성을 확립하고, 이를 Sasakian 기하학으로 확장한다.
• Boyer와 Galicki가 제기한, Massey 곱이 Sasakian 구조에서 수행하는 역할에 관한 열린 문제를 해결한다.
• 형식성의 차단 조건을 이용하여 단순연결된 K-contact이지만 Sasakian이 아닌 다양체를 구성한다.
• 비형식적인 단순연결된 컴act 정규 Sasakian 다양체의 첫 번째 예를, 비영인 삼중 Massey 곱으로 인해 비형식임을 입증하여 구성한다.
• 일반선형군의 단순 리군 내 산술 격자 중에서 어떤 것이 컴act Sasakian 다양체의 기본군이 될 수 없음을 규명한다.

제안 방법

• 유리수 호모토피 이론의 형식성 이론을 활용하여 컴act Kähler 오비폴드의 코homology 링의 구조를 분석한다.
• Kähler 오비폴드의 형식성을 응용하여 컴act Sasakian 다양체의 코homology에 대한 제약 조건을 도출한다.
• 비영인 삼중 Massey 곱의 존재를 형식성의 장벽으로 활용하여, n > 2인 홀수 차원 2n+1에서 비형식적인 Sasakian 다양체를 구성한다.
• 형식성이 모든 고차 Massey 곱의 소멸을 암시함을 이용하여, 비영인 Massey 곱이 Sasakian 구조를 차단함을 보인다.
• 기하군 이론과 단순 리군 내 산술 격자의 결과를 적용하여, 일부 군이 컴act Sasakian 다양체의 기본군이 될 수 없음을 배제한다.
• 복소기하, 접촉위상수학, 그리고 유리수 호모토피 이론의 기법을 융합하여 Kähler, Sasakian, K-contact 구조 간의 상호작용을 분석한다.

실험 결과

연구 질문

• RQ1 단순연결된 Sasakian 다양체에서 고차 Massey 곱이 0이 되는가? 만약 그렇다면, 이는 형식성 또는 그러한 구조의 장벽을 의미하는가?
• RQ2 n > 2인 홀수 차원 2n+1에서 비형식적인 컴act Sasakian 다양체를 구성할 수 있는가? 그리고 비형식성을 감지하는 코homological 불변량은 무엇인가?
• RQ3 Kähler 오비폴드의 형식성은 단순연결된 K-contact이지만 Sasakian이 아닌 다양체를 구성하는 데 활용될 수 있는가?
• RQ4 일반선형군의 단순 리군 내 산술 격자 중에서 어떤 것이 컴act Sasakian 다양체의 기본군이 될 수 없는가?
• RQ5 Massey 곱은 Sasakian 구조를 장애물로 삼는 역할를 하는가? 그리고 Kähler 오비폴드의 맥락에서 형식성과의 관계는 어떠한가?

주요 결과

• 모든 단순연결된 Sasakian 다양체에서 고차 Massey 곱이 0이 되며, 이는 이러한 곱이 Sasakian 구조를 장애물로 삼음을 확인한다.
• n > 2인 차원 2n+1에서 비형식적이며 비영인 삼중 Massey 곱을 가진 단순연결된 컴act 정규 Sasakian 다양체의 첫 번째 예가 구성된다.
• Massey 곱의 형식성 장벽을 이용하여 단순연결된 K-contact이지만 Sasakian이 아닌 다양체를 구성하는 방법이 제시된다.
• 일부 단순 리군 내 산술 격자는 코homological 장벽을 통해 어떤 컴act Sasakian 다양체의 기본군이 될 수 없음을 입증된다.
• 컴act Kähler 오비폴드가 형식적임이 증명되었으며, 이는 부드러운 Kähler 다양체의 형식성 결과를 오비폴드 설정으로 확장한다.
• 삼중 Massey 곱의 비영인 성질은 비형식적인 Sasakian 다양체와 형식적인 것들을 구별하는 결정적 불변량이 된다.