[论文解读] Todd class via homotopy perturbation theory

Shilin Yu|arXiv (Cornell University)|Oct 27, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 3

一句话总结

本文通过将同伦微扰理论应用于形式邻域的Dolbeault dga，计算了复流形闭嵌入的广义Todd类。结果表明，量化循环类 $\operatorname{Td}_{\sigma}(X/Y)$ 自然地从递归同伦公式中产生，伯努利数则源于微扰展开，同时给出了基于二阶形式邻域的几何障碍理论。

ABSTRACT

We compute the quantized cycle class of a closed embedding of complex manifolds defined by Grivaux using homotopy perturbation theory. In the case of a diagonal embedding, our approach provides a novel perspective of the usual Todd class of a complex manifold.

研究动机与目标

• 计算复流形闭嵌入 $i: X \hookrightarrow Y$ 的Grivaux量化循环类 $q_\sigma(X)$。
• 为对角嵌入情形下的Todd类提供一种新颖的同伦理论推导。
• 以二阶形式邻域 $X^{(2)}_Y$ 的形式表征广义Todd类 $\operatorname{Td}_\sigma(X/Y)$。
• 通过涉及 $R^\bot_2$ 和 $\gamma_\sigma$ 的上同调类，识别出将余切丛延拓至 $X^{(2)}_Y$ 的障碍。

提出的方法

• 将同伦微扰理论（HPT）应用于形式邻域 $X^{(\infty)}_Y$ 的Dolbeault微分分次代数（dga）。
• 利用Dolbeault dga上凝聚模的dg范畴来建模 $\mathscr{O}_X$-模的导出范畴。
• 在凝聚模范畴中构造Koszul型解析，以建模导出张量积 $\mathscr{O}_X \otimes^L_{\mathscr{O}_Y} \mathscr{O}_X$。
• 通过实现微扰引理，推导出同伦数据的递归公式，从而导致伯努利数的出现。
• 依赖于从一阶形式邻域 $X^{(1)}_Y$ 到 $X$ 的全纯截面 $\sigma$ 的存在性，以确保 $\mathscr{O}_X$-线性性。
• 分析 $X^{(2)}_Y$ 上扩展余切丛 $\overline{N}^\vee$ 的 $\overline{\partial}$-联络，以推导可积性条件。

实验结果

研究问题

• RQ1 如何显式计算一般复流形闭嵌入的量化循环类 $q_\sigma(X)$？
• RQ2 二阶形式邻域 $X^{(2)}_Y$ 在确定广义Todd类 $\operatorname{Td}_\sigma(X/Y)$ 中起什么作用？
• RQ3 伯努利数如何在Todd类的同伦微扰展开中出现？
• RQ4 将余切丛 $p_\sigma^*N^\vee$ 延拓至 $X^{(2)}_Y$ 上全纯向量丛的几何障碍是什么？
• RQ5 在何种条件下广义Todd类 $\operatorname{Td}_\sigma(X/Y)$ 等于1？

主要发现

• 广义Todd类 $\operatorname{Td}_\sigma(X/Y)$ 完全由二阶形式邻域 $X^{(2)}_Y$ 决定，而不仅由一阶邻域决定。
• 类 $\gamma_\sigma = [R^\top_2 \circ R_N]$ 当且仅当余切丛 $p_\sigma^*N^\vee$ 可延拓为 $X^{(2)}_Y$ 上的全纯向量丛时为零，从而提供了上同调障碍。
• 微扰展开导出了与经典Todd类类似的 $\operatorname{Td}_\sigma(X/Y)$ 公式，其中伯努利数源于递归同伦公式。
• 当 $\gamma_\sigma = 0$ 且 $[R^\bot_2] = 0$ 时，广义Todd类满足 $\operatorname{Td}_\sigma(X/Y) = 1$，这恰好发生在存在 $\overline{N}$ 的全纯截面且横截于零截面时。
• 此类截面的存在性等价于 $[R^\bot_2] = 0$，从而建立了广义Todd类平凡性的几何判据。
• $\overline{N}^\vee$ 上的 $\overline{\partial}$-联络形式为 $D_{\overline{N}^\vee} = \overline{\partial} + R^\top_2 \circ \nabla^\bot + C$，其可积性等价于 $R^\top_2 \circ R_N + \overline{\partial}C = 0$，即 $\gamma_\sigma = 0$。