SMF

Algèbre des descentes et cogroupes dans les algèbres sur une opérade

Descent algebra and cogroups in algebras over an operad

Benoît Fresse
Algèbre des descentes et cogroupes dans les algèbres sur une opérade
  • Année : 1998
  • Fascicule : 3
  • Tome : 126
  • Format : Électronique
  • Langue de l'ouvrage :
    Français
  • Class. Math. : 16~W~0, 18~C, 05~E~10
  • Pages : 407-433
  • DOI : 10.24033/bsmf.2331
On considère l'algèbre des descentes graduée complétée $\Sigma ^{\scriptscriptstyle \wedge }=\prod _n \Sigma _n$ associée aux groupes symétriques $S_n$. Les idempotents eulériens $e^n\in \Sigma ^{\scriptscriptstyle \wedge }$ forment une famille d'idempotents orthogonaux dans $\Sigma ^{\scriptscriptstyle \wedge }$. On fixe une opérade algébrique $\mathcal P$ et on travaille dans la catégorie des $\mathcal P$-algèbres graduées. Soit $R$ une $\mathcal P$-algèbre graduée connexe munie d'une structure de cogroupe. On montre que $\Sigma ^{\scriptscriptstyle \wedge }$ agit de façon naturelle sur $R$ ; par suite, on obtient une décomposition naturelle $R=\oplus _n e^nR$. On montre que la composante $e^1R$ engendre $R$ librement comme $\mathcal P$-algèbre. Dans le cas des algèbres commutatives $\mathcal {P}=\mathcal {C}om$, on retrouve un théorème de structure ique sur les algèbres de Hopf commutatives.
We consider the complete graded descent algebra $\Sigma ^{\scriptscriptstyle \wedge }=\prod _n \Sigma _n$ which is associated to the symmetric group $S_n$. The eulerian idempotents $e^n\in \Sigma ^{\scriptscriptstyle \wedge }$ form a sequence of orthogonal idempotents in $\Sigma ^{\scriptscriptstyle \wedge }$. Fix an algebraic operad $\mathcal P$ ; we work in the category of graded $\mathcal P$-algebras. Let $R$ be a connected graded $\mathcal P$-algebra equipped with a cogroup structure. We show that $R$ supports a canonical $\Sigma ^{\scriptscriptstyle \wedge }$-action. As a consequence, we obtain a decomposition $R=\oplus _n e^nR$. We show that the component $e^1R$ generates $R$ freely as an $\mathcal P$-algebra. In the case of commutative algebras $\mathcal {P}=\mathcal {C}om$, we recover a ical structure theorem on commutative Hopf algebras.
cogroupe, algèbre des descentes de Solomon, opérade


Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...