TY - JOUR

T1 - Symmetrisation of n-operads and compactification of real configuration spaces

AU - Batanin, M. A.

PY - 2007/6/1

Y1 - 2007/6/1

N2 - It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym1 given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym1 is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, ..., one (n - 1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn (A). In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n ≥ 2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension. Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.

AB - It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym1 given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym1 is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, ..., one (n - 1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn (A). In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n ≥ 2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension. Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.

UR - http://www.scopus.com/inward/record.url?scp=33947601412&partnerID=8YFLogxK

U2 - 10.1016/j.aim.2006.07.022

DO - 10.1016/j.aim.2006.07.022

M3 - Article

AN - SCOPUS:33947601412

SN - 0001-8708

VL - 211

SP - 684

EP - 725

JO - Advances in Mathematics

JF - Advances in Mathematics

IS - 2

ER -