Let $(M,I,J,K,g)$ be a hyperkähler manifold. Then the complex manifold $(M,I)$ is holomorphic symplectic. We prove that for all real $x,y$, with $x^{2}+y^{2}=1$ except countably many, any finite-energy $(xJ+yK)$-holomorphic curve with boundary in a collection of $I$-holomorphic Lagrangians must be constant. By an argument based on the Łojasiewicz inequality, this result holds no matter how the Lagrangians intersect each other. It follows that one can choose perturbations such that the holomorphic polygons of the associated Fukaya category lie in an arbitrarily small neighborhood of the Lagrangians. That is, the Fukaya category is local. We show that holomorphic Lagrangians are tautologically unobstructed. Moreover, the Fukaya $A_{\infty }$ algebra of a holomorphic Lagrangian is formal. Our result also explains why the special Lagrangian condition holds without instanton corrections for holomorphic Lagrangians.

We present a superfield formulation of the chiral de Rham complex (CDR), as introduced by Malikov, Schechtman and Vaintrob in 1999, in the setting of a general smooth manifold, and use it to endow CDR with superconformal structures of geometric origin. Given a Riemannian metric, we construct an N=1 structure on CDR (action of the N=1 super-Virasoro, or Neveu–Schwarz, algebra). If the metric is Kähler, and the manifold Ricci-flat, this is augmented to an N=2 structure. Finally, if the manifold is hyperkähler, we obtain an N=4 structure. The superconformal structures are constructed directly from the Levi-Civita connection. These structures provide an analog for CDR of the extended supersymmetries of nonlinear σ-models.

Let (M,I,J,K) be a compact hyperkähler manifold, , and L a non-trivial holomorphic line bundle on (M,I). Using the quaternionic Dolbeault complex, we prove the following vanishing theorem for holomorphic cohomology of L. If c1(L) lies in the closure of the dual Kähler cone, then Hi(L)=0 for i>n. If c1(L) lies in the opposite cone , then Hi(L)=0 for i<n. Finally, if c1(L) is neither in nor in , then Hi(L)=0 for .