Non-commutative cluster Lagrangians

TL;DR

This paper introduces a new framework for non-commutative cluster Lagrangians using Q-diagrams, extending classical symplectic geometry concepts to singular Lagrangians in threefolds with applications to dg-sheaves.

Contribution

It generalizes the notion of K_2-Lagrangians by incorporating singular Lagrangians derived from Q-diagrams, providing a cluster description in a non-commutative setting.

Findings

Q-diagrams are introduced as 3D analogs of bipartite ribbon graphs.

The boundary of the Lagrangian, dL, forms a singular Lagrangian with a cluster structure.

The framework applies to stacks of dg-sheaves with microlocal support in the constructed Lagrangians.

Abstract

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.