Gerstenhaber-Batalin-Vilkoviski structures on coisotropic intersections

Abstract

Let Y,Z be a pair of smooth coisotropic subvarieties in a smooth algebraic Poisson variety X. We show that any data of first order deformation of the structure sheaf OX to a sheaf of noncommutative algebras and of the sheaves OY and OZ to sheaves of right and left modules over the deformed algebra, respectively, gives rise to a Batalin-Vilkoviski algebra structure on the Tor-sheaf ForO·x (OY ,OZ). The induced Gerstenhaber bracket on the Tor-sheaf turns out to be canonically defined; it is independent of the choices of deformations involved. There are similar results for Ext-sheaves as well. Our construction is motivated by, and is closely related to, a result of Behrend-Fantechi [2], who studied intersections of Lagrangian submanifolds in a symplectic manifold.