Twisted bi-symplectic structure on Koszul twisted Calabi-Yau algebras (Q2135764)

Recall that a symplectic form is a closed \(2\)-form inducing an isomorphism between the tangent space and the cotangent space. It is natural to ask are there any noncommutative versions of symplectic structures? Here one views an associative not necessarily commutative algebra as the ring of functions on a ``noncommutative space''. \textit{W. Crawley-Boevey} et al. introduce the notion of a bi-symplectic structure in [Adv. Math. 209, No. 1, 274--336 (2007; Zbl 1111.53066)]. Similar to the classical case, a bi-symplectic form is a closed (noncommutative) \(2\)-form which induces an isomorphism between the space of double derivations (noncommutative analog of vector fields) and the space of noncommutative \(1\)-forms. There are two natural extensions of bi-symplectic structures. Namely, the derived extension and the twisted extension. Let \(A\) be an associative algebra. A ``derived'' bi-symplectic structure should induce an isomorphism (up to degree shifting) between \(\mathrm{HH}^\bullet(A,\,A)\), the ``derived'' space of vector fields, and \(\mathrm{HH}_\bullet(A,\,A)\), the ``derived'' space of \(1\)-forms. Let \(\sigma\) be an automorphism of \(A\), a ``twisted'' bi-symplectic structure should induce an isomorphism between the space of double derivations and the space of \(\sigma\)-twisted noncommutative \(1\)-forms. The present paper combines the two extensions described above. Namely, the authors show that if \(A\) is a Koszul twisted Calabi-Yau algebra and its Koszul dual algebra \(A^!\) is a Frobenius algebra, then \(A\) has a derived twisted bi-symplectic structure. As a consequence, there is an isomorphism (up to degree shifting) \[ \mathrm{HH}^\bullet(A,\,A)\,\cong\,\mathrm{HH}_\bullet(A,\,A_\sigma)\,, \] where \(A_\sigma\) denotes the \(A\)-bimodule \(A\) with bimodule structure twisted by the automorphism \(\sigma\). \textit{M. Kontsevich} and \textit{A. L. Rosenberg} [in: The Gelfand Mathematical Seminars, 1996--1999. Dedicated to the memory of Chih-Han Sah. Boston, MA: Birkhäuser. 85--108 (2000; Zbl 1003.14001)] propose a guiding principle in noncommutative geometry. It roughly says that a noncommutative geometric structure on a noncommutative space (an associative algebra) should induce its classical counterpart on the affine schemes of its representations. This principle is generalized to the derived setting by \textit{Y. Berest} et al. [Adv. Math. 245, 625--689 (2013; Zbl 1291.14006)]. After a brief review on the work of Berest et al. [loc. cit.] as well as forms and vector fields on derived quotient stacks, the authors of the present paper prove that the derived twisted bi-symplectic structure on the Koszul twisted Calabi-Yau algebra \(A\) induces a twisted symplectic structure on \(\mathcal{DR}ep_V(A)\), the derived moduli stack of representations of \(A\) in a vector space \(V\). In other words, this induces a (quasi-)isomorphism between the space of vector fields and the space of twisted \(1\)-forms on \(\mathcal{DR}ep_V(A)\).