[论文解读] The curvature problem for formal and infinitesimal deformations

Wendy Lowen, Michel Van den Bergh|arXiv (Cornell University)|May 14, 2015

Algebraic structures and combinatorial models参考文献 13被引用 7

一句话总结

本文通过证明在上同调有界的 dg 代数的 Hochschild 复形中，形式的与无穷小的 Maurer-Cartan 元素在曲率项幂零时，恰好对应于挠 Morita 变形，从而解决了变形理论中的曲率问题。关键结果是在该条件下建立了弯曲 $A_\infty$-变形与无曲率 Morita 变形之间的双射，通过导出 Morita 理论将经典变形理论推广至弯曲情形。

ABSTRACT

We interpret all Maurer-Cartan elements in the formal Hochschild complex of a small dg category which is cohomologically bounded above in terms of torsion Morita deformations. This solves the "curvature problem", i.e. the phenomenon that such Maurer-Cartan elements naturally parameterize curved A_infinity deformations. In the infinitesimal setup, we show how (n+1)-th order curved deformations give rise to n-th order uncurved Morita deformations.

研究动机与目标

• 为解决曲率问题，即 Hochschild 复形中的 Maurer-Cartan 元素参数化弯曲 $A_\infty$-代数而非无曲率 dg 或 $A_\infty$-代数。
• 通过识别此类弯曲变形何时源自无曲率 Morita 变形，将经典变形理论推广至弯曲情形。
• 在曲率项幂零条件下，建立形式 Maurer-Cartan 元素与挠 Morita 变形之间的双射。
• 证明对于上同调有界的 dg 代数，所有形式 Maurer-Cartan 元素均源自挠 Morita 变形。

提出的方法

• 构造 $k[[t]]$-线性 $cA_\infty$-代数 $A$ 上扭曲对象的 $cA_\infty$-范畴 $\mathsf{Tw}(A)$，使用 $A$ 的平移的正式直和与度数为 1 的连接 $\delta_M$。
• 将无曲率扭曲对象定义为曲率 $c(M) = \delta_M^2$ 在上同调中为零的那些对象，以确保与经典同调代数的一致性。
• 利用 Keller 的 Hochschild 复形之间 Morita 同构的 $B_\infty$-同构 $\Gamma_{M_0}$，在等价范畴之间关联变形。
• 引入挠 Morita 等价的概念，以确保在形式变形框架中导出 Nakayama 引理的有效性。
• 从 Maurer-Cartan 元素 $\phi$ 显式构造 $cA_\infty$-变形 $A_t$，并证明若 $\phi^{(0)}_0$ 幂零，则 $A_t$ 与一个无曲率变形 Morita 同构。
• 应用微扰理论与零同伦论证，表明非幂零曲率项（如可逆元）会导致平凡或非 Morita 同构的变形。

实验结果

研究问题

• RQ1 由 Hochschild 复形中 Maurer-Cartan 元素产生的弯曲 $A_\infty$-变形，何时源自无曲率 Morita 变形？
• RQ2 在何种条件下，形式 Maurer-Cartan 元素对应于挠 Morita 变形而非非 Morita 同构的弯曲代数？
• RQ3 为何标准 Maurer-Cartan 形式化在非幂零曲率存在时无法参数化无曲率变形？
• RQ4 通过转向 Morita 同构的范畴能否解决曲率问题？若能，需满足何种条件？
• RQ5 为何以 $\deg(x)=2$ 的分式域 $k[x,x^{-1}]$ 作为 $\Theta$ 映射非满射的反例？

主要发现

• 当 $A_0$ 上同调有界时，映射 $\Theta: \mathrm{Def}_{\mathrm{tMor}}(A_0;k[[t]]) \to \mathrm{MC}(A_0;k[[t]])$ 是双射，从而在该设定下解决了曲率问题。
• 形式 Maurer-Cartan 元素 $\phi$ 属于 $\Theta$ 的像当且仅当其曲率项 $\phi_0^{(0)}$ 在 $H^*A_0$ 中幂零，这提供了将弯曲变形提升为无曲率 Morita 变形的精确障碍。
• 对于分式域 $A_0 = k[x,x^{-1}]$ 且 $\deg(x) = 2$，元素 $\phi = x \in \mathrm{MC}(A_0;k[[t]])$ 不在 $\Theta$ 的像中，因为 $x$ 可逆，故不幂零。
• 扭曲对象 $A' = A \oplus \Sigma^{-1}A$ 的自同态 dg 代数，其中 $\delta_{A'} = \begin{pmatrix} 0 & x \\ 0 & 0 \end{pmatrix}$，是零同伦的，意味着它与零范畴拟等价。
• 对于 $n \geq 1$，元素 $\phi_{(n)} = x t^n$ 属于 $\Theta$ 的像，因为其曲率项 $\phi_0^{(0)} = 0$ 幂零，且对应的变形与无曲率变形 Morita 同构。
• 微扰理论表明，若子范畴 $\mathsf{Tw}_{ut}(A_0)$ 中的任何无曲率变形的曲率项可逆，则其必与零范畴拟等价，从而解释了在分式域情形下 $\Theta$ 非满射的原因。