Publication:2121509

DOI10.1515/FORUM-2020-0296zbMATH Open1487.55026arXiv2010.02571OpenAlexW3206392516MaRDI QIDQ2121509FDOQ2121509

Anibal M. Medina-Mardones, Ralph M. Kaufmann

Publication date: 4 April 2022

Published in: Forum Mathematicum (Search for Journal in Brave)

Abstract: Steenrod defined in 1947 the Steenrod squares on the mod 2 cohomology of spaces using explicit cochain formulae for the cup-$i$ products; a family of coherent homotopies derived from the broken symmetry of Alexander--Whitney's chain approximation to the diagonal. He later defined his homonymous operations for all primes using the homology of symmetric groups. This approach enhanced the conceptual understanding of the operations and allowed for many advances, but lacked the concreteness of their definition at the even prime. In recent years, thanks to the development of new applications of cohomology, the need to have an effectively computable definition of Steenrod operations has become a key issue. Using the operadic viewpoint of May, this article provides such definitions at all primes introducing multioperations that generalize the Steenrod cup-$i$ products on the simplicial and cubical cochains of spaces.

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

zbMATH Keywords

operadsSteenrod operationssimplicial cochains$E_\infty$ operadcubical cochainsMay-Steenrod structure

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to algebraic topology (55-04) Primary cohomology operations in algebraic topology (55S05) Steenrod algebra (55S10) Abstract complexes in algebraic topology (55U05) Chain complexes in algebraic topology (55U15) Dyer-Lashof operations (55S12) Symmetric products and cyclic products in algebraic topology (55S15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topology and data
• The geometry of iterated loop spaces
• Coverage in sensor networks via persistent homology
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Homotopy invariant algebraic structures on topological spaces
• Topology of viral evolution
• Feynman Categories
• The homology of iterated loop spaces
• Combinatorial operad actions on cochains
• Cohomology Operations (AM-50)
• Operads and PROPs
• Omega-categories and chain complexes
• Adem-Cartan Operads
• The Steenrod algebra and its dual
• A Cartesian presentation of weak \(n\)-categories
• Iterated monoidal categories
• On the homology of non-connected monoids and their associated groups
• Fermionic SPT phases in higher dimensions and bosonization
• 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
• String Topology: Background and Present State
• Algebraic string operations
• Multivariable cochain operations and little 𝑛-cubes
• Homology of Iterated Loop Spaces
• Geometry of loop spaces and the cobar construction
• Dyer-Lashof-Cohen operations in Hochschild cohomology.
• ON THE COBAR CONSTRUCTION
• The Iteration of the Steenrod Squares in Algebraic Topology
• Feynman categories and representation theory
• Comprehensive factorisation systems
• State sum constructions of spin-TFTs and string net constructions of fermionic phases of matter
• Spin TQFTs and fermionic phases of matter
• The (non-equivariant) homology of the little disks operad
• Homology Groups of Symmetric Groups and Reduced Power Operations
• Cyclic Reduced Powers of Cohomology Classes
• HPT and cocyclic operations
• Computation of Cubical Steenrod Squares
• A computer algebra system for the study of commutativity up to coherent homotopies
• Configuration spaces and $\Theta _n$
• 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
• A finitely presented ${E}_{\infty}$-prop II: cellular context
• E n -spectra and Dyer-Lashof operations

Cited In (7)

• Koszul Feynman categories
• Persistence Steenrod modules
• Title not available (Why is that?)
• The diagonal of cellular spaces and effective algebro-homotopical constructions
• Pathlike co/bialgebras and their antipodes with applications to bi- and Hopf algebras appearing in topology, number theory and physics
• New formulas for cup-\(i\) products and fast computation of Steenrod squares
• A computer algebra system for the study of commutativity up to coherent homotopies

This page was built for publication: Cochain level May-Steenrod operations

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