Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Note aux C R Acad Sci Paris acceptee Algebra Algebre

De
6 pages
Note aux C. R. Acad. Sci. Paris (acceptee) Algebra / Algebre Koszul Duality for PROPs Bruno Vallette1 Abstract The notion of PROP models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. We prove a Koszul duality theory for PROPs generalizing the one for associative algebras and for operads. Resume Dualite de Koszul des PROPs. La notion de PROP modelise les operations a plusieurs entrees et plusieurs sorties, agissant sur certaines structures algebriques comme les bigebres et les bigebres de Lie. Nous montrons une theorie de dualite de Koszul pour les PROPs qui generalise celle des algebres associatives et des operades. Version franc¸aise abregee. On travaille sur un corps de caracteristique nulle. Suivant J.-P. Serre dans [S], on regroupe sous le terme de gebre differentes structures algebriques comme les algebres, les cogebres et les bigebres. L'ensemble P(m, n) des operations a n entrees et m sorties agissant sur un certain type de gebres est un module a gauche sur le groupe symetrique Sm et a droite sur Sn. Ces deux actions sont compatibles. On appelle S-bimodule toute collection (P(m, n))m, n?N? de tels modules. Nous definissons un produit dans la categorie des S-bimodules qui represente les compositions d'operations a plusieurs entrees et plusieurs sorties.

  • dual coprop

  • uu uu

  • koszul duality

  • ww ww

  • pp pp

  • bb bb

  • koszul dual

  • hh hh

  • nn nn

  • gg gg


Voir plus Voir moins
NoteauxC.R.Acad.Sci.Paris(acceptee) Algebra /rbeelgA
Koszul Duality for PROPs
1 Bruno Vallette
Abstract The notion of PROP models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. We prove a Koszul duality theory for PROPs generalizing the one for associative algebras and for operads. Resume DualitedeKoszuldesPROPs.rseupasisularenoitdlePOomseposileLanodePRtion entreesetplusieurssorties,agissantsurcertainesstructuresalgebriquescommelesbigebresetles bigebresdeLie.NousmontronsunetheoriededualitedeKoszulpourlesPROPsquigeneralise celledesalgebresassociativesetdesoperades.
Versionfrancaiseabregee.
Ontravaillesuruncorpsdecaracteristiquenulle.
Suivant J.-P. Serre dans [S], on regroupe sous le terme deerbeg iductrretuenersstebrelgsasueiq commelesalgebres,lescogebresetlesbigebres.
L’ensembleP(m, ntaresnoiade)psoneesetertnmsorties agissant sur un certain type de gebresestunmoduleagauchesurlegroupesymetriqueSmet a droite surSn. Cesdeux actions sont compatibles. On appelleS-bimoduletoute collection (P(m, n))m, nNesdis nesulou.Ntelemsdosnosd  un produitiedeegorcatnslaadsStaoisnauqrilusemidob-omscleteenesreprepodsnoitisop plusieursentreesetplusieurssorties.Ceproduitestbasesurlesgraphesdiriges(cf.Figure 1).
 On de nitunPROPcomme unS-bimodule muni d’une compositionPPP →associative. On donne les exemples du PROPBiLie(eiLesdreebgbiesdcf.[D]), du PROPBiLie0des bigebresdeLiecombinatoires(cf.[C]) et du PROPInfBisbde nitesimalesgierbseedoHfpni (cf.appelle[A]). OnPebre-g, tout module sur le PROPPruevselgeterbosed ensietsidonO.rn classiques. Parexemple, uneBiLieg-nemetcaxetseerbeebredeLitunebig.e
Nousetendonslesde nitionsdebaretcobarconstructionsdesalgebresetdesoperadesaux PROPs,etnousgeneralisonsleslemmesdecomparaisondeB.Fresse[F]auxPROPs.Remarquons quelesdemonstrationsoperadiquesnesontpasreconductiblesici,carcesdernieresreposentsur lesproprietescombinatoiresdesarbres.
1 InstitutdeRechercheMathematiqueAvancee,UniversiteLouisPasteuretCNRS,7,RueReneDescartes,67084 Strasbourg Cedex, France. E-mail :vallette@math.u-strasbg.fr URL :http://www-irma.u-strasbg.fr/vallette 1
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin