[论文解读] 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

一句话总结

本文使用 ∞-群胚和导出形变理论的语言，重新诠释了射影流形上周期映射的经典结果。通过 ∞-范畴的视角审视周期映射，统一并阐明了关键定理——如 Griffiths 的周期映射微分、Kodaira 阻碍原理，以及 Bogomolov-Tian-Todorov 定理——表明这些定理自然源自与全纯 de Rham 复形上同调相关的微分分次李代数（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.

研究动机与目标

• 使用 ∞-群胚和导出代数几何的框架，重新诠释关于周期映射无穷小行为的经典结果。
• 表明 ∞-范畴的语言为射影流形变形理论中的已知定理提供了自然且统一的视角。
• 证明如 Cartan 同伦与阻碍理论等构造，可自然地从 ∞-范畴观点中导出。
• 通过视角的观念性转变而非新证明，恢复经典结果（包括 Kodaira 原理与 Goldman-Millson 定理）。
• 提出：通过 dgla 建模的层上同调的导出整体截面，可自然地赋予形变函子一个 ∞-群胚结构。

提出的方法

• 作者使用 Maurer-Cartan 单纯集构造 $\operatorname{MC}(\mathfrak{g} \otimes \Omega_\bullet)$，为任意幂零微分分次李代数（dgla）关联一个 ∞-群胚。
• 他们将形变函子 $\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})))$ 之间的拟同构，该拟同构构成了周期映射的基础。
• 该构造依赖于 Dolbeault 陈化中 $\partial\bar{\partial}$-引理，以在复数情形下建立该拟同构。
• 对于一般特征为零的域，作者建议 Hodge-to-de Rham 族谱序列的 $E_1$-退化性可作为 $\partial\bar{\partial}$-引理的代数替代。

实验结果

研究问题

• RQ1 射影流形的周期映射能否在 ∞-群胚框架下自然地被诠释？
• RQ2 为何当通过 ∞-范畴视角审视时，Cartan 同伦构造在形变理论语境中显得如此自然？
• 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)$。
• 广义形变的阻碍包含在二阶收缩的核中：$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})))$ 之间的拟同构，意味着 Calabi-Yau 流形的广义形变是无阻碍的，从而恢复了 Barannikov-Kontsevich 的结果。
• 作者建议：在正特征下，Hodge-to-de Rham 族谱序列的 $E_1$-退化性或可作为 $\partial\bar{\partial}$-引理的代数替代，尽管 Čech 与 de Rham 微分之间的不对称性使直接推广变得复杂。