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

At least 14 years old · documented by

Let MM be a conical symplectic manifold with support Lagrangian Λ⊂M\Lambda\subset M. For each conical open subset U⊂MU\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α1∩⋯∩Uα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.

References

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.