The Dolbeault dga of a formal neighborhood (Q2821674)

The author constructs the Dolbeault dg-algebra \(\mathcal A^\bullet(\hat Y)\) for the formal neighbourhood of an embedding of complex manifolds \(X \hookrightarrow Y\). This is inspired by work of \textit{M. Kapranov} [Compos. Math. 115, No. 1, 71--113 (1999; Zbl 0993.53026)] who considered the formal neighbourhood of the diagonal. The introduction outlines how later work by the author uses this paper to generalise Kapranov's results.NEWLINENEWLINEFor the main theorem of this article, the author considers the category of cohesive modules for the Dolbeault algebra of a formal neighbourhood. \textit{J. Block} [in: A celebration of the mathematical legacy of Raoul Bott. Based on the conference, CRM, Montreal, Canada, June 9--13, 2008. Providence, RI: American Mathematical Society (AMS). 311--339 (2010; Zbl 1201.58002)] defined cohesive modules for a curved dg-algebra as a refinement of the category of dg-modules. As an application he showed that the Dolbeault algebra of a compact complex manifold allows one to recover the derived category of coherent sheaves as the homotopy category of cohesive modules.NEWLINENEWLINEThe author extends these results to the formal neighbourhood setting, i.e.\ he shows that cohesive modules over the formal Dolbeault algebra \(\mathcal A_{\hat Y}^\bullet\) give an enhancement of the bounded derived category of perfect complexes of \(\mathcal O_{\hat Y}\)-modules. (Assuming \(X\) is compact.) The proof follows the same strategy as Block's, but it is complicated in the formal case by a number of technical issues, for example \(\mathcal A_{\hat Y}^\bullet\) is not flat over \(\mathcal O_{\hat Y}\).