A finitely presented E_-prop. II: Cellular context

zbMATH Open1481.55010arXiv1808.07132MaRDI QIDQ5037508FDOQ5037508

Authors: Anibal M. Medina-Mardones 

Publication date: 1 March 2022

Abstract: We construct, using finitely many generating cell and relations, props in the category of CW-complexes with the property that their associated operads are models for the $E_{i}nfty$-operad. We use one of these to construct a cellular $E_{i}nfty$-bialgebra structure on the interval and derive from it a natural cellular $E_{i}nfty$-coalgebra structure on the geometric realization of a simplicial set which, passing to cellular chains, recovers up to signs the Barratt-Eccles and Surjection coalgebra structures introduced by Berger-Fresse and McClure-Smith. We use another prop, a quotient of the first, to relate our constructions to earlier work of Kaufmann and prove a conjecture of his. This is the second of two papers in a series, the first investigates analogue constructions in the category of chain complexes.

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

Recommendations

• A finitely presented \(E_{\infty}\)-prop. I: Algebraic context
• Props in model categories and homotopy invariance of structures
• E-infinity coalgebra structure on chain complexes with integer coefficients
• scientific article; zbMATH DE number 7613127
• La construction bar d'une algèbre comme algèbre de Hopf E-infini. (The bar construction of an algebra as an E-infinite Hopf algebra).

zbMATH Keywords

simplicial setsdiagonal approximations\(E_\infty\)-structuresarc surfacesoperads and props

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Loop space machines and operads in algebraic topology (55P48) Operads (general) (18M60) String diagrams and graphical calculi (18M30) Topological and simplicial operads (18M75)

Cites Work

• Title not available (Why is that?)
• Topology and data
• Algebraic operads
• String topology in dimensions two and three
• Gröbner bases for operads
• Props in model categories and homotopy invariance of structures
• Combinatorial operad actions on cochains
• The algebra of oriented simplexes
• Products of cocycles and extensions of mappings
• Moduli space actions on the Hochschild co-chains of a Frobenius algebra. II: Correlators
• Arc operads and arc algebras
• Algebraic string operations
• Multivariable cochain operations and little 𝑛-cubes
• Loop products and closed geodesics
• Noncommutative aspects of open/closed strings via foliations
• Permutohedral structures on \(E_2\)-operads
• Dimension vs. genus: A surface realization of the little k-cubes and an E_∞operad
• A cochain level proof of Adem relations in the mod 2 Steenrod algebra
• An effective proof of the Cartan formula: the even prime
• A finitely presented \(E_{\infty}\)-prop. I: Algebraic context
• An algebraic representation of globular sets

Cited In (12)

• Persistence Steenrod modules
• A prismatic decomposition of the Barratt-Eccles operad
• Multisimplicial chains and configuration spaces
• Categorifying equivariant monoids
• Title not available (Why is that?)
• The diagonal of cellular spaces and effective algebro-homotopical constructions
• A finitely presented \(E_{\infty}\)-prop. I: Algebraic context
• E-infinity coalgebra structure on chain complexes with integer coefficients
• Title not available (Why is that?)
• New formulas for cup-\(i\) products and fast computation of Steenrod squares
• Cochain level May-Steenrod operations
• A computer algebra system for the study of commutativity up to coherent homotopies

Uses Software

• giotto-tda
• operads

This page was built for publication: A finitely presented \(E_\infty\)-prop. II: Cellular context

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