[论文解读] Deformations of algebraic subvarieties

Donatella Iacono|arXiv (Cornell University)|Mar 17, 2010

Nonlinear Waves and Solitons被引用 3

一句话总结

本文使用半单纯与微分分次李代数（DGLA）技术，显式描述了在特征零的代数闭域上，光滑代数簇 $X$ 中闭子概形 $Z$ 的无穷小形变所受控制的 DGLA。它从对对数切丛 sheaf $\Theta_X(-\log Z)$ 的Čech预解式构造了总 Thom-Whitney DGLA $\operatorname{Tot}_{TW}^{lacktriangle}(χ^{lacktriangle})$，并证明当 $Z$ 光滑时，其形变函子与希尔伯特函子 $\operatorname{Hilb}_X^Z$ 同构。

ABSTRACT

In this paper, we use (bi)semicosimplicial language to study the classical problem of infinitesimal deformations of a closed subscheme in a fixed smooth variety, defined over an algebraically closed field of characteristic 0. In particular, we give an explicit description of the differential graded Lie algebra controlling this problem.

研究动机与目标

• 将 M. Manetti 对复数域上子概形形变的 DGLA 描述推广至任意特征零的代数闭域。
• 利用半单纯方法，为形变函子 $\operatorname{Hilb}_X^Z$ 提供一个函子性且代数化的描述。
• 通过 Thom-Whitney 总化构造，构建一个控制闭子概形 $Z \subset X$ 无穷小形变的微分分次李代数。
• 在 $Z$ 光滑时，建立同构 $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})} \cong \operatorname{Hilb}_X^Z$，推广此前在 $\mathbb{C}$ 上的结果。

提出的方法

• 利用半单纯对象，通过 $X$ 的Čech开覆盖 $\mathcal{U} = \{U_i\}$ 和 $Z$ 的覆盖 $\mathcal{V} = \{U_i \cap Z\}$ 来建模 $Z$ 的局部形变。
• 从层 $\Theta_X(-\log Z)$ 构造一个半单纯 DGLA $\chi^{\blacktriangle}$，其中 $\chi_k^{\blacktriangle} = \prod_{i_0 < \cdots < i_k} \Theta_X(-\log Z)(U_{i_0 \cdots i_k})$。
• 对半单纯 DGLA $\chi^{\blacktriangle}$ 应用 Thom-Whitney 总化函子，得到一个单一的 DGLA $\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})$。
• 利用对数坐标表达自同构 $\theta_{ij} = e^{d_{ij}}$ 和 $\alpha_i = e^{a_i}$，将粘合数据转化为 Maurer-Cartan 方程。
• 通过显式求解 Maurer-Cartan 方程及规范等价关系，将形变函子 $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})}$ 识别为希尔伯特函子 $\operatorname{Hilb}_X^Z$。
• 通过特征零下指数与对数函数的使用，建立局部平凡形变与总化 DGLA 中解之间的显式对应，从而证明同构。

实验结果

研究问题

• RQ1 在特征零的代数闭域上，控制光滑代数簇 $X$ 中闭子概形 $Z$ 无穷小形变的微分分次李代数是什么？
• RQ2 如何利用半单纯语言，从 $Z$ 在 $X$ 中的局部形变数据构造一个 DGLA？
• RQ3 当 $Z$ 光滑时，DGLA $\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})$ 是否与希尔伯特函子 $\operatorname{Hilb}_X^Z$ 同构？
• RQ4 能否通过此 DGLA 方法，将 Manetti 在 $\mathbb{C}$ 上的经典结果推广至任意特征零的代数闭域？
• RQ5 对数切丛 sheaf $\Theta_X(-\log Z)$ 在编码 $Z$ 在 $X$ 中的形变数据中起什么作用？

主要发现

• 闭子概形 $Z$ 在光滑代数簇 $X$ 中的无穷小形变函子 $\operatorname{Hilb}_X^Z$，与由 $\Theta_X(-\log Z)$ 构造的半单纯 DGLA $\chi^{\blacktriangle}$ 的 Thom-Whitney 总化 DGLA $\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})$ 所关联的形变函子 $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})}$ 同构。
• 当 $Z$ 光滑时，同构 $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})} \cong \operatorname{Hilb}_X^Z$ 成立，将 Manetti 在 $\mathbb{C}$ 上的结果推广至任意特征零的代数闭域。
• 在 $X$ 中 $Z$ 的局部平凡形变由满足 $e^{-a_i}e^{a_j} \in \exp(\Theta_X(-\log Z)(U_{ij}) \otimes \mathfrak{m}_A)$ 的 Maurer-Cartan 元素 $a = \{a_i\} \in \prod_i \Theta_X(U_i) \otimes \mathfrak{m}_A$ 参数化，且满足上链条件。
• 形变之间的同构对应于由元素 $b = \{b_i\} \in \prod_i \Theta_X(-\log Z)(U_i) \otimes \mathfrak{m}_A$ 给出的规范变换，满足 $e^{a_i} = e^{a'_i}e^{b_i}$。
• 该构造依赖于特征零下对数坐标的存 在，使得可使用指数与对数函数线性化自同构。
• 该结果通过从对数切丛导出的半单纯 DGLA 的 Thom-Whitney 总化，建立了希尔伯特函子的典范 DGLA 控制。