Kapustin–Rozansky's Hochschild cohomology conjecture for Lagrangian intersections

At least 16 years old · documented by

Let XX be a smooth algebraic symplectic variety, and let Y,Z⊂XY,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 Tor⁡∙OX(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))≅Tor⁡∙OX(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 Tor⁡∙OX(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.

References

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.