[논문 리뷰] Cohomological constraint to deformations of compact Kaehler manifolds

Marco Manetti|ArXiv.org|2001. 05. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 12

한 줄 요약

이 논문은 컴acts Kähler 다양체의 변형에 대한 차단 요소가 환경 코homology를 제거한다는 원리를 대수적 방법으로 증명한다. 이를 위해 컴acts Kähler 다양체의 Kodaira-Spencer DGLA에서 그의 특이 코homology의 스파이닝된 내림사슬 대수로의 자연스러운 L∞-사상 구축을 통해 이루어진다. 핵심 결과는 모든 차단 클래스가 자연스러운 컵 곱 맵의 핵에 속한다는 것이며, 이는 L∞-이론을 통해 변형에 대한 코homological 제약 조건을 제공하고, Kähler 기하학으로 확장된 변형 이론의 프레임워크를 확장한다.

ABSTRACT

We prove that for every compact Kähler manifold $X$ there exists an $L$-infinity morphism, lifting the usual cup product in cohomology, from the Kodaira-Spencer differential graded Lie algebra to the suspension of the space of linear endomorphisms of the singular cohomology of $X$. As a consequence we get an algebraic proof of the principle ``obstructions to deformations of compact Kaehler manifolds annihilate ambient cohomology''.

연구 동기 및 목표

• 컴acts Kähler 다양체의 변형에 대한 장애가 이전에 Clemens와 Ran에 의해 분석적 방법으로 증명된 원리에 대해 대수적 증명을 제공한다.
• 컴acts Kähler 다양체의 Kodaira-Spencer DGLA에서 그의 특이 코homology의 스파이닝된 내림사슬 대수로의 자연스러운 L∞-사상 구축을 통해 컵 곱의 구조를 올리기.
• 컵 곱과 수축에 의해 유도되는 자연스러운 맵의 핵에 장애 클래스가 속한다는 것을 보여, 변형 장애에 대한 코homological 제약 조건을 확립하기.
• 대상 대수에 자명한 DGLA 구조(영 차수와 브라켓)가 존재하므로, 형식적 변형 이론을 통해 변형의 비장애성과 보편성에 직접 적용 가능하다는 것을 보여주기.

제안 방법

• Kodaira-Spencer DGLA KSX에서 특이 코hom로의 스파이닝된 내림사슬 대수 M[−1]X로 컵 곱 맵 H∗(X, TX) ⊗ H∗(X, Ω∗X) → H∗(X, Ω∗−1X)를 L∞-사상으로 올리기.
• Kähler 계량을 사용하여 그레이드 사상 θ: H∗(KSX) → M[−1]X를 L∞-사상으로 자연스럽게 올리기.
• Schlessinger 이론과 DGLA 간의 L∞-사상 형식을 적용하여 변형 함자와 장애 맵을 연결하기.
• M[−1]X가 자명한 DGLA 구조(영 차수와 브라켓)를 지닌다는 사실을 이용하여, 장애 클래스가 선형 맵 θ2의 핵에 속해야 한다는 것을 유도하기.
• 지수 함수와 대칭 코알제브라 구조를 통해 eΘ: DefKSX → DefM[−1]X의 자연스러운 변환 구축하기.
• 코homology에 유도된 사상으로 H2(X, TX) ⊗ J에 속한 장애 클래스가 θ2의 핵에 모odulo되어 있음을 보여주기.

실험 결과

연구 질문

• RQ1 컴acts Kähler 다양체의 변형에 대한 장애가 환경 코homology를 제거한다는 원리는 분석적 방법이 아닌 대수적 방법으로 증명될 수 있는가?
• RQ2 컴acts Kähler 다양체의 Kodaira-Spencer DGLA에서 그의 특이 코homology의 스파이닝된 내림사슬 대수로의 자연스러운 L∞-사상이 존재하는가?
• RQ3 접선 및 코접선 코homology에서의 컵 곱 구조는 변형의 장애 이론과 어떻게 관련이 있는가?
• RQ4 대상 대수에 자명한 DGLA 구조가 있을 경우 변형 공간 기하학에 어떤 함의가 있는가?

주요 결과

• 컵 곱 맵 H∗(X, TX) ⊗ H∗(X, Ω∗X) → H∗(X, Ω∗−1X)는 Kodaira-Spencer DGLA에서 특이 코homology의 스파이닝된 내림사슬 대수로 자연스러운 L∞-사상으로 올라간다.
• 모든 소규모 확장에 대해 H2(X, TX) ⊗ J에 속한 장애 클래스는 맵 θ2: H2(X, TX) → ⊕_{r,s} HomC(Hr(ΩsX), Hr+2(Ωs−1X))의 핵에 속함을 보여, 코homological 제약 조건이 성립함을 증명한다.
• 만약 맵 α1: H1(Y, TY) → H1(X, TX)와 θ1의 합성 사상이 단사이면, 변형 f: Y → B는 보편적이다.
• 만약 맵 α2: H2(Y, TY) → H2(X, TX)와 θ2의 합성 사상이 단사이면, 반보편적 변형의 기저 공간 B는 매끄럽다.
• 기약 Calabi-Yau 다양체 Y와 그의 표준 커버링 π: X → Y에 대해, 기약 코어너리 번들에 대한 토판이 존재할 경우, 모든 맵 αp는 단사적이며, 이는 비장애성 변형을 의미한다.
• 차원 ≥3인 Calabi-Yau 다양체 Z에 대해 H2(OZ)=0이고, 매끄러운 갈루아 이중 커버링 π: Y → Z일 경우, 맵 θ2는 단사적이며, 따라서 Y는 비장애적이다.