A finitely presented E_-prop. II: Cellular context
From MaRDI portal
Publication:5037508
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)
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 -operad. We use one of these to construct a cellular -bialgebra structure on the interval and derive from it a natural cellular -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.
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).
Cites work
- scientific article; zbMATH DE number 7370556 (Why is no real title available?)
- A cochain level proof of Adem relations in the mod 2 Steenrod algebra
- A finitely presented \(E_{\infty}\)-prop. I: Algebraic context
- Algebraic operads
- Algebraic string operations
- An algebraic representation of globular sets
- An effective proof of the Cartan formula: the even prime
- 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
- Gröbner bases for operads
- 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
- Noncommutative aspects of open/closed strings via foliations
- Permutohedral structures on \(E_2\)-operads
- Products of cocycles and extensions of mappings
- Props in model categories and homotopy invariance of structures
- String topology in dimensions two and three
- The algebra of oriented simplexes
- Topology and data
Cited in
(12)- A computer algebra system for the study of commutativity up to coherent homotopies
- Persistence Steenrod modules
- A prismatic decomposition of the Barratt-Eccles operad
- Multisimplicial chains and configuration spaces
- Categorifying equivariant monoids
- scientific article; zbMATH DE number 2096927 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 7613127 (Why is no real title available?)
- New formulas for cup-\(i\) products and fast computation of Steenrod squares
- Cochain level May-Steenrod operations
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)
