Nadler–Tanaka's cosheaf conjecture for local Lagrangian cobordism categories

Let MM be a conical symplectic manifold with support Lagrangian ΛM\Lambda\subset M. For each conical open subset UMU\subset M, write \LagUΛ(U)\Lag_{U\cap\Lambda}(U) for the corresponding stable \infty-category, and let StCat\operatorname{StCat} be the \infty-category of stable \infty-categories.

Nadler–Tanaka's cosheaf conjecture. The functor

Open+(M)StCat,U\LagUΛ(U)\operatorname{Open}^+(M)\longrightarrow\operatorname{StCat},\qquad U\longmapsto\Lag_{U\cap\Lambda}(U)

forms a cosheaf. Thus, for every finite cover αIUαM\coprod_{\alpha\in I}U_\alpha\to M by conical open subsets, \LagΛ(M)\Lag_\Lambda(M) is the colimit of the associated Čech simplicial stable \infty-category whose kk-simplices are

αIk\LagUαΛ(Uα),\coprod_{\underline\alpha\in I^k}\Lag_{U_{\underline\alpha}\cap\Lambda}(U_{\underline\alpha}),

where Uα=Uα1UαkU_{\underline\alpha}=U_{\alpha_1}\cap\cdots\cap U_{\alpha_k}.

A cosheaf property would provide a local-to-global construction of \LagΛ(M)\Lag_\Lambda(M), avoiding the long-distance difficulties that obstruct analogous results for partially wrapped Fukaya categories. The source states this as conjectural.

Sources & referencesView supporting material

Primary source

David Nadler and Hiro Lee Tanaka, “A stable infinity-category of Lagrangian cobordisms”, arXiv:1109.4835 (2020).

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.