The incidence comodule bialgebra of the Baez-Dolan construction

DOI10.1016/J.AIM.2021.107693zbMATH Open1465.18014arXiv1912.11320OpenAlexW2996873414MaRDI QIDQ2020408FDOQ2020408

Authors: Joachim Kock 

Publication date: 23 April 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Starting from any operad P, one can consider on one hand the free operad on P, and on the other hand the Baez--Dolan construction on P. These two new operads have the same space of operations, but with very different notions of arity and substitution. The main result of this paper is that the incidence bialgebras of the two-sided bar constructions of the two operads constitute together a comodule bialgebra. The result is objective: it concerns comodule-bialgebra structures on groupoid slices, and the proof is given in terms of equivalences of groupoids and homotopy pullbacks. Comodule bialgebras in the usual sense are obtained by taking homotopy cardinality. The simplest instances of the construction cover several comodule bialgebras of current interest in analysis. If P is the identity monad, then the result is the Fa`a di Bruno comodule bialgebra (dual to multiplication and substitution of power series). If P is any monoid $Omega$ (considered as a one-coloured operad with only unary operations), the resulting comodule bialgebra is the dual of the near-semiring of $Omega$-moulds under product and composition, as employed in 'Ecalle's theory of resurgent functions in local dynamical systems. If P is the terminal operad, then the result is essentially the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, dual to composition and substitution of B-series in numerical analysis (Chartier--Hairer--Vilmart). The full generality is of interest in category theory. As it holds for any operad, the result is actually about the Baez--Dolan construction itself, providing it with a new algebraic perspective.

Full work available at URL: https://arxiv.org/abs/1912.11320

Recommendations

• Faà di Bruno for operads and internal algebras
• On operads, bimodules and analytic functors
• From left modules to algebras over an operad: application to combinatorial Hopf algebras
• Generalized bialgebras and triples of operads
• Relating Two Hopf Algebras Built from An Operad

zbMATH Keywords

treeoperaddecomposition spacebar constructioncomodule bialgebraincidence bialgebra

Mathematics Subject Classification ID

Trees (05C05) Bialgebras (16T10) Coalgebras and comodules; corings (16T15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Operads (general) (18M60)

Cites Work

• Lectures on the Combinatorics of Free Probability
• The geometry of iterated loop spaces
• Title not available (Why is that?)
• Geometric Numerical Integration
• Differential equations driven by rough signals
• Renormalization in quantum field theory and the Riemann-Hilbert problem. I: The Hopf algebra structure of graphs and the main theorem
• A theory of regularity structures
• Higher Topos Theory (AM-170)
• Iterated Integrals and Exponential Homomorphisms^†
• Ramification of rough paths
• 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
• Title not available (Why is that?)
• Data types with symmetries and polynomial functors over groupoids
• Coalgebras and Bialgebras in Combinatorics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius
• Semi-direct products of Hopf algebras
• Hopf algebras, renormalization and noncommutative geometry
• Incidence Hopf algebras
• The Eckmann-Hilton argument and higher operads
• The formal theory of monads
• Title not available (Why is that?)
• 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?)
• Regular patterns, substitudes, Feynman categories and operads
• Polynomials in categories with pullbacks
• Relating Two Hopf Algebras Built from An Operad
• Title not available (Why is that?)
• An Algebraic Theory of Integration Methods
• Multiplicative functions on the lattice of non-crossing partitions and free convolution
• Title not available (Why is that?)
• Combinatorial problems of commutation and rearrangements
• COMBINATORIAL HOPF ALGEBRAS IN QUANTUM FIELD THEORY I
• Non-commutative Hopf algebra of formal diffeomorphisms.
• Une théorie combinatoire des séries formelles
• Mould calculus
• B-series methods are exactly the affine equivariant methods
• The Steenrod algebra and its dual
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Algebraic structures of B-series
• On the Hopf algebra strucutre of perturbative quantum field theories
• Two interacting Hopf algebras of trees: a Hopf-algebraic approach to composition and substitution of B-series.
• The Hopf algebras of decorated rooted trees. I
• Lie-Butcher theory for Runge-Kutta methods
• Galois connections for incidence Hopf algebras of partially ordered sets
• Numerical integrators based on modified differential equations
• Dendroidal sets
• The arborification-coarborification transform: analytic, combinatorial, and algebraic aspects
• Operadic categories and duoidal Deligne's conjecture
• On weak higher dimensional categories. I: Part 1
• Polynomial functors and opetopes
• Higher dimensional algebra. VII: Groupoidification
• Higher Segal Spaces
• Hopf Algebras of Combinatorial Structures
• Noncommutative Bell polynomials, quasideterminants and incidence Hopf algebras.
• Infinitesimal and \(B_{\infty}\)-algebras, finite spaces, and quasi-symmetric functions
• Polynomial functors and polynomial monads
• Monads in double categories
• The Hopf algebra of finite topologies and mould composition
• Title not available (Why is that?)
• 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
• Algebraic renormalisation of regularity structures
• Homotopy linear algebra
• Decomposition Spaces and Restriction Species
• Categorification of Hopf algebras of rooted trees.
• Perturbative renormalisation for not-quite-connected bialgebras
• The Splitting Process in Free Probability Theory
• Cumulants, free cumulants and half-shuffles
• Weak \(n\)-categories: Opetopic and multitopic foundations.
• On weak higher-dimensional categories. I. 2
• Introduction to regularity structures
• Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations
• Weak \(n\)-categories: Comparing opetopic foundations.
• Polynomial functors and combinatorial Dyson–Schwinger equations
• Faà di Bruno for operads and internal algebras
• A comodule-bialgebra structure for word-series substitution and mould composition
• Opetopes and chain complexes
• A review on comodule-bialgebras
• Relative 2-Segal spaces
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
• Every 2-Segal space is unital
• Homotopy-coherent algebra via Segal conditions
• Title not available (Why is that?)
• Opetopic algebras I: Algebraic structures on opetopic sets
• Antipodes of monoidal decomposition spaces

Cited In (2)

• Title not available (Why is that?)
• Moment categories and operads

Uses Software

• Opetopic

This page was built for publication: The incidence comodule bialgebra of the Baez-Dolan construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2020408)