ScalingStacks

4.4 Example: directed A ∞ -pre-categories [03RI]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

4.4 Example: directed A∞A_{\infty}-pre-categories

There is a useful special case of the notion of A∞A_{\infty}-pre-category (independently a similar notion was suggested in [Se]).

Definition 15

A directed A∞A_{\infty}-pre-category is an A∞A_{\infty}-pre-category such that

a) There is bijection of the class of objects and the set integer numbers: 𝒞≃𝐙{\cal C}\simeq{{\bf Z}}. We denote by XiX_{i} the object corresponding to i∈𝐙i\in{\bf Z}.

b) Transversal sequences are (Xi1,…,Xin),i1<i2<…<in(X_{i_{1}},...,X_{i_{n}}),i_{1}<i_{2}<...<i_{n}.

The extension property is equivalent to the following one: for any object XiX_{i} there are exist objects Xj,j<iX_{j},j<i and Xm,m>iX_{m},m>i which are quasi-isomorphic to XX. Then one can formulate the following version of the previous conjecture.

Conjecture 5

Equivalence classes of directed A∞A_{\infty}-pre-categories are in one-to-one correspondence with the equivalences classes of A∞A_{\infty}-categories with strict identity morphisms and countable class of objects.

Having an A∞A_{\infty}-category 𝒞{\cal C} with strict identity morphisms, and countable class of objects, one can construct an infinite sequence of objects (Xi)i∈𝐙(X_{i})_{i\in{{\bf Z}}} such that each objects appears infinitely many times for positive and negative ii. Then a directed A∞A_{\infty}-pre-category 𝒞′{\cal C}^{\prime} is defined by setting H​o​m𝒞′​(Xi,Xj)=H​o​m𝒞​(Xi,Xj)Hom_{{\cal C}^{\prime}}(X_{i},X_{j})=Hom_{{\cal C}}(X_{i},X_{j}) for i<ji<j. All other H​o​m′​sHom^{\prime}s are not defined.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.