Astérisque 320. Paris: Société Mathématique de France (ISBN 978-2-85629-257-0/pbk). ix, 116 p. EUR 28.00; $ 42.00 (2008).
The author studies categories of generalized bialgebras defined by triples , where is an operad, which collects operations governing the multiplicative structure, is another operad, which collects operations governing the comultiplicative structure, and is a distribution law governing the compatibility relation between the multiplicative and the comultiplicative structure of our category of bialgebras. Intituitively, the distribution law is a rewriting rule which changes any composite
of a multiplicative operation followed by a comultiplicative operation into a sum of composites
where each is an operation of the operad , each is an operation of , and the map is a tensor permutation.
The distribution law is generally assumed to preserve operadic composition structures on both sides. This axiom implies that is determined by its action on generating operations whenever the operads and are defined by a presentation by generators and relations. In all examples, the author implicitly uses this observation and the preservation of composition structures. Nevertheless his main results hold under slightly less rigid assumptions. The reader is referred to the work of T. F. Fox and M. Markl [Contemp. Math. 202, 167–205 (1997; Zbl 0866.18008)] for a full account of the axioms of distribution laws in the context of operads.
The usual categories of biassociative bialgebras (cocommutative or not), as well as the other standard example of Lie bialgebras, fit the setting of operads in distribution. In the usual example of biassociative bialgebras, we take two copies of the associative operad , the operad defined by a generating operation such that , and the distribution law is determined by the identity , where (respectively, ) refers to the copy in (respectively, ) of the generating operation and the permutation is the transposition of . The author deals with a non-unital version of this structure. Many new examples of operads in distribution have been discovered by the author and his coworkers. Among others, we have an exotic distribution law on the associative operad giving rise to a new category of biassociative bialgebras [J.-L. Loday and M. Ronco, J. Reine Angew. Math. 592, 123–155 (2006; Zbl 1096.16019)]. Many such examples are reviewed in the book.
The main purpose of the book under review is to prove analogues of the classical Poincaré-Birkhoff-Witt and Milnor-Moore theorems in the context of bialgebras over operads in distribution. The author gives a conceptual setting, unifying many cases addressed in the literature, in which such theorems hold.
First of all, we have to define an analogue of the primitive part of bialgebras in the context of operads in distribution. The operad (like ) is supposed to vanish in arity 0. This convention amounts to considering non-unital (co)algebras. The author also assumes that (and is spanned in arity 1 by the operadic unit, the fixed element of the operad which represents the identity operation on the associated category of algebras. Then he defines the primitive part of a --bialgebra as the subspace of elements such that , , . He proves that is an algebra over an operad , the primitive operad, naturally associated to the triple .
The primitive operad forms naturally a suboperad of and we have a functor , from the category of -algebras to the category of -algebras, since any -algebra inherits an action of by restriction of structure. This restriction functor admits a left adjoint mapping a -algebra to an associated enveloping -algebra . The author proves that inherits a natural --bialgebra structure.
The author assumes that the distribution law yields a -coalgebra structure on the free algebra associated to any vector space . This requirement amounts to a compatibility relation between the distribution law and operadic composites which gives the minimal setting for the author’s structure results. The standard axioms of operads in distribution give a stronger compatibility relation and are not fully necessary for this purpose.
We have a natural morphism of -coalgebras induced by the projection , where is the cofree -coalgebra cogenerated by . In the case where the map is an iso, the author obtains a rigidity theorem, asserting that the primitive operad is the unit operad , the operad associated to the category of vector spaces, and that any connected --bialgebra is isomorphic to both the free -algebra and the cofree -coalgebra on its primitive part . In the case where the map is a split epi in the category of -coalgebras, the author obtains a Poincaré-Birkhoff-Witt theorem, asserting that the enveloping -algebra of a -algebra is a cofree -coalgebra over its primitive part , and a Milnor-Moore theorem, asserting that the functors and define inverse equivalences of categories between the category of -algebras and the category of connected --bialgebras. In this situation, the author says that the operads form a good triple of operads. In both cases, the arguments require to take a field of characteristic zero as ground ring.
The classical Poincaré-Birkhoff-Witt and Milnor-Moore theorems correspond to the instance of a good triple formed by the commutative operad , the associative operad , and the Lie operad . The author also observes that the classical Hopf-Borel theorem, which gives the structure of commutative cocommutative bialgebras, corresponds to the case of the rigidity theorem. The exotic category of biassociative bialgebras mentioned at the beginning of this review gives another instance of a category associated to operads in distribution for which the isomorphism requirement, and hence the rigidity theorem, holds.
To obtain his results, the author considers a decomposition into components of homogeneous weight of the composite map
where is yielded by the -coalgebra structure of , the linear map is yielded by the -algebra structure, and is a fixed section of the morphism . The crux of his arguments relies on the observation that the infinite composite
induces a retraction onto .
This proof is similar to an argument line that Frédéric Patras discovered in his thesis [Homothéties Simpliciales, Thèse de Doctorat, Université Paris 7 (1992)] in the context of classical cocommutative Hopf algebras – see notably F. Patras’s proof of the classical Poincaré-Birkhoff-Witt and Milnor-Moore theorems in [Ann. Inst. Fourier 43, No. 4, 1067–1087 (1993; Zbl 0795.16028)]. The map is a generalization, in the context of operads, of the eulerian idempotent used by Patras. The origin of this idempotent goes back to applications of K.-T. Chen’s iterated integrals to the Campbell-Baker-Hausdorff formula [Ann. Math. (2) 65, 163–178 (1957; Zbl 0077.25301)].
The first part of the book is an informal introduction to algebraic applications of the theory of operads. The generalized rigidity, Poincaré-Birkhoff-Witt, and Milnor-More theorems are proved in the second part. The third part is an outlook for applications and variants of these main results. Parts 4 and 5 give an overall review of examples occuring in the literature.
The book includes a wide bibliography.