A finitely presented E_-prop. I: Algebraic context

MaRDI QIDQ5149948zbMATH OpenFDO

Authors Anibal M. Medina-Mardones

Publication date 9 February 2021

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

zbMATH Keywords

\(E_\infty\)-structuresnormalized chainsoperadsprops

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Operads (general) (18M60) Loop space machines and operads in algebraic topology (55P48) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: We introduce a finitely presented prop $mathcalS=mathcalS(n,m)$ in the category of differential graded modules whose associated operad $U(mathcalS)=mathcalS(1,m)$ is a model for the $E_{i}nfty$-operad. This finite presentation allows us to describe a natural $E_{i}nfty$-coalgebra structure on the chains of any simplicial set in terms of only three maps: the Alexander-Whitney diagonal, the augmentation map, and an algebraic version of the join of simplices. The first appendix connects our construction to the Surjection operad of McClure-Smith and Berger-Fresse. The second establishes a duality between the join and AW maps for augmented and non-augmented simplicial sets. A follow up paper constructs a prop corresponding to $mathcalS$ in the category of $CW$-complexes.

Recommendations

• A finitely presented E_-prop. II: Cellular context
• scientific article; zbMATH DE number 7613127
• E-infinity coalgebra structure on chain complexes with integer coefficients
• \(E_{\infty}\)-model for a mapping space
• Homotopy properties of \(\infty\)-simplicial coalgebras and homotopy unital supplemented \(A_\infty\)-algebras.

Cites work

• Algebraic operads
• An algebraic representation of globular sets
• Arc operads and arc algebras
• Combinatorial operad actions on cochains
• Dimension vs. genus: A surface realization of the little k-cubes and an E_∞operad
• scientific article; zbMATH DE number 851208 (Why is no real title available?)
• Loop products and closed geodesics
• Moduli space actions on the Hochschild co-chains of a Frobenius algebra. II: Correlators
• Multivariable cochain operations and little 𝑛-cubes
• On spineless cacti, Deligne's conjecture and Connes-Kreimer's Hopf algebra
• Operads and PROPs
• The symmetric join operad

Cited in

(12)

• A cochain level proof of Adem relations in the mod 2 Steenrod algebra
• New formulas for cup-\(i\) products and fast computation of Steenrod squares
• Persistence Steenrod modules
• Cochain level May-Steenrod operations
• A computer algebra system for the study of commutativity up to coherent homotopies
• A finitely presented E_-prop. II: Cellular context
• E-infinity coalgebra structure on chain complexes with integer coefficients
• Multisimplicial chains and configuration spaces
• Categorifying equivariant monoids
• Monopoles, twisted integral homology, and Hirsch algebras
• Flowing from intersection product to cup product
• Operadic deformation theory

This page was built for publication: A finitely presented \(E_{\infty}\)-prop. I: Algebraic context

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