Generalized twistor spaces for hyperkähler manifolds

Let M be a hyperkaehler manifold. The S2-family of complex structures compatible with the hyperkaehler metric can be assembled into a single complex structure on Z = M × S2; the resulting complex manifold is known as the twistor space of M. We describe the analogous construction for generalized complex structures in the sense of Hitchin. Specifically, we exhibit a natural S2 × S2-family of generalized complex structures compatible with the hyperkaehler metric, and assemble them into a single generalized complex structure on X = M × S2 × S2. We call the resulting generalized complex manifold the generalized twistor space of M

Fibrations on four-folds with trivial canonical bundles

Four-folds with trivial canonical bundles are divided into six classes according to their holonomy group. We consider examples that are fibred by abelian surfaces over the projective plane. We construct such fibrations in five of the six classes, and prove that there is no such fibration in the sixth class. We classify all such fibrations whose generic fibre is the Jacobian of a genus two curve.Comment: 28 page

On the AKSZ formulation of the Rozansky-Witten theory and beyond

Using the AKSZ formalism, we construct the Batalin-Vilkovisky master action for the Rozansky-Witten model, which can be defined for any complex manifold with a closed (2,0)-form. We also construct the holomorphic version of Rozansky-Witten theory defined over Calabi-Yau 3-fold.Comment: 12 page

Lagrangian fibrations of holomorphic-symplectic varieties of K3^[n]-type

Let X be a compact Kahler holomorphic-symplectic manifold, which is deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface. Let L be a nef line-bundle on X, such that the 2n-th power of c_1(L) vanishes and c_1(L) is primitive. Assume that the two dimensional subspace H^{2,0}(X) + H^{0,2}(X), of the second cohomology of X with complex coefficients, intersects trivially the integral cohomology. We prove that the linear system of L is base point free and it induces a Lagrangian fibration on X. In particular, the line-bundle L is effective. A determination of the semi-group of effective divisor classes on X follows, when X is projective. For a generic such pair (X,L), not necessarily projective, we show that X is bimeromorphic to a Tate-Shafarevich twist of a moduli space of stable torsion sheaves, each with pure one dimensional support, on a projective K3 surface.Comment: 34 pages. v3: Reference [Mat5] and Remark 1.8 added. Incorporated improvement to the exposition and corrected typos according to the referees suggestions. To appear in the proceedings of the conference Algebraic and Complex Geometry, Hannover 201

Holomorphic symplectic geometry: a problem list

A list of open problems on holomorphic symplectic, contact and Poisson manifolds