Related papers: Dyadic Steenrod algebra and its applications

In the early 2000's, Baues computed the secondary Steenrod algebra, the algebra of all secondary cohomology operations. Together with Jibladze, they showed that this gives an algorithm that computes all Adams $d_2$ differentials for the…

The algebra ${\mathsf A}_q$ of Steenrod $q$th powers, where $q = p^e$ is a power of a prime $p$, is isomorphic to a subalgebra ${\mathsf A}'_q$ of the algebra of Steenrod $p$th powers ${\mathsf A}_p$. The filtration of ${\mathsf A}_p$ by…

Let $P_k$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$, with the degree of each $x_i$ being 1, regarded as a module over the mod-2 Steenrod algebra $\mathcal A$, and let $GL_k$ be the general linear group over the…

Let $S_\alpha = k\langle x_1,\dots,x_n\rangle /(x_i x_j - \alpha_{ij} x_j x_i)$ be a standard graded skew polynomial algebra over an algebraically closed field $k$ of characteristic not equal to $2$. We show the following results. When $n$…

Let $\mathbb S^{\infty}/\mathbb Z_2$ be the infinite lens space and $\mathscr A$ be the Steenrod algebra over the binary field $\mathbb F_2.$ The cohomology $H^{*}((\mathbb S^{\infty}/\mathbb Z_2)^{\oplus s}; \mathbb F_2)$ is known to be…

Working over the prime field F_p, the structure of the indecomposables Q^* for the action of the algebra of Steenrod reduced powers A(p) on the symmetric power functors S^* is studied by exploiting the theory of strict polynomial functors.…

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…

Let A be the mod 2 Steenrod algebra, and let Q denote the category of exterior sub-Hopf algebras of A, where the morphisms are given by inclusions. The restriction maps Ext_A (Z/2,Z/2) --> Ext_E (Z/2,Z/2), for E in Q, can be assembled into…

This paper is concerned with quantum cohomology and Fukaya categories of a closed monotone symplectic manifold X, where we use coefficients in a field k of characteristic p > 0. The main result of this paper is that the quantum Steenrod…

In this paper, we show that the finite subalgebra $\mathcal{A}^{\mathbb{R}}(1)$, generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$, of the $\mathbb{R}$-motivic Steenrod algebra $\mathcal{A}^{\mathbb{R}}$ can be given $128$ different…

We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its…

We present a formula describing the action of a generalised Steenrod operation of $\Z_2$-type on the cohomology class represented by a proper self-transverse immersion $f\co M\imm X$, in terms of the equivariant double points of $f$ and the…

A non-connected neither of finite type Hopf algebra $\mathcal{F}_{0}$ is defined over $\mathbb{Z}/ 2\mathbb{Z}$ and its hom dual turns out to be a tensor product of polynomial algebras. Certain quotient Hopf algebras include the Steenrod…

We characterize primary operations in differential cohomology via stacks, and illustrate by differentially refining Steenrod squares and Steenrod powers explicitly. This requires a delicate interplay between integral, rational, and mod p…

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…

This Note presents a computational algorithm for determining a basis of the cohomology of the mod 2 Steenrod algebra, $\mathrm{Ext}_{\mathcal A}^{k, k+*}(\mathbb{Z}/2, \mathbb{Z}/2)$ for $k \leq 5$, based on the well-known generators and…

This expository article elaborates upon my talk at the 2025 AMS Summer Institute on Algebraic Geometry. It gives an introduction to a conjecture from Tate's 1966 S\'eminaire Bourbaki report, predicting the existence of a symplectic form on…

Let $V$ be an elementary abelian $2$-group and $X$ be a finite $V$-CW-complex. In this memoir we study two cochain complexes of modules over the mod2 Steenrod algebra $\mathrm{A}$, equipped with an action of $\mathrm{H}^{*}V$, the mod2…

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…

We prove necessary and sufficient conditions for the existence of non-trivial Steenrod actions on the mod-$2$ cohomology of 4-dimensional toric orbifolds. As applications, the stable homotopy type and the gauge groups of a $4$-dimensional…