[论文解读] On the deformation theory of pair (X, E)

Si Li|ArXiv.org|Sep 2, 2008

Algebraic Geometry and Number Theory参考文献 7被引用 5

一句话总结

本文利用 Illusie 的 Atiyah 类与 Huybrechts 和 Thomas 的相对障碍理论，为光滑射影概形 $X$ 与完美复形 $E$ 的配对 $(X, E)$ 构建了一套绝对形变-障碍理论。关键贡献在于证明了 $E$、配对 $(X,E)$ 与 $X$ 的形变空间在导出范畴中通过一个正合三角形联系起来，形成一条长正合序列，从而推广了向量丛情形下的已知结果。

ABSTRACT

Huybrechts and Thomas recently constructed relative obstruction theory of objects of the derived category of coherent sheaves over smooth projective family. In this paper, we use this construction to obtain the absolute deformation-obstruction theory of the pair (X, E), with X smooth projective scheme and E perfect complex, and show that the obstruction theories for E, (X,E), and X fit into exact triangle as derived objects on the moduli space.

研究动机与目标

• 为配对 $(X, E)$ 构建绝对形变-障碍理论，其中 $X$ 为光滑射影概形，$E$ 为完美复形。
• 通过 Illusie 的 Atiyah 类，将 Huybrechts 和 Thomas 的相对障碍理论推广至绝对情形。
• 证明 $E$、配对 $(X,E)$ 与 $X$ 的形变理论在 $X$ 上的相干层导出范畴中通过一个正合三角形联系起来。
• 通过显式描述复形 $G$ 为一阶微分算子的结构，将向量丛情形下的经典结果作为特例恢复。

提出的方法

• 利用 Illusie 的 Atiyah 类 $A(E) \in \mathrm{Ext}^1_X(E, E \otimes L^\bullet_X)$，在导出范畴中定义一个态射 $R\mathcal{H}om(E,E)[-1] \to \Omega_X$。
• 构造该态射的映射上核 $G$，其控制配对 $(X,E)$ 的形变理论。
• 将 $(X,E)$ 的形变切空间识别为 $\mathrm{Ext}^1_X(G, \mathcal{O}_X)$，障碍空间为 $\mathrm{Ext}^2_X(G, \mathcal{O}_X)$。
• 建立正合三角形 $R\mathcal{H}om(E,E)[-1] \to \Omega_X \to G \to R\mathcal{H}om(E,E)$，其在上同调中诱导出连接 $E$、$(X,E)$ 与 $X$ 的形变函子的长正合序列。
• 当 $E$ 为向量丛时，证明 $G$ 与一阶微分算子层 $D(E)$ 同伦等价，从而恢复经典结果。
• 利用 Verdier 对偶与导出直接像，将障碍理论与相对模空间联系起来，并通过普遍族验证构造的正确性。

实验结果

研究问题

• RQ1 当 $X$ 为光滑射影概形且 $E$ 为完美复形时，如何构建配对 $(X, E)$ 的绝对形变理论？
• RQ2 在导出范畴的视角下，$E$、$(X,E)$ 与 $X$ 的形变理论之间存在何种精确关系？
• RQ3 Huybrechts 和 Thomas 的相对障碍理论能否被推广，以得到配对 $(X,E)$ 的绝对障碍理论？
• RQ4 如何通过 $E$ 的 Atiyah 类编码配对 $(X,E)$ 的形变障碍？
• RQ5 导出正合三角形的构造是否能恢复向量丛情形下的经典结果，例如切空间为 $H^1(X, D(E))$？

主要发现

• 配对 $(X,E)$ 的形变理论由 Atiyah 类映射 $R\mathcal{H}om(E,E)[-1] \to \Omega_X$ 的导出映射上核 $G$ 控制，其切空间为 $\mathrm{Ext}^1_X(G, \mathcal{O}_X)$，障碍空间为 $\mathrm{Ext}^2_X(G, \mathcal{O}_X)$。
• 正合三角形 $R\mathcal{H}om(E,E)[-1] \to \Omega_X \to G \to R\mathcal{H}om(E,E)$ 在上同调中诱导出一条长正合序列，统一了 $E$、$(X,E)$ 与 $X$ 的形变函子。
• 当 $E$ 为向量丛时，复形 $G$ 同伦等价于一阶微分算子层 $D(E)$，因此切空间为 $H^1(X, D(E))$，障碍空间为 $H^2(X, D(E))$，从而恢复经典结果。
• 该构造将 Huybrechts 和 Thomas 的相对障碍理论推广至绝对情形，为配对 $(X,E)$ 的模空间提供了自然的绝对障碍理论。
• $\mathrm{Def}_E \to \mathrm{Def}_{(X,E)} \to \mathrm{Def}_X$ 的形变函子诱导出上同调中的长正合序列，反映出导出范畴中正合三角形的结构。
• 该方法在完美复形情形下保持一致，并能恢复向量丛情形下的经典结果，表明该框架具有鲁棒性与普遍性。