Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I.

Maxim Kontsevich, Yan Soibelman

We develop geometric approach to A-infinity algebras and A-infinitycategories based on the notion of formal scheme in the category of gradedvector spaces. Geometric approach clarifies several questions, e.g. the notionof homological unit or A-infinity structure on A-infinity functors. We discussHochschild complexes of A-infinity algebras from geometric point of view. Thepaper contains homological versions of the notions of properness and smoothnessof projective varieties as well as the non-commutative version of Hodge-to-deRham degeneration conjecture. We also discuss a generalization of Deligne’sconjecture which includes both Hochschild chains and cochains. We conclude thepaper with the description of an action of the PROP of singular chains of thetopological PROP of 2-dimensional surfaces on the Hochschild chain complex ofan A-infinity algebra with the scalar product (this action is more or lessequivalent to the structure of 2-dimensional Topological Field Theoryassociated with an “abstract” Calabi-Yau manifold).