Related papers: A Cochain Level Proof of Adem Relations in the Mod…
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…
The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them in the setting of homotopy type theory. Although a…
Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective…
Building up on work of Epstein, May and Drury, we define and investigate the mod $p$ Steenrod operations on the de Rham cohomology of smooth algebraic stacks over a field of characteristic $p>0$. We then compute the action of the operations…
We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns out of importance for the definition of characteristic…
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…
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…
The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in…
Using the recent work of Frankland and Spitzweck, we define Steenrod operations $P^{n}$ on the mod $p$ motivic cohomology of smooth varieties defined over a base field of characteristic $p$. We show that $P^{n}$ is the $p$th power on…
In this paper we show that certain universal homology classes which are fundamental in topology are algebraic. To be specific, the products of Eilenberg-MacLane spaces ${\cal K}_{2q} \equiv K({\Bbb Z},2) \times K({\Bbb Z}, 4) \times ...…
The mod 2 Steenrod algebra $\mathcal{A}_2$ can be defined as the quotient of the mod 2 Leibniz--Hopf algebra $\mathcal{F}_2$ by the Adem relations. Dually, the mod 2 dual Steenrod algebra $\mathcal{A}_2^*$ can be thought of as a sub-Hopf…
We construct a quantum deformation of the Steenrod square construction on closed monotone symplectic manifolds, based on the work of Fukaya, Betz and Cohen. We prove quantum versions of the Cartan and Adem relations. We compute the quantum…
The Cartan formula relates the cup product and the action of the Steenrod algebra on mod~$p$ cohomology. For any pair of mod $p$ cocycles in a simplicial set, where $p$ is an odd prime, we effectively construct a natural coboundary…
The Cartan formula encodes the relationship between the cup product and the action of the Steenrod algebra in $\mathbb F_p$-cohomology. In this work, we present an effective proof of the Cartan formula at the cochain level when the field is…
Based on a relative Wu theorem in \'etale cohomology, we study the compatibility of Steenrod operations on Chow groups and on \'etale cohomology. Using the resulting obstructions to algebraicity, we construct new examples of non-algebraic…
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…
First, by inspiration of the results of Wood \cite{differential,problems}, but with the methods of non-commutative geometry and different approach, we extend the coefficients of the Steenrod squaring operations from the filed $\mathbb{F}_2$…
We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…
Lipshitz-Sarkar defined a stable homotopy type refining Khovanov homology, producing cohomology operations $\text{Sq}^i$ on the Khovanov homology $Kh(L)$ of a link $L$. Later, Mor\'an proposed a sequence of cup-i products on the…
In this paper we construct an analog of Steenrod operations in motivic cohomology and prove their basic properties including the Cartan formula, the Adem relations and the realtions to characteristic classes.