Kapustin–Rozansky's Hochschild cohomology conjecture for Lagrangian intersections

Let XX be a smooth algebraic symplectic variety, and let Y,ZXY,Z\subset X be smooth Lagrangian submanifolds. Write H ⁣H(C)H\!H^{\bullet}(\mathscr{C}) for the Hochschild cohomology of a triangulated category C\mathscr{C}, and let CatX(Y,Z)\mathscr{C}at_X(Y,Z) denote the triangulated category associated with the pair (Y,Z)(Y,Z). The groups TorOX(OY,OZ)\operatorname{Tor}^{\mathcal{O}_X}_{\bullet}(\mathcal{O}_Y,\mathcal{O}_Z) carry the canonical Gerstenhaber bracket referred to in the source. Kapustin–Rozansky's conjecture. There is an associated triangulated category CatX(Y,Z)\mathscr{C}at_X(Y,Z) such that

H ⁣H(CatX(Y,Z))TorOX(OY,OZ).H\!H^{\bullet}(\mathscr{C}at_X(Y,Z))\cong \operatorname{Tor}^{\mathcal{O}_X}_{\bullet}(\mathcal{O}_Y,\mathcal{O}_Z).

Moreover, under this isomorphism, the standard Gerstenhaber bracket on Hochschild cohomology agrees with the canonical Gerstenhaber bracket on TorOX(OY,OZ)\operatorname{Tor}^{\mathcal{O}_X}_{\bullet}(\mathcal{O}_Y,\mathcal{O}_Z). The claim is attributed to A. Kapustin and L. Rozansky and concerns the categorical and Gerstenhaber-algebra structure expected from intersections of Lagrangian submanifolds. The supplied text does not establish the assertion or provide evidence that it has been resolved, so its database status remains open.

Sources & referencesView supporting material

Primary source

Vladimir Baranovsky and Victor Ginzburg, “Gerstenhaber-Batalin-Vilkoviski structures on coisotropic intersections”, arXiv:0907.0037 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.