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

Uniqueness of toroidal generators up to shift

Prove that within any toroidal subcategory F(X)_{λ,Q} of the monotone Fukaya category—defined as a summand split-generated by a monotone Lagrangian torus equipped with an isolated critical point of its superpotential—any two toroidal generators are quasi-isomorphic as objects of F(X)_{λ,Q}, up to a shift.

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

Background

The paper defines a toroidal subcategory as a summand of the monotone Fukaya category split-generated by a monotone Lagrangian torus equipped with an isolated critical point of its superpotential, with such generators called toroidal generators (Definition 1.7). Using matrix factorization techniques (Theorem C) and an automatic generation result (Theorem D), the author shows that any non-zero object split-generates a toroidal subcategory.

Despite this generation property, the fine classification of generators remains open: the conjecture asks whether any two toroidal generators for the same toroidal subcategory are actually equivalent up to a shift. The paper proves a partial result (Theorem E) showing a stable isomorphism after taking direct sums with 2{n-1} copies in degrees 0 and 1, but the exact quasi-isomorphism up to shift is not established.

References

We conjecture that any two toroidal generators of a toroidal subcategory are quasi-isomorphic, up to a shift. We have not been able to prove this, but we have the following partial result.

Quantum cohomology and Fukaya summands from monotone Lagrangian tori (2409.07922 - Smith, 12 Sep 2024) in Introduction, Subsection 1.1 (Statement of results), immediately after Main Theorem D and before Main Theorem E