Formality of derived intersections and the orbifold HKR isomorphism (Q2330433)

Let \(X\) and \(Y\) be two smooth closed subschemes of a smooth scheme \(S\) defined over a field of characteristic \(0\), and assume that the scheme-theoretic intersection of \(X\) and \(Y\) is a smooth scheme \(W\). The derived intersection of \(X\) and \(Y\) in \(S\) is a derived scheme \(W'\), whose underlying scheme is \(W\), endowed with the sheaf of dg-rings \(\mathcal{O}_X \overset{\mathbb{L}}{\otimes}_{\mathcal{O}_X} \mathcal{O}_Y\). In general the natural morphism \(W \rightarrow W'\) is not an isomorphism,except when the intersection is transverse. The lack of transversality is measured by the excess intersection bundle \(E\), which is \(\mathrm{T}_S / \mathrm{T}_X + \mathrm{T}_Y\). The main result the author prove is that \(W'\) is formal as a derived scheme over \(X \times Y\) (that is \(\mathcal{O}_X \overset{\mathbb{L}}{\otimes}_{\mathcal{O}_X} \mathcal{O}_Y\) is isomorphic to \(\mathrm{Sym}(E^*[1])\) in the derived category \(\mathrm{D}(X \times Y)\)) if and only if the exact sequence \(0 \rightarrow \mathrm{T}_X + \mathrm{T}_Y \rightarrow \mathrm{T}_S \rightarrow E\) splits. This result is close to a result independently obtained by the reviewer in [Doc. Math. 19, 1003--1016 (2014; Zbl 1327.14033)], namely, assuming that \(X\) admits a retraction at the first order in \(S\), \(W\) is formal over \(Y\) if and only if the excess exact sequence splits. The authors apply their result to derived fixed loci of group actions (by intersecting the graph of the action with the diagonal), and extend in this way the classical Hochschild-Kostant-Rosenberg isomorphism to the orbifold setting in the case of global quotients.