nLab
Feynman category

Contents

Idea

What has been called Feynman categories (Kaufmann-Ward 17) is a biequivalent way of speaking about coloured operads (Caviglia 15, Batanin-Kock-Weber 15).

Definition

Let CC be a groupoid, C C^\otimes the free symmetric monoidal category on CC and MM a symmetric monoidal category.

(Kaufman 2017, Defn 2.1) A symmetric strong monoidal functor τ:C M\tau: C^\otimes\to M is a Feynman category if the following are satisfied

  • isomorphisms condition: τ \tau^\otimes induces an equivalence of symmetric monoidal categories C M isoC^\otimes \cong M_{iso}

  • hereditary condition: τ\tau and τ \tau^\otimes induce an equivalence of symmetric monoidal categories (CM) iso (MM) iso(C\downarrow M)^\otimes_{iso}\cong(M\downarrow M)_{iso}

  • size condition: For any *C\ast \in C, (M*)(M \downarrow \ast) is essentially small.

(Getzler 2009) A symmetric strong monoidal functor τ:C M\tau: C^\otimes\to M is a regular pattern if the following are satisfied

  • τ\tau is essentially surjective
  • the induced functor of presheaves τ ^:M ^(C ) ^\tau^{\hat{}} : M^{\hat{}}\to (C^\otimes)^{\hat{}} is strong monoidal for the Day convolution product

The latter condition on comma categories ensures the existence of certain (pointed) Kan extensions.

Properties

Equivalence with coloured operads

There is an equivalence of 2-categories between the 2-category of Feynman categories and that of coloured operads (Caviglia 15, Batanin-Kock-Weber 15).

References

Related items include operad, Feynman transform.

The axiomatics is proposed in

  • Ralph M. Kaufmann, Benjamin C. Ward, Feynman categories, Astérisque 387 (2017), vii+161pp (arxiv:1312.1269)

A more recent survey is in

The biequivalence of Feynman catgeories with coloured operads is proven in

A representation-theoretical viewpoint is given in

  • Ralph M. Kaufmann, Feynman categories and Representation Theory, (arXiv:1911.10169)

A useful generalization is exhibited in

  • Ralph M. Kaufmann, Jason Lucas, Decorated Feynman categories, arxiv/1602.00823

Certain bialgebras and Hopf algebras appear by universal constructions in the setting of Feynman categories:

  • Imma Gálvez-Carrillo, Ralph M. Kaufmann, Andrew Tonks, Three Hopf algebras and their common simplicial and categorical background, arxiv:1607.00196

We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebras of Goncharov for multiple zeta values, that of Connes–Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, cooperads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretation of known constructions in a large common framework.

Role of left Kan extensions of specific kind in operadic theory, including in the setup of Feynman categories is investigated in

  • Mark Weber, Algebraic Kan extensions along morphisms of internal algebra classifiers, arxiv/1511.04911

Getzler’s axiomatics of regular patterns is similar in spirit to Feynman categories.

  • Ezra Getzler, Operads revisited, in: Algebra, arithmetic, and geometry: in honor of Yu. I. Manin. Vol. I, vol. 269 of Progr. Math., pp. 675–698 (2009) math/0701767

A connection of Feynman categories to (a generalization of) profunctors and to rewriting systems within a proposal to categorification of the cyclic operads are exhibited in

Interesting pair of functors (not an adjoint pair!) between operadic categories and Feynman categories is among the topics studied in

Last revised on December 1, 2019 at 02:57:44. See the history of this page for a list of all contributions to it.