2016/02/02 by Ralph M. Kaufmann, Kaufmann, Ralph M., Jason Lucas +1
Mathematics · #Algebraic Topology (math.AT) #FOS: Mathematics #Quantum Algebra (math.QA) #math.AT #math.QA
paper · pdf · doi:10.48550/arxiv.1602.00823
Updated version from 6/8/16 to appear in J. of Noncommutative Geometry
arxiv created 2017/11/13 · arxiv updated 2017/11/15
In [KW14], the new concept of Feynman categories was introduced to simplify the discussion of operad--like objects. In this present paper, we demonstrate the usefulness of this approach, by introducing the concept of decorated Feynman categories. The procedure takes a Feynman category \mathfrak F and a functor \mathcal O to a monoidal category to produce a new Feynman category \mathfrak F_dec \mathcal O. This in one swat explains the existence of non--sigma operads, non--sigma cyclic operads, and the non--sigma--modular operads of Markl as well as all the usual candidates simply from the category \mathfrak G, which is a full subcategory of the category of graphs of [BM08]. Moreover, we explain the appearance of terminal objects noted in [Mar15]. We can then easily extend this for instance to the dihedral case. Furthermore, we obtain graph complexes and all other known operadic type notions from decorating and restricting the basic Feynman category \mathfrak G of aggregates of corollas. We additionally show that the construction is functorial. There are further geometric and number theoretic applications, which will follow in a separate preprint.