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 computation relies on formulas defining a cup-$i$ construction, a structure on (co)chains which is important in its own right, having connections to lattice field theory, convex geometry and higher category theory among others. In this article we present new formulas defining a cup-$i$ construction, and use them to introduce a fast algorithm for the computation of Steenrod squares on the cohomology of finite simplicial complexes. In forthcoming work we use these formulas to axiomatically characterize the cup-$i$ construction they define, showing additionally that all other formulas in the literature define the same cup-$i$ construction up to isomorphism.
Motivated by the construction of Steenrod cup-$i$ products in the singular cochain algebra of a space and in the algebra of non-commutative differential forms, we define a category of binomial cup-one differential graded algebras over the integers and over prime fields of positive characteristic. The Steenrod and Hirsch identities bind the cup-product, the cup-one product, and the differential in a package that we further enhance with a binomial ring structure arising from a ring of integer-valued rational polynomials. This structure allows us to define the free binomial cup-one differential g…
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.
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 coho…
Let D_n be the Dickson invariant ring of F_2[X_1,...,X_n] acted by the general linear group GL(n,\F_2). In this paper, we provide an elementary proof of the conjecture by [Hung]: each element in D_n is in the image of the Steenrod square in F_2[X_1,...,X_n], where n>3.
We prove that the coefficients of the so-called conjugation equation for conjugation spaces in the sense of Hausmann-Holm-Puppe are completely determined by Steenrod squares. This generalises a result of V.A. Krasnov for certain complex algebraic varieties. It also leads to a generalisation of a formula given by Borel and Haefliger, thereby largely answering an old question of theirs in the affirmative.
We present here a combinatorial method for computing cup-$i$ products and Steenrod squares of a simplicial set $X$. This method is essentially based on the determination of explicit formulae for the component morphisms of a higher diagonal approximation (i.e., a family of morphisms measuring the lack of commutativity of the cup product on the cochain level) in terms of face operators of $X$. A generalization of this method to Steenrod reduced powers is sketched. This description can be considered as a translation of the most ancient definition of Steenrod squares to the general setting of the …
In 1947, N.E. Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup-i products of cocycles. He later recast the construction in more general homological terms, using group homology and acyclic model methods, rather than explicit cochain formulae, to define mod p operations for all primes p. Steenrod's student J. Adem applied the homological point of view to prove fundamental relations, known as the Adem relations, in the algebra of cohomology operations generated by the Steenrod operations. In this paper we give a proof of the mod…
Lipshitz and Sarkar recently introduced a space-level refinement of Khovanov homology. This refinement induces a Steenrod square operation $\Sq^2$ on Khovanov homology which they describe explicitly. This paper presents some computations of $\Sq^2$. In particular, we give examples of links with identical integral Khovanov homology but with distinct Khovanov homotopy types.
We show that there are prime knots so that the Steenrod operations of Lipshitz and Sarkar arXiv:1204.5776 are non trivial on their Khovanov homology. This answers a question posed by Lipshitz and Sarkar in their paper arXiv:1709.03602. We then go on to show that there are hyperbolic and satellite knots so that the Steenrod operations are non trivial on their Khovanov homology.
The groups of differential characters of Cheeger and Simons admit a natural multiplicative structure. The map given by the squares of degree 2k differential characters reduces to a homomorphism of ordinary cohomology groups. We prove that the homomorphism factors through the Steenrod squaring operation of degree 2k. A simple application shows that five-dimensional Chern-Simons theory for pairs of B-fields is SL(2, Z)-invariant on spin manifolds.
We describe stable cup-i products on the cochain complex with $F^2$ coefficients of any augmented semi-simplicial object in the Burnside category. An example of such an object is the Khovanov functor of Lawson, Lipshitz and Sarkar. Thus we obtain explicit formulas for cohomology operations on the Khovanov homology of any link.
This paper shows that a functorial version of the "higher diagonal" of a space used to compute Steenrod squares actually contains far more topological information --- including (in some cases) the space's integral homotopy type.
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 classes in the framework of intersection cohomology. For this purpose, we present a construction of ${\rm cup}_{i}$-products on the cochain complex, built on the blow-up of some singular simplices and introduced in a previous work. We extend to this setting the classical properties of the associated Steenrod squares, including Adem and Cartan relations, for any g…
It has long been envisioned that the strength of the barcode invariant of filtered cellular complexes could be increased using cohomology operations. Leveraging recent advances in the computation of Steenrod squares, we introduce a new family of computable invariants on mod 2 persistent cohomology termed $Sq^k$-barcodes. We present a complete algorithmic pipeline for their computation and illustrate their real-world applicability using the space of conformations of the cyclo-octane molecule.
We transport Steenrod's cup-i products from the singular cochains on the free loop space Maps(S^1, BG) to Hochschild's original cochain complex Hom (k[G]^*, k[G]) defining Hochschild cohomology. Here G is a discrete group, k an arbitrary coefficient ring, and BG the classifying space of G. For cochains supported on BG, we prove that Gerstenhaber's cup product agrees with the simplicial cup product and Gerstenhaber's pre-Lie product agrees with Steenrod's cup-one product. As a consequence, for cocycles f and g supported on BG, the Gerstenhaber bracket [f, g] = 0 in Hochschild cohomology. This i…
In a previous paper, we defined a space-level version X(L) of Khovanov homology. This induces an action of the Steenrod algebra on Khovanov homology. In this paper, we describe the first interesting operation, Sq^2:Kh^{i,j}(L) -> Kh^{i+2,j}(L). We compute this operation for all links up to 11 crossings; this, in turn, determines the stable homotopy type of X(L) for all such links.
Unstable modules over the Steenrod algebra with only the top $k$ operations are introduced in the language of ringoids. We prove the category of such modules has homological dimension at most $k$. A pratical method, which generalizes the $Λ$ complex, to compute the $\mathrm{Ext}$ group from such modules to spheres is proposed. We are also able to establish several functors to relate such modules and unstable modules over the Steenrod algebra, and to describe the connections between the $\mathrm{Ext}$ groups in them.
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$ to the dyadic integers $\mathbb{Z}_2$ and call the resulted operations the dyadic Steenrod squares, denoted by $Jq^k$. The derivation-like operations $Jq^k$ generate a graded algebra, called the dyadic Steenrod algebra, denoted by $\mathcal{J}_2$ acting on the polynomials $\mathbb{Z}_2[ξ_1, \dots, ξ_n]$. Being $\mathcal{J}_2$ an Ore domain, enable us to loc…
We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial cohomology of the classifying space of the underlying group or category, $\cal{C}$. In this setting the simplicial cup product of cochains on $B{\cal{C}}$ agrees with the Gerstenhaber product and Steenrod's cup-one product of cochains agrees with the pre-Lie product. We extend the idea of coherent cochains to algebras more general than category algebras and dub …
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 $H^{2n,n}(-,\mathbb{F}_{p})\cong CH^{n}(-)/p$ and prove an instability result for the operations. Restricted to mod $p$ Chow groups, we show that the operations satisfy the expected Adem relations and Cartan formula. For $p=2$, we use the new Steenrod squares to obtain new results on quadratic forms over a base field of characteristic $2$.
In this note, working in the context of simplicial sets, we give a detailed study of the complexity for computing chain level Steenrod squares, in terms of the number of face operators required. This analysis is based on the combinatorial formulation given in [R. Gonzalez-Diaz, P. Real. A Combinatorial Method for Computing Steenrod Squares. J. of Pure and Applied Algebra, 139 (1999) 89-108]. As an application, we give here an algorithm for computing cup-$i$ products over integers on a simplicial complex at chain level.
The Lipshitz-Sarkar stable homotopy link invariant defines Steenrod squares on the Khovanov cohomology of a link. Lipshitz-Sarkar constructed an algorithm for computing the first two Steenrod squares. We develop a new algorithm which implements the flow category simplification techniques previously defined by the authors and Dan Jones. We give a purely combinatorial approach to calculating the second Steenrod square and Bockstein homomorphisms in Khovanov cohomology, and flow categories in general. The new method has been implemented in a computer program by the third author and applied to lar…
In this paper we prove the laws of Toda brackets on the homotopy groups of a connective ring spectrum and the laws of the cup-one square in the homotopy groups of a commutative connective ring spectrum.
We construct a natural bijective correspondence between equivalence classes of Pin$^-$ structures on a compact simplicial $n$-manifold $M^n$, possibly with boundary, and $\mathbb{Z}/4$-valued 'quadratic functions' $Q$ defined on degree $n-1$ relative $\mathbb{Z}/2$ cocycles, $Q \colon Z^{n-1}(M^n, \partial M^n ; \mathbb{Z} /2) \to \mathbb{Z}/4$. The 'quadratic' property of $Q(p+q)$ and the values $Q(dc)$ on coboundaries are expressed in terms of higher $\cup_i$ products of Steenrod. For $n = 2$ the results extend old results relating Pin$^-$ structures on closed surfaces to quadratic refinemen…
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 ... \times K({\Bbb Z}, 2q)$ have models which are limits of complex projective varieties. Precisely, we have ${\cal K}_{2q} = \lim_{d\to\infty}{\cal C}_d^q({\Bbb P}^n)$ where ${\cal C}_d^q({\Bbb P}^n)$ denotes the Chow variety of effective cycles of codimension $q$ and degree $d$ on ${\Bbb P}^n$. It is natural to ask which elements in the homology of ${\cal K}_{2q}…
In previous works, we have introduced the blown-up intersection cohomology and used it to extend Sullivan's minimal models theory to the framework of pseudomanifolds, and to give a positive answer to a conjecture of M. Goresky and W. Pardon on Steenrod squares in intersection homology. In this paper, we establish the main properties of this cohomology. One of its major feature is the existence of cap and cup products for any filtered space and any commutative ring of coefficients, at the cochain level. Moreover, we show that each stratified map induces an homomorphism between the blown-up inte…
We provide a geometric interpretation of the formulas for Steenrod's $\cup_i$ products, giving an explicit construction for a conjecture of Thorngren. We construct from a simplex and a branching structure a special frame of vector fields inside each simplex that allow us to interpret cochain-level formulas for the $\cup_i$ as a generalized intersection product on the dual cellular decomposition. It can be thought of as measuring the intersection between a collection of dual cells and thickened, shifted version of another collection, where the vector field frame determines the thickening and sh…
This note explores the interaction between cohomology operations in a generalized cohomology theory and a string topology loop coproduct dual to the Chas--Sullivan loop product. More precisely, we ask for a description for the failure of a given operation to commute with the loop coproduct, and will obtain a satisfactory answer in the case where the operation preserves both sums and products. Examples of such operations include the total Steenrod square in ordinary mod 2 cohomology and the Adams operations in K-theory.
We calculate the mod-two cohomology of all alternating groups together, with both cup and transfer product structures, which in particular determines the additive structure and ring structure of the cohomology of individual groups. We show that there are no nilpotent elements in the cohomology rings of individual alternating groups. We calculate the action of the Steenrod algebra and discuss individual component rings. A range of techniques is needed: an almost Hopf ring structure associated to the embeddings of products of alternating groups, the Gysin sequence relating the cohomology of alte…
Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M \square N of two comodules in terms of the appropriate Hochschild cohomology of the A-bimodule M \otimes N, when A is finite-dimensional, profinite, graded or differential-graded. The main applications are to Galois cohomology, comodules over the Steenrod algebra, and the homology of induced fibrations.
In a previous paper we constructed a spectrum-level refinement of Khovanov homology. This refinement induces stable cohomology operations on Khovanov homology. In this paper we show that these cohomology operations commute with cobordism maps on Khovanov homology. As a consequence we obtain a refinement of Rasmussen's slice genus bound s for each stable cohomology operation. We show that in the case of the Steenrod square Sq^2 our refinement is strictly stronger than s.
