[论文解读] Period mappings for noncommutative algebras

Isamu Iwanari|arXiv (Cornell University)|Apr 28, 2016

Advanced Topics in Algebra参考文献 16被引用 6

一句话总结

本文通过导出形变理论和循环同调，利用 $L_\infty$-同构从 Hochschild上链复形到周期循环同调的自同态，构建了微分分次代数形变的 Griffiths 周期映射的非交换类比。通过证明 Calabi-Yau dg 代数的无穷小 Torelli 定理，建立了单射周期映射。

ABSTRACT

We construct a period mapping for deformations of a differential graded algebra, that generalizes Griffiths' period mapping. It is constructed as a morphism between differential graded Lie algebras which has a moduli-theoretic interpretation, where the domain of the morphism is the shifted Hochschild cocohain complex. We then use this period mapping to give some applications such as unobstructedness of deformations.

研究动机与目标

• 将代数几何中的 Griffiths 周期映射推广到使用 dg 代数的非交换设定中。
• 通过负循环同调和周期循环同调扩展 Hodge 滤子概念，为 dg 代数的形变定义周期映射。
• 利用导出形变理论建立 Calabi-Yau dg 代数的无穷小 Torelli 定理。
• 通过 $L_\infty$-同构和形式模空间提供周期映射的同伦框架。

提出的方法

• 将移位的 Hochschild 上链复形 $C^\bullet(A)[1]$ 用作控制 dg 代数 $A$ 的带曲率 $A_\infty$-形变的 dg 李代数。
• 分别对负循环复形 $CC^{-}_\bullet(A)$ 和周期循环复形 $CC^{per}_\bullet(A)$ 赋予 $k[t]$ 和 $k[t,t^{-1}]$-模结构，以建模非交换 Hodge 结构。
• 从 $C^\bullet(A)[1]$ 到商复形 $\operatorname{End}_{k[t^\pm]}(HH_*(A)((t)))/\operatorname{End}_{k[t]}(HH_*(A)[[t]])[-1]$ 构造一个 $L_\infty$-同构 $\mathcal{P}$。
• 通过 dg 李代数 $L$ 的函子 $\mathsf{Spf}_{L}$ 应用导出形变理论，将形变函子识别为 $L \otimes m_R$ 中的 Maurer-Cartan 元素。
• 通过 Artin 局域环极大理想的长度的归纳法以及 Schlessinger 条件 $(H_1)$ 证明周期映射的单射性。
• 依赖 Calabi-Yau 条件以确保 $\mathsf{Spf}_{\mathcal{P}}$ 在切空间上是单射，从而得出无穷小 Torelli 结果。

实验结果

研究问题

• RQ1 如何通过 dg 代数将代数簇的 Griffiths 周期映射推广到非交换空间？
• RQ2 在循环同调理论中，Hodge 滤子的非交换类比是什么？
• RQ3 如何利用 $L_\infty$-同构和形式模空间控制 dg 代数的形变函子？
• RQ4 在何种条件下周期映射是单射，这对非交换几何中的 Torelli 问题意味着什么？
• RQ5 负循环同调上的 $k[t]$-模结构在定义周期映射中起什么作用？

主要发现

• 周期映射 $\mathsf{P}: \mathsf{Spf}_{C^\bullet(A)[1]}(R) \to \mathsf{Spf}_{\mathbb{F}}(R)$ 作为从 Hochschild 上链复形到周期循环同调自同态的 $L_\infty$-同构被构造出来。
• 映射 $\mathsf{Spf}_{\mathcal{P}}$ 将形变类 $P \in HH^2(A)$ 发送到商自同态复形中的 $\frac{1}{t}I_P((t))$。
• 当 $R = k[\epsilon]/(\epsilon^2)$ 时，周期映射是单射的，这通过 $\mathsf{Spf}_{\mathcal{P}}(k[\epsilon]/(\epsilon^2))$ 的单射性得到证明。
• 通过极大理想长度的归纳法，$\mathsf{Spf}_{\mathcal{P}}$ 的单射性被推广到所有 Artin 局域 $k$-代数。
• Calabi-Yau 条件确保 $\mathsf{Spf}_{\mathcal{P}}$ 的像位于零度自同态中，从而支持单射性证明。
• 无穷小 Torelli 定理成立：周期映射在切空间上是单射的，这意味着形变可由循环同调数据检测。