Tours de Postnikov et invariants de Postnikov pour les opérades simpliciales

Nous adaptons la définition des sections de Postnikov et des tours de Postnikov des ensembles simpliciaux aux opérades simpliciales. Nous définissons ensuite des foncteurs de cotroncation afin de filtrer la tour de Postnikov d’une opérade simpliciale par les arités et former ainsi la double tour de Postnikov de cette opérade.

Nous introduisons un nouveau type d’opérade, les Gamma-opérades, où Gamma désigne une opérade dans les groupoïdes. Nous les utilisons pour modéliser l’action de l’opérade groupoïde fondamental d’une opérade simpliciale sur ses groupes d’homotopies et son revêtement universel. Nous munissons la catégorie des Gamma-opérades d’ensembles simpliciaux d’une structure de catégorie modèle. D’autre part, nous montrons que les Gamma-opérades dans la catégorie des groupes abéliens munie de la structure monoïdale induite par la somme directe forment une catégorie abélienne. Cette catégorie abélienne fournit les coefficients pour la cohomologie équivariante opéradique que nous étudions ensuite. Une version relative de cette cohomologie est également étudiée.

Nous définissons alors les invariants de Postnikov d’une opérade simpliciale : ce sont des classes de cohomologie équivariante opéradique qui permettent de reconstruire inductivement et à homotopie près une opérade simpliciale à l’aide de sa double tour. Ce processus de reconstruction est utilisé afin de développer une théorie de l’obstruction pour les opérades simpliciales : on peut étendre un morphisme d’opérades simpliciales le long d’une cofibration si et seulement une suite de classes de cohomologie équivariante opéradique relative définie inductivement est nulle.