The wrapped Fukaya category as localization along continuation maps

Let S\mathcal{S} be an abstract wrapped Floer setup, let FSpre\mathcal{F}^{\text{pre}}_{\mathcal{S}} be its pre-wrapped Fukaya AA_\infty-category, let C~\widetilde{C} be the set of continuation maps, and let WPuniv(S),C~\mathcal{W}_{P_{\text{univ}}(\mathcal{S}),\widetilde{C}} denote the associated wrapped Fukaya category. For any AA_\infty-category C\mathcal{C} and suitably defined Fun(FSpre,C)\operatorname{Fun}(\mathcal{F}^{\text{pre}}_{\mathcal{S}},\mathcal{C}), Localization conjecture. the restriction functor

Fun(WPuniv(S),C~,C)Fun(FSpre,C)\operatorname{Fun}(\mathcal{W}_{P_{\text{univ}}(\mathcal{S}),\widetilde{C}},\mathcal{C})\to\operatorname{Fun}(\mathcal{F}^{\text{pre}}_{\mathcal{S}},\mathcal{C})

is fully faithful, and its essential image consists of those functors that send continuation maps to isomorphisms in C\mathcal{C}. This asserts that the wrapped Fukaya category is characterized as the \infty-categorical localization of the pre-wrapped category along continuation maps; the paper states that it gives an affirmative answer to this conjecture.

Sources & referencesView supporting material

Primary source

Hayato Morimura, “On the abstract wrapped Floer setups”, arXiv:2512.22755 (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.