[논문 리뷰] Hard Lefschetz Theorem for Sasakian manifolds

Beniamino Cappelletti Montano, Antonio De Nicola외 1명|arXiv (Cornell University)|2013. 06. 12.

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

한 줄 요약

이 논문은 차원 $2n+1$인 컴팩트 사삭 구조를 가진 다양체에 대해 하드 레프셰츠 정리를 확립한다. 이는 $\eta \wedge (d\eta)^p$에 의한 외적 곱이 $0 \leq p \leq n$일 때, 딜람 코hom로지 군 $H^{n-p}(M)$와 $H^{n+p+1}(M)$ 사이에 동형사상(induces an isomorphism)을 유도함을 증명한다. 이 동형사상은 호환 가능한 사삭 메트릭의 선택과 무관하게 성립함을 보여, 접촉 다양체가 사삭 구조를 가질 수 있는 위상적 장벽을 제공한다.

ABSTRACT

We prove that on a compact Sasakian manifold $(M, η, g)$ of dimension $2n+1$, for any $0 \le p \le n$ the wedge product with $η\wedge (dη)^p$ defines an isomorphism between the spaces of harmonic forms $Ω^{n-p}_Δ(M)$ and $Ω^{n+p+1}_Δ(M)$. Therefore it induces an isomorphism between the de Rham cohomology spaces $H^{n-p}(M)$ and $H^{n+p+1}(M)$. Such isomorphism is proven to be independent of the choice of a compatible Sasakian metric on a given contact manifold. As a consequence, an obstruction for a contact manifold to admit Sasakian structures is found.

연구 동기 및 목표

• 사칙 기하학에서 고전적인 결과와 유사하게, 사삭 기하학에서 홀수 차원에 대한 하드 레프셰츠 정리의 이론을 확립하는 것.
• 외적 곱 $\eta \wedge (d\eta)^p$가 사전에 조화형을 보존하지 않기 때문에, 미분형식 위의 라플라스 연산자의 스펙트럼 성질을 분석하여 이 문제를 해결하는 것.
• 정의상 메트릭 의존성은 존재하지만, 유도된 코hom로지 동형사상이 호환 가능한 사삭 메트릭의 선택과 무관하게 성립함을 증명하는 것.
• 사칙 구조를 가질 수 없는 접촉 다양체에 대한 위상적 장벽으로서 '레프셰츠 접촉 다양체'의 개념을 정의하고 연구하는 것.

제안 방법

• 호모로지 클래스 $[\beta] \mapsto [\eta \wedge (d\eta)^p \wedge \Pi_\Delta \beta]$를 통해 정의된 사상 $L\!e\!f_p: H^{n-p}(M) \to H^{n+p+1}(M)$를 도입한다. 여기서 $\Pi_\Delta \beta$는 $\beta$의 조화형 프로젝션이다.
• $\alpha \in \Omega^{n-p}_\Delta(M)$이면 $\eta \wedge (d\eta)^k \wedge \alpha$가 양의 정수 고유값을 가진 라플라스 연산자의 고유형식임을 증명하여, 이 사상이 조화형식 위에서 잘 정의되어 있음을 보장한다.
• 연산자 $L$, $\epsilon_\eta$, $d$의 교환관계를 이용하고 스펙트럼 성질을 분석하여, 레프셰츠 동형사상의 명시적 역사를 구성한다.
• 스펙트럼 분해와 $L^{n-p+1}\gamma = 0$임을 이용하여, $i_\xi \gamma = 0$인 폐형식 $\gamma$에 대해, 레프셰츠 사상이 메트릭에 영향을 받지 않음을 보인다.
• 접촉 다양체에 대해 레프셰츠 관계 $\mathcal{R}_{L\!e\!f_p}$를 정의하고, 이 관계가 동형사상의 그래프가 되는 다양체를 '레프셰츠 접촉 다양체'로 정의한다.

실험 결과

연구 질문

• RQ1 컴팩트 사삭 다양체에 대해, 카이러 기하학의 경우와 유사한 하드 레프셰츠 유형의 동형사상이 존재하는가?
• RQ2 조화형을 보존하지 않는 $d\eta$와 $\eta$의 경우에도, $\eta \wedge (d\eta)^p$에 의한 레프셰츠 사상이 조화형식 위에서 잘 정의될 수 있는가?
• RQ3 유도된 코hom로지 동형사상은 호환 가능한 사삭 메트릭의 선택과 무관한가?
• RQ4 하드 레프셰츠 성질을 사칙 구조를 가질 수 없는 일반적인 접촉 다양체로 확장할 수 있는가?
• RQ5 이러한 레프셰츠 동형사상의 존재는 접촉 다양체에 어떤 위상적 장벽을 유도하는가?

주요 결과

• 모든 차원 $2n+1$인 컴팩트 사삭 다양체에 대해, $\eta \wedge (d\eta)^p$에 의한 외적 곱은 $H^{n-p}(M)$과 $H^{n+p+1}(M)$ 사이에 동형사상을 유도한다.
• 레프셰츠 사상이 잘 정의되는 이유는 $\eta \wedge (d\eta)^k \wedge \alpha$가 양의 정수 고유값을 가진 라플라스 연산자의 고유형식이기 때문에, 그 이미지가 차수 $n+p+1$의 조화형식 공간에 속함을 보장한다.
• 레프셰츠 동형사상에 대한 명시적 역사를 구성하여, 이 사상이 실제로 동형사상임을 증명한다.
• 레프셰츠 동형사상은 호환 가능한 사칙 메트릭의 선택과 무관하게 성립함을, $i_\xi \gamma = 0$인 폐형식 $\gamma$에 대해 $L^{n-p+1}\gamma = 0$이 성립함을 이용한 메트릭 독립성 증명을 통해 보였다.
• 레프셰츠 접촉 다양체에서는 $p \leq n$이고 $p$가 홀수일 때, 홀수 베티 수 $b_p$는 반드시 짝수여야 한다. 이는 $H^p(M)$ 위에 비퇴화적이며 반대칭인 이차형식이 존재하기 때문이다.
• 접촉 다양체가 사칙 구조를 가질 수 있는 것은, 레프셰츠 관계 $\mathcal{R}_{L\!e\!f_p}$가 동형사상의 그래프가 되는 하드 레프셰츠 성질을 만족할 때에 한하여 가능하다.