Stasheff polytopes, introduced by Stasheff in his study of -spaces, are linked to associativity. The direct sum of their cellular complexes is the underlying complex of the operad which describes homotopy associative algebras. In particular, there exists a quasi-isomorphism .
Here, we define on the direct sum of their dual cellular complexes the structure of a differential graded operad. This construction extends the dendriform operad of Loday, which corresponds to the vertices of the polytopes. We also define the structure of a differential graded operad on the direct sum of the dual cellular complexes of the hypercubes. We define a quasi-isomorphism from to each of these operads.
We also define non-differential variants of the two preceding operads and a morphism from to each of these operads. We show that the free algebras have a coproduct which turns them into bialgebras.
RÉSUMÉ. Les polytopes de Stasheff, introduits pour l'étude des -espaces, sont liés à l'associativité. La somme directe de leurs complexes cellulaires forme le complexe sous-jacent à l'opérade qui décrit les algèbres associatives à homotopie près. En particulier, il existe un quasi-isomorphisme .
Ici, on munit la somme directe des duaux de leurs complexes cellulaires d'une structure d'opérade différentielle graduée. Cette construction généralise l'opérade des algèbres dendriformes de Loday, qui correspond aux sommets des polytopes. On munit aussi la somme directe des duaux des complexes cellulaires des hypercubes d'une structure d'opérade différentielle graduée. On définit un quasi-isomorphisme de dans chacune de ces deux opérades.
On construit également des variantes non différentielles des deux opérades précédentes. On définit un morphisme de dans chacune de ces opérades et on montre que les algèbres libres sont munies d'un coproduit coassociatif qui en fait des bigèbres.
Nous démontrons, dans cette note, une inégalité de type Poincaré pour un ou plusieurs champs de vecteurs , et des fonctions régulières à support contenu dans un voisinage d'une hypersurface , sous une hypothèse naturelle de contact entre et la famille . La constante intervenant dans cette inégalité est précisément reliée à l'épaisseur du voisinage autour de et à l'ordre du contact entre et .