The local systems of categories embedding conjecture

Let MM be a manifold. Let LocSysCat(M)\mathrm{LocSysCat}(M) denote the (,2)(\infty,2)-category of local systems of categories on MM, and let 2Fuk(T[1]M)^{2}\mathrm{Fuk}(\mathrm{T}^{*}[1]M) denote the 22-category associated to the 11-shifted cotangent bundle. Let 2FukM(T[1]M)^{2}\mathrm{Fuk}_{M}(\mathrm{T}^{*}[1]M) be the subcategory whose objects are 11-shifted Lagrangians factoring through the zero section. Local systems of categories embedding conjecture. There is a fully faithful embedding

LocSysCat(M)2Fuk(T[1]M).\mathrm{LocSysCat}(M)\to{}^{2}\mathrm{Fuk}(\mathrm{T}^{*}[1]M).

Its essential image contains the objects arising from symplectic fibrations and is contained in 2FukM(T[1]M)^{2}\mathrm{Fuk}_{M}(\mathrm{T}^{*}[1]M). This is motivated by the expected correspondence between symplectic fibrations and local systems of categories, but the embedding and its essential-image description remain open.

Sources & referencesView supporting material

Primary source

James Pascaleff and Nicolò Sibilla, “Speculations on higher Fukaya categories”, arXiv:2503.20906 (2025).

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.