Algèbre et opérade : cohomologie, homotopie et dualité de Koszul

Using the Koszul duality theory of operads, we make the André-Quillen cohomology of algebras over an operad explicit. This cohomology theory is represented by a chain complex: the cotangent complex. We provide criteria for the André-Quillen cohomology theory to be an Ext-functor. In particular, this is the case for algebras over cofibrant operads and this gives a new stable homotopy property for these algebras. Then we generalize the Koszul duality theory of associative algebras in two independant directions. On the one hand, we extend the Koszul duality theory to non necessarily augmented operads in order to treat algebras with unit. The notion of curvature appears to encode the default of augmentation. As a corollary, we obtain homotopical et cohomological theories for unital associative algebras or unital and counital Frobenius algebras. We make the case of unital associative algebras explicit. On the other hand, we generalize the Koszul duality theory to algebras over an operad. To do this, we show that the cotangent complex provides the good generalization of the Koszul complex.Nous explicitons la cohomologie d'André-Quillen des algèbres sur une opérade à l'aide de la dualité de Koszul des opérades. Cette cohomologie est représentée par le complexe cotangent. Nous donnons des critères assurant que cette cohomologie s'écrit en termes de foncteur Ext. En particulier, c'est le cas des algèbres sur des opérades cofibrantes, ce qui fournit une nouvelle propriété de stabilité homotopique de ces algèbres. Nous généralisons ensuite la dualité de Koszul des algèbres associatives dans deux directions indépendantes. D'un côté, nous étendons la dualité de Koszul aux opérades non nécessairement augmentées de façon à étudier les algèbres unitaires. La notion de courbure apparaît pour coder le défaut d'augmentation. Nous obtenons ainsi les théories homotopiques et cohomologiques des algèbres associatives unitaires ou des algèbres de Frobenius avec unité et counité. Nous détaillons le cas des algèbres associatives unitaires. D'un autre côté, nous généralisons la dualité de Koszul aux algèbres sur une opérade. Nous montrons pour cela que le complexe cotangent est la bonne généralisation du complexe de Koszul