18.11.2012 Views

Symmetric Monoidal Categories for Operads - Index of

Symmetric Monoidal Categories for Operads - Index of

Symmetric Monoidal Categories for Operads - Index of

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapter 10<br />

Miscellaneous Examples<br />

Introduction<br />

Many usual functors are defined by right modules over operads. In this<br />

chapter we study the universal constructions <strong>of</strong> §4: enveloping operads<br />

(§10.1), enveloping algebras (§10.2), and Kähler differentials (§10.3).<br />

In §§10.2-10.3, we apply the principle <strong>of</strong> generalized point-tensors to extend<br />

constructions <strong>of</strong> §4 in order to obtain structure results on the modules<br />

which represent the enveloping algebra and Kähler differential functors. The<br />

examples <strong>of</strong> these sections are intended as illustrations <strong>of</strong> our constructions.<br />

In §17, we study other constructions which occur in the homotopy theory<br />

<strong>of</strong> algebras over operads: c<strong>of</strong>ibrant replacements, simplicial resolutions, and<br />

cotangent complexes. New instances <strong>of</strong> functors associated to right modules<br />

over operads can be derived from these examples by using categorical operations<br />

<strong>of</strong> §6, §7 and§9.<br />

10.1 Enveloping <strong>Operads</strong> and Algebras<br />

Recall that the enveloping operad <strong>of</strong> an algebra A over an operad R is the<br />

object UR(A) <strong>of</strong> the category <strong>of</strong> operads under R defined by the adjunction<br />

relation<br />

Mor R / O(UR(A), S) =Mor RE(A, S(0)).<br />

The goal <strong>of</strong> this section is to prove that the functor A ↦→ UR(A) isassociated<br />

to an operad in right R-modules, the shifted operad R[ · ] introduced in<br />

the construction <strong>of</strong> §4.1.<br />

In §4.1, we only prove that R[ · ] <strong>for</strong>ms an operad in Σ∗-objects. First, we<br />

review the definition <strong>of</strong> the shifted operad R[ · ] to check that the components<br />

R[m], m ∈ N, come equipped with the structure <strong>of</strong> a right R-module so that<br />

R[ · ] <strong>for</strong>ms an operad in that category. Then we observe that the construction<br />

<strong>of</strong> §4.1 identifies the enveloping operad UR(A) with the functor SR(R[ · ],A)<br />

associated to the shifted operad R[ · ].<br />

B. Fresse, Modules over <strong>Operads</strong> and Functors, Lecture Notes in Mathematics 1967, 139<br />

DOI: 10.1007/978-3-540-89056-0 10, c○ Springer-Verlag Berlin Heidelberg 2009

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!