A proof of Kontsevich-Soibelman conjecture

TL;DR

This paper proves the Kontsevich-Soibelman conjecture that $A_{ abla}$-pre-categories, like Fukaya categories, can be replaced by quasi-equivalent $A_{ abla}$-categories with strict identities over a field, enabling more structured categorical frameworks.

Contribution

It establishes the conjecture for small $A_{ abla}$-(pre-)categories over fields, allowing the replacement of Fukaya $A_{ abla}$-pre-categories with actual $A_{ abla}$-categories.

Findings

Proves the Kontsevich-Soibelman conjecture for small categories over fields.

Provides a construction of the pre-triangulated envelope within $A_{ abla}$-pre-categories.

Shows invariance of the pre-triangulated envelope under quasi-equivalences.

Abstract

It is well known that "Fukaya category" is in fact an $A_{\infty}$-pre-category in sense of Kontsevich and Soibelman \cite{KS}. The reason is that in general the morphism spaces are defined only for transversal pairs of Lagrangians, and higher products are defined only for transversal sequences of Lagrangians. In \cite{KS} it is conjectured that for any graded commutative ring $k,$ quasi-equivalence classes of $A_{\infty}$-pre-categories over $k$ are in bijection with quasi-equivalence classes of $A_{\infty}$-categories over $k$ with strict (or weak) identity morphisms. In this paper we prove this conjecture for essentially small $A_{\infty}$-(pre-)categories, in the case when $k$ is a field. In particular, it follows that we can replace Fukaya $A_{\infty}$-pre-category with a quasi-equivalent actual $A_{\infty}$-category. We also present natural construction of pre-triangulated envelope in the framework of $A_{\infty}$-pre-categories. We prove its invariance under quasi-equivalences.