Cochain operations defining Steenrod $\cup_i$-products in the bar construction

T. Kadeishvili

DOI: https://doi.org/10.48550/arXiv.math/0207010

2002-07-01

Algebraic Topology

Abstract:The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar construction.

What problem does this paper attempt to address?

Steenrod operations on polyhedral products

Sanjana Agarwal,Jelena Grbić,Michele Intermont,Milica Jovanović,Evgeniya Lagoda,Sarah Whitehouse

2024-06-20

Abstract:We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as for certain polyhedral joins. By studying the combinatorics of underlying simplicial complexes, we deduce some consequences for the lowest cohomological dimension in which non-trivial Steenrod operations can appear. We present a version of cochain-level formulas for Steenrod operations on simplicial complexes. We explain the idea of "propagating" such formulas from a simplicial complex $K$ to polyhedral joins over $K$ and we give examples of this process. We tie the propagation of the Steenrod algebra actions on polyhedral joins to those on moment-angle complexes. Although these are cases where one can understand the Steenrod action via a stable homotopy decomposition, we anticipate applying this method to cases where there is no such decomposition.

Algebraic Topology
Explicit Acyclic Models and (Co)Chain Operations

Greg Brumfiel,John Morgan

2024-03-31

Abstract:We exploit a uniform recursive procedure using preferred contractions of targets $C_*$ to construct morphisms $B_* \to C_*$ between chain complexes in a wide variety of situations. Examples include classical Alexander-Whitney and Eilenberg-Zilber maps, chain maps related to homology and cohomology operations, operad structure maps for various chain complex operads, and chain maps that define morphisms between operads. The procedure includes functorial chain maps $F_*(X_i) \to K_*(X_i)$, using models for generators of the domain and contractions of $K_*$ applied to these models. Various uniqueness theorems characterize the chain maps produced by our procedures. We give unified extended treatments of the operads known as the Barratt-Eccles operad and the surjection operads. In a subsequent paper we plan to use the results and methods of this paper to establish properties of the Steenrod algebra of mod p cohomology operations at the cochain level. Classical treatments of Steenrod operations used less explicit acyclic model methods to deduce properties of operations at the cohomology level. Our paper is comprehensive and includes many examples and specific results of a somewhat technical nature. But the main point is that a rather easily described explicit procedure clarifies aspects of chain maps defined only up to homotopy that were important in the development of cohomology operations roughly seventy years ago, as well as complicated chain maps related to operad structure maps and operad morphisms developed in a rather ad hoc manner roughly twenty five years ago. Sections 0, 1, and 2 constitute an overview and summary of the paper.

Algebraic Topology
Curved cooperads and homotopy unital A-infty-algebras

Volodymyr Lyubashenko

DOI: https://doi.org/10.48550/arXiv.1403.3644

2014-03-15

Abstract:We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad C with an extra grading and a curved operad O we construct a couple of adjoint functors between the category of curved O-modules and the category of curved C-comodules. The important feature is that the curved operad O is not necessarily augmented.

K-Theory and Homology
Steenrod operations and algebraic classes

Olivier Benoist

2024-06-17

Abstract:Based on a relative Wu theorem in étale cohomology, we study the compatibility of Steenrod operations on Chow groups and on étale cohomology. Using the resulting obstructions to algebraicity, we construct new examples of non-algebraic cohomology classes over various fields ($\mathbb{C}$, $\mathbb{R}$, $\overline{\mathbb{F}}_p$, $\mathbb{F}_q$). We also use Steenrod operations to study the mod $2$ cohomology classes of a compact $\mathcal{C}^{\infty}$ manifold $M$ that are algebraizable, i.e. algebraic on some real algebraic model of $M$. We give new examples of algebraizable and non-algebraizable classes, answering questions of Benedetti, Dedò and Kucharz.

Algebraic Geometry
Steenrod operations and A-module extensions

Robert Bruner,Christian Nassau,Sean Tilson

DOI: https://doi.org/10.48550/arXiv.1909.03117

2019-09-06

Algebraic Topology

Abstract:Explicit extensions representing cocycles $x \in Ext_{A}^{s,t}(F_2,F_2)$ are useful in calculating Steenrod operations $Sq^i : Ext_{A}^{s,t}(F_2,F_2) \longrightarrow Ext_{A}^{s+i,2t}(F_2,F_2)$ by a method devised by the second author. This can be used to identify explicit cocycles in the minimal resolutions produced by the first author's computer programs, and this information is useful in determining differentials in the Adams spectral sequence.
Cochain complexes over a functor

Germán Benitez,Pedro Rizzo

2024-02-09

Abstract:In this paper we propose unifying the categories of cochain complexes $\text{Ch}(\mathcal{C})$ and modules $\widehat{A}\text{-mod}$ over a repetitive algebra $\widehat{A}$. Motivated by their striking similarities and importance, we introduce a novel category encompassing both. Our analysis explores key properties of this unified category, highlighting its parallels and divergences from the original structures. We study whether it preserves crucial aspects like limits, colimits, products, coproducts, and abelianity. Besides, we establish a family of projective and injective indecomposable objects within this framework. Moving beyond theoretical foundations, we examine the influence and interaction over these novel categories of the category of endofunctors and its monoidal structure. Finally, we explore the implications of our constructions over representation theory of algebras and algebraic geometry.

Representation Theory,Category Theory
The cohomology of biquotients via a product on the two-sided bar construction

Jeffrey D. Carlson

2023-11-28

Abstract:We compute the Borel equivariant cohomology ring of the left $K$-action on a homogeneous space $G/H$, where $G$ is a connected Lie group, $H$ and $K$ are closed, connected subgroups and $2$ and the torsion primes of the Lie groups are units of the coefficient ring. As a special case, this gives the singular cohomology rings of biquotients $H \backslash G / K$. This depends on a version of the Eilenberg-Moore theorem developed in the appendix, where a novel multiplicative structure on the two-sided bar construction $\mathbf{B}(A',A,A")$ is defined, valid when $A' \leftarrow A \to A"$ is a pair of maps of homotopy Gerstenhaber algebras.

Algebraic Topology,K-Theory and Homology,Rings and Algebras
Unital operads, monoids, monads, and bar constructions

J. P. May,Ruoqi Zhang,Foling Zou

2024-11-25

Abstract:We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of symmetric sequences. The monads associated to unital operads are the ones of interest in iterated loop space theory and factorization homology, among many other applications. Our new description of unital operads allows an illuminating comparison between the two-sided monadic bar constructions used in such applications and "classical" monoidal two-sided bar constructions. It also allows a more conceptual understanding of the scanning map central to non-abelian Poincaré duality in factorization homology.

Algebraic Topology
Steenrod operations via higher Bruhat orders

Guillaume Laplante-Anfossi,Nicholas J. Williams

2024-11-19

Abstract:The purpose of this paper is to establish a correspondence between the higher Bruhat orders of Yu. I. Manin and V. Schechtman, and the cup-$i$ coproducts defining Steenrod squares in cohomology. To any element of the higher Bruhat orders we associate a coproduct, recovering Steenrod's original ones from extremal elements in these orders. Defining this correspondence involves interpreting the coproducts geometrically in terms of zonotopal tilings, which allows us to give conceptual proofs of their properties and show that all reasonable coproducts arise from our construction.

Algebraic Topology,Combinatorics
Higher structures on homology groups

Niels Kowalzig,Francesca Pratali

2024-06-11

Abstract:We dualise the classical fact that an operad with multiplication leads to cohomology groups which form a Gerstenhaber algebra to the context of cooperads: as a result, a cooperad with comultiplication induces a homology theory that is endowed with the structure of a Gerstenhaber coalgebra, that is, it comes with a graded cocommutative coproduct which is compatible with a coantisymmetric cobracket in a dual Leibniz sense. As an application, one obtains Gerstenhaber coalgebra structures on Tor groups over bialgebras or Hopf algebras, as well as on Hochschild homology for Frobenius algebras.

Algebraic Topology,K-Theory and Homology,Quantum Algebra
Simplicial Structure on Connected Multiplicative Operads

Vane Jacky III Batkam Mbatchou,Calvin Tcheka

2023-10-06

Abstract:In these notes, we define a new simplicial structure on a connected multiplicative operad and call it connected multiplicative simplicial operad (for short; simplicial operad). Next we introduce on this simplicial operad a brace algebra structure analogous to that of Gerstenhaber-Voronov that we call right brace algebra structure. This permits us to obtain on the operad with the above mentioned properties a bicomplex structure one of whose two differential operators is a coboundary and the other one is a boundary. Moreover we define on one hand on the above simplicial operad together with its right brace algebra structure, two distinct products up to a sign respectively called dot-product and odot-product. Then we show that the coboundary and the boundary together with the odot-product provide to this simplicial operad two distinct differential graded algebra structures. On the other hand we obtain through the Alexander-Withney map, a differential graded coalgebra structure on a simplicial operad. We end by illustrating our constructions with some examples

Algebraic Topology
A detailed look on actions on Hochschild complexes especially the degree $1$ co-product and actions on loop spaces

Ralph M. Kaufmann

DOI: https://doi.org/10.48550/arXiv.1807.10534

2021-10-14

Abstract:We explain our previous results about Hochschild actions [Kau07a, Kau08a] pertaining in particular to the coproduct which appeared in a different form in [GH09] and provide a fresh look at the results. We recall the general action, specialize to the aforementioned coproduct and prove that the assumption of commutativity, made for convenience in [Kau08a], is not needed. We give detailed background material on loop spaces, Hochschild complexes and dualizations, and discuss details and extensions of these techniques which work for all operations of [Kau07a, Kau08a]. With respect to loop spaces, we show that the co--product is well defined modulo constant loops and going one step further that in the case of a graded Gorenstein Frobenius algebra, the co--product is well defined on the reduced normalized Hochschild complex. We discuss several other aspects such as ``time reversal'' duality and several homotopies of operations induced by it. This provides a cohomology operation which is a homotopy of the anti--symmetrization of the coproduct. The obstruction again vanishes on the reduced normalized Hochschild complex if the Frobenius algebra is graded Gorenstein. Further structures such as ``animation'' and the BV structure and a coloring for operations on chains and cochains and a Gerstenhaber double bracket are briefly treated.

Algebraic Topology
Binary Operations for Homotopy Groups with Coefficients

Martin Arkowitz

DOI: https://doi.org/10.48550/arXiv.1605.08708

2017-08-26

Abstract:We define and study binary operations for homotopy groups with coefficients. We give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carrying over properties of the generalized Whitehead product to these operations. We discuss two classes of binary operations, the Whitehead products and the Torsion products. We introduce a new class of operations called Ext operations and determine some of its properties. We compare the Torsion product to the Whitehead product in a special case. We prove that the smash product of two Moore spaces has the homotopy type of a wedge of two Moore spaces.

Algebraic Topology
The cohomology of the mod 2 Steenrod algebra

Robert R. Bruner,John Rognes

DOI: https://doi.org/10.48550/arXiv.2109.13117

2021-09-27

Algebraic Topology

Abstract:A minimal resolution of the mod 2 Steenrod algebra in the range $0 \leq s \leq 128$, $0 \leq t \leq 200$, together with chain maps for each cocycle in that range and for the squaring operation $Sq^0$ in the cohomology of the Steenrod algebra.
Operations on the Hochschild Bicomplex of a Diagram of Algebras

Eli Hawkins

DOI: https://doi.org/10.1016/j.aim.2023.109156

2024-03-19

Abstract:A diagram of algebras is a functor valued in a category of associative algebras. I construct an operad acting on the Hochschild bicomplex of a diagram of algebras. Using this operad, I give a direct proof that the Hochschild cohomology of a diagram of algebras is a Gerstenhaber algebra. I also show that the total complex is an $L_\infty$-algebra. The same results are true for the reduced and asimplicial subcomplexes and asimplicial cohomology. This structure governs deformations of diagrams of algebras through the Maurer-Cartan equation.

Category Theory,Algebraic Topology,Rings and Algebras
Universal operations in Hochschild homology

Nathalie Wahl

DOI: https://doi.org/10.48550/arXiv.1212.6498

2014-04-02

Abstract:We provide a general method for finding all natural operations on the Hochschild complex of E-algebras, where E is any algebraic structure encoded in a prop with multiplication, as for example the prop of Frobenius, commutative or A_infty-algebras. We show that the chain complex of all such natural operations is approximated by a certain chain complex of formal operations, for which we provide an explicit model that we can calculate in a number of cases. When E encodes the structure of open topological conformal field theories, we identify this last chain complex, up quasi-isomorphism, with the moduli space of Riemann surfaces with boundaries, thus establishing that the operations constructed by Costello and Kontsevich-Soibelman via different methods identify with all formal operations. When E encodes open topological quantum field theories (or symmetric Frobenius algebras) our chain complex identifies with Sullivan diagrams, thus showing that operations constructed by Tradler-Zeinalian, again by different methods, account for all formal operations. As an illustration of the last result we exhibit two infinite families of non-trivial operations and use these to produce non-trivial higher string topology operations, which had so far been elusive.

Algebraic Topology,Quantum Algebra
A note on the composition product of symmetric sequences

Michael Ching

DOI: https://doi.org/10.48550/arXiv.math/0510490

2012-04-03

Abstract:We consider the composition product of symmetric sequences in the case where the underlying symmetric monoidal structure does not commute with coproducts. Even though this composition product is not a monoidal structure on symmetric sequences, it has enough structure, namely that of a `normal oplax' monoidal product, to be able to define monoids (which are then operads on the underlying category) and make a bar construction. The main benefit of this work is in the dual setting, where it allows us to define a cobar construction for cooperads.

Category Theory,Algebraic Topology
Derived functors of product and limit in the category of comodules over the dual Steenrod algebra

A. Salch

2023-11-22

Abstract:In the 2000s, Sadofsky constructed a spectral sequence which converges to the mod $p$ homology groups of a homotopy limit of a sequence of spectra. The input for this spectral sequence is the derived functors of sequential limit in the category of graded comodules over the dual Steenrod algebra. Since then, there has not been an identification of those derived functors in more familiar or computable terms. Consequently there have been no calculations using Sadofsky's spectral sequence except in cases where these derived functors are trivial in positive cohomological degrees. In this paper, we prove that the input for the Sadofsky spectral sequence is simply the local cohomology of the Steenrod algebra, taken with appropriate (quite computable) coefficients. This turns out to require both some formal results, like some general results on torsion theories and local cohomology of noncommutative non-Noetherian rings, and some decidedly non-formal results, like a 1985 theorem of Steve Mitchell on some very specific duality properties of the Steenrod algebra not shared by most finite-type Hopf algebras. Along the way there are a few results of independent interest, such as an identification of the category of graded $A_*$-comodules with the full subcategory of graded $A$-modules which are torsion in an appropriate sense.

Algebraic Topology,Commutative Algebra,Rings and Algebras
Covariant constancy of quantum Steenrod operations

Seidel, Paul,Wilkins, Nicholas

DOI: https://doi.org/10.1007/s11784-022-00967-4

2022-06-16

Journal of Fixed Point Theory and Applications

Abstract:We prove a relationship between quantum Steenrod operations and the quantum connection. In particular, there are operations extending the quantum Steenrod power operations that, when viewed as endomorphisms of equivariant quantum cohomology, are covariantly constant. We demonstrate how this property is used in computations of examples.

mathematics, applied
Homotopy Limits and Homotopy Colimits of Chain Complexes

Kensuke Arakawa

2023-09-30

Abstract:We prove that the homotopy limits and homotopy colimits of chain complexes can be computed by the cobar and bar constructions. We also show that the totalizations of double complexes compute the homotopy limits and homotopy colimits of simplicial and cosimplicial chain complexes.

Algebraic Topology,Category Theory

Cochain operations defining Steenrod $\cup_i$-products in the bar construction

Steenrod operations on polyhedral products

Explicit Acyclic Models and (Co)Chain Operations

Curved cooperads and homotopy unital A-infty-algebras

Steenrod operations and algebraic classes

Steenrod operations and A-module extensions

Cochain complexes over a functor

The cohomology of biquotients via a product on the two-sided bar construction

Unital operads, monoids, monads, and bar constructions

Steenrod operations via higher Bruhat orders

Higher structures on homology groups

Simplicial Structure on Connected Multiplicative Operads

A detailed look on actions on Hochschild complexes especially the degree $1$ co-product and actions on loop spaces

Binary Operations for Homotopy Groups with Coefficients

The cohomology of the mod 2 Steenrod algebra

Operations on the Hochschild Bicomplex of a Diagram of Algebras

Universal operations in Hochschild homology

A note on the composition product of symmetric sequences

Derived functors of product and limit in the category of comodules over the dual Steenrod algebra

Covariant constancy of quantum Steenrod operations

Homotopy Limits and Homotopy Colimits of Chain Complexes