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.

What problem does this paper attempt to address?

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.
On the Cohomology of the Mod P Steenrod Algebra

Xiugui Liu,He Wang

DOI: https://doi.org/10.3792/pjaa.85.143

2009-01-01

Abstract:Let p be an odd prime greater than seven kind A the plod p Steenrod algebra. In this paper we prove that in the cohomology of A the product h(1)h(n)(delta) over tilde (s+4) is an element of Ext(A)(s+6,t(s,n)+s) (Z(p), Z(p)) is nontrivial for n >= 5, and trivial for n = 3,4, where (delta) over tilde (s+4) is actually (alpha) over tilde ((4))(s+4) described by X. Wang and Q. Zheng, 0 <= s < p - 4, t(s, n) = 2(p - 1)[(s + 1) + (s + 3)p + (s + 3)p(2) + (s + 4)p(3) + p(n)] We show our results by explicit combinatorial analysis of the (modified) May spectral sequence. The method of proof is very elementary.
On the cohomology of SL$_n(\mathbb{Z})$

Avner Ash

2024-02-14

Abstract:Let St denote the Steinberg module of $SL_n(Q)$ tensored with Q. Let Sh denote the sharbly resolution of St. By Borel-Serre duality, $H^{n(n-1)/2-i}(SL_n(Z),Q)$ is isomorphic to $H_i(SL_n(Z),St)$. The latter is isomorphic to the homology of the $SL_n(Z)$-coinvariants of Sh. We produce nonzero classes in $H_i(SL_n(Z),St)$ for certain small $i$ in terms of sharbly cycles and cosharbly cocycles.

Number Theory
Computations of the Lipshitz-Sarkar Steenrod Square on Khovanov Homology

Cotton Seed

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

2012-10-06

Abstract: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.

Geometric Topology,Algebraic Topology
On the codimension-two cohomology of $\mathrm{SL}_n(\mathbb{Z})$

Benjamin Brück,Jeremy Miller,Peter Patzt,Robin J. Sroka,Jennifer C. H. Wilson

2024-06-18

Abstract:Borel-Serre proved that $\mathrm{SL}_n(\mathbb{Z})$ is a virtual duality group of dimension $n \choose 2$ and the Steinberg module $\mathrm{St}_n(\mathbb{Q})$ is its dualizing module. This module is the top-dimensional homology group of the Tits building associated to $\mathrm{SL}_n(\mathbb{Q})$. We determine the "relations among the relations" of this Steinberg module. That is, we construct an explicit partial resolution of length two of the $\mathrm{SL}_n(\mathbb{Z})$-module $\mathrm{St}_n(\mathbb{Q})$. We use this partial resolution to show the codimension-2 rational cohomology group $H^{{n \choose 2} -2}(\mathrm{SL}_n(\mathbb{Z});\mathbb{Q})$ of $\mathrm{SL}_n(\mathbb{Z})$ vanishes for $n \geq 3$. This resolves a case of a conjecture of Church-Farb-Putman. We also produce lower bounds for the codimension-1 cohomology of certain congruence subgroups of $\mathrm{SL}_n(\mathbb{Z})$.

Algebraic Topology,Group Theory,Geometric Topology,Number Theory
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
Explicit sharbly cycles at the virtual cohomological dimension for SL_n(Z)

Avner Ash,Paul E. Gunnells,Mark McConnell

2024-07-29

Abstract:Denote the virtual cohomological dimension of SL_n(Z) by t=n(n-1)/2. Let St denote the Steinberg module of SL_n(Q) tensored with Q. Let Sh_* denote the sharbly resolution of the Steinberg module St. By Borel-Serre duality, the one-dimensional Q-vector space H^0(SL_n(Z), Q) is isomorphic to H_t(SL_n(Z),St). We find an explicit generator of H_t(SL_n(Z),St) in terms of sharbly cycles and cosharbly cocycles. These methods may extend to other degrees of cohomology of SL_n(Z).

Geometric Topology,Number Theory
Quantum Steenrod operations of symplectic resolutions

Jae Hee Lee

2024-03-11

Abstract:We study the mod $p$ equivariant quantum cohomology of conical symplectic resolutions. Using symplectic genus zero enumerative geometry, Fukaya and Wilkins defined operations on mod $p$ quantum cohomology deforming the classical Steenrod operations on mod $p$ cohomology. We conjecture that these quantum Steenrod operations on divisor classes agree with the $p$-curvature of the mod $p$ equivariant quantum connection, and verify this in the case of the Springer resolution. The key ingredient is a new compatibility relation between the quantum Steenrod operations and the shift operators.

Symplectic Geometry,Algebraic Geometry,Representation Theory
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
The Hochschild cohomology ring of monomial algebras

Dalia Artenstein,Janina C. Letz,Amrei Oswald,Andrea Solotar

DOI: https://doi.org/10.1016/j.jalgebra.2024.04.019

2024-05-24

Abstract:We give an explicit description of a diagonal map on the Bardzell resolution for any monomial algebra, and we use this diagonal map to describe the cup product on Hochschild cohomology. Then, we prove that the cup product is zero in positive degrees for triangular monomial algebras. Our proof uses the graded-commutativity of the cup product on Hochschild cohomology and does not rely on explicit computation of the Hochschild cohomology modules.

Representation Theory
The cohomology of the connective spectra for {K}-theory revisited

Donald M. Davis,W. Stephen Wilson

2024-04-18

Abstract: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 terms of admissible sequences of Steenrod operations that come from the Adem relations. In particular, the basis for the complex case is that you don't use any Steenrod operations in degree one or $2^n+1$, $n > 0$.

K-Theory and Homology,Algebraic Topology
A family of nonzero products in the cohomology of the odd primary Steenrod algebra

Xiang Li,Xiugui Liu

DOI: https://doi.org/10.1007/s40590-014-0012-z

2014-01-01

Boletín de la Sociedad Matemática Mexicana

Abstract:Let p be a prime number greater than five and let A be the mod p Steenrod algebra. In this paper, we prove that the product h_n g_0 δ̃_s + 4∈Ext_A^s+7,*(𝔽_p,𝔽_p) is nontrivial, where n⩾ 5 , 0 ⩽ s < p - 4 . As a corollary, we obtain that the products h_ng_0 , h_nδ̃_s+4 and g_0δ̃_s+4 are all nontrivial.
A presentation of symplectic Steinberg modules and cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$

Benjamin Brück,Peter Patzt,Robin J. Sroka

2023-06-06

Abstract:Borel-Serre proved that the integral symplectic group $\operatorname{Sp}_{2n}(\mathbb{Z})$ is a virtual duality group of dimension $n^2$ and that the symplectic Steinberg module $\operatorname{St}^\omega_n(\mathbb{Q})$ is its dualising module. This module is the top-dimensional homology of the Tits building associated to $\operatorname{Sp}_{2n}(\mathbb{Q})$. We find a presentation of this Steinberg module and use it to show that the codimension-1 rational cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$ vanishes for $n \geq 2$, $H^{n^2 -1}(\operatorname{Sp}_{2n}(\mathbb{Z});\mathbb{Q}) \cong 0$. Equivalently, the rational cohomology of the moduli stack $\mathcal{A}_n$ of principally polarised abelian varieties of dimension $2n$ vanishes in the same degree. Our findings suggest a vanishing pattern for high-dimensional cohomology in degree $n^2-i$, similar to the one conjectured by Church-Farb-Putman for special linear groups.

Algebraic Topology,Algebraic Geometry,Group Theory,Geometric Topology,Number Theory
Cohomology rings of oriented Grassmann manifolds $\widetilde G_{2^t,4}$

Uroš A. Colović,Milica Jovanović,Branislav I. Prvulović

2024-10-12

Abstract:We give a description of the mod 2 cohomology algebra of the oriented Grassmann manifold $\widetilde G_{2^t,4}$ as the quotient of a polynomial algebra by a certain ideal. In the process we find a Gröbner basis for that ideal, which we then use to exhibit an additive basis for $H^*(\widetilde G_{2^t,4};\mathbb Z_2)$.

Algebraic Topology
On the mod-2 cohomology of the product of the infinite lens space and the space of invariants in a generic degree

Dang Vo Phuc

2024-08-29

Abstract: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 isomorphic to the graded polynomial ring $\mathcal {P}_s:= \mathbb F_2[x_1, \ldots, x_s]$ on $s$ generators of degree 1, viewed as an unstable $\mathscr A$-module. The Kameko squaring operation $(\widetilde {Sq^0_*})_{(s; N)}: (\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_{2N+s} \longrightarrow (\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_{N}$ is rather useful in studying an open problem of determining the dimension of the indecomposables $(\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_N.$ As a continuation of our recent works, this paper deals with the kernel of the Kameko $(\widetilde {Sq^0_*})_{(s; N_d)}$ for the case where $s = 5$ and the "generic" degree $N_d$ is of the form $N_d = 5(2^{d} - 1) + 11.2^{d+1}$ for arbitrary $d > 0.$ We then rectify almost all of the main results that were inaccurate in an earlier publication [Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. \textbf{116}:81 (2022)] by Nguyen Khac Tin. We have also constructed several advanced algorithms in \texttt{SageMath} to validate our results. These new algorithms make an important contribution to tackling the intricate task of explicitly determining both the dimension and the basis for the indecomposables $\mathbb F_2 \otimes_{\mathscr A} \mathcal {P}_s$ at positive degrees, a problem concerning algorithmic approaches that had not previously been addressed by any author. Also, the present study encompasses an investigation of the behavior of the cohomological transfer in bidegrees $(5, 5+N_d)$, with the internal degree $N_d$ mentioned above. The interplay between the papers by Nguyen Sum \cite{SM, N.S3} and our preceding studies \cite{D.P3, D.P7-1} is also discussed.

Algebraic Topology
On the Hochschild cohomology of tame Hecke algebras

Karin Erdmann,Sibylle Schroll

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

2010-01-08

Abstract:We explicitly calculate a projective bimodule resolution for a special biserial algebra giving rise to the Hecke algebra H_q(S_4) when q=-1. We then determine the dimensions of the Hochschild cohomology groups.

Representation Theory
The cohomological equation and cyclic cocycles for renormalizable minimal Cantor systems

Rodrigo Treviño

2024-10-11

Abstract:For typical properly ordered and minimal Bratteli diagrams $(B,\leq_r)$, it is shown that there are finitely many invariant distributions $\mathcal{D}_i$ which are the only obstructions to solving the cohomological equation $f = u-u\circ \phi$ for the corresponding adic transformation $\phi:X_B\rightarrow X_B$ and for $\alpha$-Hölder $f$ with $\alpha$ large enough. These invariant distributions are then used to define cyclic cocycles, a.k.a. traces $\tau:K_0(\mathcal{A}_\phi)\rightarrow \mathbb{R}$ for the crossed product algebra $\mathcal{A}_\phi$.

Dynamical Systems,Operator Algebras
On the top-dimensional cohomology of arithmetic Chevalley groups

Benjamin Brück,Yuri Santos Rego,Robin J. Sroka

2024-05-13

Abstract:Let $\mathbb{K}$ be a number field with ring of integers $\mathfrak{O}$ and let $\mathcal{G}$ be a Chevalley group scheme not of type $\mathtt{E}_8$, $\mathtt{F}_4$ or $\mathtt{G}_2$. We use the theory of Tits buildings and a result of Tóth on Steinberg modules to prove that $H^{\operatorname{vcd}}(\mathcal{G}(\mathfrak{O}); \mathbb{Q}) = 0$ if $\mathfrak{O}$ is Euclidean.

Algebraic Topology,Group Theory,Number Theory
On quadratic coalgebras, duality and the universal Steenrod algebra

Geoffrey Powell

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

2010-12-31

Abstract:The notion of quadratic self-duality for coalgebras is developed with applications to algebraic structures which arise naturally in algebraic topology, related to the universal Steenrod algebra via an appropriate form of duality. This explains and unifies results of Lomonaco and Singer.

Algebraic Topology
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.

The cohomology of the mod 2 Steenrod algebra

Steenrod operations and A-module extensions

On the Cohomology of the Mod P Steenrod Algebra

On the cohomology of SL$_n(\mathbb{Z})$

Computations of the Lipshitz-Sarkar Steenrod Square on Khovanov Homology

On the codimension-two cohomology of $\mathrm{SL}_n(\mathbb{Z})$

Steenrod operations and algebraic classes

Explicit sharbly cycles at the virtual cohomological dimension for SL_n(Z)

Quantum Steenrod operations of symplectic resolutions

Steenrod operations on polyhedral products

The Hochschild cohomology ring of monomial algebras

The cohomology of the connective spectra for {K}-theory revisited

A family of nonzero products in the cohomology of the odd primary Steenrod algebra

A presentation of symplectic Steinberg modules and cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$

Cohomology rings of oriented Grassmann manifolds $\widetilde G_{2^t,4}$

On the mod-2 cohomology of the product of the infinite lens space and the space of invariants in a generic degree

On the Hochschild cohomology of tame Hecke algebras

The cohomological equation and cyclic cocycles for renormalizable minimal Cantor systems

On the top-dimensional cohomology of arithmetic Chevalley groups

On quadratic coalgebras, duality and the universal Steenrod algebra

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