Faà di Bruno for operads and internal algebras
From MaRDI portal
Publication:4967971
DOI10.1112/JLMS.12201zbMATH Open1470.16065arXiv1609.03276OpenAlexW3101361051MaRDI QIDQ4967971FDOQ4967971
Authors: Joachim Kock, Mark Weber 
Publication date: 11 July 2019
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Abstract: For any coloured operad R, we prove a Fa`a di Bruno formula for the `connected Green function' in the incidence bialgebra of R. This generalises on one hand the classical Fa`a di Bruno formula (dual to composition of power series), corresponding to the case where R is the terminal reduced operad, and on the other hand the Faa di Bruno formula for P-trees of G'alvez--Kock--Tonks (P a finitary polynomial endofunctor), which corresponds to the case where R is the free operad on P. Following G'alvez--Kock--Tonks, we work at the objective level of groupoid slices, hence all proofs are `bijective': the formula is established as the homotopy cardinality of an explicit equivalence of groupoids. In fact we establish the formula more generally in a relative situation, for algebras for one polynomial monad internal to another. This covers in particular nonsymmetric operads (for which the terminal reduced case yields the noncommutative Fa`a di Bruno formula of Brouder--Frabetti--Krattenthaler).
Full work available at URL: https://arxiv.org/abs/1609.03276
Recommendations
Bialgebras (16T10) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Operads (general) (18M60)
Cites Work
- A Multivariate Faa di Bruno Formula with Applications
- The geometry of iterated loop spaces
- Renormalization in quantum field theory and the Riemann-Hilbert problem. I: The Hopf algebra structure of graphs and the main theorem
- Monoidal functors, species and Hopf algebras
- The Curious History of Faa di Bruno's Formula
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- Title not available (Why is that?)
- Homotopy theory for algebras over polynomial monads
- Polynomial functors and trees
- Data Types with Symmetries and Polynomial Functors over Groupoids
- Coalgebras and Bialgebras in Combinatorics
- Title not available (Why is that?)
- Hopf algebras, renormalization and noncommutative geometry
- The Eckmann-Hilton argument and higher operads
- The formal theory of monads
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Operads as polynomial 2-monads
- Internal algebra classifiers as codescent objects of crossed internal categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Polynomials in categories with pullbacks
- Combinatorial problems of commutation and rearrangements
- Exponential renormalization
- Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations.
- COMBINATORIAL HOPF ALGEBRAS IN QUANTUM FIELD THEORY I
- A combinatorial Hopf algebra for nonlinear output feedback control systems
- Non-commutative Hopf algebra of formal diffeomorphisms.
- Une théorie combinatoire des séries formelles
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Algebraic structures of B-series
- Two interacting Hopf algebras of trees: a Hopf-algebraic approach to composition and substitution of B-series.
- Lie-Butcher theory for Runge-Kutta methods
- Hopf algebras in renormalization theory: locality and Dyson-Schwinger equations from Hochschild cohomology
- Operads within monoidal pseudo algebras
- Title not available (Why is that?)
- The structure of renormalization Hopf algebras for gauge theories. I: Representing Feynman graphs on BV-algebras
- A Faà di Bruno Hopf algebra for a group of fliess operators with applications to feedback
- Faà di Bruno's formula and the distributions of random partitions in population genetics and physics
- Renormalization of gauge fields: a Hopf algebra approach
- Noncommutative Bell polynomials, quasideterminants and incidence Hopf algebras.
- Polynomial functors and polynomial monads
- Monads in double categories
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
- Homotopy linear algebra
- Categorification of Hopf algebras of rooted trees.
- Perturbative renormalisation for not-quite-connected bialgebras
- The Faà di Bruno construction
- A Hopf algebra arising from the lattice of partitions of a set
- Polynomial functors and combinatorial Dyson–Schwinger equations
- Title not available (Why is that?)
- New perspectives on exponentiated derivations, the formal Taylor theorem, and Fa\`a di Bruno's formula
Cited In (8)
- Plethysms and operads
- Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations
- The incidence comodule bialgebra of the Baez-Dolan construction
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- Polynomial functors and combinatorial Dyson–Schwinger equations
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Möbius functions of directed restriction species and free operads, via the generalised Rota formula
- Antipodes of monoidal decomposition spaces
This page was built for publication: Faà di Bruno for operads and internal algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967971)
