Higher Kodaira-Spencer classes (Q1337519)

Let \(f:X\to S\) be a proper flat family defined over a field \(k\) of characteristic zero. Let \({\mathcal A}\) be a sheaf of \(f^{-1} ({\mathcal O}_ S)\) modules, endowed with a Lie structure \({\mathcal A} \otimes_{f^{-1} ({\mathcal O}_ S)} {\mathcal A} @>[ ]>> {\mathcal A}\) such that there is an extension \[ 0 \to {\mathcal A} \to \widetilde {\mathcal A} \to f^{-1} T_ S \to 0 \tag{1} \] where \(T_ S\) is the tangent sheaf of \(S\), together with a lifting of [ ]: \({\mathcal A} \otimes_ \mathbb{C} \widetilde A@>[ ]>> {\mathcal A}\). We assume either \(f_ * {\mathcal A} = 0\) on \(R^ qf_ *{\mathcal A} = 0\) for \(q \geq 1\). Under those conditions, we define a complex \({\mathcal A}^ \bullet (n)\) of length \(n\) on the \(n\)-fold product \(X \times_ S \cdots \times_ SX\), together with a \(n\)-extension of \(f_ 1^{-1} T_ S \otimes_ \mathbb{C} \cdots \otimes_ \mathbb{C} f_ n^{-1} T_ S\) by \({\mathcal A}^ \bullet (n)\), and a \(\Sigma_ n\) operation on \({\mathcal A}^ \bullet (n)\), as well as a \(\Sigma_ m\) operation on the anti-invariants \[ (R^ n f_ * {\mathcal A}^ \bullet (n))^{- \Sigma_ n, \dots, - \Sigma_{m + 1}}, \] such that the \(n\)-extension defines a \({\mathcal O}_ S\)-morphism \({\mathcal D}_ S^{\leq n}/{\mathcal O}_ S @>>KS \leq n> (R^ nf* {\mathcal A}^ \bullet (n))^{-\sum_ n, \dots, - \sum_ 2}\) compatibly with the extensions \[ 0 \to {\mathcal D}_ S^{\leq n - 1}/{\mathcal O}_ S \to {\mathcal D}_ S^{\leq n}/{\mathcal O}_ S \to {\mathcal S}^ n_{{\mathcal O}_ S} (T_ S) \to 0 \] and the morphism defined by (1): \(T_ S @>>KS> {\mathcal R}^ 1f_ * {\mathcal A}\). In particular, in a situation of a moduli space for which \(KS\) is an isomorphism, \(KS^{\leq n}\) is an isomorphism as well, and therefore describes the sheaf of differential operators. Examples are given for \(f\) smooth, \({\mathcal A} = T_{X | S}\), \(\overline {\mathcal A} = \) inverse image of \(f^{-1}T_ S\) under \(T_ X \to f^*T_ S\), or more generally for \(f\) smooth, \({\mathcal A}\) is the trace free Atiyah algebra relative to \(S\) of a bundle \({\mathcal E}\) over \(X\), \(\widetilde {\mathcal A}\) is the inverse image under \(\widetilde T \to T_ X\) of the trace free Atiyah algebra of \({\mathcal E}\) over \(X\).