[论文解读] Dolbeault dga of a formal neighborhood

Shilin Yu|arXiv (Cornell University)|Jun 22, 2012

Algebraic structures and combinatorial models参考文献 14被引用 4

一句话总结

本文引入了复流形中紧致复子流形的形式邻域的Dolbeault微分分次代数（dga），为形式邻域上的凝聚层提供了复分析方法。证明了该dga上的完美模的dg-范畴提供了形式邻域上凝聚层有界导出范畴的dg-增强，推广了Block在光滑流形上的结果。

ABSTRACT

Inspired by a work of Kapranov, we define the notion of Dolbeault complex of the formal neighborhood of a closed embedding of complex manifolds. This construction allows us to study coherent sheaves over the formal neighborhood via complex analytic approach, as in the case of usual complex manifolds and their Dolbeault complexes. Moreover, our the Dolbeault complex as a differential graded algebra can be associated with a dg-category according to Block. We show this dg-category is a dg-enhancement of the bounded derived category over the formal neighborhood under the assumption that the submanifold is compact. This generalizes a similar result of Block in the case of usual complex manifolds.

研究动机与目标

• 将Dolbeault复形构造从光滑复流形推广到复流形中紧致复子流形的形式邻域。
• 通过微分分次代数为形式邻域上的凝聚层研究提供复分析框架。
• 将Block对光滑流形导出范畴的dg-增强推广到形式邻域的情形。
• 建立Dolbeault dga上完美模的dg-范畴与形式邻域上凝聚层有界导出范畴之间的等价性。

提出的方法

• 将形式邻域的Dolbeault dga定义为光滑(0,•)-形式层与形式结构层的完成张量积。
• 利用Dolbeault层对形式结构层的平坦性，通过完成张量积构造凝聚层的解析。
• 应用Stein理论和Mittag-Leffler条件，确保在Stein开集上解析的投射极限的精确性。
• 构建Dolbeault dga上完美模的dg-范畴，利用微分分次范畴的三角化与同伦理论结构。
• 证明该dg-范畴的同伦范畴与形式邻域上凝聚层的有界导出范畴等价。
• 利用子流形的紧致性，确保解析与极限论证所需的有限性与凝聚性条件。

实验结果

研究问题

• RQ1 能否将Dolbeault复形推广到复流形中紧致复子流形的形式邻域？
• RQ2 形式邻域的Dolbeault dga是否提供其上凝聚层导出范畴的dg-增强？
• RQ3 Dolbeault dga的结构如何与形式邻域中法丛的几何相关？
• RQ4 在移位法丛上的$L_\infty$-代数结构在此构造中起什么作用？
• RQ5 能否通过与Dolbeault dga的完成张量积来构造形式邻域上凝聚层的解析？

主要发现

• 形式邻域的Dolbeault dga定义为$(\mathcal{A}^{\bullet}(\hat{Y}), \overline{\partial})$，其中$\mathcal{A}^{\bullet}(\hat{Y})$是光滑(0,•)-形式层与形式结构层的完成张量积。
• Dolbeault dga对形式结构层$\mathscr{O}_{\hat{Y}}$是平坦的，确保其与凝聚层解析的相容性。
• 对任意凝聚$\mathscr{O}_{\hat{Y}}$-模$\mathscr{F}$，完成张量积$\mathscr{F} \hat{\otimes}_{\hat{\mathscr{O}}} \mathscr{A}^{\bullet}_{\hat{Y}}$给出$\mathscr{A}^{\bullet}_{\hat{Y}}$-模对$\mathscr{F}$的解析。
• Dolbeault dga $A$ 上完美模的dg-范畴$\mathcal{P}_A$ 的同伦范畴与$\mathcal{D}^{b}_{coh}(\hat{Y})$（形式邻域上凝聚层的有界导出范畴）等价。
• 该构造揭示了移位法丛$N[-1]$上的$L_\infty$-代数结构，其具有到子流形切丛的$\infty$-锚映射。
• 在子流形紧致的假设下，该结果将Block对光滑流形导出范畴的dg-增强推广到了形式邻域的情形。