Construction de certaines opérades et bigèbres associées aux polytopes de Stasheff et hypercubes

Stasheff polytopes, introduced by Stasheff in his study of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H"> <mml:semantics> <mml:mi>H</mml:mi> <mml:annotation encoding="application/x-tex">H</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-spaces, are linked to associativity. The direct sum of their cellular complexes is the underlying complex of the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A Subscript normal infinity"> <mml:semantics> <mml:msub> <mml:mi>A</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="normal">∞</mml:mi> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">A_{\infty }</mml:annotation> </mml:semantics> </mml:math> </inline-formula> operad which describes homotopy associative algebras. In particular, there exists a quasi-isomorphism <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A Subscript normal infinity Baseline right-arrow upper A s"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>A</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="normal">∞</mml:mi> </mml:mrow> </mml:msub> <mml:mo stretchy="false">→</mml:mo> <mml:mi>As</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">A_{\infty }\rightarrow \operatorname {As}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. 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 <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A s"> <mml:semantics> <mml:mi>As</mml:mi> <mml:annotation encoding="application/x-tex">\operatorname {As}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> to each of these operads. We also define non-differential variants of the two preceding operads and a morphism from <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A s"> <mml:semantics> <mml:mi>As</mml:mi> <mml:annotation encoding="application/x-tex">\operatorname {As}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> to each of these operads. We show that the free algebras have a coproduct which turns them into bialgebras. <sc>Résumé</sc>. Les polytopes de Stasheff, introduits pour l’étude des <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper H"> <mml:semantics> <mml:mi>H</mml:mi> <mml:annotation encoding="application/x-tex">H</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-espaces, sont liés à l’associativité. La somme directe de leurs complexes cellulaires forme le complexe sous-jacent à l’opérade <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A Subscript normal infinity"> <mml:semantics> <mml:msub> <mml:mi>A</mml:mi> <mml:mi mathvariant="normal">∞</mml:mi> </mml:msub> <mml:annotation encoding="application/x-tex">A_\infty</mml:annotation> </mml:semantics> </mml:math> </inline-formula> qui décrit les algèbres associatives à homotopie près. En particulier, il existe un quasi-isomorphisme <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A Subscript normal infinity Baseline right-arrow upper A s"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>A</mml:mi> <mml:mi mathvariant="normal">∞</mml:mi> </mml:msub> <mml:mo stretchy="false">→</mml:mo> <mml:mi>As</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">A_\infty \to \operatorname {As}</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. 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 <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A s"> <mml:semantics> <mml:mi>As</mml:mi> <mml:annotation encoding="application/x-tex">\operatorname {As}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> 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 <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper A s"> <mml:semantics> <mml:mi>As</mml:mi> <mml:annotation encoding="application/x-tex">\operatorname {As}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> 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.

Topic: Advanced Combinatorial Mathematics
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences