Non-commutative cluster Lagrangians

The space Loc(m,S) of rank m flat bundles on a closed surface S is K_2-symplectic. A threefold M bounding S gives rise a K_2-Lagrangian in Loc(m,S) given by the flat bundles on S extending to M. We generalize this, replacing the zero section in the cotangent bundle to M by certain singular Lagrangians. First, we introduce Q-diagrams in threefolds. They are collections Q of smooth cooriented surfaces, intersecting transversally everywhere but in a finite set of quadruple crossing points. We require that shifting any surface of the collection from such a point in the direction of its coorientation creates a simplex with the cooriented out faces. The Q-diagrams are 3d analogs of bipartite ribbon graphs. Let L be the Lagrangian in the cotangent bundle to M given by the union of the zero section and the conormal bundles to the cooriented surfaces of Q. Let X(L) be the stack of admissible dg-sheaves on M with the microlocal support in L, whose microlocalization at the conormal bundle to each cooriented surface of Q is a rank one local system. We introduce the boundary dL of L. It is a singular Lagrangian in a symplectic space, providing a symplectic stack X(dL), and a restriction functor from X(L) to X(dL). The image of the latter is Lagrangian. We show that, under mild conditions on Q, this Lagrangian has a cluster description, and so it is a K_2-Lagrangian. It also has a simple description in the non-commutative setting.