Séminaire d'Homotopie et Géométrie Algébrique

Koszulité dans une famille de propérades

par M. Silvère Nédélec

Europe/Paris
IMT 1R2 207 (Salle Pellos)

IMT 1R2 207

Salle Pellos

Description

Pour les opérades, des théories de réécritures nous permettent d'étudier les opérades et leur koszulité, mais pour les propérades, nous n'avons pas encore de telle théorie. Le but de cet exposé est d'étudier le cas particulier d'une famille de propérades à paramètres avec pour générateurs un produit associatif et un coproduit coassociatif, et voir dans ce cas si la confluence d'une propérade est équivalente à sa koszulité. L'implication directe est assez simple comme la plupart des propérades confluentes sont déjà connues dans la littérature, mais pour l'équivalence, nous avons besoin d'assistance informatique via Sagemath pour calculer les dimensions de certaines propérades libres et d'idéaux propéradiques.