Complex hyperkähler structures defined by Donaldson-Thomas invariants (Q830402)

The notion of a Joyce structure, introduced by \textit{T. Bridgeland} [``Geometry from Donaldson-Thomas invariants'', Preprint, \url{arXiv:1912.06504}], is a combination of geometric structures which are expected to exist on the space of stability conditions on a CY3 triangulated category, encoded by the Donaldson-Thomas invariants. The name originates in the work of \textit{D. Joyce} [Geom. Topol. 11, 667--725 (2007; Zbl 1141.14023)]. The original definition in loc.\ cit.\ is rather complicated and given in terms of non-geometric viewpoint. The paper under this review gives a more geometric reformulation of a slightly restricted class, called a strong Joyce structure on a complex manifold \(M\) (Definition 3.3). It consists of a period structure on \(M\), introduced in \S 3.1, and a complex hyperkähler structure on the holomorphic tangent bundle \(X=T M\) satisfying certain compatibility conditions. Associated to it is a locally-defined holomorphic function \(W\) on \(X\) satisfying a system of differential equations (see (1) in \S 1 and (13), (14) in \S 3.2), which is nothing but the Joyce function appearing in the original definition. Moreover, the paper discusses a relation between a quantum deformation of the above-mentioned differential equations and the Moyal quantization of Plebański's heavenly equation. It also includes a brief but valuable review of the original definition of a Joyce structure.