The Ext algebra of a quantized cycle (Q1729923)

When given a quantized analytic cycle $(X, \sigma)$ in $Y$, \textit{Sh. Yu} [``Todd class via homotopy perturbation theory'', Preprint, \url{arXiv:1510.07936}] discovered a geometric condition by computing the quantized cycle of a closed embedding of complex manifolds using homotopy perturbation theory. Damien Calaque and Julien Grivaux give a categorical Lie-theoretic interpretation of this condition, which involves the second formal neighborhood of $X$ in $Y$. \par A quantized cycle $(X, \sigma)$ is tame if $\sigma^* \mathrm{N}_{X/Y}$ extends to a locally free sheaf at the second order. If this condition is satisfied, the authors prove that the derived Ext algebra $\mathcal{RH}om_{\mathcal{O}_Y}(\mathcal{O}_X, \mathcal{O}_X)$ is isomorphic to the universal enveloping algebra $U(\mathrm{N}_{X/Y}[-1])$ of the shifted normal bundle $\mathrm{N}_{X/Y}[-1]$, endowed with a specific Lie structure (Theorem A, page 34): assuming that $(X, \sigma)$ is a tame quantized cycle in $Y$, the class $\alpha$ defines a Lie coalgebra structure on the shifted conormal bundle $\mathrm{N}^*_{X/Y}[1]$, which gives a Lie algebra structure on $\mathrm{N}_{X/Y}[-1]$. Moreover, $\mathcal{RH}om^{\ell}_{\mathcal{O}_Y}(\mathcal{O}_X, \mathcal{O}_X)$ and $\mathcal{RH}om^{r}_{\mathcal{O}_Y}(\mathcal{O}_X, \mathcal{O}_X)$ are algebra objects in the derived category $\mathrm{D}^{\mathrm{b}}(X)$, and the following diagrams \[ \begin{tikzcd} \sigma_\ast\mathcal{RH}om_{\mathcal O_S}(\mathcal O_X, \mathcal O_X) \ar[r] \ar[dd, "\simeq", "\mathrm{HKR}" '] & \mathcal{RH}om^\ell_{\mathcal O_Y}(\mathcal O_X, \mathcal O_X) \ar [d, "\simeq" ', "\mathrm{HKR}"] \\ & \mathrm{S(N}_{X/Y}[-1]) \ar[d, "\simeq" ', "\mathrm{PBW}"]\\ \mathrm{T(N}_{X/Y}[-1]) \ar [r] & \mathrm{U(N}_{X/Y}[-1]) \end{tikzcd} \] and \[ \begin{tikzcd} \sigma_\ast\mathcal{RH}om_{\mathcal O_S}(\mathcal O_X, \mathcal O_X) \ar[r] \ar[dd, "\simeq", "\mathrm{dual\ HKR}" '] & \mathcal{RH}om^r_{\mathcal O_Y}(\mathcal O_X, \mathcal O_X) \ar [d, "\simeq" ', "\mathrm{dual\ HKR}"] \\ & \mathrm{S(N}_{X/Y}[-1]) \ar[d, "\simeq" ', "\mathrm{PBW}"]\\ \mathrm{T(N}_{X/Y}[-1]) \ar [r] & \mathrm{U(N}_{X/Y}[-1]) \end{tikzcd} \] commute, where all horizontal arrows are algebra morphisms. The authors also give a new Lie-theoretic proof of S. Yu's result for the tame quantized cycle class (Theorem B, page 35): letting $(X, \sigma)$ to be a tame quantized cycle in $Y$, the quantized cycle class of $(X, \sigma)$ defined by \textit{J. Grivaux} [Int. Math. Res. Not. 2014, No. 4, 865--913 (2014; Zbl 1312.14027)] is the Duflo element of the Lie algebra object $\mathrm{N}_{X/Y}[-1]$.