Dolbeault dga and \(L_{\infty}\)-algebroid of the formal neighborhood (Q340440)

Earlier work contains the notion of \textit{Dolbeault differential graded algebra (dga)} of a closed embedding of complex manifolds, containing all formal geometric information about the embedding. After this the diagonal embedding has been studied and Kapranov's description of the formal neighbourhood of the diagonal in terms of the Atiyah class has been recovered. This article generalize to arbitrary closed embeddings and describes the Dolbeault dga explicitly in terms of the differential geometry of the submanifold. This description turns out to be easiest in the case when the ambient manifold has a Kähler metric. Consider a closed embedding \(i:X\hookrightarrow Y\) of complex manifolds and let \(\hat Y\) be the formal neighbourhood. Then the Dobeault dga \(A=(\mathcal A^\bullet((\hat Y),\overline\partial)\) is canonically defined. A differential graded (dg) category \(\mathcal P_A\) of dg modules over \(\mathcal A\) is constructed as a dg-enhanced category of the derived category of coherent sheaves over \(\hat Y\). An explicit construction of the objects is of great importance, in particular the derived direct image of \(\mathcal O_X\) on \(\hat Y\). To achieve this, it is necessary to give a geometric description of the Dolbeault dga, reflecting how the submanifold curls in the ambient manifold. Considering the diagonal embedding \(\Delta:X\hookrightarrow X\times X\), earlier work proves that the Dolbeault dga of the formal neighbourhood \(X_{X\times X}^\infty\) is isomorphic to the dga \((\mathcal A^{0,\bullet}(\hat S(T^\ast X)),D_\sigma)\) of the Dolbeault resolution of the completed symmetric algebra of the cotangent bundle of \(X\). The isomorphisms and the differentials \(D_\sigma\) depends on sections \(\sigma\) of a particular jet bundle with infinite dimensional fibres, related to the Atiyah class of \(X\). This article generalizes the above result for the diagonal embedding to the case of a general embedding \(i:X\hookrightarrow Y\). It is proved that these are isomorphisms between the dgas \((\mathcal A^\bullet(\hat Y),\overline\partial)\) and \((\mathcal A^{0,\bullet}(\hat S(N^\vee)),\mathfrak D)\). Here \(N^\vee\) is the conormal bundle of the submanifold and the differential \(\mathfrak D\) is given by sections on a jet bundle. The technique used is to consider the embedding of the \textit{graph} \(\tilde i:X\hookrightarrow X\times Y\) of \(i\) and the natural map between pairs \((X,X\times Y)\rightarrow(X,Y)\). Then \(\hat Y\) of \(X\) inside \(Y\), can be studied by \(X_{X\times Y}^{(\infty)}\) of \(X\) inside \(X\times Y\), and this has a description looking like that of the diagonal embedding. The result is that there is an isomorphism \(\exp_\sigma^\ast:(\mathcal A^\bullet(X^{(\infty)}_{X\times Y}),\overline\partial)\overset{\sim}{\rightarrow}(\mathcal A_X^{0,\bullet}(\hat S^\bullet(f^\ast T^\ast Y)),D_\sigma)\) for some differential \(D_\sigma\). Again, the simplest representation of the differential, is when \(Y\) is Kähler. Then one choose \(D_\sigma=\overline\partial+\sum_{n\geq 2}\tilde R_n,\) where \(R_n\) is the \((n-2)\)-th covariant derivative of the curvature \(R_2=R\) of \(Y\) and \(\tilde R_n\) is the derivation of degree +1 induced by the pullback of \(R_n\) to \(X\). Kapranov proved that there is an \(L_\infty\)-algebra structure on the shifted tangent bundle \(TX[-1]\), with binary bracket given by the Atiyah class. Translated to the language in this article, the completed Chevalley-Eilenberg dga of \(TX[-1]\) is the Dobeault dga of \(X_{X\times X}^{(\infty)}.\) This gives a Lie algebra structure on \(TX[-1]\) in the derived category of \(X\). The result on general embeddings in this article can thus be reformulated as to give an \(L_\infty\)-structure on the shifted normal bundle \(N[-1]\) which has an extra \(\infty\)-anchor map \(N[-1]\rightarrow TX\) which makes \(N[-1]\) an \(L_\infty\) \textit{algebroid}. On the diagonal embedding, the anchor map vanishes, and so Kapranov's result is recovered. Instead of a dg-Lie algebroid, this article gives an \(L_\infty\)-algebroid structure on the Dolbeault complex of the normal bundle whose higher brackets encodes formal geometry of the embedded submanifold directly. Then explicit formulas for homological invariants can be derived, e.g. the quantized cycle class defined by Grivaux. This specializes to the usual Todd class for a diagonal embedding and has a relation to the Hirzebruch-Riemann-Roch formula. This leads to a derivation of the formula from the gometry of jet bundles. The author recalls the general definition of the Dolbeault dga \(\mathcal A^\bullet(\hat Y)\) for the formal neighbourhood \(\hat Y\) of a closed embedding \(i:X\hookrightarrow Y\) of complex manifolds. The link to Kapranov's result for the diagonal embedding is also recalled. The subject of infinite dimensional fibre bundles coming from formal geometry is reviewed, and is essential to obtain Kapranov's results. Also, it leads to a description of tha Dobeault dga of an arbitrary embedding. Here other differential geometric invariants other than the curvature can be studied. The main result is restricted to the Kähler case, and gives a construction of an isomorphism from the canonically defined Dolbeault dga \(\mathcal A^{\bullet}(\hat Y)\) to the completed symmetric algebra \(\mathcal A^{0,\bullet}(\hat S,(N^\vee))\) of the conormal bundle of \(X\) in \(Y\), including an explicit representation of the differential. Finally, the definition of \(L_\infty\)-algebroids is given and thus the \(L_\infty\)-description of the Dolbeault dga is studied, and the results of Kapranov reviewed. The article contains a nice review of the background of formal neighbourhoods and the correspondence with algebraic techniques. It gives new methods for computing formal neighbourhoods, generalizing the existing, and interesting results and methods are obtained.