[논문 리뷰] A short note on infinity-groupoids and the period map for projective manifolds

Domenico Fiorenza, Elena Martinengo|arXiv (Cornell University)|2009. 11. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 4

한 줄 요약

이 논문은 ∞-군oids와 유도된 변형 이론의 언어를 사용하여 복소수 사영 다양체에 대한 주기 사상의 고전적 결과를 재해석한다. ∞-범주론적 관점에서 주기 사상을 바라봄으로써, 그리피스의 주기 사상 미분, 코다이라의 차단 원리, 보고몰로프-티앙-토도로프 정리와 같은 핵심 정리들이 자연스럽게 미분가환 리 대수(dgla)의 호모토피적 구조에서 유래됨을 보여주며, 이 dgla는 힐베르트-드람 복합체의 코homology와 관련된다.

ABSTRACT

A common criticism of infinity-categories in algebraic geometry is that they are an extremely technical subject, so abstract to be useless in everyday mathematics. The aim of this note is to show in a classical example that quite the converse is true: even a naive intuition of what an infinity-groupoid should be clarifies several aspects of the infinitesimal behaviour of the periods map of a projective manifold. In particular, the notion of Cartan homotopy turns out to be completely natural from this perspective, and so classical results such as Griffiths' expression for the differential of the periods map, the Kodaira principle on obstructions to deformations of projective manifolds, the Bogomolov-Tian-Todorov theorem, and Goldman-Millson quasi-abelianity theorem are easily recovered.

연구 동기 및 목표

• 무한군oids와 유도 대수기하학의 프레임워크를 사용하여 주기 사상의 무한소 행동에 대한 고전적 결과를 재해석하는 것.
• ∞-범주론의 언어가 사영 다양체의 변형 이론에 알려진 정리들을 자연스럽고 통합적인 관점으로 제공함을 보여주는 것.
• 카르탕 호모토피와 장애 이론 같은 구성 요소들이 ∞-범주론적 관점에서 자연스럽게 유도됨을 보여주는 것.
• 새로운 증명이 아닌 개념적 시각 전환을 통해 고전적 결과—코다이라 원리와 골드먼-밀리슨 정리—를 복원하는 것.
• 유도된 전역 단면을 dgla로 모델링함으로써 변형 함수자에 기초하는 자연스러운 ∞-군oids의 구조가 도출됨을 시사하는 것.

제안 방법

• 저자들은 임의의 니르포텐트 미분가환 리 대수(dgla)에 대해 ∞-군oids를 부여하기 위해, 마우러-카르탕 단순 복합체 $\operatorname{MC}(\mathfrak{g} \otimes \Omega_\bullet)$의 구성 방법을 사용한다.
• 그들은 변형 함수자 $\operatorname{Def}(\mathfrak{g})$를 $\operatorname{Def}: \mathbf{DGLA} \to \mathbf{Formal\ \infty\text{-}Grpd}$의 할당을 통해 형식적 ∞-군oids로 간주한다.
• 주기 사상은 ∞-군oids 간의 사상으로 구성되며, $\widetilde{\mathcal{P}}: \widetilde{\operatorname{Def}}_X \to \exp(\operatorname{End}^0(H^*(X,\mathbb{C})))$ 로 표현되며, 이는 다중벡터장이 코homology에 작용함으로써 유도된다.
• 핵심 기술 도구는 쌍 $(\operatorname{End}_0^*(\mathbf{R}\Gamma\Omega_X^*), \operatorname{End}^*(\mathbf{R}\Gamma\Omega_X^*))$ 과 $(0, \operatorname{End}^*(H^*(X,\mathbb{C})))$ 사이의 준동형사상이며, 이는 주기 사상의 기초를 이룬다.
• 복소수의 경우, 도르베오-레졸루션에서 $\partial\bar{\partial}$-레마를 이용하여 이 준동형사상을 확립한다.
• 일반적인 특성 0 체의 경우, 저자들은 $\partial\bar{\partial}$-레마의 대체로 Hodge-to-de Rham 스펙트럴 시퀀스의 $E_1$-분해가 기능할 수 있음을 제안한다.

실험 결과

연구 질문

• RQ1 사영 다양체에 대한 고전적 주기 사상은 ∞-군oids의 프레임워크 안에서 어떻게 자연스럽게 재해석될 수 있는가?
• RQ2 ∞-범주론적 관점에서 볼 때, 왜 카르탕 호모토피 구성이 변형 이론의 맥락에서 그렇게 자연스럽게 나타나는가?
• RQ3 주기 사상의 미분과 장애 이론은 ∞-군oids로서의 변형의 구조적 특성으로서 재구성될 수 있는가?
• RQ4 특성 0의 임의의 체에서 $\partial\bar{\partial}$-레마의 순수 대수적 대체물이 존재하는가? 그로 인해 주기 사상의 구성이 가능해지는가?
• RQ5 유도된 전역 단면은 국소적 dgla의 구조를 전역 변형 함수자로 연결하는 데 어떤 역할을 하는가?

주요 결과

• 주기 사상의 미분은 코homology 수준에서 미분형식과 다중벡터장의 수축으로 자연스럽게 표현된다: $H^1(\boldsymbol{i}): \bigoplus_k H^k(X;\wedge^k\mathcal{T}_X) \otimes \bigoplus_{p,q} H^q(X,\Omega^p_X) \to \bigoplus_{p,q,k} H^{q+k}(X,\Omega^{p-k}_X)$.
• 일반화된 변형의 장애는 이차 수축의 핵에 포함된다: $H^2(\boldsymbol{i}): \bigoplus_k H^{k+1}(X;\wedge^k\mathcal{T}_X) \otimes \bigoplus_{p,q} H^q(X,\Omega^p_X) \to \bigoplus_{p,q,k} H^{q+k+1}(X,\Omega^{p-k}_X)$.
• 일반화된 변형을 위한 주기 사상은 $\widetilde{\mathcal{P}}: \widetilde{\operatorname{Def}}_X \to \exp(\operatorname{End}^0(H^*(X,\mathbb{C})))$ 로 구성되며, 이는 코homology 위의 자기사상 대수의 지수함수이다.
• 쌍 $(\operatorname{End}_0^*(\mathbf{R}\Gamma\Omega_X^*), \operatorname{End}^*(\mathbf{R}\Gamma\Omega_X^*))$ 과 $(0, \operatorname{End}^*(H^*(X,\mathbb{C})))$ 사이의 준동형사상은 칼라비-양 다양체의 일반화된 변형이 장애 없이 가능함을 의미하며, 바라니킨-콘체비의 결과를 복원한다.
• 저자들은 특성 0의 체에서 $\partial\bar{\partial}$-레마의 대체로 Hodge-to-de Rham 스펙트럴 시퀀스의 $E_1$-분해가 사용될 수 있음을 제안하지만, 체흐 미분과 드람 미분 사이의 비대칭성으로 인해 직접적인 일반화가 복잡해진다.