Supersymmetry and the formal loop space (Q544004)

Let \(X\) be a smooth complex algebraic variety. In [Publ. Math., Inst. Hautes Étud. Sci. 100, 209--269 (2004; Zbl 1106.17038)], the authors introduced the ind-scheme \({\mathcal L}X\) of formal loops on \(X\). In the work [Invent. Math. 155, No. 3, 605--680 (2004; Zbl 1056.17022)] by \textit{V. Gorbounov}, \textit{F. Malikov} and \textit{V. Schechtman}, the chiral differential operators on \(X\) were classified in terms of the \([2,3)\)-truncated de Rham complex of \(X\). The main result of this paper is that this truncated complex is quasi-isomorphic to the additive part of the \([1,2)\)-truncated de Rham complex of \({\mathcal L}X\). The quasi-isomorphism arises from the transgression map on de Rham complexes and follows from a more general result about the full de Rham complexes of \(X\) and \({\mathcal L}X\). To obtain the result, the authors extend the notion of formal loops to super-manifolds. A thorough discussion of super-schemes is included. For a super-scheme of finite type, the formal loop space is a super-ind-scheme. In particular, the de Rham spectrum \({\mathcal S}X\) of \(X\) is a super-manifold, and so one can consider the loop space \({\mathcal L}{\mathcal S}X\). A crucial role is also played by the double spectrum \({\mathcal S}{\mathcal S}X\) which admits an action of the group super-scheme \(SL_{1|2}\). The authors define an \(N = 2\) supersymmetric complex to be a super-vector space \(V\) with the action of \(SL_{1|2}\). The super structure leads to a bigrading and operators which make \(V\) into a double complex. A key result is on the structure of such a complex when it is concentrated in the first quadrant.