[논문 리뷰] L-infinity algebras, Cartan homotopies and period maps

Domenico Fiorenza, Marco Manetti|ArXiv.org|2006. 05. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 7

한 줄 요약

이 논문은 컴acts Kähler 다양체의 Kuranishi 가족의 주기 맵이 Hodge 필터링을 지배하는 $L_\infty$-대수로 향하는 Kodaira-Spencer $L_\infty$-대수로부터 명시적인 $L_\infty$-사상에 의해 유도됨을 증명한다. 이는 주기 맵이 변형 이론의 사상임을 보여주며, 호모토피 리 대수 프레임워크를 통해 고려된 방해이론 및 기타 변형론적 구성요소와의 호환성을 보장한다.

ABSTRACT

We prove that, for every compact Kaehler manifold, the period map of its Kuranishi family is induced by a natural L-infinity morphism. This implies, by standard facts about L-infinity algebras, that the period map is a "morphism of deformation theories" and then commutes with all deformation theoretic constructions (e.g. obstructions).

연구 동기 및 목표

• 컴acts Kähler 다양체의 주기 맵을 $L_\infty$-대수를 사용한 대수적, 변형론적 기술을 제공한다.
• Kodaira의 원리에 대한 기존 증명에서의 개념적 간극을 해결하기 위해 주기 맵이 변형론적 구성요소와 가환함을 보여준다.
• Hodge 필터링의 변형을 지배하는 $L_\infty$-대수 $C^p$를 구성하여 주기 맵의 함의론적 기술을 가능하게 한다.
• Kodaira-Spencer 대수에서 Hodge 필터링 대수로 향하는 명시적 $L_\infty$-사상의 구축을 통해 주기 맵이 변형 이론의 사상임을 확립한다.

제안 방법

• 미분적 가환 리 대수의 사상의 사영 맵 위에 $L_\infty$-구조를 구성하여 변형론적 프레임워크를 일반화한다.
• 유도자와 미분 형식을 연결하기 위해 Cartan 호모토피의 개념을 도입하여 $L_\infty$-사상의 구성에 기여한다.
• 잠근 사영 맵 구조를 통해 Hodge 필터링 $F^p H^*(X,\mathbb{C})$의 변형을 지배하는 $L_\infty$-대수 $C^p$를 정의한다.
• 주기 맵이 변형 함수자 수준에서 유도되는 선형 $L_\infty$-사상 $K_X \to C^p$를 명시적으로 구성한다.
• Gauss-Manin 접속과 수평성 조건을 사용하여 주기 맵이 코homology 위의 평행접속과 호환됨을 검증한다.
• 일반적인 $L_\infty$-대수 이론을 적용하여 주기 맵이 방해이론을 포함한 모든 변형론적 연산과 가환함을 유추한다.

실험 결과

연구 질문

• RQ1 컴acts Kähler 다양체의 주기 맵은 $L_\infty$-대수를 통해 변형 이론의 사상으로 기술될 수 있는가?
• RQ2 Kodaira-Spencer 대수와 Hodge 필터링을 지배하는 $L_\infty$-대수 사이에 명시적인 $L_\infty$-사상이 존재하는가?
• RQ3 주기 맵은 방해이론 및 기타 변형론적 불변량과 어떻게 상호작용하는가?
• RQ4 Cartan 호모토피는 변형 대수 간의 $L_\infty$-사상 구성에서 어떤 역할을 하는가?
• RQ5 Gauss-Manin 접속의 수평성 조건은 주기 맵의 변형론적 구조와의 호환성을 암시하는가?

주요 결과

• 주기 맵 $\mathcal{P}^p$는 Hodge 필터링을 지배하는 $L_\infty$-대수 $C^p$로 향하는 Kodaira-Spencer $L_\infty$-대수 $K_X$로부터 자연스러운 $L_\infty$-사상에 의해 유도된다.
• 주기 맵의 변형 함수자는 $\operatorname{Def}_{C^p}(B)$와 동형이며, 해를 호모토피 모odulo에서 푸는 마우레르-카르탕 방정식의 완전한 대수적 기술을 제공한다.
• 이 구축은 주기 맵이 변형 이론의 사상임을 증명하며, 이는 모든 변형론적 구성요소, 특히 방해이론과의 가환성을 의미한다.
• 수축 사상 $\boldsymbol{i}\colon H^2(X,T_X) \to \bigoplus_i \operatorname{Hom}(F^p H^i, H^{i+1}/F^p H^{i+1})$의 핵에는 모든 변형에 대한 방해가 포함되어 있으며, 이는 $L_\infty$-이론을 통해 Kodaira의 원리가 확인됨을 보여준다.
• Cartan 호모토피와 지수 공식을 사용하여 Gauss-Manin 접속의 수평성 조건을 대수적으로 증명하였으며, $\nabla(H^*(F^p_\xi)\otimes_B \Omega^i) \subseteq H^*(F^{p-1}_\xi)\otimes_B \Omega^{i+1}$ 임을 보였다.
• 전체 프레임워크는 함의론적이며, 동일한 $L_\infty$-사영 맵 구조를 통해 그라스만다이언, Quot 스킴, Hilbert 스킴 등의 다른 모듈리 공간으로 일반화된다.