Dice Question Streamline Icon: https://streamlinehq.com

Equality of compact and pseudo-perfect Fukaya subcategories for Weinstein manifolds

Determine whether, for any Weinstein symplectic manifold X, the inclusion of categories Fuk_cpt(X) ⊂ Fuk(X)^{pp} is an equality; equivalently, show that every pseudo-perfect object in the wrapped Fukaya category Fuk(X) is represented by a compact exact Lagrangian (possibly with a finite-rank local system or with the appropriate structures for immersed Lagrangians).

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper defines the subcategory Fuk_cpt(X) as the idempotent completion of compact exact Lagrangians (possibly with finite rank local systems, or immersed with Akaho–Joyce structures), and Fuk(X){pp} as the full subcategory of pseudo-perfect objects M for which Hom(T, M) is finite rank for all T. There is a natural inclusion Fuk_cpt(X) ⊂ Fuk(X){pp}.

The author notes that while Fuk(X) is known to be smooth (so pseudo-perfect modules are representable), it remains open whether every pseudo-perfect object is realized by a compact Lagrangian, i.e., whether X has “enough compact Lagrangians.”

References

That is, we have an inclusion $\Fuk_{cpt}(X) \subset \Fuk(X){pp}$. It is expected, but not known, that this inclusion is an equality.

Toric mirror monodromies and Lagrangian spheres (2409.08261 - Shende, 12 Sep 2024) in Introduction