[論文レビュー] A short note on infinity-groupoids and the period map for projective manifolds

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

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用数 4

ひとこと要約

本稿は、∞-群コホロロジーと導来変形理論の言語を用いて、複素射影多様体の周期写像に関する古典的結果を再解釈する。∞-圏の視点から周期写像を見ることで、グリフィスの周期写像の微分、コイダの障害原理、ボゴモロフ＝ティアン＝トドロフの定理といった重要な定理が、ホロモルフィック・ド・ラーム複体のコホロロジーに付随する微分幾何的Lie代数（dgla）のホモトピー的構造から自然に生じることを示している。

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.

研究の動機と目的

• 無限小的挙動に関する周期写像の古典的結果を、∞-群コホロロジーと導来代数幾何の枠組みで再解釈すること。
• ∞-圏の言語が、複素射影多様体の変形理論における既知の定理を自然かつ統一的に捉える視点を提供することを示すこと。
• カルタンホモトピーと障害理論といった構成が、∞-圏的視点から自然に生じることを示すこと。
• 新たな証明ではなく、視点の概念的転換によって、古典的結果（コイダの原理、ゴールドマン＝ミルソンの定理など）を回復すること。
• 導来グローバルセクション（dglaによってモデル化）が、変形関手の背後に埋め込まれた自然な∞-群コホロロジー構造をもたらすという主張。

提案手法

• 著者たちは、任意の冪零な微分幾何的Lie代数（dgla）に対して、∞-群コホロロジーを割り当てるために、Maurer-Cartan単体的集合の構成 $\operatorname{MC}(\mathfrak{g} \otimes \Omega_\bullet)$ を用いる。
• 彼らは、変形関手 $\operatorname{Def}(\mathfrak{g})$ を、$\operatorname{Def}: \mathbf{DGLA} \to \mathbf{Formal\ \infty\text{-}Grpd}$ という割り当てによって、形式的∞-群コホロロジーと解釈する。
• 周期写像は、∞-群コホロロジー間の準同型として構成される：$\widetilde{\mathcal{P}}: \widetilde{\operatorname{Def}}_X \to \exp(\operatorname{End}^0(H^*(X,\mathbb{C})))$。これは、多重量場がコホロロジーに作用することから生じる。
• 鍵となる技術的道具は、対 $(\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}$-補題を用いて、この準同型を確立する。
• 一般の零特徴の体に対しては、ホッジからド・ラームスペクトル系列の $E_1$-退化性が、$\partial\bar{\partial}$-補題の代わりの代数的置換として機能すると著者らは提案する。

実験結果

リサーチクエスチョン

• RQ1 複素射影多様体の古典的周期写像は、どのように∞-群コホロロジーの枠組み内で自然に解釈できるか？
• RQ2 ∞-圏の視点から見たとき、なぜカルタンホモトピーの構成が変形理論の文脈でこれほど自然に現れるのか？
• RQ3 周期写像の微分と障害理論は、変形の∞-群コホロロジー構造の内在的特徴として回復可能か？
• RQ4 任意の零特徴の体上で周期写像の構成を可能にする、$\partial\bar{\partial}$-補題の純代数的置換は存在するか？
• RQ5 導来グローバルセクションは、局所的なdgla構造とグローバルな変形関手をどのように結びつけるか？

主な発見

• 周期写像の微分は、コホロロジー的レベルで微分形式と多重量場の縮約として自然に実現される：$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)$。
• 一般化された変形の障害は、2次の縮約の核に含まれる：$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})))$ として構成され、終域はコホロロジー上の自己準同型代数の指数関数である。
• 対 $(\operatorname{End}_0^*(\mathbf{R}\Gamma\Omega_X^*), \operatorname{End}^*(\mathbf{R}\Gamma\Omega_X^*))$ と $(0, \operatorname{End}^*(H^*(X,\mathbb{C})))$ 間の準同型は、カルラヤ＝ヤウ多様体の一般化された変形が障害なしであることを示し、バラニキノフ＝コンツェビッチの結果を回復する。
• 著者らは、正の特徴の体においては、ホッジからド・ラームスペクトル系列の $E_1$-退化性が $\partial\bar{\partial}$-補題の代わりの代数的置換として機能すると提案するが、チェッヒ微分とド・ラーム微分の非対称性が、直接的な一般化を複雑にする。