Topological strings in generalized complex space
Vasily Pestun
TL;DR
This work constructs a two-dimensional topological string theory on a generalized Calabi–Yau target by deriving a BV–AKSZ formalism based on a single generalized complex structure $\mathcal{J}$ and a pure spinor $\rho$. The model's observables, extended moduli space, and deformation theory are encoded in a differential BV algebra $\mathcal{A}=C^{\infty}(\Pi L)$ with $Q=\bar{\partial}$ and $\Delta=\partial$, tied together by a trace defined from $\rho$; a symplectic realization $M$ ensures a nondegenerate BV bracket where necessary. In the closed sector, the theory yields a Frobenius-manifold structure on the extended moduli space, which in complex dimension three becomes a special Kähler manifold, with three-point functions governed by a generating potential. In the open sector, deforming the B-model by a holomorphic Poisson bivector $\beta^{ij}$ leads, through disk perturbation theory, to a holomorphic Kontsevich $*$-product on boundary observables. The framework unifies the A- and B-model viewpoints under generalized complex geometry, extends topological string theory to generalized CY spaces, and connects deformation quantization with open-string algebras in a BV–AKSZ setting.
Abstract
A two-dimensional topological sigma-model on a generalized Calabi-Yau target space $X$ is defined. The model is constructed in Batalin-Vilkovisky formalism using only a generalized complex structure $J$ and a pure spinor $ρ$ on $X$. In the present construction the algebra of $Q$-transformations automatically closes off-shell, the model transparently depends only on $J$, the algebra of observables and correlation functions for topologically trivial maps in genus zero are easily defined. The extended moduli space appears naturally. The familiar action of the twisted N=2 CFT can be recovered after a gauge fixing. In the open case, we consider an example of generalized deformation of complex structure by a holomorphic Poisson bivector $β$ and recover holomorphic noncommutative Kontsevich $*$-product.
