[논문 리뷰] Lefschetz contact manifolds and odd dimensional symplectic geometry

Yi Lin|2013. 11. 06.

Geometry and complex manifolds참고 문헌 9인용 수 11

한 줄 요약

이 논문은 홀수 차원 심플렉틱 기하학을 활용하여 컴팩트한 $K$-contact 다양체에 대한 통합된 하드 레프셰츠 정리를 수립한다. 이는 사사키안 다양체에 대한 두 가지 기존의 하드 레프셰츠 정리 버전—기본 코homology와 드 레함 코homology에 기반한 것—이 수학적으로 동치임을 증명한다. 이 접근법을 통해 모든 차원 $\geq 9$ 에서 사사키안 구조를 지니지 않는 단순연결된 $K$-contact 다양체를 간단히 구성할 수 있으며, 보이어와 가리cki가 제기한 열린 문제를 해결한다.

ABSTRACT

In the literature, there are two different versions of Hard Lefschetz theorems for a compact Sasakian manifold. The first version, due to Kacimi-Alaoui, asserts that the basic cohomology of a compact Sasakian manifold satisfies the transverse Lefschetz property. The second version, established far more recently by Cappelletti-Montano, De Nicola, and Yudin, holds for the De Rham cohomology of a compact Sasakian manifold. In the current paper, using the formalism of odd dimensional symplectic geometry, we prove a Hard Lefschetz theorem for a compact $K$-contact manifold, which implies immediately that the two existing versions of Hard Lefschetz theorems are mathematically equivalent to each other. Our method sheds new light on the Hard Lefschetz property of a Sasakian manifold. It enables us to give a simple construction of simply-connected $K$-contact manifolds without any Sasakian structures in any dimension $\geq 9$, and answers an open question asked by Boyer and late Galicki concerning the existence of such examples. It also allows us to establish a sufficient and necessary condition for a finitely presentable group to be the fundamental group of a compact Lefschetz contact five manifold. As an immediate application, we use it to produce first examples of compact Lefschetz contact manifolds which do not support any Sasakian structures. This provides an answer to another open question asked by Cappelletti-Montano, De Nicola, and Yudin in their recent work.

연구 동기 및 목표

• 컴팩트한 사사키안 다양체에 대한 하드 레프셰츠 정리의 두 서로 다른 버전—기본 코homology 기반과 드 레함 코homology 기반—간의 개념적 관계를 규명하는 것.
• 홀수 차원 심플렉틱 기하학을 활용하여 $K$-contact 다양체에서 하드 레프셰츠 성질에 대한 통합된 프레임워크를 수립하는 것.
• 보이어와 가리cki가 제기한, 사사키안 구조를 지니지 않는 단순연결된 $K$-contact 다양체의 존재성에 관한 열린 문제를 해결하는 것.
• 이전 증명에서 리만 기하학적 호지 이론을 대체하는 새로운 심플렉틱 호지이론적 접근법을 제공함으로써 더 깊은 기하학적 통찰을 제공하는 것.

제안 방법

• 헤(2010)가 개발한 홀수 차원 심플렉틱 호지 이론을 활용하여 $K$-contact 다양체의 코homological 구조를 분석한다.
• BG08에서 확립된, 기본 코homology와 $K$-contact 다양체의 드 레함 코homology 사이의 장긴 완전열을 적용한다.
• Lefschetz 사상 $Lef_k: \Omega^k(M) \to \Omega^{2n+1-k}(M)$ 를 $\alpha \mapsto \eta \wedge (d\eta)^{n-k} \wedge \alpha$ 로 정의하며, 이들이 조화형을 유지함을 보인다.
• 보우치-왕 구축법을 활용하여 정수 심플렉틱 다양체를 단순연결된 $K$-contact 다양체 위의 정규 연속 구조로 올린다.
• 포incare 쌍대성과 쿠엔트 공식을 사용하여 곱 심플렉틱 다양체의 베텨 수를 계산한다.
• 단순연결된 보우치-왕 피브리케이션에 관한 보조정리 5.6을 적용하여 기저가 단순연결이고 오일러 클래스가 기약일 경우 총공간이 단순연결임을 보장한다.

실험 결과

연구 질문

• RQ1 컴팩트한 사사키안 다양체에 대한 두 가지 존재하는 하드 레프셰츠 정리 버전—기본 코homology 기반과 드 레함 코homology 기반—은 수학적으로 동치인가?
• RQ2 $K$-contact 다양체에 대한 하드 레프셰츠 성질은 홀수 차원 심플렉틱 기하학을 통해 통일적으로 특징지을 수 있는가?
• RQ3 차원 $\geq 9$ 에서 사사키안 구조를 지니지 않는 단순연결된 $K$-contact 다양체가 존재하는가?
• RQ4 하드 레프셰츠 정리를 증명하는 데 있어 심플렉틱 호지이론적 접근법이 이전의 리만 기하학적 호지 이론을 대체할 수 있는가?

주요 결과

• 컴팩트한 사사키안 다양체에 대한 두 하드 레프셰츠 정리 버전은 수학적으로 동치이며, 둘 다 $K$-contact 다양체의 횡방향 하드 레프셰츠 성질과 동치이다.
• 임의의 컴팩트한 $K$-contact 다양체가 Cappelletti-Montano, De Nicola, Yudin의 정의에 따라 하드 레프셰츠 성질을 만족하는 것과 횡방향 하드 레프셰츠 성질을 만족하는 것은 동치이다.
• 모든 $n \geq 4$ 에 대해, 차원 $2n+1$ 인 단순연결된 컴팩트한 $K$-contact 다양체가 존재하며, 이는 $b_3(P) = 3$ 이고 어떤 사사키안 구조도 지닐 수 없다.
• 이러한 예는 오일러 클래스가 기약이고 $b_3(M) = 3$ 인 단순연결된, $2$-레프셰츠 성질을 지닌 정수 심플렉틱 다양체 위의 보우치-왕 피브리케이션을 통해 구성된다.
• 기저 다양체의 심플렉틱 형식은 정수이며 $2$-레프셰츠 성질을 지닌다. 오일러 클래스의 기약성 덕분에 총공간은 단순연결이다.
• 이러한 구성은 모든 차원 $\geq 9$ 에서 유효하며, 보이어와 가리cki의 열린 문제에 대한 답을 제공한다.