Description

Nous définissons et étudions les catégories dérivées de la première espèce pour les dg-algèbres et les A(...)-algèbres à courbure sur un anneau pro-Artinien local où les éléments de courbure sont divisibles par l'idéal maximal de l'anneau local. Nous développons la théorie de la dualité de Koszul dans ce cadre et déduisons des généralisations au cas de la courbure faible des résultats classiques sur les Aoo-modules. Dans tout ce mémoire, nous nous servons systématiquement du formalisme des contramodules et comodules sur un anneau topologique pro-Artinien. Notre motivation vient de la théorie de Floer-Fukaya.

We define and study the derived categories of the first kind for curved DG-and A(...)-algebras complete over a pro-Artinian local ring with the curvature elements divisible by the maximal ideal of the local ring. We develop the Koszul duality theory in this setting and deduce the generalizations of the conventional results about Aoo-modules to the weakly curved case. The formalism of contramodules and comodules over pro-Artinian topological rings is used throughout the memoir. Our motivation comes from the Floer-Fukaya theory.